导读:本文包含了进程表达式论文开题报告文献综述及选题提纲参考文献，主要关键词:NX,表达式,参数化,设计
进程表达式论文文献综述
丁刚,赵让乾[1]（2016）在《合理运用NX表达式加速产品设计进程》一文中研究指出为提高产品设计效率,在使用软件过程中,应结合自身企业产品的特点及软件功能进行一些有针对性的定制。本文结合广泛使用的法兰零件,说明运用NX表达式进行产品设计定制的方法,运用此方法可通过修改几个参数来灵活高效地设计不同类型及规格的产品,从而大大提高产品设计效率。(本文来源于《现代机械》期刊2016年04期）
徐关怀,王明新[2]（2014）在《对一个Petri网进程表达式的探讨》一文中研究指出Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。(本文来源于《安徽理工大学学报(自然科学版)》期刊2014年03期）
闫春钢,汪明新,刘关俊[3]（2012）在《有界Petri网进程表达式与活性的关系》一文中研究指出Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.(本文来源于《应用科学学报》期刊2012年04期）
汪明新,刘关俊,闫春钢[4]（2011）在《稳定有界Petri网的进程表达式》一文中研究指出文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。(本文来源于《计算机科学》期刊2011年02期）
张锋[5]（2009）在《关于Petri网进程表达式求取的一点探讨》一文中研究指出Petri网的进程是对系统行为描述和分析的有力工具,它可以很清楚地反映出网系统运行中变迁之间的顺序、并发、同步等现象。然而,一个进程只能反映Petri网的一种可能运行情况。一个Petri网往往有许多(可能无限多个)进程,无法一一列举,这就给利用进程分析Petri网的行为带来了许多困难。Petri网进程表达式很好地弥补了这个缺陷,它用有限形式给出了网系统的所有(无限多个)进程的集合。一个Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,它所表示的正规集是该Petri网全体满进程的集合。本文详细讨论了Petri网进程表达式的求取方法,给出了各种情况。首先介绍了有界Petri网的进程表达式的定义,并讨论了借助可达类图求有界Petri网的进程表达式的方法。由于求有界Petri网的进程表达式的方法对无界Petri网不再适用,借助无界公平网的特征可达树,讨论了无界公平Petri网的进程表达式的求取方法。对于任意无界Petri网,需要首先建立其特征可达树求取基本进程段集,然后构造其进程网系统,将其进程描述问题转换成进程网系统的语言描述问题。通过分解的方法描述进程网系统的语言行为的方法,给出原Petri网的进程表达式的求取方法。由于一个Petri网可以通过一组S-网系统同步合成得到,将求取Petri网进程表达式的问题转化成求取S-网的进程表达式问题。可以由S-网系统的进程表达式给出Petri网的进程表达式,由此给出利用同步合成构造Petri网的进程表达式的方法。经过进一步分析,S-组合Petri网的闭基本子进程的集合是子网系统的闭基本子进程的集合的并集,这里的S-组合子网系统可以通过基于变迁指标的分解得到,一个Petri网经过基于变迁指标的分解后,得到的子网系统是一组T-网系统,而T-网系统的基本进程段容易求得,这将使得求取Petri网基本进程段更为简单。(本文来源于《山东科技大学》期刊2009-05-01）
曾庆田[6]（2008）在《一种基于同步合成构造Petri网进程表达式的方法》一文中研究指出Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.(本文来源于《计算机学报》期刊2008年03期）
段华,曾庆田[7]（2006）在《S-网的进程表达式及求取方法研究》一文中研究指出Petri网的进程是用于系统行为和状态描述的有效工具,但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法,为结构复杂Petri网系统的进程描述提供借鉴和帮助。(本文来源于《计算机科学》期刊2006年10期）
曾庆田,吴哲辉,马炳先[8]（2004）在《Petri网的进程表达式与语言表达式》一文中研究指出Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )分析实际的物理系统提供了更为有效的途径(本文来源于《小型微型计算机系统》期刊2004年04期）
曾庆田,吴哲辉[9]（2003）在《无界Petri网的进程表达式》一文中研究指出借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的指标函数 ,将结构复杂的ΣP分解成结构简单的子网系统 ,引入了语言的同步交运算 ,给出了利用这些子网系统求取结构复杂的ΣP语言的方法 ,从而得到了求取无界Petri网Σ的进程表达式的算法 .(本文来源于《计算机学报》期刊2003年12期）
吴哲辉,王培良,赵茂先[10]（2000）在《无界公平Petri网的进程表达式》一文中研究指出Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的，其原因在于子进程同构的概念在无界网系统中没有意义．对此，作者通过定义进程段行为等价的概念，导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式，并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法。(本文来源于《计算机学报》期刊2000年04期）
进程表达式论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
进程表达式论文参考文献
[1].丁刚,赵让乾.合理运用NX表达式加速产品设计进程[J].现代机械.2016
[2].徐关怀,王明新.对一个Petri网进程表达式的探讨[J].安徽理工大学学报(自然科学版).2014
[3].闫春钢,汪明新,刘关俊.有界Petri网进程表达式与活性的关系[J].应用科学学报.2012
[4].汪明新,刘关俊,闫春钢.稳定有界Petri网的进程表达式[J].计算机科学.2011
[5].张锋.关于Petri网进程表达式求取的一点探讨[D].山东科技大学.2009
[6].曾庆田.一种基于同步合成构造Petri网进程表达式的方法[J].计算机学报.2008
[7].段华,曾庆田.S-网的进程表达式及求取方法研究[J].计算机科学.2006
[8].曾庆田,吴哲辉,马炳先.Petri网的进程表达式与语言表达式[J].小型微型计算机系统.2004
[9].曾庆田,吴哲辉.无界Petri网的进程表达式[J].计算机学报.2003
[10].吴哲辉,王培良,赵茂先.无界公平Petri网的进程表达式[J].计算机学报.2000