化简规则

作品数：14被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王立福赵文夏传良黄海欧阳华更多>>
相关机构：中国人民解放军海军工程大学吉林大学山东建筑大学中国科学院软件研究所更多>>
相关期刊：《计算机工程与应用》《电子科技》《应用科学学报》《南京大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划上海市教育委员会创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
三值Toffoli门的级联优化及其应用
《电子科技》2017年第12期11-16,共6页赵曙光 李智伟 王朝正 崔平 
国家自然科学基金(61272224);上海市教委创新重点项目(1488068)
三值Toffoli门是构成三值量子电路的基本逻辑门,而三值Toffoli门是通过M-S门实现。文中对相邻的三值Toffoli门的特性进行了分析,提出并证明了三值Toffoli门级联的化简规则,可有效减少电路的量子代价。同时在此化简方法上对现有的三值量...
关键词：三值Toffoli门 M-S门 化简规则 全加器 
基于化简规则与过程评价的企业业务过程合理性分析被引量：1
《信息系统工程》2014年第4期16-17,19,共3页李燕 
上海市教委科研创新项目(14YS051);上海海事大学科研基金(20120120)
业务过程管理系统(BPMS)是企业实施过程管理的主要技术手段,为避免系统出现异常终止或瘫痪,必须对输入系统的企业业务过程合理性进行分析,对此,文章从BPMS运行前和运行中两方面展开研究。在BPMS运行前,通过设计一组化简规则验证企业业...
关键词：企业业务过程管理 合理性分析 化简规则 过程评价 
Web服务组合系统扩展GSPN建模与化简规则
《应用科学学报》2013年第6期633-642,共10页杨怀洲 王学龙 
陕西省科学技术研究发展计划基金(No.2011K06-33);西安市科学技术局工业应用技术项目基金(No.CXY1129)资助
使用广义随机Petri网(generalized stochastic Petri net,GSPN)对具有复杂时间约束信息的大规模Web服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸.针对此问题提出一种扩展GSPN建模方法.将不同类型的时间约束信息分...
关键词：WEB服务组合 广义随机PETRI网 化简 性能分析 
自由选择工作流网的可靠完备化简规则集被引量：3
《软件学报》2013年第5期993-1005,共13页张曼 段振华 王小兵 
国家重点基础研究发展计划(973)(2010CB328102);国家自然科学基金(61133001;61272117;61272118)
流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠...
关键词：自由选择工作流网 流程化简 合成 化简规则的可靠性 化简规则集的完备性 
基于正反控制门的可逆网络化简
《计算机工程》2012年第16期287-290,共4页程学云 管致锦 陈林山 杨爱琴 
国家自然科学基金资助项目(60873069);南通市应用研究基金资助项目(K2010004);南通大学自然科学基金资助项目(03040846)
提出并证明正反控制(PNC)门级联电路中的合并、移动和分解规则,利用此规则给出基于PNC门的可逆网络的化简算法。根据移动规则对门序列进行正向和反向双向扫描,寻找符合化简条件的两门,直到可逆网络不发生变化为止。所有3变量可逆函数上...
关键词：可逆逻辑综合 可逆网络 可逆函数 正反控制门 模板 化简规则 
基于Petri网表示的嵌入式系统模型化简规则(英文)被引量：3
《计算机科学与探索》2008年第6期614-626,共13页夏传良 
国家自然科学基金;国家重点基础研究发展规划(973)~~
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。
关键词：化简规则 PETRI网 完全等价 保性 嵌入式系统 
基于Petri网的BPEL4WS模型的分析
《成都信息工程学院学报》2006年第4期488-492,共5页赵晓明 谭浩 
描述了Web服务业务流程执行语言(BPEL4WS)的Petri网模型,并提出了模型的化简规则,用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例,进行建模和化简。
关键词：WEB服务业务流程执行语言 PETRI网 工作流 工作流网 化简规则 
基于Petri网的工作流逻辑化简规则的矩阵表示被引量：8
《微计算机信息》2006年第07X期49-51,149,共4页孟永刚 宋文 叶剑虹 
四川省科技厅应用基础课题(03226125)
Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
关键词：PETRI网 工作流 化简规则 WL_net WF_logic 
基于同步网的模型验证算法设计与工具实现
《南京大学学报（自然科学版）》2005年第z1期24-29,共6页杨云毅 赵文 王立福 聂承启 
国家重点基础研究发展规划973资助项目(2002CB312006),国家863高技术研究发展计划(2002AA113171)
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步...
关键词：模型验证 同步网 化简规则 PNML 
基于P/T系统化简方法的工作流过程模型验证被引量：10
《软件学报》2004年第10期1423-1430,共8页赵文 袁崇义 刘刚 张世琨 王立福 
国家高技术研究发展计划(863);国家重点基础研究发展规划(973);国家教育部博士点基金~~
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流...
关键词：模型验证 化简规则 过程网 P/T系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部