Java智能卡解析优化方法

 针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.     

钛合金筋板类构件局部加载成形有限元仿真分析中的摩擦及其影响

局部加载等温成形为大型钛合金筋板类构件省力、高性能成形制造提供了有效的途径。然而其成形过程复杂,材料参数、几何参数、工艺参数高度耦合作用,精确预测困难。有限元仿真为此类复杂成形问题的分析和优化提供了有力的工具。而摩擦模型和摩擦条件是数值模拟的重要边界条件之一,影响到预测结果的精度及可靠性。本文着重分析了库伦摩擦模型、剪切摩擦模型、库伦-剪切摩擦模型、库伦-粘着摩擦模型以及摩擦大小对筋板类构件局部加载成形仿真分析结果的影响。研究结果表明:剪切摩擦模型适用于局部加载成形过程的建模仿真;确定精确的摩擦条件可降低载荷预测误差15%以上;主动调控局部区域摩擦条件可改善局部加载成形过程的充填、减少缺陷。     

基于有限状态机的Type A卡防冲突技术

在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.     

非合作目标自主交会对接的椭圆蔓叶线势函数制导

针对非合作式航天器自主交会对接任务的安全性要求,提出了一种基于椭圆蔓叶线的人工势函数制导方法。首先根据视线坐标系建立了相对动力学方程与状态方程。进而应用人工势函数制导方法解决了非合作目标航天器自主交会对接与静态障碍物躲避问题,并且把势函数方法与椭圆蔓叶线函数相结合,解决了追踪航天器在接近目标航天器时运行在安全走廊中的安全性要求。应用Lyapunov稳定性理论证明了在所提出的制导方法控制下系统的稳定性。最后,用精确的数学模型进行了计算机数值仿真,验证了所提出的制导控制方法的正确性和有效性。
     

冗余飞轮姿控系统控制分配与重构研究

针对具有多冗余执行机构的航天器姿态控制系统,给出了处理冗余的控制分配方案,该方案考虑了幅值和速度约束条件并实现了二次最优．仿真验证了分配环节的有效性,并比较了不同求解算法下的动态分配效果．针对执行机构可能出现的故障,提出了结合故障诊断与隔离系统的执行环节控制重构方法,实现了机构故障下的容错控制,通过卫星姿态跟踪控制仿真,验证了分配和重构环节与控制回路的相容性．     

非合作自主交会对接动态障碍物躲避模糊制导

提出了一种基于Gaussian势函数的模糊制导方法,完成了非合作式航天器自主交会对接及相关任务.首先根据视线坐标系建立了系统相对运动状态方程.进而应用模糊控制方法完成了非合作目标飞行器的自主交会对接任务,同时应用基于Gaussian势函数的模糊制导方法解决了动态障碍物的躲避问题.随后研究讨论了两种不同情形下动态障碍物的躲避.最后,用精确的数学模型进行了数值仿真,验证了制导方法应用于所研究问题的正确性和有效性.     

最小离地速度试飞数据分析方法研究

最小离地速度试飞是适航条款要求必须完成的科目,具有风险高、机组操纵难度大的特点,对飞行试验团队提出了很高的要求。从受力分析出发,对最小离地速度试飞的数据分析方法进行了推导,并与咨询通告建议等传统的方法进行了对比。基于受力分析推导的方法,理论基础更清晰,数据分析更简单,可供后续民机试飞参考。     

光纤陀螺捷联惯导系统内部减振措施试验研究

振动环境下,光纤陀螺捷联惯性组合的单表输出和导航精度都受到影响。通过采用整体减振措施和单表减振措施两种方法的振动试验,分析其误差产生原因,对两种减振措施的结果进行比较。验证了两种减振措施均能在一定程度上提高振动环境下光纤捷联惯性组合的精度。     

嫦娥探测器分段渐倾转移机构设计

巡视探测器转移机构是在地外空间环境执行巡视探测器转移释放任务的空间机构。与美国、苏联转移任务不同，中国探月工程（CLEP）二期着陆器采用腿式着陆缓冲机构及巡视器顶部搭载方式，转移任务沿着陆器周向展开距离及巡视器释放高度增加，转移难度增大。在设计阶段，转移机构是否符合探测任务严苛的工程约束及设计指标；在执行阶段，转移机构能否在月面非确知环境下正常展开、转移过程是否稳定可靠，是嫦娥探测器顺利完成探测任务的关键。为保障月球后续任务及火星探测任务中转移机构的设计需要，根据巡视器转移系统特点，以探月二期工程中首次探索并成功自主设计定型的嫦娥分段渐倾转移机构为例，对巡视器转移系统的组成、任务需求及设计约束予以阐述，并结合参研人员经验，对机构研制方案的选取、关键环节设计、工程状态及任务验证情况进行说明，以为后续工作及相关工程提供参考。     

ECDSA算法在智能卡上的实现

首先探讨在智能卡上实现椭圆曲线数字签名算法 (ECDSA)中有限域元素运算和椭圆曲线上点运算的快速实现方法 ,其次探讨引入随机序列校验提高系统安全性的方法和系统参数在卡上的存储方案。最后 ,在卡上实现了签名算法。测试结果表明 ,系统运行高效、正确。