【摘 要】
：
限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过
【基金项目】
：
国家自然科学基金青年基金(61300228,61003288);中德合作交流基金(6111130184);江苏省自然科学基金(BK2010192);教育部博士点基金(20093227110005)资助~~
论文部分内容阅读
限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.
其他文献
采用盐酸萘乙二胺分光光度法测定了大蒜、大葱、洋葱三种蔬菜浸提液在同等条件下对酱菜中亚硝酸盐的清除率。实验结果表明：三种蔬菜浸提液均能有效地清除酱菜中的亚硝酸盐,清
近年来,学界对于我国商业银行经营模式是否应当由分业经营转为混业经营展开了激烈讨论,支持者认为分业经营很大程度上限制了我国商业银行盈利能力和风险分散能力,制约了其提
无线传感器网络(Wireless Sensor Network,WSN)中服务质量(Quality of Service,QoS)的控制目的在于缩减受限资源的开销,它能够最大程度地提高网络的整体性能,延长网络寿命.针
人事制度改革与分配激励机制的完善是当前我国各大公立医院的重点改革与关键任务,本文通过阐述现今公立医院人事制度及相关的分配激励制度现状及存在的问题,有针对性的提出了
战略管理是企业管理者在综合考虑企业内外部各种因素的基础上制定实施战略和计划的过程,这就促进了战略管理会计的产生与发展。本文主要阐述了战略管理会计的内涵,传统管理会
建立多层次资本市场体系,是当前我国资本市场建设和发展的重要任务。本文在发现我国多层次资本市场现状的基础上,指出了我国多层次资本市场建设中存在的主要问题,然后针对问
本文首先阐述了内部控制理论及在国内外发展情况,深入分析上市公司内部控制发展出现的问题,进而进行针对性分析,提出了我国上市公司内部控制工作改进建议和对策。
在公平竞争审查的过程中,决定审查质量与审查效率的关键角色当属审查主体,已经建立相关制度的国家对此的规定也不尽相同。我国于2016年6月出台文件确定了该制度的建立,文件规
<正>一、13万央行员工的优秀代表今年是人民银行成立65周年,为进一步发挥榜样引领作用,凝聚强大精神力量,从2013年10月份开始,人民银行组织开展了"感动央行人物"的推荐、评选
CR后处理图像的调整十分重要，它直接决定了CR照片质量的优劣，同时也给放射技师在操作中提出了一些新的要求。我们根据两年多的工作体会，进行回顾性总结，目的是找出产生问题的原因