基于TCM的嵌入式可信终端系统设计

针对目前各种嵌入式终端的安全需求,借鉴普通安全PC中TPM的应用情况,结合操作系统微内核技术,提出一种嵌入式可信终端设计方案,该方案基于可信根TCM,实现了自启动代码、操作系统到上层应用程序的"自下而上"的可信链传递,适用于嵌入式终端的安全应用。最后,通过设计一个试验系统,重点阐述了可信启动的具体实现步骤,并分析了因此带来的性能变化。

嵌入式系统在信息家电中的应用

针对嵌入式系统在信息家电中应用的特点,讨论了嵌入式系统界面可定制模型、基于E－I环境的嵌入式数据库技术、嵌入式系统和传统的家电设备利用I2C总线进行通信等关键技术。目前,这些关键技术已成功地应用于网络电视等信息家电设备中。

Profibus-DP技术在地铁供电监控系统中应用

广州地铁3号线供电监控系统设计采用集中管理、分散布置的模式及分层分布式系统结构,系统由站级管理、网络通信、间隔设备3层组成。站级管理层设备采用工业一体化机,内网传输采用光纤以太网接口,应用QNX实时操作系统,Profibus-DP(简称DP)总线主站采用applicomIO系列板卡。分析了DP总线技术在该系统中的技术方案及实现细节,站级管理层与1.5 kV直流开关柜采用DP现场总线交互信息,DP现场总线存取控制采用典型的纯主-从控制方式。论述了站级管理层软件3个主要进程的功能,分析了系统实时性:实际一个信息循环传输时间为70.38 ms;一个变位信号从产生到传输至DP总线单元的时间小于500 ms;最大遥控输出并执行成功(无故障情况)时间小于2 s,证明了该方案符合电力系统国家标准,能满足可靠性和实时性的要求。

临近空间装备体系概念及关键问题研究

随着航空航天技术的迅猛发展，临近空间的地位日益突出；未来临近空间装备作为航空航天装备的补充，将发挥巨大的军事应用价值。介绍了临近空间的概念和特点，给出了临近空间装备的概念和分类，设想了临近空间装备体系的构成与功能，指出了发展临近空间装备体系的关键问题。

嵌入式软件系统界面可定制模型

针对嵌入式软件界面子系统的设计特点 ,介绍了进行嵌入式软件系统界面设计的可定制技术 ,并提出了一个界面可定制模型。首先阐述了界面可定制模型的设计原理、模型结构和实现技术 ;然后介绍了界面可定制模型在嵌入式软件系统界面子系统设计中的一个应用实例。实例证明 。

嵌入式可信终端的信任链模型研究

针对嵌入式终端的安全问题日益突出以及嵌入式终端信任链传递不完整等问题,结合可信计算的思想,提出了自底向上的和自顶向下的嵌入式可信终端信任链传递模型。基于该模型,以linux嵌入式系统平台为原型,设计了启动可信,操作系统加载可信以及应用程序的加载可信。可以较好地解决目前嵌入式终端面临的安全问题。

Client/Server系统的测试策略

针对系统的结构和特点,介绍了系统的测试原理,并根据测试原理提出系统的测试策略。最后介绍了该策略的一个应用C/SC/SC/S 实例,并给出了相应测试指标,实例表明该策略极大地节省了测试开销。

基于有限状态机的一致性测试模型

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一.首先给出了用于有限状态机一致性测试的定义和性质,接着讨论了基于有限状态机一致性测试的概念和步骤,最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型.

基于自适应模拟退火算法的最优Lambert双冲量转移

建立了初始位置、终止位置和转移时间都不固定的双冲量Lam-bert转移模型,并选用自适应模拟退火（adaptive simulated annealing,ASA）算法来寻求模型的最优解,通过与遗传算法（genetic algorithm,GA）的优化结果对比,表明ASA在该模型全局寻优中具有明显优势,可为轨道转移寻优算法的选取提供借鉴。

一种基于多岛遗传算法的火力优化分配方法

在实际作战中,如何合理分配火力单元,对保证作战效率、提高作战效能具有重要意义。针对多个火力单元对多个目标的火力分配问题,建立了火力分配数学模型,给出了基于多岛遗传算法的火力分配模型求解方法,并通过应用实例表明该方法是有效的、可行的。

基于用户兴趣的Web信息检索智能代理

随着Internet信息的日益剧增，如何从Internet网上的海量信息中，迅速、有效地获取用户所需要的信息，是亟待解决的问题，也是目前研究的热点和难点。通过对Web信息检索智能代理技术的介绍，提出了基于用户兴趣的Web检索多智能代理系统模型，并给出了该系统的用户兴趣学习和判断的算法。该模型的部分模块已用Java实现。

操作系统可信增强技术研究

可信计算是当前信息安全技术的一个研究热点。通过描述可信性的定义,分析可信计算的发展与现状,全面阐述了操作系统的可信体系结构设计技术、可信链设计技术、远程升级与更新设计技术及故障检测与处理设计技术等可信增强技术,较好地解决了当前计算机系统存在的安全问题。

基于C/S模式的作战仿真系统构建

针对作战仿真系统开发效率低下的问题,提出一种基于C/S模式的作战仿真系统快速构建方法,介绍系统的整体架构,通过仿真支持层、仿真系统快速构建层和仿真应用层的三层式结构设计,使整个系统的构建成为一个既相互联系又相对独立的仿真流程,同时采用软件方法加以实现。实验结果表明,该方法能够有效提高作战仿真系统的开发效率。

基于CIS的消息驱动的GUI自动测试方法

在CIS概念的基础上，结合GUI系统的消息特性，提出了一套基于CIS的消息驱动的GUI自动测试方法。介绍了一套自定义的基于CIS的测试脚本描述语言。讨论了基于CIS测试脚本的消息驱动的GUI自动测试方法的原理、步骤。分析了GUI系统的CIS之间的关系并给出了一个CIS测试顺序分配算法。实验结果表明该方法对GUI系统的一致性测试、回归测试和资源消耗测试是非常有效的。

一种基于扩展WF-Net的工作流建模方法

工作流过程建模是实现工作流管理系统的基础和关键。在介绍工作流网（WF—Net）的基础上，重点介绍作者提出的一种扩展WF—Net的工作流模型，最后给出了该模型在药品营销工作流管理系统中的一个应用实例。

基于嵌入式Linux的隧道智能控制单元设计及应用

阐述智能控制单元在隧道监控系统中的重要作用,介绍智能控制单元的硬件及软件结构,详述基于SBS PC/104主处理器的主CPU模块设计、完全兼容Redhat Linux7.2的嵌入式Linux操作系统的开发与选择以及使用国际标准Modbus TCP协议的选择,使智能控制单元既可满足网络化、标准化、可扩展性和可靠性等要求,又可提高公路隧道监控系统的科技水平和管理水平,确保隧道交通安全、畅通及隧道设备科学运转。

美军天基和机载激光反导研究计划及调整分析

将激光技术应用于反导弹领域一直是美军努力的方向,天基激光反导弹武器和机载激光反导弹武器是美国激光反导的两个重要研发项目。本文结合美军强激光武器的发展历史,详细讲述了美军天基和机载激光反导武器的研究计划,分析了天基和机载激光反导弹项目调整的原因,总结了激光反导弹武器的未来发展趋势。

分布式卫星嵌入式计算机系统结构设计方法

针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。

一种VFSM的图形用户界面的测试方法

采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单 ;然后 ,给出了一个VFSM - >FSM的转化定理和转化算法 ;接着介绍了基于VFSM的GUI测试方法的步骤 ;最后给出了该方法的一个应用实例数据 ,数据表明采用VFSM的GUI测试方法大大减少了状态。

激光辐照飞行靶三维温度场数值模拟

以地基激光辐照飞行靶为研究背景,建立激光迎面辐照和横向辐照靶目标两种交汇场景,考虑激光辐照面域和功率密度分布随靶目标飞行的变化,求解激光辐照参数,建立热传导模型;利用有限容积法,得到飞行靶三维温度场的数值解,分析目标运动性对温度场分布的影响。不同于激光辐照静止目标,辐照参数变化对温度场分布有较大的影响:随着靶目标的飞行,辐照面积逐渐减小,平均功率密度逐渐增加,目标温升速率不断增加;光束与靶目标夹角的变化,引起光束强度空间分布的变化,从而影响温升区域的变化。