数据抽象与系统建模方法

传统面向对象数据抽象由于本身的局限性,对系统建模先天不足,从而难以成为大系统的设计方法和工具手段,根据按模式记忆理论,提出将性质论运用于数据抽象和系统建模,先对所研究事物进行了属性检测,然后由各个属性整合成为对象,再把对象整合为子系统,逐渐对子系统进行整合,最后形成与外界事物结构一致的系统记忆模式。     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于OPN的叶片生产系统建模与仿真

运用面向对象Petri网的方法对叶片生产系统各实体进行建模,通过消息传递关系将各实体的OPN模型进行连接,完成系统整体模型的建立,并对其性能进行分析,从全局观点描述事件之间的顺序、并发和同步关系。基于该模型,运用Flexsim仿真分析系统的性能,寻找影响系统效率的关键因素。实践表明,OPN与Flexsim的结合能有效地对生产系统进行分析、优化。     

一种柔性机器人系统建模方法

目的提出一种更实用的柔性机器人系统建模方法,方法采用改进的人工神经网络（ANN）的算法与结构,在建模过程所用数据全部取自一个运动中的非常柔软的铜质弹性杆,这个弹性杆被固定在一个FANUCS-300型机器人操作机的终端上,结果理论分析与实验结果表明这个建模方法更适合于具有快变动力学特性的柔性系统,与已有的建模方法相比,它更精确和更适合于实时应用,结论这种建模方法适合于具有快变特性的柔性机器人系统的建模。     

基于表映射的CIMS建模方法

针对现有ＣＩＭＳ建模方法中的问题,对ＩＤＥＦ０方法进行了语义描述扩展,提出ＥＩＤＥＦ０方法,对信息模型进行改造,并以对象替换实体,提出了ＥＩＤＥＦ１Ｘ方法。最终为解决功能模型与信息模型间的联系与过渡,给出了基于表映射的ＣＩＭＳ建模方法。     

面向对象的设计类专家系统建模方法研究

从面向对象的设计方法出发，对把该方法应用于设计类专家系统进行了研究，提出了此类专家系统建模的三步曲，并将该方法应用了应用于面向对象的压铸模设计专家系统中。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

一种复杂机电系统的全局建模方法

根据复杂机电动力学系统的特点，提出一种约束函数递推组集法的复杂机电系统全局建模方法，首先，根据复杂机电系统的拓扑结构和约旦变分原理，建立机械系统的单体动力学模型，应用递推组集技术建立树形复杂机电系统的动力学模型，其次，建立非树形复杂机械系统约束函数，解除非树形系统约束，利用树形系统的建模方法建立非树形系统的动力学模型；最后，建立机电耦合约束函数，利用约束函数与机电系统方程解约，建立复杂机电系统的全局模型。     

一种面向对象的参数建模方法

提出了一种交互式的面向对象的参数建模方法。其实现方法是：在交互式绘图的过程中，每当创建图元对象或处理某图形对象时，与参数和拓朴相关的信息被存贮在所创建的或处理的对象中，经过变体处理，并根据实际的参数与模型的形状进行计算，得到所需的对象。     

一种约束树形多体系统动力学建模方法

在归纳总结复杂机电动力学系统特点的基础上,提出一种约束函数递推组集法的复杂机电系统全局建模方法。首先根据复杂机电系统的拓扑结构和约旦变分原理,建立机械系统的单体动力学模型,应用递推组集技术建立树形复杂机电系统的动力学模型。其次建立非树形复杂机械系统的约束函数,解除非树形系统的约束,利用树形系统的建模方法建立非树形系统的动力学模型。最后建立约束函数,利用约束函数与电系统方程解约,建立复杂机电系统的全局模型。     

月球探测机器人的系统建模

为准确描述和有效分析机器人系统，提出了一种将面向对象技术与Petri网相结合的月球探测机器人系统建模方法，既保持Petri网对离散事件系统的准确描述性和直观性，又利用面向对象的自然性、易理解性、可重用性和可扩充性．月球探测机器人可利用该模型对系统性能进行分析和故障预测．     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的战术互联网建模方法

为了兼顾建模仿真的实时性和精确性,在分析战术互联网结构和特点的基础上,提出一种基于Petri网的战术互联网建模方法,并从网络吞吐量和端到端时延2个方面进行了试验验证,对比分析表明：该方法易于实现,实时性高,在数据分组发送速率较低和节点运动速度较慢的情况下仿真精确度相对较高,能够较好地满足战术指挥模拟训练的需求。     

一种分布式实时嵌入式系统的调度分析算法

针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

一种基于扩展WF-Net的工作流建模方法

工作流过程建模是实现工作流管理系统的基础和关键。在介绍工作流网（WF—Net）的基础上，重点介绍作者提出的一种扩展WF—Net的工作流模型，最后给出了该模型在药品营销工作流管理系统中的一个应用实例。     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

扫描体造型的一种新算法

目前的雪描体算法,只注重轮廓面的变形与参数描述,但对扫描过程中轮廓面与轨迹线性对位置变化没有考虑。为此本提出一个新算法来改善扫描体造型技术,即采用身体中变换理论,描述扫描体中的位移、旋转及广泛变形。新算法与Ｆｒｅｎｅｔ法的比较结果显示新算法快速。精确。     

基于Petri Nets的无人机自主飞行任务管理系统

根据无人机自主飞行的任务规划与调度过程设计了任务管理系统的总体结构,讨论了体系结构的组成和功能;将一个完整的自主飞行侦察任务过程通过Petri Nets分解出若干子任务,用事件触发进行管理和调度;最后通过MATLAB中的Stateflow工具对整个无人机任务序列进行了仿真实现,保证了侦察任务的顺利执行．