基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于高可信体系安全锁协议算法研究

介绍了一个应用于多级数据库的安全两阶段锁协议算法。该算法通过将锁表分为多个密级，当锁冲突时高密级事务部分回滚的方式来避免在多级安全数据库中实施两阶段锁协议时的隐通道问题，同时为了应用于高可信体系，算法通过将事务管理器从可信模块中分离出来的方法来实现高可信体系中可信模块最小化的要求。本文给出了该协议的具体算法和实现结构，最后对协议的安全性和可串性作了分析。     

多电飞机配电系统TTP/C总线应用技术研究

C类时间触发协议(Time triggered protocol/class C,TTP/C)总线具有安全性高、实时性好和传输速度快的优点,本文提出将TTP/C总线应用于多电飞机配电系统中。首先分析了多电飞机分布式自动配电系统的结构,以及TTP/C总线架构和特点。然后提出了针对飞机配电系统的通讯网络,利用动态链接库分别实现C语言和LabVIEW语言环境下的通讯软件编程。接着给出,偏移地址选择方法决定数据来源走向,提出数据空间转换和格式转换方法提高通讯效率和可靠性。最后经过系统试验表明,该应用技术能够实现飞机配电系统中的TTP/C总线应用,满足系统通讯要求,提高多电飞机通讯系统的可靠性和通讯速度。     

安全协议的SPIN建模与分析

总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验.发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患.该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析.     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于能量均衡的助航灯光单灯监控WSNs路由协议

机场助航灯光无线传感器网络能量 有限,但部分灯光所处位置不规则,导致该区域设置的簇头节点因消耗较大过早死亡从而形 成传输过程中的区域空洞,破坏了整个无线传感器网络的能量均衡,影响网络工作寿命 。在分区路由协议的基础上提出能量均衡、簇头位置均匀分布的WSNs路由协议。该协 议由两部分组成,针对不规则区域（对应单排长排灯位置）采用链式传输协议,对其他区域 采用逻辑分区的分簇路由协议,在簇头选举算法中加入候选簇头节点分布区域限制和节点能量 约束。为验证协议的有效性,按照机场灯光进近区灯光位置分布进行了MATLAB仿真。仿真结 果表明,该协议具有良好的网络能量均衡能力,传感器网络可以获得较长的生命周期,适宜 机场助航灯光监控类应用场合。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

一类非线性系统的模糊自适应跟踪控制

针对一类非线性系统，把模糊T—S模型和自适应模糊逻辑系统两种模糊逻辑方式结合起来，提出了一种基于观测器的跟踪控制方案。首先，应用模糊T—S模型对非线性系统建模，设计观测器用来观测系统状态；由线性矩阵不等式得到模糊模型的控制律。其次，构建了自适应模糊逻辑系统；应用基于权值、中心和宽度三个参数可调节的自适应模糊逻辑系统作为补偿器来补偿建模误差。文中证明了闭环系统满足期望的跟踪性能，实现了跟踪目的。两连杆机械臂的仿真结果表明该方案消除了建模误差对跟踪的影响。     

一种新的赛博空间安全交互方法

现有的网络协议无法满足赛博空间的安全交互的需求,特别是节点的证书变更和移动性会造成安全交互的失败。本文针对传统体系中证书变更较慢的缺陷提出一种适合于赛博空间组网的扩散式证书变更方案。对传统协议中的私钥分量生成、数据安全传输方案进行优化,完善了传统协议中的证书撤销协议和节点定期通告存在协议,弥补了以往在分布式安全交互过程中由于节点的强移动性而导致的安全交互失败问题,提高了安全交互的成功率。最后,对新方法的安全性、性能等问题进行了对比分析。     

基于LPC2292的嵌入式Ethernet-CAN转换器

为了在不改变原有网络结构的情况下,将现场总线控制系统改造为以太网分布式控制系统,作者研发了基于ARM体系结构的LPC2292嵌入式微控制器和RTL8019AS以太网控制器的低成本嵌入式Ethernet-CAN转换器。LPC2292采用嵌入式TCP/IP协议栈通过RTL8019AS与以太网中的设备进行通信,利用LPC2292集成的CAN控制器与CAN总线上的终端进行通信。在通信过程中,LPC2292进行TCP/IP协议和CAN协议之间的转换,该转换器很好地完成了两种网络之间的协议转换和数据通信。     

基于IP骨干网络的流量工程

讨论了在多个IDC（数据中心）所组成的骨干网络上实施流量工程的关键问题，首先分析了传统SPF算法的缺陷，给出了流量工程的基本概念，阐述了MPLS，REVP，IS－IS协议以及相互关系，然后给出了在MPLS网络实施流量工程的几个问题和解决方法，最后给出了在IP骨干网络上实施流量工程的成功案例。     

TacSat-1卫星系统战术应用设计

介绍了美国国防部武力转型办公室所倡导研制的TacSat-1卫星系统在战术应用性能、技术特点、关键产品及系统运行等方面设计情况。简述了在网络中心战背景下该卫星系统所要实现的联合作战战术应用样式。描述了卫星系统在星地网络、电子通信载荷以及光学载荷等方面适应战术应用的设计与技术特点。在此基础上总结出卫星自动化、模块化、通用化设计、联合作战网络化、机器与机器自主化合作以及载荷设计低成本、实用化等战术微小卫星系统研制及应用的相关结论。     

基于EIB系统的BCU研究

本文介绍一种基于EIB系统的BCU电路设计及其通信协议的软件设计,设计中采用C51编程和IAP技术,为进一步进行嵌入式操作系统的研究和开发各类智能住宅电器打下基础。对推动我国新一代住宅电器的发展具有积极作用。     

输送线网络监控系统的设计与实现

对可编程控制器控制原理进行分析,提出一种在已有设备的基础上进行改造,从而实现基于网络的监控技术。通过RS-485数据传输技术,运用TCP/IP协议,用MCGS(Mon itor and Control Generated System)组态软件编写程序软件,以图形界面实现对输送线的过程进行监控。     

基于并口EPP协议的软件加密卡的设计与开发

本文主要阐述了基于并口EPP协议的软件加密卡的硬件设计。根据实践经验，重点介绍了器件选型与EPP并口时序关键点等注意事项。具有较强的实践意义。     

ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

更强的密钥交换可证安全模型

设计和分析双方密钥交换协议,目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性,形成一个统一的安全模型是非常必要的。本文评估了eCK＇,eCK和CK模型,证明了eCK’模型是当前最强的密钥交换可证安全模型,并形式化分析了这些模型的强弱关系。此外,对于模型问存在的蕴含关系还提供了形式化证明,并对非蕴含关系给出了反例。     

无线传感器网络中基于分簇广播认证协议方案

认证机制是无线传感器网络安全机制关键技术之一。本文给出了无线传感器网络的层簇式结构,分析了无线传感器网络的广播认证协议。在此基础上提出一种基于分簇的广播认证机制N-μTESLA方案,设计了广播和组播认证协议。仿真结果表明所提出的方案与μTESLA方案相比,可以减少节点的能量消耗,使网络的生存周期延长。     

干式变压器数据采集与测控系统中的数据传输研究

干式变压器的数据采集与监控系统是其安全工作的重要组成部分。本文介绍了该系统中数据传输网络的组成、工作原理及数据传输机制,特别是设计独特的RS-232与RS-485之间的无源电平转换接口模块。