论文部分内容阅读
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等.
基于可能性测度的计算树逻辑
【摘 要】
：
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与
【机 构】
：
陕西师范大学计算机科学学院,陕西 西安 710062
【出 处】
：
2011年全国理论计算机科学学术年会
【发表日期】
：
2004年期
其他文献
近年来,模式匹配作为Web 信息集成管理与应用中的重要问题,得到了广泛关注和研究.已有模式匹配方法大多是基于模式信息进行的,对数据实例信息利用则较少.针对数据集成环境下
科技快速进步的当代社会,AI技术与人们的生产、生活密切相关,高职院校的计算机专业教学,应顺应时代发展方向,抓住机遇,利用人工智能技术进行教学改革,改善传统教学模式弊端,
石原慎太郎是个写小说的人。他骂中国,人们觉得这是个对中国有偏见的文人在放肆,媒体并不过多地苛责。但石原骂中国的那些话却留在了日本人的印象中,于是他成了日本右翼政客
黄文虎院士是我国著名的力学与振动专家,因其为中国 航天事业做出的贡献,被授予“航天部有突出贡献专家”和 “航天劳动模范”称号;在工作上又是带领哈工大走出“南迁 北返”
身体想找回失去的体重澳大利亚墨尔本大学教授乔瑟夫·普罗耶托,同时也是位内科医生。他开设的减重诊所已经超过15年时间了,前来求诊的患者大多能甩掉一些赘肉,但只是数月或
园艺品种植物的国际登录制度,是使栽培植物名称稳定化、标准化和统一化的有效措施,是品种获得合法名称的必须程序,对保护育种者的合法权益、加快新品种开发的步伐,具有积极
黄埔六期同学王诤(原名吴人鉴,江苏武进人),军校毕业后在江西“剿共”的第十八师负责无线电台,1930年12月随师长张辉瓒一同被红军俘获。(后王诤加入红军参加了长征,1934年7月
章孝严、章孝慈是蒋经国和情人章亚若生下的双胞胎儿子。一般人都认为,他们生在中国四大家族之首的蒋家,本应该尽享荣华富贵、衣食无忧。然而,事实与人们的想象大相径庭。
Z
作为一名长期工作在初中教学一线的物理教师,我尝试了对课程资源做一些开发与利用,在这种课程资源的整合与拓展中,教师需要对教材进行多维度的解读与挖掘,在对有关教材的解读
Characterization and Piezoelectric Properties ofReactively Sputtered Highly C-axis (Sc,Al)NThin Film
Diamond has the highest surface acoustic wave (SAW) velocity among all materials.It can also provide high breakdown voltage,radiation hardness and high thermal
会议