论文部分内容阅读
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.
谓词μ演算和模态图的语义一致性
【摘 要】
：
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性
【机 构】
：
中国科学院软件研究所计算机科学重点实验室
【出 处】
：
软件学报
【发表日期】
：
2003年10期
【基金项目】
：
国家自然科学基金
其他文献
在分布式合作学习环境中,学生和老师需要一个共享的信息空间去与学习材料交互作用,并从中知晓合作者的存在及其活动.学生和老师还需要一些协同和通信手段去协调他们共同的活动.为此,提出了一种视觉化协同超媒体技术.它可以提供所需的共享信息空间.在此空间中,形象的超媒体对象既可以表示学习材料(学习内容),又可以表示学习过程(学习方法).这种协同超媒体集成了灵活的过程支持、通信渠道以及文件处理功能.因而,它可以
提出了一种移动自组网中的拓扑控制算法MATC(multi-rate aware topology control),该算法充分考虑了无线环境中固有的多速率特性,在保证原有网络连接性的前提下删除部分低速
对安全政策灵活性的支持是现代安全操作系统追求的目标之一,DTOS(distributed trusted operating system)项目提出了安全政策格的思想,为安全政策灵活性的研究提供了一种很好
构建生物活性炭流化．泥滤耦合系统，以果壳活性炭为载体，通过连续进水试验研究了系统的硝化与反硝化特性，同时考察了生物活性炭的形成过程及其特征．试验结果表明，通过对反应器中悬浮
任何复杂系统都要受到某些基本规律的约束,包括宏观、中观与微观的多层次规律的约束.怎样从一个系统的这些偶然现象(观测数据)中找出它的必然规律,是知识发现(KDD)与数据挖掘