论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文在可能的有穷Kripke结构中,给出了可能性测度的一些基本概念,定义了瞬时可能性测度.用构造法证明了在转移步数限制下可达可能性测度与可达瞬时可能性测度相等,受限的转移
【机 构】
：
陕西师范大学 计算机科学学院 西安 710062
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
【发表日期】
：
2012年期
其他文献
为了改善咪唑啉缓蚀剂水溶性差的问题,以三聚氯氰为母体,分别引入一个长的聚醚链和两个油酸咪唑啉结构,设计合成了一种将多类有效的缓蚀基团汇聚于一个结构中的缓蚀剂2,4-二
Christian Anfinsen proposed that the native states of proteins reside in the free energy minima.This “thermodynamic hypothesis” has been widely accepted as th
会议
In this paper,we introduce the definitions of B(o)hm-like trees and B(o)hm-trees,and give a sufficient and necessary condition for the convergence of B(o)hm-lik
会议
根据今日投资《在线分析师》(www.investoday.com.cn)对国内近百家主流研究机构4000余名分析师的投资评级数据进行的统计,上周投资评级上调居前的25只股票中,所属行业趋向集
针对渤海水驱油田储层动态变化导致的常规调堵体系应用效果逐轮次变差,调驱增产难度逐年增大等难题,研发了一种新型自组装微球调驱体系.通过阴、阳离子静电作用形成的自组装
精子发生是雄性哺乳动物生命活动中一个重要的生物学过程,该过程的每一个阶段都有众多基因/蛋白参与并发挥功能.本文基于文本挖掘技术,尝试提取精子发生过程各个阶段中发挥作
Consider a simple polygon P and a point s on the frontier of (a)P.For any realδ＞0 there exists a shortest path ρ inside of P such that s is on the path ρ,and
会议
采用多核细胞法检测了３０例Ｘ线工作者的体细胞ＨＰＲＴ基因突变频率，并根据Ｘ线诱发的人体细胞ＨＰＲＴ基因位点突变剂量效应刻度曲线，推算了受照者的累积剂量和年剂量当量，对其工龄与突变率的关系等进
For the complexity of software verification and the disengagement between requirement and program analyses,this article introduces a method that tailoring progr
会议