论文部分内容阅读
提出了基于可能性测度的计算树逻辑CTL＊（PoCTL＊）的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟
【摘 要】
：
提出了基于可能性测度的计算树逻辑CTL＊（PoCTL＊）的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特
【机 构】
：
陕西师范大学计算机科学学院
【出 处】
：
计算机科学
【发表日期】
：
2012年10期
其他文献
为了满足网络终端用户对网页噪音的过滤需求,提出一种面向终端用户的动态模板网页过滤系统模型,它基于模板并利用用户反馈自动进化过滤系统。设计了模板生成算法,模拟实验验
由于因果图的经典推理的计算复杂度是NP难的,因此其不便于推广和使用。基于因果图理论和MonteCarlo思想,提出了基于抽样的A-R Sampling和重要性抽样的因果图仿真推理算法。在
基于离散对数和秘密共享思想,提出一个高效的（t,n）门限群签名方案。份额分配中心DC（Distribution Center）以自选份额的形式与群中成员共享签名密钥。SC（Signature Combiner）对收到
Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限
为了能够对敏捷开发项目进行有效的工作量估算,提出了一种基于BP神经网络的工作量估算模型。考虑到数据集中存在的一些噪声数据以及错误数据,并且软件开发工作量与其影响因子
以网格用户管理的用户状态与活动为研究内容,首先介绍了用户状态与活动在用户管理层次结构中的位置和作用,提出了一种基于元状态和子状态的用户状态图,给出了每个元状态的分
基于齐次泊松点过程的节点分布模型,在不同的衰落信道模型下推导了网络无孤立点概率的闭型表达式,用作网络连通概率的上界。特别分析了对数正态阴影衰落和瑞利衰落信道的相关
对于给定的距离参数ε,性质测试算法A需以高概率正确地区分给定的对象具备预定性质Π与ε-远离性质Π。若存在Π的测试算法A满足其询问复杂性独立于规模参数n,则称Π是可测的
传统的性能监控系统通过监控系统资源的使用情况来间接地反映和评价系统的运行状态,但是该方法与用户感知的系统性能有较大出入。对于终端用户,其最直接的体验就是请求的响应
通过分析流密码算法Rabbit的设计弱点,提出了一种针对Rabbit密钥流生成器的密钥恢复攻击。攻击分3个阶段分别猜测96bits、96bits和5bits依次恢复状态变量、计数器变量以及密