论文部分内容阅读
本文介绍高层次综合中调度问题的形式化描述。该描述将调度问题形式化为整数规划问题。它全面地考虑了调度问题的时间约束与资源约束、多周期操作与链式操作，流水线功能单元与非流水线功能单元以及分枝操作的调度问题。它为解决调度问题提供了一个较好的数学模型。
调度问题的形式化描述
【摘 要】
：
本文介绍高层次综合中调度问题的形式化描述。该描述将调度问题形式化为整数规划问题。它全面地考虑了调度问题的时间约束与资源约束、多周期操作与链式操作，流水线功能单元与非流水线功能单元以及分枝操作的调度问题。它为解决调度问题提供了一个较好的数学模型。
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
0年JSJF504.007期
其他文献
ＯＯＤＭ是一个面向对象的用户界面管理系统，主要用于快速建立和改进用户界面原型。本文分析了已有ＵＩＭＳｓ的不足，提出了一种新的ＵＩ结构模型──形式独立的模型，并以此作为ＯＯＤＭ开发的理论基础。ＯＯＤＭ不需要界面规范说明语言，它采用直接操纵技术，结合面向对象的程序设计方法和可视编程技术及约束技术，建立和改进了基于事件模型的界面原型，因而提高了ＵＩＭＳ的易使用性、易修改性、易重用性和易扩充性。本文介绍了
期刊
计算机辅助设计与计算机图形学方向的博士论文题目汇编（５）编者按：近年来，我国有不少博士研究生在计算机辅助设计与计算机图形学领域完成了博士论文，取得博士学位。本刊从１９９４年第１期起，陆续刊登博士论文题目、作者、学科专业、导师、单位（大学列出系名）、完...
期刊
本文系统地阐述了一种在进行几何型体设计时用约束关系和工程关系来驱动几何型体的方法。提出了对约束方程组进行分解的算法和在规则求解的基础上分两层求解方程组的方法。关键词
期刊
本文详细分析了塑料模具计算机辅助工程（ＣＡＥ）前、后处理系统的功能及特点，针对有限元和边界元方法解决塑料模具设计仿真分析的特点，设计并实现了塑料模具ＣＡＥ前、后处理系统。该系统不仅能很好满足注塑模具ＣＡＥ的需求，而且具有通用性，建立、修改模型高效简单，可应用于其它领域ＣＡＥ系统的前、后处理系统。
期刊
现有的数控编程系统和ＣＡＤ／ＣＡＭ软件，往往只能在空间自由曲面上生成球面刀的数控加工轨迹，而实际生产中正逐渐采用非球面刀来替代球面刀完成空间自由曲面的数控加工。本文提出了一个在空间自由曲面上计算非球面刀数控加工轨迹的新方法──点涉法。只要已知被加工曲面的参数表达式，就可运用点涉法在该曲面上生成非球面刀的数控加工轨迹。
期刊
本文提出了一种利用八叉树结构表示三维实体布局状态空间的方法，并在此基础上设计了一个三维实体布局仿真中干涉检验的算法，首次提出了利用二进制整数的“位”记录状态信息的方法，使状态空间数据量压缩至传统算法的１／１６；理论分析及实验结果证明了该算法的高效性。
期刊
本文叙述了一个面向ＣＩＭＳ的工程数据库管理系统。该系统引入了面向对象的概念和方法，以关系数据库管理系统ＯＲＡＣＬＥ为基础，并与图形软件ＧＫＳ集成，使它具有支持抽象数据类型，类层次和继承性，复杂对象管理，图形数据和非图形数据统一操作，版本管理和长事务处理等能力。文中着重叙述了面向对象的工程数据模型ＯＥＤＭ，系统的体系结构，功能模块和ＯＳＱＬ语言。
期刊