论文部分内容阅读
为了给超稠密计算模型建立一种逻辑工具，首先定义了一个两维的超稠密时间域，在这个时间域上定义了一种区间逻辑，并提出了该逻辑的一个推理系统。并用轨道概念定义了两维超稠密空间中的计算，最后讨论了一些相关的问题。
两维时间域上的一种区间逻辑
【摘 要】
：
为了给超稠密计算模型建立一种逻辑工具，首先定义了一个两维的超稠密时间域，在这个时间域上定义了一种区间逻辑，并提出了该逻辑的一个推理系统。并用轨道概念定义了两维超稠密空
【机 构】
：
北京大学数学学院信息科学系
【出 处】
：
计算机学报
【发表日期】
：
1999年5期
其他文献
1产业现状近年来,作为重要的饲料添加剂,全球市场对于蛋氨酸的需求逐年增加,而且增幅越来越大。据了解,1993年全球蛋氨酸产量仅为26万t,2000年产量达到45万t,而至2010年,全球