期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
扩展有色、时间Petri网及其在FMS建模中的应用 被引量:4
1
作者 蔡元龙 夏继强 +1 位作者 陈玉宝 邬学礼 《制造业自动化》 1999年第4期27-28,35,共3页
提出一种改进的有色、时间Petri网——扩展有色、时间Petri网,有效解决了模型规模和信息显示容量之间的矛盾,图形简洁紧凑,内涵丰富。
关键词 FMS 建模 扩展有色 时间PETRI网 多义节点
下载PDF
防空武器系统作战建模与仿真 被引量:2
2
作者 王小艺 侯朝桢 +1 位作者 原菊梅 张翠 《火力与指挥控制》 CSCD 北大核心 2008年第5期22-25,32,共5页
在对防空武器系统作战过程分析的基础上,用IDEF(integrated definition method)方法建立了防空武器系统作战过程的功能模型,并使用一种扩展随机有色Petri网(SCOPN)对武器系统作战的动态过程进行建模与分析,通过对武器系统作战过程的定... 在对防空武器系统作战过程分析的基础上,用IDEF(integrated definition method)方法建立了防空武器系统作战过程的功能模型,并使用一种扩展随机有色Petri网(SCOPN)对武器系统作战的动态过程进行建模与分析,通过对武器系统作战过程的定量计算,验证了建模方法的可行性,为研究复杂系统提供了一种有效方法。 展开更多
关键词 防空武器系统 IDEF 扩展有色Petri网
下载PDF
并发事务无死锁的可串行化调度的形式化方法 被引量:1
3
作者 罗雪梅 王薇 韩耀军 《计算机工程与应用》 CSCD 北大核心 2004年第10期181-183,229,共4页
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发... 并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。 展开更多
关键词 并发控制 可串行化 两段锁协议死锁 扩展有色Petri网 可达标识图
下载PDF
基于IDEF0与ESCPN的军事情报系统建模研究 被引量:2
4
作者 熊杰 刘湘伟 陈根忠 《现代情报》 CSSCI 2010年第2期162-166,共5页
深入分析了军事情报系统的复杂性、层次性、离散性和随机性等特征,综合运用形式化与非形式化建模技术,提出了IDEF0与ESCPN相结合的军事情报系统混合建模方法。以电子对抗情报系统为例建立了其IDEF0与ESCPN的评估模型,研究结果表明此方... 深入分析了军事情报系统的复杂性、层次性、离散性和随机性等特征,综合运用形式化与非形式化建模技术,提出了IDEF0与ESCPN相结合的军事情报系统混合建模方法。以电子对抗情报系统为例建立了其IDEF0与ESCPN的评估模型,研究结果表明此方法为军事情报系统的建模、分析与评估提供了有益的思路。 展开更多
关键词 军事情报系统 IDEF0 扩展的随机有色Petri网 评估模型
下载PDF
Further Extended Jacobi Elliptic Function Rational Expansion Method and New Families of Jacobi Elliptic Function Solutions to (2+1)-Dimensional Dispersive Long Wave Equation
5
作者 ZHANG Yuan-Yuan WANG Qi ZHANG Hong-Qing 《Communications in Theoretical Physics》 SCIE CAS CSCD 2006年第2期199-206,共8页
In this paper, a further extended Jacobi elliptic function rationM expansion method is proposed for constructing new forms of exact solutions to nonlinear partial differential equations by making a more general transf... In this paper, a further extended Jacobi elliptic function rationM expansion method is proposed for constructing new forms of exact solutions to nonlinear partial differential equations by making a more general transformation. For illustration, we apply the method to (2+1)-dimensionM dispersive long wave equation and successfully obtain many new doubly periodic solutions. When the modulus m→1, these sohitions degenerate as soliton solutions. The method can be also applied to other nonlinear partial differential equations. 展开更多
关键词 doubly periodic solution soliton solution (2+1)-dimensional dispersive long wave equation
下载PDF
New Extended Jacobi Elliptic Function Rational Expansion Method and Its Application
6
作者 ZHENG Ying ZHANG Yuan-Yuan ZHANG Hong-Qing 《Communications in Theoretical Physics》 SCIE CAS CSCD 2006年第1X期5-9,共5页
In this paper, an extended Jacobi elliptic function rational expansion method is proposed for constructing new forms of exact Jacobi elliptic function solutions to nonlinear partial differential equations by means of ... In this paper, an extended Jacobi elliptic function rational expansion method is proposed for constructing new forms of exact Jacobi elliptic function solutions to nonlinear partial differential equations by means of making a more general transformation. For illustration, we apply the method to the (2+1)-dimensional dispersive long wave equation and successfully obtain many new doubly periodic solutions, which degenerate as soliton solutions when the modulus m approximates 1. The method can also be applied to other nonlinear partial differential equations. 展开更多
关键词 extended Jacobi elliptic function rational expansion method rational formal Jacobi elliptic function solution (2+1)-dimensional dispersive long wave equation
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部