以功能需求为驱的资源聚合方法与实现

针对面向服务的体系结构(SOA,Service Oriented Architecture)环境中资源聚合的特点,提出以功能需求为驱动的资源聚合机制,在这一机制中,资源不再是静态的组件对象,应用流程与任务模型实现了分离,任务所需的功能成为关注重点与组织对象.聚合机制由3层构成:通过底层服务信息集合汇聚满足需求的资源服务;通过中间层的功能需求描述定义资源服务所具备的各种功能与属性;通过上层上下文环境满足任务执行过程中资源服务之间的约束.在模型内部,通过逻辑数据,维护异构服务接口之间的数据依赖关系.利用该机制实现以功能需求为驱动的应用构造.基于该机制的工作流系统NGGWf(National Geology Grid Workflow)已应用于国家地质调查应用网格中的地质勘测.      

基于资源共享的分布式机载软件测试系统设计

随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。     

CRRES卫星内部充电的模拟计算与验证

基于Geant 4软件建立一种用于计算航天器内部充电所产生电场的方法.分析载有IDM仪器的CRRES卫星当时所处的空间电子环境,使用该方法进行内部充电模拟,并将模拟结果与IDM仪器所测得的放电脉冲数据进行对比,不仅验证了该方法的有效性,更重要的是深入认识了引起航天器内部充电的空间环境特征以及材料特性对充放电效应的影响.介质内最大电场的模拟计算结果与CRRES卫星实际观测到的放电现象吻合;在材料的各项参数中,与辐射感应电导率有关的kp系数对稳态电场有很大影响,为了定量研究内部充电效应,需要在实验室精确地测定kp系数;材料的暗电导率、密度以及材料的分子构成等也与内部充电效应有关,对这些参数细致地研究有助于对内部充电效应的认识.      

发射场地面发射支持系统数字孪生架构及应用

针对航天发射场地面支持系统远程监测诊断、智能维护保养和自主决策控制等应用需求,提出了面向地面发射支持系统的数字孪生参考架构,提炼了实现数字孪生的关键技术。结合我国首型固液捆绑运载火箭塔式吊装对接工作,开发了基于参考架构的运载火箭塔式吊装对接仿真平台。经实际运行考核,该平台基于虚实空间交互映射和实时动力学仿真,通过丰富吊装场景监控信息,能够提高吊装对接工作的安全性和效率;同时,验证了数字孪生参考架构设计的合理性及技术路线的可行性。     

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.      

软件无线电中的高速设计技术

介绍了高速电路的定义以及在高速电路设计中存在的信号完整性、时序问题,详细分析了产生这些问题的原因.分析了高速电路设计中消除反射常用的端接方式,并给出了串行端接和并行端接的仿真结果.结合实际应用,从工程实现的角度提出合理的连线拓朴结构并给出了实测结果.最后分析了高速电路设计中时序问题,给出了源同步时钟系统中时序设计应该满足的条件.      

软件流水中的循环展开优化

在软件流水中应用循环展开可以实现分数值的启动间距,提高资源的利用率,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度.提出了基于程序特性的展开因子算法UTBPC(Unrolling Times Based Program Characteristics),解决了循环展开的核心问题——展开因子的确定,同时提出了基于展开的软件数据预取优化技术,提高了软件数据预取的效率.所有这些都在ORC(Open Research Compiler)中实现,并对SPEC 2000中的程序进行了测试,平均性能提高了2.6%.实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能.      

加强计算机公共实验室的管理

介绍了计算机公共实验室的工作特点,提出了管理和建设的一些方法和方向,进一步地促进计算机及应用学科的教学质量的提高。     

组态软件技术及靶场测控软件系统的设计

靶场导弹试验中,根据试验对象和试验目标的不同,需要对测控设备进行不同组合,增加了试验的复杂度和测控系统的处理难度。组态软件是应用软件的高级形式,具有配置灵活、可视化编程、图形显示、实时性强的特点,可方便、快速、可靠地建立靶场导弹试验测控处理模型,满足靶场导弹不同试验任务的需要。     

基于dSPACE和三菱IPM的电机控制平台保护

电机控制中常见的控制芯片有DSP、ARM、单片机等。这些都需要根据设计的算法进行手工编程,开发周期较长。半实物仿真系统dSPACE针对这类问题提出了很好的解决方案,大大缩短了开发周期。从原理上介绍了电机控制的硬件保护和软件保护,并分析了智能功率模块IPM死区保护和dSPACE死区模块具体实现时产生的冲突。提出一种协调电路解决此问题。理论分析与制作的控制板试验结果表明,此方法可同时满足死区保护和硬件保护要求,实现IPM的正常工作。