论文部分内容阅读
超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题，最后讨论了在这种语义框架中实时系统性质的描述。
两维时间域上的实时程序语义
【摘 要】
：
超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ语言）讨论用这种逻辑定义并行语言
【机 构】
：
北京大学数学学院信息科学系
【出 处】
：
计算机学报
【发表日期】
：
1999年9期
【基金项目】
：
国家自然科学基金
其他文献
Ｔｓａｉ等提出了时间限制Ｐｅｔｒｉ，并讨论了变迁可激活，可调度规律及其计算公式。然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾。本文通过引入调度决策变量，动态标记准确地刻画
糖尿病已经成为威胁人类健康的三大因素之一,糖尿病患者的心理状态严重影响着该群体的生活质量和治疗效果,本文从糖尿病患者的心理特点、加强糖尿病患者的心理护理措施等方面
分析了工程设计中约束问题的特点和规律，阐明了工程约束与几何约束在工程ＣＡＤ领域中的表现形式，从一般工程意义上提出了符合工程特点的“多元约束图”的约束表示模型。基于“多元约
在机群系统中结点分配策略根据一定的原则为作业确定运行结点是提高系统性能的关键。通过对机群结点分配策略的研究，作者发现当前基于负载平衡自适应的结点分配策略为并行作业