检索结果-南通市图书馆

Object-oriented colored Timed petri net for FF Systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Object-oriented Colored Timed Petri Net for FF Systems

A novel matrix approach for the stability and stabilization analysis of colored petri nets

第十九届中国控制会议

作者： Zhi Wang, Haibin Yu, Tianran Wang, Guoning Song Shenyang Institute of Automation, Chinese Academy of Sciences, Shenyang, 110016, P. R. China

＜正＞A new paradigm, called object-oriented colored timed petri net （OOCTPN） is introduced to model the dynamic behavior of Foundation fieldbus function block based distributed control systems.

关键词： Fieldbus smart instrument status propagation mode colored petri net

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2019年第9期62卷 102-115页

作者： Jiantao ZHAO Zengqiang CHEN Zhongxin LIU College of Computer and Control Engineering Nankai University Key Laboratory of Intelligent Robotics of Tianjin Nankai University

In this study, the stability and stabilization problem of a colored petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.

关键词： discrete event system colored petri net semi-tensor product of matrices stability equilibrium point stabilization

Web Service Composition Modeling Based on colored petri nets

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

International Journal of Systems and Control

International Journal of Systems and Control 2008年第1期 30-34页

作者： YING Hong, WU Yu, GUO Jiao College of Mathematics and Computer Science,Chongqing Three Gorges University of China, Chongqing 404000,China

Have analyzed inadequate of the use general petri nets to the Web services modeling, have been given the formal definition of Web services based on colored petri net theory, have described the petri net model of five kinds of basic structure of Web services composition, finally demonstrated advantage of the colored petri net in the Web services composition model methods by an example.

关键词： Web services colored petri net Web services composition

Modelling and Verification of Context-Aware Intelligent Assistive Formalism

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第5期71卷 3355-3373页

作者： Shahid Yousaf Hafiz Mahfooz Ul Haque Abbas Khalid Muhammad Adnan Hashmi Eraj Khan Department of Computer Science&IT The University of LahoreLahore54000Pakistan Department of Software Engineering The University of LahoreLahore54000Pakistan Higher Colleges of Technology Abu Dhabi25026UAE

Recent years have witnessed the expeditious evolution of intelligentsmart devices and autonomous software technologies with the expandeddomains of computing from workplaces to smart computing in everydayroutine life activities. This trend has been rapidly advancing towards the newgeneration of systems where smart devices play vital roles in acting intelligently on behalf of the users. Context-awareness has emerged from the pervasive computing paradigm. Context-aware systems have the ability to acquirecontextual information from the surrounding environment autonomously,perform reasoning on it, and then adapt their behaviors accordingly. With theproliferation of context-aware systems and smart sensors, real-time monitoring of environmental situations (context) has become quite trivial. However,it is often challenging because the imperfect nature of context can cause theinconsistent behavior of the system. In this paper, we propose a contextaware intelligent decision support formalism to assist cognitively impairedpeople in managing their routine life activities. For this, we present a semanticknowledge-based framework to contextualize the information from the environment using the protégé ontology editor and Semantic Web Rule Language(SWRL) rules. The set of contextualized information and the set of rulesacquired from the ontology can be used to model Context-aware Multi-AgentSystems (CMAS) in order to autonomously plan all activities of the users andnotify users to act accordingly. To illustrate the use of the proposed formalism,we model a case study of Mild Cognitive Impaired (MCI) patients usingcolored petri nets (CPN) to show the reasoning process on how the contextaware agents collaboratively plan activities on the user’s behalf and validatethe correctness properties of the system.

关键词： Context-awareness multi-agents colored petri net ontology

Workflow Model Analysis Based on colored petri nets

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Workflow Model Analysis Based on Colored Petri Nets

A Study on the Design for Object-Oriented Adaptive Decision-Making Teams

2010 3rd International Conference on Computer and Electrical Engineering(ICCEE 2010)

作者： Xu Meining Xu Qinglin School of Information Engineering Guangdong University of Technology

Due to the over-coupling difficulty of workflow modeling and its execution, this paper introduces the importance of independence between resource model and workflow model, constructing unified resource manager, and describes resources using the object-oriented approach. A case based on colored petri net modeling is given. Combining the Free Choice net, the paper proposes an efficient verifying algorithm which decides if the workflow model is sound. The time complexity of the algorithm is polynomial.

关键词： workflow model colored petri net resource model soundness

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2002年第1期13卷 68-73页

作者： Xiao Bing, Qu Tan & Wang Mingzhe Huazhong University of Science and Technology, Wuhan 430074,P.R. China Huazhong University of Science and Technology Wuhan 430074 P. R. China

The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set up adaptive C2 teams. In this paper, the relational problems about distributed C2 organizational structure adaptation are discussed, and the methodology for team decision making design based on the object oriented technique is studied.

关键词： Adaptation Decision making team colored petri net Object oriented.

维普期刊数据库

单函数Java程序到CPN模型转换工具的设计与实现

在线全文

学校读者我要写书评

暂无评论

单函数Java程序到CPN模型转换工具的设计与实现

作者：霍明倩内蒙古大学

学位级别：硕士

目前,软件应用十分广泛,在软件开发的前期检测出错误的代价比后期发现并修改的代价要低。传统的基于模型的测试方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模和测试的工作量很大,效率偏低。因此,本文设计并实现一... 详细信息

目前,软件应用十分广泛,在软件开发的前期检测出错误的代价比后期发现并修改的代价要低。传统的基于模型的测试方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模和测试的工作量很大,效率偏低。因此,本文设计并实现一个单函数Java程序到着色petri网(colored petri net,CPN)模型的转换工具。通过读入待测程序,自动分析处理并导出完全符合CPN Tools格式的模型文件。一方面,生成CPN模型的过程实现了自动化,提升建模效率;另一方面,本工具不是针对软件需求建模,而是直接针对代码实现建模,自动导出了符合CPN Tools格式的模型文件,可进一步使用CPN模型检测技术发现模型的错误,从而直接发现代码中的算法错误。本文完成了如下工作:(1)读入待测程序:对单函数Java待测程序进行读入、分析及存储处理。其中声明语句采用链表存储,其他语句采用二叉树存储,通过树中结点的左右子树区分后续语句的嵌套关系。(2)转换待测程序:对程序中的变量定义、流程控制及操作处理等分析,完成程序到CPN模型的转换。其中,程序中定义的变量转换为模型中的token流转,通过颜色集和变量组完成;程序中全部处理语句转换为CPN模型,通过模型元素完成,包括位置、变迁、弧、变迁防卫表达式、弧表达式等。(3)生成模型文件:根据CPN Tools模型文件格式生成并导出模型文件。导出的模型文件可直接由标准CPN Tools打开,用于基于模型检测的算法错误发现。最后,通过实例应用及执行效果分析,说明本文实现的单函数Java程序到CPN模型转换工具能够自动完成针对程序的建模工作,能够提升建模效率,有利于下一步通过模型检查技术检查算法错误,能够在一定程度上提升软件质量。

关键词： colored petri net 单函数Java程序模型文件 CPN Tools

云编程环境下的程序运行性能自适应模拟方法研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

云编程环境下的程序运行性能自适应模拟方法研究

作者：解高纯北京工业大学

学位级别：硕士

随着硬件、网络及通信等技术的迅速发展,异构资源的使用已经不可避免,合理的使用异构资源已变得越来越重要并成为当今的研究热点。针对面向Julia语言的云编程环境中任务(程序)执行性能问题,提出了一种基于时间约束的程序运行性能自适应... 详细信息

随着硬件、网络及通信等技术的迅速发展,异构资源的使用已经不可避免,合理的使用异构资源已变得越来越重要并成为当今的研究热点。针对面向Julia语言的云编程环境中任务(程序)执行性能问题,提出了一种基于时间约束的程序运行性能自适应策略。首先,为了方便描述策略的执行,并能正确标识任务,根据面向的特定问题(例如本文案例车型识别案例)设计了一套Julia原语,通过使用Julia原语对任务进行了描述;进而提出了基于时间约束的程序性能自适应策略,策略对原语与后端资源节点能够自适应产生映射关系,即程序中全体原语与异构资源中的工具库自动择优进行匹配,能够使程序执行时间在用户提出的时限约束范围内用户花费越低。为了验证策略的合理性,针对车型识别案例,基于有色petri网的验证方法并借助CPN TOOLS工具构建了colored petri net模型,对比仿真过程产生的多个可选方案,验证了我们自适应策略的可行性与有效性。由于在异构资源上编写并行程序涉及到并行计算、分布式计算及云计算等相关知识,异构资源上的并行程序编写成为当今的研究难点,为此我们基于Julia动态语言的云编程模式,创建了基于Julia语言的云编程平台。在面向Julia动态语言的云编程环境中,采用特定的高性能实现方法,形成面向领域问题的工具库,根据各自的特点部署到相应的异构计算环境(实现模式)中。然后程序员可以在云编程平台窗口中编排Julia程序,编写/调试/运行应用程序,较好的解决了异构资源上的并行程序编写问题。运行阶段,基于对Julia程序原语标定的工具库属性,根据自适应策略动态结合正确的工具(即动态运行库),满足了用户对运行性能和结束时间的要求。

关键词：自适应策略 colored petri net 异构资源时限约束

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于着色petri网的跨组织工作流

基于着色Petri网的跨组织工作流