检索结果-维普期刊中文期刊服务平台

连续时间Markov决策过程互模拟等价及逻辑保持被引量：1: 1; 作者黄镇谨陆阳 +1 位作者杨娟王智文《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页; 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M... 展开更多; 关键词马尔科夫链马尔科夫决策过程互模拟等价关系逻辑保持; 在线阅读下载PDF 职称材料

非对称^(χ≠)-演算的基同余: 2; 作者钟发荣傅育熙《计算机学报》 EI CSCD 北大核心 2005年第10期1626-1637,共12页; 该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模... 展开更多; 关键词非对称χ^≠-演算进程代数 L-互模拟关系等式系统迁移系统; 在线阅读下载PDF 职称材料

SoC高级综合验证研究进展: 3; 作者胡健胡永扬 +5 位作者王观武陈桂林杨海涛康云王康李思昆《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2021年第2期287-297,共11页; 针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现... 展开更多; 关键词高级综合带数据通路的有限状态机互模拟关系路径验证形式化方法; 在线阅读下载PDF 职称材料

基于BER和CTMC的航天器发射组织过程可靠度模型: 4; 作者董学军白国庆陈英武《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期46-51,共6页; 在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟... 展开更多; 关键词航天器发射互模拟等价关系连续时间Markov链过程可靠度; 在线阅读下载PDF 职称材料

题名连续时间Markov决策过程互模拟等价及逻辑保持被引量：1: 1; 作者黄镇谨陆阳杨娟王智文; 机构合肥工业大学计算机与信息学院广西科技大学计算机与通信工程学院; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页; 基金国家自然科学基金项目(61462008 61070220) +1 种基金广西省高校科学技术研究项目(LX2014186)资助~~; 文摘模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率.; 关键词马尔科夫链马尔科夫决策过程互模拟等价关系逻辑保持; Keywords Markov chains Markov decision process bisimulation equivalence relation logic preservation; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名非对称^(χ≠)-演算的基同余: 2; 作者钟发荣傅育熙; 机构浙江师范大学计算机科学系上海交通大学计算机科学与工程系; 出处《计算机学报》 EI CSCD 北大核心 2005年第10期1626-1637,共12页; 基金国家杰出青年科学基金(60225012) 国家"九七三"重点基础研究发展规划项目基金(2003CB316905) 国家自然科学基金(60473006)资助.~~; 文摘该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理.; 关键词非对称χ^≠-演算进程代数 L-互模拟关系等式系统迁移系统; Keywords process algebra Chi calculus bisimulation axiomatization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SoC高级综合验证研究进展: 3; 作者胡健胡永扬王观武陈桂林杨海涛康云王康李思昆; 机构国防科学技术大学第六十三研究所国防科学技术大学计算机学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2021年第2期287-297,共11页; 基金国家自然科学基金(61902421).; 文摘针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.; 关键词高级综合带数据通路的有限状态机互模拟关系路径验证形式化方法; Keywords high-level synthesis finite state machine with datapath bisimulation path verification formal method; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于BER和CTMC的航天器发射组织过程可靠度模型: 4; 作者董学军白国庆陈英武; 机构国防科技大学信息系统与管理学院酒泉卫星发射中心; 出处《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期46-51,共6页; 基金国家自然科学基金资助项目(70971131 71071156); 文摘在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。; 关键词航天器发射互模拟等价关系连续时间Markov链过程可靠度; Keywords spacecraft launch bisimulation equivalences relation continuous-time Markov chains process reliability; 分类号 V554 [航空宇航科学与技术—人机与环境工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	连续时间Markov决策过程互模拟等价及逻辑保持	黄镇谨陆阳杨娟王智文	《控制理论与应用》 EI CAS CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料
2	非对称^(χ≠)-演算的基同余	钟发荣傅育熙	《计算机学报》 EI CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
3	SoC高级综合验证研究进展	胡健胡永扬王观武陈桂林杨海涛康云王康李思昆	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
4	基于BER和CTMC的航天器发射组织过程可靠度模型	董学军白国庆陈英武	《国防科技大学学报》 EI CAS CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料