Java智能卡解析优化方法

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

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

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

执行应允式卫星指令控制体制

针对现代卫星指令控制技术要求,在信息反馈校验指令控制方式基础上,本文提出了执行应允式卫星指令控制新体制,介绍了体制的系统模型、校验监督能力、概率分析方法和系统性能特点;提供了本体制应用价值的理论依据和工程设计计算、系统性能评价的方法。     

射频识别卡读写模块的设计

射频识别卡读写模块是射频卡读写器的核心.根据ISO14443协议,运用现代通信与信号处理的方法,采用最新的RISC指令单片机,设计了射频识别卡的读写模块.该模块没有使用专用的硬件ASIC和功率放大管,纯粹采用软件实现了硬件ASIC的功能.同时它性能稳定、价格低廉,对卡的读写距离在0~10cm.      

一种通用型遥操作任务智能规划方法研究

在地外天体执行遥操作任务时,在复杂约束条件下会出现多分支作业选择困难、事件属性设置复杂等现实难题.提出了一种通用型任务智能规划方法——分层规划对象模型(Hierarchical Plan Object Model,HPOM),巡视器在地外天体作业时,其分解为多选项作业、带约束行为、多分支指令序列、参数化虚拟指令4个层次...     

前馈卡塞格伦紧缩场设计与检测

从理论、仿真及实验三方面证明了当前馈卡塞格伦紧缩场几何布局满足圆对称条件时,从几何光学角度来看,不会产生交叉极化的这一特性;同时对紧缩场布局设计及边齿参数作了优化设计,提出优化准则,并给出设计结果;根据布局结果制造了小型前馈卡塞格伦紧缩场K2010,对其幅度特性、相位特性及交叉极化在X波段、Ku波段及Ka波段进行实验测量;根据测量结果及仿真结果,对K2010的性能进行分析及总结.相对于其他类型紧缩场而言,前馈卡塞格伦紧缩场具有更大的口面利用系数和较低的交叉极化,可以满足卫星天线测量、交叉极化矩阵测量对极化纯度的要求.     

起落架缓冲器卡滞动态临界摩擦探究

为了探究起落架缓冲器卡滞特性设计准则,以某无人机主起落架为研究对象,依据飞机设计手册第14册中缓冲器卡滞特性分析方法,进行了静态和动态临界摩擦分析.分析表明动态临界摩擦在偏航着陆工况和机尾下沉回弹工况下可能发生卡滞.进而结合起落架落震动力响应曲线分析了动态临界摩擦的物理意义,发现现有飞机设计手册第14册中的动态临界摩擦分析方法卡滞判据并不成立,不应在计算临界摩擦系数时计入油液阻尼力.对于起落架缓冲器某状态时刻的卡滞特性分析,以飞机设计手册第14册中静态临界摩擦进行校核更为准确.      

一种数据采集卡自动校准系统及关键技术研究

数据采集卡已成为航空航天设备、现代武器装备生产验证、维修保障系统的重要部分。介绍了一种专用数据采集卡自动校准系统,分析了设计背景及实现的功能,同时提出了校准过程中噪声抑制、通道低电势和控制高可靠性三项关键技术的解决途径。     

阻力和升力加速度指令快速解析与跟踪制导

针对升力式飞行器的滑翔段制导问题,提出一种阻力和升力加速度指令在线快速解析与跟踪制导方法。通过一维质点运动学解析并加权直接得到阻力加速度指令。引入虚拟目标和伪视线角的概念,将比例导引应用于滑翔段得到升力加速度指令。利用阻力加速度和攻角的单调性关系, 通过改变攻角跟踪阻力加速度指令。倾侧角用于辅助跟踪阻力加速度指令,满足给定条件后切换至跟踪升力加速度指令。航迹方向角的控制通过倾侧角按反转走廊边界改变正负号实现。动压、热流、过载等约束可通过相关敏感参数的设计得到满足。所提方法不依赖参考轨迹和攻角剖面,计算量小,可实现对终端速度和终端高度的高精度控制。      

一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.      

一种基于Mini PCI-E接口规范的双模网卡电路设计与应用实现

介绍了一种基于mini PCI-E接口的WiFi/WAPI网卡电路设计方案,包含硬件设计、软件设计和测试方案设计。双模网卡芯片选择华大电子的HED05W01SU基带芯片和诺达的AL2230S射频芯片。硬件介绍了射频接口、基带接口和mini PCI-E接口电路;软件介绍了网卡驱动和配置界面的设计;最后根据GB15629.11国家标准对开发的双模网卡进行了测试验证,测试结果达到标准要求。该网卡设计方案具有集成度高、接口简单、价格低廉、使用方便等特点。     

计量中A／D板的编程和标定

以ＰＣＬ８１４Ｂ１４位Ａ／Ｄ板为例,介绍了Ａ／Ｄ板编程的使用以及计量检定中为保证测量准确度所采取的方法。     

IC卡读写器用的一种四元振子天线分析

介绍用于IC卡读写器系统中一个天线阵的实际例子 ,天线由四单元半波振子组成 ,振子之间为平行双线馈电 ,通过同轴电缆接到直立的平行双线 ,在阵列几何中心向阵列两侧馈电 (并馈 ) ,分析了带有接地板的天线方向图及其随激励的变化 ,给出了阵列天线输入端驻波比频率特性的测试结果     

基于智能卡的椭圆曲线数字签名算法的实现

椭圆曲线算法只需要较小长度的密钥就可以获得较高的安全性,因此非常适合用智能卡来实现椭圆曲线数字签名算法.首先介绍了智能卡提供的硬件加速模块的特点,为提高椭圆曲线数字签名算法的执行速度,采用射影坐标代替仿射坐标来表示椭圆曲线.最后给出了椭圆曲线数字签名算法的执行时间,结果表明,该算法能够有效地工作,与RSA和DSA算法相比,极大地减少了算法的执行时间.      

基于语义描述的资源协同机制

为进一步提高资源协同的效率,从资源的静态功能特性出发,定义了相似度函数,给出了基于功能的资源协同算法;从资源的实时状态信息出发,给出了基于运行时QoS特性的资源协同算法.建立了综合考虑资源的功能特性和运行时QoS特性的资源协同机制,通过基于功能的资源协同工作,提供满足用户静态功能要求的资源候选集;通过基于运行时QoS特性的资源协同工作,从满足用户静态功能要求的资源候选集中实时动态地选择满足用户QoS要求的优质资源.实验结果表明,提供的基于语义描述的资源协同机制提高了资源协同的成功率、服务质量和运行效率.      

基于时戳的口令鉴别方案的改进

对Yang和Shieh提出的一种基于时戳的口令鉴别的方案进行了安全性分析,指出其方案存在初始化阶段需要把用户口令交给KIC(Key Information Center)和用户不能验证KIC身份的缺点。在此基础上提出的新方案对注册、登录、验证和口令修改过程都做了改造,用户在注册阶段提交基于口令的单向运算值而不是口令本身,并且用户和KIC之间共享秘密信息,从而成功克服了原有方案的缺陷。用户提交口令单向运算值在验证效果上和提交口令本身是相同的,而且避免了口令泄露;用户和KIC之间共享的秘密信息可以使用户验证KIC的身份。新方案可以有效抵抗伪造攻击,即使服务器被攻破或内部人泄露信息也不会造成用户私人信息的泄露,具有比原方案更高的安全性。      

面向可靠性预计的软件运行时行为模型构造方法

运行时行为模型构造是面向可靠性预计的软件运行时模型构造的组成部分，为软件可靠性预计提供运行时组件与组件之间的动态交互关系和状态之间的转移概率信息。基于Java开发平台提出了一种基于非侵入式监控的软件运行时行为模型的构造方法，包括获得当前时刻的运行时体系结构模型；根据运行时体系结构模型确定监控对象；声明监控方法中的代理Bean；声明监控方法中的监控Bean，实现对组件动态调用信息的提取；声明代理Bean和监控Bean的接口；基于模型构造算法实现对运行时行为模型的构造等步骤。基于Rainbow-znn软件进行了实例应用，验证了所提方法的可行性。