期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于位置不变量的Petri网分解方法 被引量:4
1
作者 胡红革 谢阅 黄大贵 《电子测量与仪器学报》 CSCD 2004年第2期77-80,共4页
Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petr... Petri网是系统模拟和分析的有效工具 ,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦。文中着重讨论了一种网分解方法 ,给出了Petri网分解的定义 ,并讨论了通过这种分解后 ,原网与子网在结构性质方面之间的关系 ,对用Petri网分析大系统提供了一种有效的方法。 展开更多
关键词 PETRI网 位置不变量 分解方法 结构性质 系统模拟 系统分析
在线阅读 下载PDF
计算无回路Petri网位置不变量的几何方法 被引量:3
2
作者 张东红 蔡崇春 邢科义 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期157-160,共4页
基于路增益概念 ,证明了无回路加权事件图位置不变量的存在性 ,并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个 Petri网基于位置并的位置不变量 ,通过把无回路 Petri网分解成一些加权事件图基于位置的并 ,... 基于路增益概念 ,证明了无回路加权事件图位置不变量的存在性 ,并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个 Petri网基于位置并的位置不变量 ,通过把无回路 Petri网分解成一些加权事件图基于位置的并 ,给出了无回路 展开更多
关键词 路增益 无回路加权事件图 位置不变量 无回路Petri网 位置 计算方法
在线阅读 下载PDF
Petri网位置不变量的几何意义 被引量:6
3
作者 张东红 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第6期717-721,共5页
引入了Petri网路增益及位置不变量并运算的概念 ,建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量之间的关系 ,给出了Petri网图形运算与位置不变量运算之间的关系 .证明了加权状态机位置不变量存在的充要条件 ... 引入了Petri网路增益及位置不变量并运算的概念 ,建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量之间的关系 ,给出了Petri网图形运算与位置不变量运算之间的关系 .证明了加权状态机位置不变量存在的充要条件 ,揭示了Petri网位置不变量的几何意义 . 展开更多
关键词 路增益 位置不变量 PETRI网
在线阅读 下载PDF
基于位置不变量的混和Petri网的分解
4
作者 胡红革 黄大贵 谢阅 《中国工程物理研究院科技年报》 2003年第1期408-409,共2页
系统越是复杂,建立模型越是困难,而且要求模型的功能越强。由于实际混合系统的规模较大,在分析混合系统的性能时,会遇到维数灾难和计算复杂性问题;因此,采用分解的方法已成为一种不可避免的趋势。尽管Petri网理论具有很多的优点... 系统越是复杂,建立模型越是困难,而且要求模型的功能越强。由于实际混合系统的规模较大,在分析混合系统的性能时,会遇到维数灾难和计算复杂性问题;因此,采用分解的方法已成为一种不可避免的趋势。尽管Petri网理论具有很多的优点,作为一个高阶的模型语言,它仍然需要继续丰富和发展;研究混合petri网的分解方法,以便对复杂大系统很好地建模。 展开更多
关键词 位置不变量 混和Petri网 结构分解 表征连续变量
在线阅读 下载PDF
Petri网在程序正确性证明中的应用研究
5
作者 康慕宁 胡正国 叶军 《西北工业大学学报》 EI CAS CSCD 北大核心 1996年第1期77-81,共5页
Floyd的循环不变式断言法是部分正确性证明的常用方法之一,但循环不变式断言的构造是比较困难的,而染色网(CPN)的位置不变量是可求出的.本文通过用CPN描述程序算法,引出了一种拓广的位置不变式的定义,此定义允许不变... Floyd的循环不变式断言法是部分正确性证明的常用方法之一,但循环不变式断言的构造是比较困难的,而染色网(CPN)的位置不变量是可求出的.本文通过用CPN描述程序算法,引出了一种拓广的位置不变式的定义,此定义允许不变式是非线性的,以及计算不变式的一个充分条件,并且讨论了上述两种不变式之间的联系,为构造一算法的循环不变式断言提供了一种新的方法. 展开更多
关键词 PETRI网 染色网 位置不变量 程序 正确性证明
在线阅读 下载PDF
A fast-imaging method for airborne gravity gradient data based on tensor invariants
6
作者 Zhou Shuai Wei Yue +3 位作者 Wu Yan-gang Jiao Jian Lu Peng-yu Jiang Dan-Dan 《Applied Geophysics》 SCIE CSCD 2022年第2期284-293,309,共11页
Airborne gravity gradient data contain additional short-wavelength information about the buried geological bodies.This study develops a fast interpretation method based on the gravity gradient data for the sources’sp... Airborne gravity gradient data contain additional short-wavelength information about the buried geological bodies.This study develops a fast interpretation method based on the gravity gradient data for the sources’spatial location and physical property parameters.This study analyzes the advantages of the source parameter inversion method based on tensor invariants.It proposes a normalized fast-imaging method based on tensor invariants to quickly estimate the spatial location parameters of sources through the local maximum value position of the imaging results.First,the tensor invariant characteristics and the imaging method’s effect in a simple model are analyzed using a theoretical model.Second,to analyze the imaging method’s application effect in complex model conditions,the method’s applicability is quantitatively analyzed using the data added with noise,superimposed anomalies of adjacent sources,and anomalies of deep and shallow geological bodies.The theoretical model’s simulation results show that the model’s imaging results in this study have satisfactory performance on the spatial position estimation of the sources.Finally,the method is applied to the gravity anomaly data corresponding to the Humble salt dome.The imaging results can effectively estimate the distribution of the salt dome’s horizontal and depths,verifying the practicability of the method. 展开更多
关键词 gravity gradient tensor invariants imaging method spatial location parameters
在线阅读 下载PDF
计算机系统、计算机网络与网络互连
7
《电子科技文摘》 2001年第4期124-130,共7页
Y2000-62514-369 0106834Petri 网的扩展及其在具有非精确任务持续时间模型系统中的应用:Extension of Petri nets and its applica-tions to model systems with imprecise task duration[会,英]/Kurkovsky,S.& Laganantharaj,R//2... Y2000-62514-369 0106834Petri 网的扩展及其在具有非精确任务持续时间模型系统中的应用:Extension of Petri nets and its applica-tions to model systems with imprecise task duration[会,英]/Kurkovsky,S.& Laganantharaj,R//2000 theNinth IEEE International Conference on Fuzzy systems,Vol.1 of 2.—369~374(NiK)本文扩展了具有不精确时间特性 Petri 网的框架。采用时间标记和设置转移激活的持续时间。 展开更多
关键词 计算机系统 体系结构 计算机工程 电子计算机 因特网 分布式系统 互联网络 位置不变量 防火墙 解决方案
原文传递
Generalized Coherent States for Position-Dependent Effective Mass Systems
8
作者 Naila Amir Shahid Iqbal 《Communications in Theoretical Physics》 SCIE CAS CSCD 2016年第12期615-620,共6页
A generalized scheme for the construction of coherent states in the context of position-dependent effective mass systems has been presented. This formalism is based on the ladder operators and associated algebra of th... A generalized scheme for the construction of coherent states in the context of position-dependent effective mass systems has been presented. This formalism is based on the ladder operators and associated algebra of the system which are obtained using the concepts of supersymmetric quantum mechanics and the property of shape invariance. In order to exemplify the general results and to analyze the properties of the coherent states, several examples have been considered. 展开更多
关键词 generalized coherent states supersymmetric quantum mechanics shape invariance ladder operators position-dependent effective mass systems non-linear oscillators Mandel parameter subPoissonian statistics
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部