复合型安全协议及其验证

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。     

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

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

改进Kmp算法在模糊查找中的应用

在改进KMP算法的数据结构和算法的基础之上，本文提出了一个模糊匹配的函数mhcheck。根据该算法实现分级别模糊。最后实现了一个实用的模块模糊查找模块。并应用于学生工作管理辅助系统（ASSAM）。     

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

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

证据理论在机场安全评估中的应用

机场安全评估当中存在大量不确定性问题，对这些不确定性问题的研究，是机场安全评估的关键与难点。本文首次将证据理论引入机场的安全评估中，建立了机场安全评估体系，并提出具体的算法，最后给出一个算例加以说明。     

基于客户／服务器体系的工程数据库管理系统

提出了一种基于客户／服务器结构的工程数据库管理系统。客户／服务器结构的总体思想是将所有共享数据放在共享的服务器数据库上，所有客户的临时数据放在客户方由客户独占，客户通过局域网（ＬＡＮ）向服务器申请所要的数据，服务器通过ＣｈｅｃｋＩｎ和ＣｈｅｃｋＯｕｔ机制向客户提供数据服务，并确保数据的一致性和完整性。文章讨论了如何在客户和服务器之间合理分配负荷，描述了客户／服务器体系的多级存贮结构和客户与服务器之间的数据通信．重点探讨了客户／服务器结构下的缓冲管理问题。系统的开发环境是ＳｕｎＯＳ，ＴＣＰ／ＩＰ协议，系统用Ｃ语言开发。     

基于UWB的增强非对称双边双向测距算法研究

本文对IEEE 802.15.4协议下室内环境中超宽带信号的精确测距能力进行了研究。针对传统算法无法满足实际应用场景中低功耗、高实时性和高精度的测距定位系统需求的缺点和不足,提出了一种增强非对称双边双向测距优化算法,通过数学分析从理论上证明了该算法的有效性,同时对由于时频漂移和频率漂移引起的测距误差进行了研究分析。最后使用超宽带模块进行了基于改进算法的测距实验,对实验数据进行分析发现通过数据拟合标定算法可以进一步改善测距精度,实验结果表明系统整体测距精度提高了88%。     

基于现场总线和智能变送器的风洞气流参数测量系统研制

准确测量来流雷诺数对于研究一些对雷诺数变化敏感的流动现象十分重要,为了得到较为准确雷诺数需要测量来流速度、温度和环境大气压等气流参数.本研究基于带Hart通信协议的智能变送器以及数字式振筒气压仪,在低速风洞中实现了一套简单实用的气流参数采集系统.其中,主机和差压、温度变送器之间通过Hart适配器相连接,并通过串口以Hart协议实现通信;而数字式振筒气压仪与计算机之间则直接通过串口实现通信.在系统开发过程中对Hart协议进行了解析和测试.在该系统气流参数采集的基础上,实现了来流雷诺数实时精确的计算,并对比了因温度和气压波动导致的雷诺数计算差异对旋成体大迎角雷诺数效应研究的影响,从而进一步说明了发展该系统的重要性.     

数字图象条纹细化——逐层削取方法

本文提出一种新方法来解决一般性的条纹细化问题,该方法可以广泛地应用于数字图象处理、模式识别、图象测量等技术领域。算法设计中采用了详尽的模块分析方法,所产生的条纹细化计算法非常有效,已经成功应用于激光全息测量——一种图象测量技术。     

自识别加工残区的高速铣削刀轨生成算法研究

针对高速铣削的特点和工艺要求，提出了适合高速铣削的粗加工环切刀轨生成算法。该算法不仅能自动识别加工残留区域，而且能保证刀具在加工过程中以恒速进给。这对延长刀具寿命、降低主轴振动、精简工序提高型腔加工生产率都有很大益处。该算法已应用于Superman 2000高速铣加工模块，实践表明，此算法计算速度快，健壮性好。     

多级安全关系数据模型研究及其改进

讨论了基本的多级安全模型存在的主要缺陷，如推理通道问题。系统的可用性、灵活性受到严格的“向下读，向上写”规则的限制问题．不能保证数据完整性。通过引入多实例和伪元组．并重新定义读写规则．使改进后的模型更具安全性、灵活性和可用性。     

CIMS环境下基于客户／服务器体系的工程数据库事务管理

介绍了基于客户／服务器的ＥＤＢＭＳ体系结构，分析了工程设计环境的特点，提出了基于该体系的工程事务模型，以及客户／服务器体系下的事务管理子系统的构成与特点。文中主要阐述了长事务的并发控制机制和封锁策略，并采用日志的方法实现事务的恢复机制。     

基于SyncML的安全数据同步SDSXS-API

为解决移动数据库及其应用程序数据同步时的安全性、可靠性和完整性，在移动数据同步交换标准规范——Sync ML协议的基础上，提出并实现了安全数据同步交换服务应用程序接口（SDSXS—API），为移动数据库系统及其应用程序提供了统一的数据同步交换的调用平台，既保证了移动环境下数据传送与交换的可靠性和完整性，又保证了系统数据传送的安全性。     

基于图像分割的两相流PIV/PTV测量技术

介绍了采用图像分割技术,将密度较低的大悬浮颗粒和高浓度的示踪粒子共存的两相流场图像进行分离(相分离),对经过分割的悬浮相图像和连续相图像分别进行PTV和PIV运算,以实现对两相流动各个相速度场的同时测量.而后将基于相分离的PIV/PTV程序应用于对液固两相冲击射流流场的实验测量,并对测量结果进行了研究和分析,从而验证了相分离程序.实验结果表明,基于图像分割的PIV/PTV程序在两相流速度场测量中具有较好的实用性.     

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

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

货舱门锁机构系统磨损可靠性分析和评估

对Ｙ８Ｃ货舱门锁机构系统的失效模式进行了分析，指出了引起锁机构失效的主要原因是各部件之间的磨损。根据货舱门锁机构的工作原理，建立了分析和评估锁机构磨损可靠性的数学模型，导出了锁机构的磨损失效判据，给出了货舱门锁机构系统磨损可靠性分析和评估的一般方法。根据Ｙ８Ｃ货舱门锁机构的磨损可靠度函数。最后，提出了货舱门锁机构系统可靠性增长的有效途径。     

防范秘密攻击的安全计算的博弈论实现

在博弈论中,惩罚博弈模拟了参与者试图欺骗但又不想被抓住,即安全计算中秘密攻击者的情形。针对密码学的计算博弈模型,本文对Halpern与Rafael提出的能否在计算具有成本的惩罚博弈与具有一定威慑度的防范秘密攻击的安全计算之间建立联系的问题给出肯定的回答,提出威慑度为1/2的防范秘密攻击的安全是计算博弈中错误可忽略的调解人的通用实现。     

一种简便、实用的公开密钥系统

本文提出了一种新型的、简便、实用的保密通讯方案。该方案利用现有不保密通信信道提供双用户或多用户之间的可靠保密通信。由于公开密钥采用大素数模运算,而加密和解密变换却采用相对较小的素数模运算,故系统实现比较方便,在微机上能够很容易实现。论证表明该方案几乎是不可破译的。     

DOS多任务远程通讯系统的设计与实现

本文介绍作者在ＤＯＳ上开发的多任务远程通讯系统，它可以实现微机之间的远程数据传送、命令控制、定时收发等功能。该程序常驻内存，在后台进行数据通讯。在数据传送期间用户仍可执行ＤＯＳ命令或继续执行程序，在ＤＯＳ上实现了多任务的并发。该系统具有与程序员和用户的两套接口，用户通过命令调用其功能，而程序员可在汇编，Ｃ，ＦＯＸＢＡＳＥ等语言源程序中实现后台数据通讯。     

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

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