共查询到20条相似文献,搜索用时 390 毫秒
1.
着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具. 相似文献
2.
面向对象Petri网建模技术与应用 总被引:2,自引:0,他引:2
面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点. 相似文献
3.
文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。 相似文献
4.
采用层次着色Petri网的方法,在CPN-Tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函数,使得模型具有根据态势信息进行目标分配决策的能力。分析了模型的动态性质,并给出算例仿真。仿真结果表明了所研究的基于层次着色Petri网的多机协同多目标攻击决策模型的有效性。 相似文献
5.
6.
针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法. 相似文献
7.
针对网络控制系统中存在多任务、多消息并发执行,容易产生死锁,研究了对1553B总线的网络控制系统中的任务和消息建立着色Petri模型,设计了任务与消息颜色集,并利用CPN tools对模型进行了分析,分析结果显示模型可以检测出系统是否死锁. 相似文献
8.
9.
三划分问题可多项式归约为唯一可达向量Petri网可达性问题 总被引:1,自引:1,他引:0
岳昊 《微电子学与计算机》2008,25(10)
为了对基于唯一可达向量Petri网(URV-PN)的密码体制进行密码分析工作,有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研究.定义了扩展的三划分问题,三划分问题是扩展的三划分问题的一种特殊情况;给出了一个一般的多项式时间复杂度算法构造扩展的三划分问题的Petri网模型;证明扩展的三划分问题有解当且仅当所构造的Petri网模型中某个标识可达;从而说明三划分问题可多项式归约为唯一可达向量Petri网系统的可达性问题,从而给出了求解唯一可达向量网系统可达性问题的一个复杂度下界. 相似文献
10.
朱勇 《微电子学与计算机》2013,30(2)
Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述. 相似文献
11.
为了提供目前产品数据管理(Product Dato Management,PDM)系统对产品开发过程管理的控制能力,实现产品开发过程中的实时测量与监控,提高管理质量,结合能力成熟度模型(Capability Maturity Model Integration,CMMI)在软件领域的成功经验,适应硬件产品开发领域的需要,在介绍了CMMI的主要思想之后,重点论述了以CMMI为基础定制企业PDM系统的可能性。对产品开发框架进行了分析,提出了基于CMMI的PDM系统概要设计模型。 相似文献
13.
通过对使用隐写软件Steghide隐藏信息前后图像T、A、P点数目变化规律的分析,对每幅图像构造一个特征 向量,并且结合支持向量机提出一种基于OC_SVM的Stegthide检测算法,同时,实验结果给出了该算法在不同信息嵌 入量情况下的检测性能。 相似文献
14.
通信、计算机领域的发明专利审查过程中,针对权利要求书中涉及伪代码的情形存在不同的审查观点.在对伪代码与自然语言、标记性程序语言进行辨析,以及对现行发明专利审查规范进行分析溯源的基础上,提出应站在技术人员的角度,按专利审查的一般标准,判断其是否符合专利申请的撰写规定和授权条件,权利要求是否清晰,再进行一致性审查的建议,对其他领域类似情形的发明专利审查具有借鉴意义. 相似文献
15.
随着信息系统的迅速发展,各类信息化应用系统逐步建立,但是各应用系统之间自成体系,从而导致了每使用一个系统就要重新登录一次,给用户的使用和管理员的管理带来了很多不便.本文研究基于CAS的单点登录系统应用,很好地解决了使用和管理困难问题,介绍了基于CAS的单点登录系统应用设计研究,系统采用用户管理LDAP轻量级目录服务、CAS中央认证服务,设计了一个统一管理界面,通过Web服务传递用户参数,实现了多应用系统的整合. 相似文献
16.
基于片上可编程系统的视频车辆跟踪技术研究 总被引:1,自引:1,他引:0
魏永超 《激光与光电子学进展》2011,(3):69-73
针对目前具体产品中算法实现复杂且基于计算机(PC)平台的纯软件环境等问题.提出了一种视频车辆跟踪的嵌入式实现方法.利用可编程片上技术,使得视频检测摆脱PC平台的依赖.以Nios Ⅱ软核处理器和外设知识产权(IP)核为硬件平台,结合模拟/数字信号转换(A/D)和数字/模拟信号转换(D/A)的视频接口,以μC/OS为操作系... 相似文献
17.
基于IMS的固定移动融合的探讨 总被引:1,自引:1,他引:0
分析了国内运营商当前所面临的困境与挑战,阐述了通过引入IMS进行固定移动融合解决当前面临的问题,重点对基于IMS的固定移动融合网络构架和实现固定移动融合的网络演进策略进行了相关的研究和探讨。 相似文献
18.
19.
20.
任小娟 《信息技术与信息化》2008,(3)
平台迁移和软件适应需求变化能力的提高一直是电子商务应用中的难点,而MDA是解决该问题的一个有效的途径.该文主要对MDA的核心技术及框架模型作了剖析,最后以企业中的订购系统为例对此方法进行了阐述. 相似文献