动态构造网管中管理功能与被管对象的关联

在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的思想.MOS提供对协议、设备及应用相关的被管对象的定义及描述,通过动态编译的技术生成及扩展MOS,并通过对MOS的访问实现与管理功能的关联.      

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

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

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

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

基于构件的模型库和方法库的设计和实现

在智能决策支持系统开发环境的分析和设计的过程中,提出了实现此开发环境的一种设计原理和系统结构,讨论了在决策支持系统设计建模中的模型库和方法库的设计和实现,在对分布式对象技术和对象建模技术分析的基础上,给出了基于对象建模技术和构件对象模型技术的模型库和方法库的分析、设计和实现.     

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

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

基于几何不变性和BP网络的二维目标识别算法

提出了一种基于几何不变性和BP网络的二维目标识别算法.该算法不仅能适应目标物体在旋转、缩放和平移变换(RST变换)下的不变性识别,而且能适应仿射及射影变换下的不变性识别.算法通过对目标物体边缘点进行规格化和对规格化后的边缘点进行5点不变量穷举计算解决了模型图像与目标图像的对应点选取问题;通过将不同观测方位和不同旋转角度的样本图像边缘点的5点不变量集合作为输入向量对BP网络进行训练解决了由于仿射和射影变换造成规格化边缘点间距变化对正确分类的影响.算法不仅能识别多边形而且能识别曲线轮廓的目标物体.      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

Gravity Field Recovery from GRACE: Unique Aspects of the High Precision Inter-Satellite Data and Analysis Methods

The very high accuracy of the Doppler and range measurements between the two low-flying and co-orbiting spacecraft of the GRACE mission, which will be at the μm/sec and ≈10 μm levels respectively, requires that special procedures be applied in the processing of these data. Parts of the existing orbit determination and gravity field parameters retrieval methods and software must be modified in order to fully benefit from the capabilities of this mission. This is being done in the following areas: (i) numerical integration of the equations of motion (summed form, accuracy of the predictor-corrector loop, Encke's formulation): (ii) special inter-satellite dynamical parameterization for very short arcs; (iii) accurate solution of large least-squares problems (normal equations vs. orthogonal decomposition of observation equations); (iv) handling the observation equations with high accuracy. Theoretical concepts and first tests of some of the newly implemented algorithms are presented. This revised version was published online in August 2006 with corrections to the Cover Date.     

基于面向对象PETRI网的移动式Agent系统

 为了简化移动式Agent 的设计和实现,描述了以OOPN 为建模语言,建立移动式Agent 系统的基本原理。该系统提供了可视化系统建模、死锁检测和实际的系统运作功能。首先介绍OOPN 的基本概念和Agent 编程工具Aglets,在此基础上介绍如何通过OOPN 建模来生成移动式Agent 系统的具体实现机制,包括Agent 的远程创建和动态部署。最后通过生产者—消费者实例来说明整个系统的执行过程。     

一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。