分享到:

技术创新随机模型:在美国经济中的应用(1869-1989年)

技术创新随机模型:在美国经济中的应用(1869-1989年)@李天铎在提供的技术变比(创新)一般过程模型中设  (本文共1页) 阅读全文>>

《通讯世界》2015年08期
通讯世界

网络安全的随机模型方法与评价技术

随着网络在社会上的普及,人们在享受高水平生活的同时,也不可避免的感受到了来自网络的重大威胁。网络上的攻击和恶意破坏日益严...  (本文共2页) 阅读全文>>

《计算机学报》2015年11期
计算机学报

随机模型检验研究

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并...  (本文共18页) 阅读全文>>

《应用概率统计》1992年04期
应用概率统计

经济最优化的随机模型(Ⅱ)

本文研究随机经济模型的稳定性。首先,我们讨论一种类似于决定性情形...  (本文共4页) 阅读全文>>

南京财经大学
南京财经大学

基于启发式遗传算法生成随机模型检验的反例

模型检验的主要优势之一是它能够在模型违反给定时态逻辑的情况下自动生成反例。反例提供了用于系统调试时的基本诊断信息,调试者可以根据反例,分析系统错误产生的原因,进而对系统进行修正,反例在调试复杂系统时可以提供很大的帮助。在随机模型检验中生成反例时使用精确算法通常会消耗太多的时间和内存,并且有时无法找到反例。更糟糕的是,在随机模型检验中生成smallest反例已被证明是NP完全问题,并且不太可能有效逼近。尽管有一些启发式方法应用于反例的生成,但通常很难确定启发式函数,而启发式函数的确定对反例的生成至关重要。本文中,我们提出一种基于启发式遗传算法的方法生成随机模型检验中的反例。定义诊断子图(diagnostic subgraph)表示反例,并通过启发式方法扩展遗传算法(Heuristic Genetic Algorithm,HGA)生成反例。该方法采用间接路径编码方案以扩展状态空间的搜索范围,并采用启发式方式生成更有效的路径。具体内容...  (本文共66页) 本文目录 | 阅读全文>>

南京财经大学
南京财经大学

假设-保证推理在组合随机模型检验中的应用

模型检验是一种自动且完备的形式化验证方法。对于有限状态系统和时序逻辑公式,模型检验可以判定给定的系统模型是否满足公式中对性质或规范的逻辑描述,以此来验证系统模型是否满足性质规约,并可以在系统模型不满足性质规约时提供反例。随机模型检验是经典模型检验理论的推广和泛化,可对随机系统进行基于模型的定量验证。由于结合了经典模型检验算法和计算概率的数值方法,随机模型检验面临着更为严重的状态爆炸问题(state explosion problem)。因此如何缓解随机模型检验过程中的状态爆炸问题,是随机模型检验应用的关键性挑战问题。论文的贡献及成果主要体现在下述几个方面:(1)首次将对称假设-保证规则(symmetric assume-guarantee rule,SYM)应用到两组件随机系统的模型检验中,同时基于NL*学习算法为概率自动机(Probabilistic automata,PA)的组合随机模型检验提出了一种SYM-NL框架。(2)...  (本文共52页) 本文目录 | 阅读全文>>

扩展阅读: