同步时序电路的增广Petri网分析

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。     

同步Petri网的仿真及硬件实现

基于现有的EDA技术,针对同步Petri网和硬件描述语言的关联性,提出了用VHDL语言对同步Petri网进行描述并实现.首先使用同步Petri网对控制器进行建模,然后使用VHDL语言对同步Petri网控制模型进行描述,最终在EDA软件Max+ PlusII中进行编译、仿真和适配,并下栽到FPGA中,通过实验开发系统GW...     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

基于Petri网的入侵检测模型研究

随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。     

基于Petri网的Web服务注册方法的研究与实现

为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法.首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明.     

Petri机制控制理论在计费系统应用级容灾中的应用

快速、可靠的容灾切换控制是实现高等级容灾的基本保证,同时也是容灾系统实现上的一个难点。Petri机制作为一种描述基于实时状态的并发控制模型,已经在多个领域得到了广泛应用,但在国内电信行业的应用尚属空白。基于其图形建模的直观性和分析理论的严谨性,Petri网能够很好地表达和验证容灾切换过程中多个系统间复杂的控制逻辑。通过将Petri网原理和Petri机制中间件首次成功引入中国电信的信息系统,改变了以往以手工操作为主的容灾切换模式,将计费系统应用级容灾的灾难恢复时间指标(RTO)提高了一个数量级,实现了国内电信行业最佳的业务连续性指标,也使中国电信的应用级容灾走在了电信行业的最前列。     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

反射式需求工程过程演化建模

用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色Petri网及其范畴,并用有色Petri网范畴描述软件系统非功能需求性质的模拟、保持和反射机制;用有色Petri网建立反射式需求工程过程演化形式化模型,模拟了软件系统需求工程过程中功能需求和非功能需求的迭代、增量、演化,为软件系统需求工程过程演化建模提出了一种新的方法.     

相控阵雷达T/R组件的效费比随机petri网维修模型

针对T/R组件在备件库存、保障模式以及维修策略方面的特点,建立了两级维修保障体制下相控阵雷达的效费比随机Petri网模型。首先对随机Petri网性能存在的不足进行分析,并对其进行改进,引入抑制弧和全局时间,建立了多部件条件下不同连接方式的系统Petri网模型;其次以多部件当中的k/N系统连接方式为基础,建立了相控阵雷达系统的Petri网模型并进行实例验证;最后对模型中的使用可用度和单位时间维修费用进行分析。实例仿真表明,该Petri网模型可信度高,可以分析基层级和基地级初始备件数量、维修策略参数(m,NG)对系统保障效能的影响,克服了传统解析方法建模的局限,更加贴合实际。     

基于随机Petri网的网络可信赖性分析方法研究

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.     

计算机云计算中的数据存储研究

文中研究了云计算的概念及实现形式，探讨了计算机云计算下的数据存储模型组成，其具体分为存储层、基础管理层、应用接口层及访问层。其次，文中研究了目前计算机云计算中较为常用的数据存储技术分类，包括HDFS和GFS。最后，文中还对计算机云计算中的数据储存技术应用提出了持续完善数据存储结构、开发高效率存储技术以及数据存储处理等对策，为计算机云计算中数据存储工作的优化调整提供了参考。     

Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis

Protocol conversion is a critical issue requiring much research attention. In this paper, the protocol conversion methodology proposed originally by Green is extended with the Petri nets theory to study application layer protocol conversion among more than two interfaces. The click‐to‐fax (CTF) service based on the Internet intelligent network (IIN) model is taken as an example to illustrate the extended part. A two‐step Petri net modelling method is proposed, which is easier compared to constructing the overall model directly in just one step. Universal coupling criteria of Petri net model of protocol conversion (PNPC) are abstracted. The PNPC of CTF service is analysed using analytical techniques of Petri nets, which are proved to be effective in finding and eliminating potential bugs. The necessity of the concept of service layer is also emphasized. Copyright © 2006 John Wiley & Sons, Ltd.     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

A study of fuzzy logical petri nets and its application

In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning; from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.     

Multilayer context cloud framework for mobile Web 2.0: a proposed infrastructure

Existing context‐aware systems focus only on characterizing the situation of an entity to exhibit the advantage of contextual information association, but they have no mechanism to facilitate the interoperation and reuse of contextual information. Cloud computing offers an adaptable and flexible solution for existing context‐aware applications, integrating Mobile Web 2.0 technologies. This work presents a multilayer context cloud framework (MCCF) that integrates Web 2.0 technologies into a mobile context‐aware system for use in a cloud computing environment. The proposed MCCF includes a context sensor layer, a context information layer, a context service layer, a context representation layer, a cloud computing layer, and a mobile Web 2.0 context‐aware Software as a Service layer. To demonstrate the feasibility of this approach, a Mobile Web 2.0‐based context‐aware Software as a Service platform, which is a cloud computing application based on MCCF, is implemented to provide continuous and context‐aware monitoring of a specific application. Copyright © 2011 John Wiley & Sons, Ltd.     

云计算安全中密码技术应用模型研究

首先简要分析了云计算的工作原理及可能带来的安全隐患,在此基础上探讨了云计算环境下的安全架构,并给出了密码技术的应用途径。其次,从云计算环境下的安全系统工作流程这个维度,结合密码学理论、云计算安全架构给出了在云计算安全中密码技术的应用模型。最后,归纳出基于该模型的云计算环境中密码应用技术及其发展趋势,为密码技术应用于云计算安全中提供可用的解决思路。     

基于模糊Petri网的信任评估

针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。     

面向云计算环境下Web数据挖掘技术

在云计算环境下,Web数据挖掘技术得到了快速发展。由于云计算的应用,Web数据挖掘体系已体现出新的特点。分析云计算环境下Web数据挖掘技术的特点,可以明确应用要点,可以实现云计算在数据存储中的突破,实现存储的能力与安全性的提高。从海量数据中高效挖掘有价值的资源,属于信息技术要解决的关键问题。云计算技术支持下的数据挖掘实现了资源的优化配置,体现出实用性、虚拟性的特点,可以保证数据挖掘的高效、精准。因此,有必要构建基于云计算的数据挖掘模式,保证数据挖掘具有更高的精准度,并实现挖掘成本的降低。     

电信BS架构系统迁移及云化研究

深入分析了电信BS架构系统迁移的相关问题及解决方案,并对BS架构系统IaaS及PaaS云化方案进行了研究,提出了两种IaaS和一种PaaS解决方案,能有效地解决电信BS架构系统Web及应用层云化相关问题,同时给出了迁移及云化演进路径和分阶段推进建议,对于推进云计算在IT支撑系统中的应用,具有较好的价值贡献。     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.