论文部分内容阅读
在文[1]中,我们提出了时间关系约束的关系矩阵表示法,本文是文[1]的继续.在给定的时间关系以及时间宽度的约束条件下,求同时满足这两个约束条件的时刻表,称为D-时刻表.文中讨论了D-时刻表、最优D-时刻表的求解方法以及它的计算复杂性.
D—时刻表的求解算法
【摘 要】
：
在文[1]中,我们提出了时间关系约束的关系矩阵表示法,本文是文[1]的继续.在给定的时间关系以及时间宽度的约束条件下,求同时满足这两个约束条件的时刻表,称为D-时刻表.文中讨
【机 构】
：
清华大学计算机科学与技术系,安庆师范学院数学系
【出 处】
：
计算机学报
【发表日期】
：
1991年12期
【基金项目】
：
国家自然科学基金
其他文献
恩平凹陷北部隆起构造带油气资源丰富,类型众多,但各构造贫富差距较大,区域成藏认识不明。通过对区内油、气、岩样品生物标志化合物、同位素、流体包裹体发育特征进行系统研
本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证明在一般结构语义下,二阶非递归闭限定是可满
本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。更多还原
将人工湿地中潜流、表面流湿地进行组合用于处理河水。结果表明：人工湿地对水体改善具有很明显的作用,组合人工湿地COD去除率为66.7%-94.6%,BOD5去除率为58.6%-97.0%,SS去除率
看拟很小的网络游戏软件，在2003年底首次被纳入国家“863”计划；游戏产业从2000年到2003年增长近100倍，据预测，今后网络游戏产业将以年均115%左右的速度增长，进而成为2004年现代经
本文叙述一个正在开发的VLIW多处理单元单片机,这个机器的体系结构基于URPR软件流水技术,采用了流水寄存器堆来减少体间相关距离,因此,细粒度并行性可得到充分开发,从而提高
本文讨论了计算机网络设计问题及算法，提出了一个网络设计CAD系统，给出了系统结构、模块功能及设计示例．
本文提出一种新型并行推理机制BTJ,它同时支持受限“与”并行和完全“或”并行,与其它“与/或”并行模型相比,BTJ具有高并行度和低运行时刻代价的优点,性能测试结果表明,BTJ
海洋波流冲刷易引起海底管道悬空,从而导致管道疲劳或强度破坏,引发油气泄漏等海上重大污染事故。本文针对我国某高潮差、强急流海域海底管道面临的冲刷问题,提出了不同类型
为探讨北五味子组培快繁技术,对影响北五味子初代腋芽培养的外植体木质化程度、培养基pH、培养基硬度和激素组合进行研究。结果表明：初代腋芽培养适宜的外植体是折之即断的幼