论文部分内容阅读
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.
谓词μ演算和模态图的语义一致性
【摘 要】
：
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性
【机 构】
：
中国科学院软件研究所计算机科学重点实验室
【出 处】
：
软件学报
【发表日期】
：
2003年10期
【基金项目】
：
国家自然科学基金
其他文献
<正> 开展大型计划免疫活动是强化计划免疫工作的重要手段,近年来,为了确保疫苗防病的效果,卫生防疫部门多次组织发动了各种疫苗大型强化免疫活动,为全面有效地控制相应儿童
在分布式合作学习环境中,学生和老师需要一个共享的信息空间去与学习材料交互作用,并从中知晓合作者的存在及其活动.学生和老师还需要一些协同和通信手段去协调他们共同的活动.为此,提出了一种视觉化协同超媒体技术.它可以提供所需的共享信息空间.在此空间中,形象的超媒体对象既可以表示学习材料(学习内容),又可以表示学习过程(学习方法).这种协同超媒体集成了灵活的过程支持、通信渠道以及文件处理功能.因而,它可以
提出了一种移动自组网中的拓扑控制算法MATC(multi-rate aware topology control),该算法充分考虑了无线环境中固有的多速率特性,在保证原有网络连接性的前提下删除部分低速
对安全政策灵活性的支持是现代安全操作系统追求的目标之一,DTOS(distributed trusted operating system)项目提出了安全政策格的思想,为安全政策灵活性的研究提供了一种很好
<正> 随着免疫策略的改变,计划免疫工作也出现了一些新问题,这些问题在我国广大农村表现尤为突出。本文拟对这些问题及其解决对策进行探讨。1 当前存在的问题1·1 认识不
通过对深圳市盐田区１９９７年实施计划免疫信息化管理前后３年５种疫苗的及时接种率这一指标的比较，可以看出：信息化管理后的及时接种纺逐年上升并维持在较高水平，卡介苗、脊髓灰质炎活疫苗
构建生物活性炭流化．泥滤耦合系统，以果壳活性炭为载体，通过连续进水试验研究了系统的硝化与反硝化特性，同时考察了生物活性炭的形成过程及其特征．试验结果表明，通过对反应器中悬浮
<正> 当前,在卫生改革的大潮中,如何使基层卫生院进一步深化改革,加强科学管理,改善服务态度,提高服务质量,走良性循环的路子是摆在卫生行政部门面前的首要问题。近年来,永靖
概述了“计划免疫信息管理系统”的基本功能及实现原理，论述了在儿童计划免疫工作中实现计算机信息化管理的必要性和可行性。在此基础上说明了只有利用计算机，儿童计划免疫管理
任何复杂系统都要受到某些基本规律的约束,包括宏观、中观与微观的多层次规律的约束.怎样从一个系统的这些偶然现象(观测数据)中找出它的必然规律,是知识发现(KDD)与数据挖掘