基于面向对象的视频系统建模研究

针对移动信道的长突发误码特性,提出采用组合随机数发生器法来产生(0,1)均匀分布随机数,由它产生信道差错序列,并建立一个具有一定精度的一阶三状态Markov仿真信道模型,在此基础上应用面向对象技术构建了一个无线视频传输系统模型。通过仿真实验表明模型构建具有高度的可扩展性,系统仿真具有较高的精度,且能较好的反映移动信道的特性。     

航天动力学的面向对象建模

在面向对象设计方法的指导下,通过对象间继承关系、聚合关系、委托关系和使用关系的分析,建立了用于航天动力学仿真的面向对象模型。利用这一模型,可以为不同复杂度的航天动力学建模提供支持,方便构筑面向具体问题的应用。     

基于面向对象Petri网的电梯群控系统建模

电梯群控系统是一种典型的离散事件动态系统,这体现在乘客到达的起始层、目的层和到达时间的随机性,所以,很难用一个传统的数学模型表达式来表示。提出了一种应用面向对象Petri网对该系统进行建模的方法,该方法在对电梯运行情况充分研究的基础上,分别建立电梯运行和电梯控制器Petri网模型,从而构造电梯群控系统模型。该建模方法不仅适用于电梯群控系统,而且适用于其它离散事件动态系统。     

一个面向对象的仿真建模框架

基于面向对象的思想、系统理论概念和ＤＥＶＳ形式理论,研究提出了一种面向对象的仿真建模框架,它由建模框架和控制框架组成．建模框架提供了描述组成系统的对象、描述局部于对象的行为和对象之间交互作用的结构和方法;控制框架提供了分离不同的仿真控制功能的更为灵活的控制结构．本文的研究为面向对象的仿真提供了一个概念框架．并为研究开发新的仿真建模系统提供了理论基础．     

面向对象的图形建模支持系统研究

对于复杂系统，决策者期望决策支持系统（ＤＳＳ）能够提供灵活、形象的工具支持他们对问题进行分析。本文围绕复杂系统建模支持问题，对建模支持的方式进行了分析，论述了图形建模支持的优点，并对面向对象的思想在建模支持系统中的应用加以探讨。     

面向对象的多媒体仿真建模环境

多媒体仿真技术研究的最终目的就是建立一个面向对象的多媒体综合仿真环境。本文从面向对象的建模方法学出发，提出了在多媒体仿真环境中对象模型的概念框架，以及建模环境的概要设计。     

基于面向对象的连铸生产过程仿真建模和实现

介绍了连铸生产工序流程仿真的目标。利用面向对象建模技术,构造以连铸子设备为主要对象、以聚集关系和主动对象为结构主体的连铸流程仿真系统的模型。以模型为基础,通过设备组态解决了连铸生产设备和工艺过程存在的差异性问题,实现了连铸生产过程仿真系统的通用性、易维护性和可扩展性。     

基于面向对象赋时Petri网的出入库系统建模

采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。     

面向对象建模技术开发大型培训仿真系统的一种方法

面向对象建模技术（ＯＭＴ）是对客观世界的一种模型描述方法。本文讨论了应用标准ＯＭＴ对大型培训仿真系统进行建模时所遇到的问题，提出了使用ＯＭＴ对复杂的大系统进行建模时的一种改进方法，即把子系统的确定从系统的设计阶段提前到系统的分析阶段的初期。通过把子系统作为一种特殊的对象进行对象建模，将使分析者得到被建模系统及其子系统的一个全面准确的模型。使用这种方法有助于在系统分析阶段确定整个系统的界面，各子系统之间的调用关系及对于系统硬件部分的要求。     

基于面向对象Petri网的集装箱码头装卸系统建模研究

将面向对象Petri网理论应用于集装箱码头装卸系统的建模研究,在分析该系统的基础上,建立了系统的基本对象Petri网模型,并借此建立了堆场内部集卡类的对象信息网,运用不变量分析的方法,得到了其动态性能分析结果.     

基于面向对象贝叶斯网络的软件项目风险评估

针对软件项目的特点和软件项目风险定量评估任务,提出了基于面向对象贝叶斯网络的风险评估方法。该方法通过分析软件项目生命周期中的具体风险与风险因素之间的因果关系,建立面向对象贝叶斯网络拓扑结构;由专家判断和工程经验确定网络中的概率参数;采用概率推断工具,可定量估计风险的发生概率。给出了风险贝叶斯网络的建模过程,讨论了风险贝叶斯网络可以完成的风险管理任务。通过一个简单例子说明了该方法的应用。     

基于Petri网模型检验的安全关键软件需求验证

需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用“非”虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。     

基于有色Petri网的复杂武器系统任务可靠性建模及估计

针对复杂武器系统的任务可靠性提出一种具有记忆标识的有色Petri网分层建模方法。首先用具有记忆标识的有色Petri网建立系统所有任务、每个任务具有的可重构数和所需资源,然后根据资源的状态和累积工作时间即可确定相应的任务能否完成,从而获得任务的可靠性指标。以某野战防空C^3I系统中旅指挥站为例说明该方法是可行的。该方法适合于多任务可重构系统的任务可靠性建模及其估计。     

基于赋时有色Petri网的测试系统资源优化方法

提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法:基于空闲区匹配的最小资源集算法;通过给出一个应用实例,证明了上述方法的有效性和实用性.     

基于面向对象思想的SoS体系结构设计方法

针对一类由众多组件系统集结而成的系统之系统（system of systems, SoS）以美国国防部体系结构框架（DoDAF）为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用自顶向下、自底向上相结合的方式实现SoS体系结构作战视图产品的面向对象描述。以一个战术导弹防御（tactical missile defense, TMD）系统为例,详细说明SoS体系结构DoDAF作战视图产品的面向对象设计过程,并总结了该方法的两大优越特性：横向通用性与纵向可复用性,以及由此给SoS体系结构带来的“柔性”优势。这是传统设计方法所不能实现的。     

基于相关因素的决策优化模型建模方法

结合机载导弹阵地战场抢修决策平台项目开发,提出了基于相关因素的决策优化模型建模方法。该方法建立在建模的可分离原则上,首先对决策问题自顶而下地进行相关环境和相关因素的分离,然后自底而上地建立综合集成决策优化模型。同时,该方法采用形式化表示体系来描述建模过程。应用该方法建立了面向机载导弹阵地战场抢修决策的优化模型。应用表明,该方法协调了建模过程中多角色的交互问题,为模型的可用、应用和复用打下了良好的基础。     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

基于电流相位特性的滑动散射中心建模方法

复杂流线型目标通常包含多个滑动型散射中心(sliding scattering center, SSC)。由于SSC位置随观测方位变化而改变, 采用现有的散射中心建模方法所获得的SSC属性参数精度受到雷达图像分辨率、多散射中心图像混叠和参数估计精度的限制。本文提出一种基于表面电流相位特性的散射中心建模方法。该方法基于全波法计算的稀疏采样角度下的表面等效电流数据, 通过驻相点自适应提取、电流分区, 实现目标散射中心的参数化建模。驻相点自适应提取可以精确确定散射中心位置, 电流分区计算可以避免多散射中心成分混叠造成的参数提取困难, 从而保证了散射中心的建模精度。本文以某导弹和飞机模型为例, 采用全波法和传统方法建模计算结果对使用该方法建模的效率和精度进行了验证。     

基于Petri网的作战单元完好性仿真

作战单元完好性是最能综合反映作战单元使用与保障任务要求的参数之一,完好性的评价参数主要有完好率和使用可用度等。在对作战单元复杂任务和完好性参数进行分析的基础上,给出完好率和使用可用度的理论公式,分别分析基本任务和复杂任务下作战单元完好性的仿真方法并给出仿真流程图,应用Petri网技术在ExSpect仿真环境下分别建立基本任务和复杂任务下作战单元完好性的仿真模型,实现对完好性的评估。最后,针对自行火炮“靶场打靶”实例进行仿真分析和评估,验证了此模型的正确性和实用性。     

基于语义元模型的装备体系结构建模方法

根据以数据为中心的体系结构建模思路,提出了一种装备体系结构语义模型--语义装备体系。首先在DoDAF元模型(DoDAF meta-model,DM2)基础上提出语义元模型,定义了装备体系结构的概念基础类及关联关系,给出了由类、关系、属性和实例构建四元组的本体描述框架;其次基于语义元模型构建了作战视图本体模型、系统视图本体模型、能力视图本体模型,明确了体系组成要素在各视图中的定义、关系和属性的形式化描述;最后以海战场预警探测系统为例进行了实例研究,验证了方法的可行性。