Java智能卡解析优化方法

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

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

泛在无线信号定位辅助信息的标准化研究

目前利用泛在无线信号进行定位时所需要的特定辅助信息的数据格式和传输方式还没有出台相关标准,这在某种程度上制约了导航定位产业的发展。针对这一问题,提出了通过对卫星导航定位领域广泛使用的RTCM SC-104和NMEA 0183这两种国际标准格式进行扩展,使其包含泛在无线信号定位相关的辅助信息,并将其通过NTRIP协议进行播发,从而实现辅助信息数据格式和传输方式的标准化。该研究有利于传统高精度GNSS定位和泛在无线信号定位的融合,并为实现泛在(无处不在)的室内外一体化定位提供技术支撑。     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

真空热试验中卫星水平度测量系统的设计与仿真

真空热试验是卫星研制过程中必须进行的大型地面模拟试验之一。在真空热试验的准备阶段和试验阶段都必须采集卫星南北板倾斜角度,密切关注卫星姿态,以判断热管是否处于正常工作状态。文章基于AT89C52单片机、TSD-232水平敏感器和C语言设计出一套卫星水平度测量系统,并对其在Keil u Vision3和Proteus联合平台下进行了仿真分析。结果表明:该系统结构简单,程序设计方便,为卫星水平度的实时监测提供了保障。     

多径条件下阵列互耦自校正算法研究

在实际的阵列中,阵元间的互耦和相干信源的存在都会使得大多数高分辨的DOA估计算法的性能严重下降,甚至完全失效.针对这一问题,在应用子空间原理的基础上,利用均匀线阵互耦矩阵的带状循环特性及对称Toeplitz性,并结合前后向空间平滑算法,提出了一种阵元互耦条件下的相干信源的波达方向估计新算法.该算法无需阵元的互耦参数信息,就可准确地估计出相干信源的DOA,估计性能优良,且只需一维搜索,计算量较小.仿真结果验证了该算法的有效性.     

一个确定汉语句子主干的递归模型

汉语句子主干识别对于整个句子的语义理解起着重要的作用,汉语语义分析在确定一个多动词句子的句子主干等方面有一定的困难.提出了句子的完整语义性概念,通过对语义完整性在句子中的具体表现形式--语义完整块的介绍,分析了句子的完整语义性的特点,尝试利用语义完整性在汉语的多动词句中找出句子的主干,并提供一个递归算法加以描述,并据此建立了一个基于语义完整性的递归模型.     

基于BP神经网络的飞行训练品质评估

为了弥补现有飞行训练品质评估系统存在的不足,本文提出利用飞行员生理信号和飞行操作参数来构建评估指标体系。建立了基于BP神经网络的飞行员飞行训练品质评估模型,通过已完成训练的网络的权值分布计算出各输入指标对最后评分结果的影响,并通过算例分析检验了该模型的可靠性。检验结果表明:经BP神经网络模型训练得到的结果和样本的专家评分基本吻合,选取的评价指标有效,该评估模型能够有效地将飞行员生理信号与飞行训练参数相结合,对飞行员的飞行训练品质进行评价。     

伪随机时钟激励模块设计研究及应用

随着现场可编程逻辑器件（Field Programmable Gate Array,FPGA）验证水平的逐渐提高,对于测试平台（Testbench）中产生的时钟激励也提出越来越高的要求。目前,在Testbench中使用的时钟激励模块都是具有固定周期和固定占空比的激励信号,然而在现实条件下,时钟沿都具有一定的抖动,从而影响到时钟的占空比及瞬时频率。为了模拟时钟的这种实际特性,文章提出了一种基于伪随机算法实现的沿跳变的时钟激励模块,并将该模块用于高速计数器设计的实现验证,取得较好的验证效果。     

基于脑机交互接口的遥控小车控制平台设计

本文介绍了BCI（脑机交互接口）的基本概念和研究现状,并通过对脑电信号性质的分析,选取适合BCI系统控制平台所需的脑电信号特征信息,对该信息放大、处理、提取和分类识别后,转化成BCI系统的所需控制命令,实现对外部设备的通信与控制。