基于Stateflow的赋时Petri网仿真实现方法

以合理配置和优化内外资源为目的的生产调度问题已成为制造业的研究热点.通过利用赋时Petri网建模方法对Job Shop生产调度问题建立模型,采用Matlab环境下的Stateflow工具箱实现了对所建Petri网模型的动态可视化仿真,获得了网运行的变迁序列并构建出Petri网的可达图,同时分析了各机器生产效率.该仿真方法降低了Petri网理论分析的难度,仿真结果为制造系统的实际流程设计提供了依据.     

一种基于分布构件装配元信息动态重构的表示方法

动态重构技术使得软件系统自身进行演进的同时，仍然能够提供服务。本文提出了一种基于构件装配元信息的动态重构操作的表示方法。该表示方法以Jeff提出的动态重构系统设定为基础，采用集合来表达构件应用中的构件、连接子和节点，为动态重构规划的生成以及等价性验证等提供了量化方法，并在基于CORBA构件模型的StaCCM分布构件平台中加以实现。     

基于知识Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行。文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

基于识别Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行，文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。     

基于Petri网的面向动态演化的软件体系结构建模

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性.以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模.首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性.     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

一种自动的软件体系结构规约重写方法

在软件较高的抽象层次如软件体系结构,实施重构更有助于提高软件的易维护性,从而降低软件的维护成本。大量复杂的重构操作需要(半)自动化的支持。该文提出一种体系结构规约重写方法,将体系结构重构转换为接口重构和实现体重构2方面的规约重写,并给出规约重写基本操作规则。分析了实现体规约的重构操作,提出子构件提升操作、同级构件合并操作、跨级构件合并和构件分离合并操作4种基本操作。     

基于赋时颜色Petri网的NSSK协议建模

随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.     

基于赋时Petri网的景区游客分流研究

随着旅游规模的不断扩大,旅游高峰期庞大的客流量给景区热门景点的管理工作带来了巨大的压力和挑战。针对景区高峰期游客在热门景点超载和游客分布不平衡的问题,以游客在景区中的动态游览为基础,提出了赋时Petri网的游客分流模型和四种分流策略。在以游客满意度以及景区负载率方差为评价标准下,通过仿真实验来分析不同策略的优点和不足,并对不同评价标准提出合适的策略,对于景区的游客分流管理具有实际的参考价值。     

基于模态的嵌入式软件动态重构技术研究

终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。     

面向装配序列规划的装配本体设计*

为提高装配序列规划的自动化程度,实现装配相关活动间信息的共享、重用和顺畅传递,实现装配序列规划系统与其它异构系统之间的无缝集成和互操作,将本体技术引入到装配建模中.针对装配序列规划建模需求,构建面向装配序列规划且基于装配对象的装配本体(OWL-ASP).OWL-ASP由Properties本体、AssemblyInfo本体和AssemblySeq本体组成,分别描述装配对象的装配属性、装配信息、装配顺序等.在OWL-ASP的基础上,利用语义Web规则语言刻画装配规则,形成统一的装配知识表示层次体系,实现对装配知识的严格刻画和自动推理.通过球阀装配的实例说明装配本体和装配规则的有效性.     

基于可达标识列计时Petri网的时态特征及可控性研究

应用时态逻辑提出计量Ｐｅｔｒｉ网的形式化分析方法,基于可达标识列研究受控系统的时态特征及其可控性与控制不变性,给出控制逻辑存在的充要条件,提出了时态公式分解方法,并讨论了禁止状态避免问题。     

基于时延Petri网的DEDS的代数模型

用一种新的算子建立了结构无竞争时延Petri网和资源分配型时延Petri网的动态方程,为该类系统的分析和控制提供了研究工具.     

基于设计模式的星载软件体系结构设计方法

星载软件是整个卫星系统设计和开发的中心,而体系结构是整个软件开发的蓝图,在软件开发中占有十分重要的位置。为了提高星载软件开发效率,降低研制成本,同时满足实时性、可重构和可维护性要求,从体系结构的前3个视图方面采用基于设计模式的方法提出了一种满足要求的星载软件体系结构。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于集成干涉矩阵的蚁群装配序列规划

针对装配序列规划问题,构建了面向装配的蚁群算法。利用有向图进行产品的装配建模,有效地表达了装配零件之间的接触以及优先关系。探讨了装配干涉矩阵的形式和性质,提出了集成干涉矩阵的概念和变换方法,采用集成干涉矩阵以及工具列表矩阵来表达模型的基本装配信息。分析了基于干涉矩阵的可行方向推导过程、装配零件的状态转移概率以及蚁群算法的信息素更新规则。从装配可行方向的改变次数和装配工具的改变次数建立目标优化函数,从而建立面向装配的蚁群算法用于序列的搜索及构造,并给出蚁群算法的伪代码。最后通过实例对算法进行了验证说明。     

面向对象的有限元方法软件体系结构研究

在有限元基本数据封装和单元过程设计的基础上,构建了一个有限元应用软件构架,详细讨论了如何使用该软件构架进行有限元程序开发的方法,从而提供一个全新的方法来开发有限元软件.实例应用表明,该方法能更好地适应系统的扩充.     

标注Petri网的最小代价计划序列估计

针对制造系统的标注Petri网模型,提出一种基于回溯法估计系统最小代价计划序列的算法.已知标注Petri网模型的网结构与初始标识,根据给定的标注序列划分搜索阶段,每个标注对应的代价较小的变迁优先发生.按此规则观测到所有的标注后,对应的变迁发生序列代价的加和为最小总代价,并储存最小代价计划序列及总代价.按照深度优先策略遍...