IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.      

基于HLA的防空导弹武器系统仿真平台研究

介绍了一个以防空导弹武器系统为背景,基于高级体系结构(HLA, High Level Architecture)技术实现的包含虚拟现实技术的综合仿真平台.着重论述了该仿真平台的构成、开发过程及其关键技术,包括HLA、基于FEDEP(Federation Development and Execution Process)模式的开发过程,层次化软件结构、计算机生成兵力(CGF, Computer Generated Forces)技术、面向对象建模以及基于包围盒的碰撞检测等.     

直线参数检测的快速哈夫变换

在直线参数检测的哈夫变换中,基于两点确定一条直线的几何原理,可以消除图像点与参数点对应关系中的不确定性,利用这个原理可缩小每个非零图像点对应的参数空间,减小每个非零图像点的计算量.同时将整幅图像分成小块表决,能大幅度减少哈夫变换的总计算量,而参数检测的精度保持不变.      

基于指端6维力传感器的接触点测量算法研究

在硬手指接触模型下应用6维力传感器测量值计算接触点位置时,有可能出现无解现象.针对这一问题,分析和证明了硬手指和软手指接触模型下解的存在性和相容性,指出当测量力和力矩正交时,硬手指算法有实根,且符合相容性,反之则不然.当测量力和力矩非正交时,对任意非零接触力旋量,软手指算法存在唯一实数解.因此在实际测量过程中,可通过判断测量力和力矩是否正交,作为选择使用两种算法的依据,以确保测量结果和控制系统稳定可靠.通过实验对上述方法进行了验证.      

机载智能泵源系统的开发研制

针对飞机高压、大功率所带来的节流损失急剧增加的问题,提出了一种根据飞机工作任务设定工作模式和输入给定量的智能泵源系统. 其控制与管理实际上是一个递阶计算机控制系统,上位机(机载公共设备管理计算机)负责根据飞行任务选择泵的工作模式和输入量设定(必要时还可以包括控制律的选择和控制参数的设定),下位机负责现场控制律的实现、控制量输出和数据采集等工作. 研制了智能泵的微控制器和原理样机. 所构成的智能泵源系统可以根据飞行任务需要选择工作模式并自动设定相应的输入量(压力、流量或负载敏感压差),实现对功率利用情况的有效管理,从而有效抑制系统的温升并提高飞机的机动性和生存能力.      

基于不稳定度的仿人型机器人步态规划方法

为了保证机器人能够在人类的生活环境中安全地工作,应该选择最稳定的运动轨迹.提出了一种能够评价不同的运动步态之间稳定性好坏的稳定性评价准则.将零力矩点(ZMP,Zero Moment Point)与机器人支撑区域的形心之间的距离定义为不稳定度,分析了仿人型机器人行走过程中几种典型步态的不稳定度,同时提出了基于不稳定度的仿人型机器人步态规划的方法.当采用多种运动步态都能完成同一种任务时,用所提出的不稳定度评价方法可以在不同步长的步态中选择出稳定性最好的运动步态来执行.仿真及实验结果验证了该方法的有效性.      

五/六自由度激光跟踪测量技术的原理分析

激光跟踪仪具有测量精度高、动态测量、实时快速等优点,在工业测量及大尺寸计量等领域中有着广泛的应用。五/六自由度测量技术是解决全姿态测量的重要手段,五/六自由度激光跟踪仪是近年来新出现的测量设备,也是实现全姿态测量的常用设备之一,已经广泛应用于机器人跟踪、设备动态标佼等测量工作中。因此针对目前国际上最新的五/六自由度激光跟踪测量技术,主要介绍了基于单站激光跟踪仪实现五/六自由度全姿态测量技术的原理。     

LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.