Java卡的可信代码装载机制设计

对满足可信计算平台(TCP,Trusted Computing Platform)需求的代码管理问题,提出了以Java卡为核心,以代码签名技术为主要手段,以卡内的安全域(security domain)作为各个软件权威(Java卡设备发行方和应用提供方)安全策略执行者的可信代码管理框架.新机制支持设备发行方软件的装载和更新,完善了应用提供方安全域的装载和更新流程,并对下载命令数据结构进行了扩充.解决了在复杂应用环境中,多个软件权威相互独立的限制条件下,代码的免人工广播式发布问题,扩展了传统Java卡软件装载模式,提高了系统的安全性,为使用Java卡平台进行可信计算提供保障.     

机载图像压缩存储系统设计与实现

文章针对机载测绘的特定需求,使用FPGA和ARM处理器实现了一个高效实时SPIHT压缩与存储系统,该系统具有压缩性能高、抗误码能力强、压缩比在线可调等特点,可以对机载测绘图像进行实时压缩和存储。该系统已成功应用于某机载测绘项目。     

一起西门诺尔飞机发动机异常停车故障分析

通过对一起西门诺尔型双发飞机发动机因汽化器进油活门卡阻导致发动机空中工作异常、地面滑行时自动停车的故障分析,指出了不当的维护工作/工具和HA-6型汽化器自身设计缺陷对该型发动机工作特性的重大影响,提醒维修人员在工作中注意对汽化器的维护,避免该类故障的再次发生。     

计算机机卡管理系统

计算机卡管理系统用于机房的管理工作，有一般使用人员和普通管理员和系统管理员三部分。普通用户可以查看自己的上机情况；普通管理员可以登记上机卡，修改上机卡和删除作废卡，挂失机卡，可以进行多种组合查询；而系统管理员有最高权限，可以进行所有操作。     

GPS数据采集卡的设计

目前 ,GPS数据接收和存储主要由软件完成。介绍用硬件电路实现 GPS数据接收存储的一种方法。其硬件电路主要由单片机和外围电路组成 ,并利用可编程器 L attice isp 10 32 E产生电路中的各种控制信号 ,将数据存储于双口 RAM中。     

基于量子框架的齿轮倒角机控制系统设计与研究

为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套用于齿轮倒角加工的开放式数控系统。软件部分介绍了量子框架的相关内容,给出了量子框架的组织结构和齿轮倒角数控系统的体系图。最后开发出能够对倒角机进行逻辑控制的加工软件。经测试表明,由量子框架技术设计的齿轮倒角数控系统具有更高的的可靠性,同时降低了控制系统软件的开发设计难度。     

自由漂浮空间机器人点到点避奇异运动控制方法

针对具有冗余机械臂的自由漂浮空间机器人（Free Floating Space Robot, FFSR）点到点避免奇异性规划和控制问题,提出了一种冗余FFSR的点到点避免奇异控制方法。首先,该方法基于离散状态依赖李卡提方程（DSDRE）控制器设计方法,利用FFSR的动力学和运动学方程实现了FFSR系统方程的伪线性重构;然后,基于伪线性重构系统及DSDRE状态调节器设计方法实现了FFSR的关节角速度和末端位姿的同时跟踪控制;其次,根据跟踪控制器对FFSR广义雅克比矩阵（GJM）行满秩的设计要求,定义FFSR的奇异性判别依据,构造了避奇异约束函数;再次,由于冗余FFSR系统具有多逆运动学解特点,考虑关节角及关节角速度约束,结合避奇异约束函数设计了FFSR的期望轨迹在线规划器,进一步将设计的跟踪控制器与规划器相结合提出了冗余FFSR末端点到点避奇异运动控制方法。最后,为验证所提方法的有效性同时考虑简化计算,采用平面4连杆FFSR模型进行数值仿真,仿真结果表明所提点到点避奇异运动控制方法能够有效实现冗余FFSR系统的点到点避奇异运动。     

执行器卡死并失效的航天器姿态稳定控制

考虑挠性航天器执行器卡死与部分失效故障下的姿态控制问题,提出了一种滑模容错控制法。该方法采用自适应技术在线估计系统不确定参数,且该控制器的设计不需要任何在线或离线的故障信息,能够完全独立于地面站的支持。基于Lyapunov方法从理论上证明了该控制器不但能够有效地处理执行器故障,而且保证了闭环系统的全局渐近稳定,实现对姿态的高精度控制。最后将该方法应用于某型挠性航天器的姿态稳定任务中,仿真结果验证了该方法的有效性。