首页> 中文期刊> 《哈尔滨理工大学学报》 >联合公式判定非循环执行路径

联合公式判定非循环执行路径

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析.联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础.

著录项

来源
《哈尔滨理工大学学报》 |2004年第1期|23-26|共4页
作者
刘泓漫; 郝忠孝;
展开▼
作者单位

哈尔滨理工大学,计算机与控制学院,黑龙江,哈尔滨,150080;

哈尔滨理工大学,计算机与控制学院,黑龙江,哈尔滨,150080;

哈尔滨工业大学,计算机学院,黑龙江,哈尔滨,150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
规则集; 触发图; 联合公式; 环;

相似文献

中文文献
外文文献
专利

1. 排气全燃型联合循环设计点性能简明估计公式 [J] . 蔡睿贤 . 工程热物理学报 . 1994,第3期
2. 浅谈某9FA燃气-蒸汽联合循环机组循环水泵液控蝶阀升级改造路径 [J] . 郭泽锋 . 中国设备工程 . 2019,第018期
3. M701F型联合循环机组汽轮机旁路阀执行器改造浅析 [J] . 李东 . 电气技术 . 2017,第003期
4. 电动执行机构在两班制运行燃气-蒸汽联合循环电厂中的应用与维护 [J] . 黎立威 . 广东科技 . 2009,第012期
5. 联合下标循环的并行执行方法 [J] . 曾国荪 ,陆鑫达 . 计算机工程与应用 . 1999,第011期
6. 排气全燃型联合循环设计点性能简明估计公式 [C] . 蔡睿贤 . 工程热力学与能源利用学术会议 . 1993
7. 胃癌前病灶癌变信息筛查及判癌公式初步建立 [A] . 赵渊 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号