ARINC735A接口协议的设计与实现

为了实现机载防撞系统(TCAS)主机与外围功能单元的高效连接,需要定义和设计相关的接口协议.根据美国航空无线电设备标准ARINC735A定义的TCAS系统必须满足的DO-185A的接口和协议,分析和讨论了ARINC735A协议模块在TCAS系统中的功能和上下文关系,在此基础上详细描述了ARINC735A协议模块各组件的功能.采用软件工程的设计方法,系统地定义和设计了实现该协议模块功能组件的状态和流程,并给出了相应的状态转换图.讨论了在嵌入式环境下对AR-INC735A的多任务实现方法,并且在VxWorks嵌入式操作系统环境下,实现了ARINC735A协议的多任务软件模块.     

受限移动机器人构建地图的最优探测法

对复杂未知环境构建地图是移动机器人面临的一大问题.通常忽略未知环境的几何特征,将其抽象成未知无向连通图,机器人只沿着图的边进行搜索,并将走过每条边的成本看成是1.机器人构建地图的成本用走过的总边数来表示.对于一个完全未知的环境,从一点S出发,限制移动机器人最远能走r(如燃料问题及安全线或通信线等)步(边数)的范围内,基于深度受限剪枝生成子树的方法,结合广度优先搜索和受限的深度优先搜索染色策略,给出了对未知环境构建完整地图的有效算法,该算法的成本为|E|+O|V|,这是目前最优结果.     

一种基于分组密码的hash 函数

提出了一个基于分组密码的hash 函数体制,它的rate小于1 但却具有更高的效率,同时,这个hash 函数可以使用不安全的压缩函数进行构造,降低了对压缩函数安全性的要求.首先,在黑盒子模型下对这个新的体制的安全性进行了证明,然后给出了能够用于构造该体制的使用分组密码构造的压缩函数,最后通过实验对比发现,新hash 函数的速度比rate为1 的hash 函数快得多.实验结果表明,除了rate以外,密钥编排也是影响基于分组密码hash 函数效率的重要因素,甚至比rate影响更大.该体制只有两个密钥,不需要进行大量的密钥扩展运算,大大提高了基于分组密码hash 函数的效率,而且该体制可以使用现有的分组密码来构造.     

一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

非线性切换系统的集合稳定性分析

将输出对状态稳定和状态模可观测等概念进行推广.提出了输出对V(x)稳定、小时间y(z)可观测、大时间V(x)可观测的定义.利用上述定义,给出了非线性切换系统的V(x)零值集稳定的充分条件.分别利用统一Lyapunov函数和多Lyapunov函数证明了所提出的结论,并详细讨论了输出对V(x)稳定与输出对状态稳定及其他相关定义之间的关系.数值例子验证了所提出结论的正确性.     

水平面显示屏虚拟斜置算法

为使人们在观看水平面显示屏时保持舒适的姿势,设计1种使水平面显示屏虚拟斜置的方法. 根据斜置平面与水平面显示屏的投影关系,提出上置法和下置法两种实现方式,得出其相应的虚拟算法. 比较两种算法的优缺点表明,上置法对屏幕尺寸有一定要求,但可以保持视点处于固定的位置,下置法对屏幕尺寸无过高要求,但视点要移动. 最后通过具体实验证明两种算法的可行性和可靠性.     

关于城市空间数据共享的探讨

将分散在各部门的城市管理对象（如企业）信息映射到地理网格,构成一组相互关联的一体化信息资源,可实现城市各部门的数据共享,以及部门间空间数据的协同、管理、服务。文章结合扬州共享平台的建设实践,总结归纳了城市空间数据共享中的问题,并给出了相应的解决方法。     

无线传感器网络中基于簇协作的分布式组密钥管理方案

处于敌对环境的传感器网络极易遭到攻击,且不存在长期可信的节点可以担当组管。提出一种分布式组密钥管理方案,方案基于簇形结构,充分利用簇内通信及簇间通信的局部特性,对组密钥协作更新。当妥协节点总数在门限以内的某簇检测出节点妥协时,该簇的簇头发起更新,并通过簇内协作将该节点撤销;当某簇妥协节点数目在门限以上时,由该簇邻居簇的簇头发起更新,并通过簇间通信将该簇妥协节点撤销。与已有方案相比较,此方案能实时地更新组密钥,有着更好的安全性并具有较小的通信开销。     

一种结构化P2P网络动态负载均衡算法的研究

负载均衡是P2P网络的研究热点之一,当前负载均衡技术存在负载均衡程度低、假设条件过多等问题.提出一了种增强型负载均衡算法ELB_P2P,它根据节点的承栽能力为其分配相应大小的可动态调整的ID地址空间以及合理的载荷,在负载转移时自动选择延迟小带宽高的轻栽节点,并引入负载转移流量控制机制.实验表明,相对于Chord等传统P2P协议,ELB_P2P算法有更快的负载均衡速度、更小的负载均衡开销,系统稳定性好,在网络重栽情况下也能取得较低的负载不平衡度,并且对节点属性没有苛刻的限制和假定.     

移动进程的蛰伏性及空间逻辑

界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质.然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的.分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑.该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的.同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则.