基于UML—OOPN的可重构制造单元建模

以可重构制造单元为研究对象，以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法－UML－OOPN，该方法同时具备了标准建模语言UML和Petri网的优点，不仅能够提供了支持需求分析，模型描述和设计，模型分析和仿真，直至模型实现的一块化框架，而且所建立的系统模型具有较好的可重用性和可扩展性。     

面向用户的现代集成制造模式的研究

在计算机集成制造系统（ＣＩＭＳ）深化应用的阶段,制造模式的变革显得更为重要。文中针对中国的ＣＩＭＳ工程推广的实际,提出了面向用户的现代集成制造模式,并对基一框架及相关技术作了初步的探讨与研究。面向用户的现代集成制造模式是以信息集成为基础,以Ｉｎｔｅｒｎｅｔ为支撑,双用户参与产品的设计,制造和维护为特征,以满足用户的个性化需要、提高用户满意度为目标的一种制造模式。面向用户的思想主要体现面向用户的设     

Active shielding for long duration interplanetary manned missions

For long duration interplanetary manned missions the protection of astronauts from cosmic radiation is an unavoidable problem that has been considered by many space agencies. In Europe, during 2002–2004, the European Space Agency supported two research programs on this thematic: one was the constitution of a dedicated study group (on the thematic ‘Shielding from cosmic radiation for interplanetary missions: active and passive methods’) in the framework of the ‘life and physical sciences’ report, and the other an industrial study concerning the ‘radiation exposure and mission strategies for interplanetary manned missions to Moon and Mars’. Both programs concluded that, outside the protection of the magnetosphere and in the presence of the most intense and energetic solar events, the protection cannot rely solely on the mechanical structures of the spacecraft, but a temporary shelter must be provided. Because of the limited mass budget, the shelter should be based on the use of superconducting magnetic systems. For long duration missions the astronauts must be protected from the much more energetic galactic cosmic rays during the whole mission period. This requires the protection of a large habitat where they could live and work, and not the temporary protection of a small volume shelter. With passive absorbers unable to play any significant role, the use of active shielding is mandatory. The possibilities offered by superconducting magnets are discussed, and recommendations are made about the needed R&D. The technical developments that have occurred in the meanwhile and the evolving panorama of possible near future interplanetary missions, require revising the pioneering studies of the last decades and the adoption of a strategy that considers long lasting human permanence in ‘deep’ space, moreover not only for a relatively small number of dedicated astronauts but also for citizens conducting there ‘normal’ activities.     

轻量级门户单点登录服务机制

信息门户的建设过程中需要容易实施且灵活高效的整合模式.为克服传统单点登录机制无法满足在动态松耦合环境下实现快速整合的缺陷,结合面向服务架构思想,提出一种轻量级门户单点登录服务机制(LSSO-Service,Lightweight Single Sign-on Service),可为门户整合提供结构简单、完善通用、松散耦合、快速机动的单点登录服务.LSSO-Service基于高于对象层的分布式服务集成模式进行功能划分,可实现采用不同技术的应用系统在门户中的快速动态整合.阐述了LSSO-Service的设计思想和工作原理,并通过在国内某大型水利信息门户中的应用实践,说明该研究结果对于门户建设具有较高的理论意义和参考价值.      

通用故障诊断专家系统开发工具

介绍一个基于可靠性分析方法的非实时故障诊断专家系统(FDES)的通用开发工具(FDEST),可用于建立各类武器装备和民用产品的故障诊断专家系统,具有很强的推理能力和良好的开放性.文中论述FDEST的逻辑结构、系统功能;基于可靠性分析方法——故障树分析(FTA)的故障诊断推理方法:正、反向动态推理逻辑,支持Bayes(概率)、Mycin(置信度)和Fuzzy(模糊)三种不精确推理算法和四种不同的故障逻辑关系;面向对象与规则相结合、具有很强表达能力的综合知识表达方式,支持多媒体的动态诊断推理解释机制和故障处理方法(文本、图像、语音和视频);应用面向对象技术的软件设计与实现:对象的划分(FDEST对象、知识对象和FDES对象)、对象通讯关系及系统接口等系统的关键技术.      

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

面向突发任务的空间站任务重规划方法

针对空间站在轨运营出现突发任务的情况,提出一种基于启发式规则的任务重规划方法,满足了方案重规划的快速响应需求。根据任务执行的连续性特点和冲突状态,建立了空间站突发任务规划领域模型。考虑重规划过程中任务包含活动间复杂约束关系传播的影响,提出了时间回溯迭代冲突化解策略,同时依据任务执行时间间隔,提出针对间隔插空的时间冗余启发式规则。基于时间回溯迭代冲突化解策略和时间冗余启发式规则,对原任务执行计划进行实时重规划,实现了突发任务的快速响应。应用算例分析表明,提出的重规划方法可以成功地满足空间站突发任务规划需求,实现实时更新空间站在轨任务执行详单的目的。     

军用教练机任务可靠性预计方法研究

 完成任务成功概率(MCSP)是军用飞机的一项重要的可靠性指标,在可靠性设计中必须反复进行预计。飞机整机的任务可靠性预计国内尚未有先例。本文从工程实践中总结了一套预计军用教练机MCSP及系统的任务可靠度的方法,比较全面地论述了任务可靠性框图的特点,并提出了一个计算军用教练机MCSP的实用数学模型。     

弹道并行计算的设计与实现

多条弹道并行计算是目前作战仿真，多目标探测等领域所急需解决的问题，利用面向对象的软件设计方法，将弹道计算过程抽象化为多个对象，分别对各种对象进行封装，有效地解决了并行弹道计算中内存混乱，可靠性差等问题，实现了多条弹道并行计算。