面向对象的虚拟组织集成建模方法

提出了一种适应虚拟组织业务过程动态变化的虚拟组织集成建模方法(VOIM,Virtual Organization Integrated modeling),该方法集标准化面向对象的建模语言(UML,Unified Modeling Language)、功能建模集成化定义方法(IDEF0,Integration Definition for Function Modeling)和事件驱动过程链(EPC,Event-driven Process Chain)为一体,以弥补单一方法的不足,适合复杂系统特别是虚拟组织的建模,其中:IDEF0对虚拟组织的功能建模,EPC对功能视图进行细化,UML通过实体映射关系把虚拟组织模型的各个视图有机结合起来,有利于实现系统的模块化和模型的重用;同时对建模过程中UML到EPC之间的转换方法进行了研究.最后对模型进行了形式化描述,从而使VOIM具备严格定义的抽象语法和语义,为模型的验证和仿真提供了良好的基础.     

面向并行模拟机的path-CSA MOS开关模型及评价算法

提出一种新型MOS开关模型,它基于MOS CSA模型,又具有path MOS模型特性。新模型采用了逻辑门一级的Time-mapping事件驱动算法,有利于采用并行模拟机硬件实现。新算法利用了path MOS模型路径法特性,因而克服了CSA方法中的LOOP问题。新算法中首次提出最大、最小信号强度传送及评价操作,克服了MOS电路逻辑模拟中存在的不定值X问题。     

航天器电推进软件体系结构设计

随着航天器软件任务量和复杂度的增加,软件复用需求越来越迫切.针对现阶段多个平台的电推进软件,采用结构化的分析方法开展软件需求分析,提取共性需求及可变性需求,识别可复用软件组件;提出基于适应性改进的事件驱动模型来组装软件组件,建立电推进软件体系结构框架;描述公共服务操作以及硬件驱动程序的封装形式,并给出软件体系结构在具体项目中的应用方式.文章提出的电推进体系结构框架以及所设计实现的软件组件在多个项目中得到应用,并取得了良好效果.     

支持产品设计自动化的动态求解机制

在分析事件驱动的消息处理机制的基础上 ,论述了产品设计自动化系统中如何有效利用事件-状态 -动作控制方法 ;在分析离散元模型的基础上 ,研究了离散系统 ,给出了离散事件驱动的产品设计过程模型 ;最后讨论了离散事件系统中工程求解问题的动态行为。     

分布式实时控制系统执行软件的研究与设计

 用“数据驱动”(Data-Driven)和“事件驱动”(Event-Driven)代替常规的“时间驱动”(Time-Driven)作为分布式实时控制系统执行软件的驱动机制,可以使系统中数据传输效率和系统的实时性都有较大的提高。本文所述的执行软件在这方面做了一些尝试,取得了较好的效果。