检索结果-南通市图书馆

2006年全国理论计算机科学学术年会

作者：徐春香黄雨王捍贫北京大学信息科学技术学院北京大学信息科学技术学院北京大学信息科学技术学院

＜正＞1 引言工作流过程模型是对业务过程进行描述和规范的模型。在过程模型部署到工作流管理系统之前, 对过程模型的正确定义、分析、验证和细化是至关重要的。

关键词： Workflow analysis petri nets Reduction rule

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Fault Detection in Acyclic petri Net Models

Fault Detection in Acyclic Petri Net Models

引用

2010 Chinese Control and Decision Conference

作者： Yizhi Qu~(1,2),Lingxi Li~1,Yaobin Chen~1,and Yaping Dai~2 1.Department of Electrical and Computer Engineering,Indiana University-Purdue University Indianapolis,IN 46202,USA 2.Department of Automation,Beijing Institute of Technology,Beijing,China

＜正＞This paper proposes an approach for fault detection in a system that is modeled as an acyclic petri *** in the net can be either observable or unobservable,and faulty behavior in the system are modeled as faulty transitions in the *** goal is to determine whether faulty transitions occur or not based on the observation of system state （marking） *** develop an algorithm that is able to determine the possible occurrences of faulty transitions in the *** example is also provided to illustrate our approach.

关键词： petri nets fault detection matrix analysis

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

A SURVEY OF EDICT SUPERVISORY CONTROL METHOD

A SURVEY OF EDICT SUPERVISORY CONTROL METHOD

引用

第十九届中国控制会议

作者： A．H.Jones The University of Salford ManchesterUK

＜正＞In this paper, a new method is proposed for solving the forbidden state supervisory controller design problem. The method involves searching the reachability graph and formulating the control policy for each controllable transition as sets of markings which enable or block the transition. A Boolean logic reduction algorithm is then be used to minimize this control policy logic at each controllable transition. Finally, in accordance with logic reduction algorithm, the control policy is simply implemented at each controllable transition by adding enabling and inhibiting arcs to the original petri net model.

关键词： Supervisory Control petri nets Boolean Logic Reduction

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

SimNet——一种新型的工作流仿真模型

SimNet——一种新型的工作流仿真模型

引用

2006年全国理论计算机科学学术年会

作者：霍金健徐春香屈婉玲袁崇义北京大学信息科学技术学院北京大学信息科学技术学院北京大学信息科学技术学院北京大学信息科学技术学院

＜正＞1 引言在工作流模型分析方面的研究已经取得了一定的成果。文[1]中指出了工作流模型分析的不同方式,并把工作流模型的分析方法基本上分为三种类型:确认（Validation）、验证（Verification）、性能分析

关键词： petri nets SimNet Workflow Workflow simulation model

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

petri网在工作流过程建模和分析中的应用

Petri网在工作流过程建模和分析中的应用

引用

第十七届全国数据库学术会议

作者：姜浩东南大学计算机系

1工作流过程模型概述工作流的过程模型是业务过程计算机化的形式表示,它定义了过程运行中的各种参数、工作流的各个工作环节以及相互之间的控制流和数据流关系,其中最能体现系统动态行为特征的是过程的控制模型(简称为过程模型)。目前... 详细信息

1工作流过程模型概述工作流的过程模型是业务过程计算机化的形式表示,它定义了过程运行中的各种参数、工作流的各个工作环节以及相互之间的控制流和数据流关系,其中最能体现系统动态行为特征的是过程的控制模型(简称为过程模型)。目前常见的用于描述工作流过程的并发动态行为的语义模型有:基于逻辑的模型、基

关键词： workflow petri nets process model

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

A NOVEL APPROACH TO SIMULATE COMPLEX PRODUCT DEVELOPMENT PROCESSES

A NOVEL APPROACH TO SIMULATE COMPLEX PRODUCT DEVELOPMENT PRO...

引用

2005年中国机械工程学会年会

作者： C.Schlick T.Licht Chair and Institute of Industrial Engineering and Ergonomics Chair and Institute of Industrial Engineering and Ergonomics

＜正＞Project planning methods and tools still have weaknesses when it comes to modeling weakly structured work processes, task interdependencies or uncertainty. Particularly when managing parallel product development projects it is challenging to plan task assignments to personnel, to predict the resulting work load, the temporal course of work progress and to model these issues in a consistent framework, A rather unrealistic project scheduling often occurs which has not much in common with the real course of work progress. It is a well known fact that important tasks may then be neglected for the benefit of urgent tasks - leading to an operational precipitance at the end of the project. Exceeded deadlines or development results of poor quality are common consequences. Existing simulation approaches only theoretically provide some help here. Due to laborious definition of predecessor-relations of tasks, even if tasks are practically performed in parallel, an effective practical deployment has not taken place yet. In this paper a person-centered, actor-driven simulation approach is proposed that can cope with highly parallel tasks. The task execution sequence is determined by means of a bounded rational choice model. The unfolding model behavior is very realistic and can therefore provide a good basis for predicting project duration and costs. Test statistical results from a case study show that the simulated project duration differs not significantly from the empirically observed proj ect duration.

关键词： person-centered simulation actor-driven simulation project management bounded rational decision making petri nets

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

武装直升机智能自主式飞行控制系统设计研究

武装直升机智能自主式飞行控制系统设计研究

引用

作者：刘冠邦南京航空航天大学

学位级别：硕士

武装直升机在现代战争尤其局部战争中的作用日益显著,它是提高部队动性、夺取低空及超低空制空权以及对地攻击的主要武器,具有广泛的军事用途和发展空间,受到各军事强国极大的关注。本课题主要研究武装直升机智能自主式飞行控制系统技... 详细信息

武装直升机在现代战争尤其局部战争中的作用日益显著,它是提高部队动性、夺取低空及超低空制空权以及对地攻击的主要武器,具有广泛的军事用途和发展空间,受到各军事强国极大的关注。本课题主要研究武装直升机智能自主式飞行控制系统技术。文章采用Multi-agent 思想方法建立自主飞控体系结构,对关键功能 Agent 和组件进行具体的设计与仿真,然后进行系统综合仿真,验证了设计的可行性。本文同时研究了VC++结合 OpenGL 的自主飞行三维动画仿真技术。首先,本文研究了基于 Multi-Agent 技术的智能自主飞行控制系统的体系结构,设计了武装直升机自主飞行的 MAS 分布式控制体系结构,对关键功能 Agent和组件进行结构和功能的研究,并探讨了 MAS 自主飞控系统的通信机制。其次,对关键功能 Agent 和组件进行具体算法研究。对决策规划 Agent、航迹规划组件、重规划组件、飞控 Agent、航迹跟踪 Agent 等进行具体设计和控制决策算法的研究,并通过 MATLAB 和 VC++进行仿真验证。再次,在系统总体结构设计和具体设计的基础上进行系统综合仿真,仿真表明系统性能良好。最后,本文采用VC++ 结合 OpenGL 的技术研究开发了自主飞控三维动画仿真平台,构造飞行环境和直升机模型,进行了自主飞行的动画演示仿真。

关键词：武装直升机自主飞行 Multi-agent 体系结构地形跟踪 petri nets 航迹控制三维动画仿真

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

RFID业务过程服务组件的研究与开发

RFID业务过程服务组件的研究与开发

引用

作者：张翔上海交通大学

学位级别：硕士

随着RFID技术应用的发展,与RFID相关的应用场景日益复杂并且改变了原有的业务流程,传统的应用开发方式已经阻碍了RFID在企业,特别是中小型物流企业中应用的发展。业务系统开发人员需要面对大量的非RFID业务处理服务器的开发。如何针对R... 详细信息

随着RFID技术应用的发展,与RFID相关的应用场景日益复杂并且改变了原有的业务流程,传统的应用开发方式已经阻碍了RFID在企业,特别是中小型物流企业中应用的发展。业务系统开发人员需要面对大量的非RFID业务处理服务器的开发。如何针对RFID特有的业务流程进行快速建模与开发,并考虑到日益复杂的业务场景进行业务过程的再利用已经成为阻碍RFID技术发展的紧迫问题。为了解决这些问题,本文着力于RFID业务过程服务组件的研究与开发。本文根据目前RFID在国内中小型物流企业应用的现状和典型业务过程,提出一个基于petri nets的改进业务过程建模方法,其中添加了针对RFID业务过程实现的元素,并在此基础上对典型的RFID业务场景进行分析和建模,进而设计与实现了业务组件类库以及包括业务管理监控在内轻量级的业务过程服务器,有效地解决了业务流程的重用和业务变更的灵活处理等问题。开发出的这套具有可重构、可扩展的、轻量级的RFID中间件业务过程处理服务组件,使得国内中小型企业能够对原有业务流程进行管理和重组,在其业务领域之内迅速部署RFID应用。这个业务过程服务组件具体包括:业务建模方法学,业务构件实现规范,RFID中间件中的业务过程处理服务器的架构。本业务服务组件具有对业务逻辑单元进行定制;实现所需要的业务逻辑组件、并生成业务过程描述文件,用于业务过程处理;根据描述文件与所采集的数据对业务过程进行处理等特点。通过这种方法可以有效地降低RFID应用开发成本,实现业务过程的组合与交互,达到业务过程组件的可扩展性和重用。本文结构首先分析了主流RFID解决方案,并着重研究了其中的业务处理部分,进而指出其存在问题引出本文的研究路线和相关技术的分析。然后对于两个关键问题,基于petri nets的建模方法与业务过程服务组件架构进行了深入讨论。接下来针对这种建模方法和架构做出了设计与实现。最后是总结与展望。

关键词： RFID 中间件业务过程 petri nets 建模

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

SPN-Based Performance Analysis of Multiple Users’Behaviors for SNS

引用

Journal of Information Hiding and Privacy Protection 2022年第1期4卷 1-13页

作者： Zhiguo Hong Yongbin Wang Minyong Shi School of Data Science and Media Intelligence Communication University of ChinaBeijing100024China Collaborative Innovation Center Communication University of ChinaBeijing100024China State Key Laboratory of Media Convergence and Communication Communication University of ChinaBeijing100024China School of Computer and Cyber Sciences Communication University of ChinaBeijing100024China

With the rapid development of various applications of Information Technology,big data are increasingly generated by social network services(SNS)*** designers and providers of SNS distribute different client applications for PC,Mobile phone,IPTV etc.,so that users can obtain related service via mobile or traditional *** scalability and considerably short time delay are important indices for evaluating social network *** a result,investigating and mining the principle of users’behaviors is an important issue which can guide service providers to establish optimal systems with *** the basis of analyzing the characteristics of social network system,this paper constructed a Stochastic petri Net(SPN)model for describing the behaviors of three users for ***,the scalability of users’behaviors of SNS was studied by extending the SPN model of three users to the one of four ***,average time delay was chosen as the performance index to evaluate the performance of these two constructed SPN models with Stochastic petri Net Package(SPNP)*** different parameters of number of connections,traffic load and buffer size,various trends and numerical results are derived *** methodology of modeling and simulation in this paper can be further used to study the performance of SNS.

关键词： Social network petri nets performance analysis traffic load

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：