摘要：基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息，采用横向和纵向任务合并，处理节点预分配，静态调度和动态调度相结合、集中式调度和分层调度相结合等措施，是一种简单的、具有较高效率的实用化调度方案．该调度方案能够在尽量压缩调度长度的情况下节约系统资源．

摘要：本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的。

摘要：多 Hoist调度在许多制造过程的设计与控制中是一个关键问题 .当 Hoist数与工作台数很大时 ,求解调度问题非常困难 .建立了多 Hoist调度问题的数学模型 ,并利用模拟退火算法提出了一种启发式求解方法 .随机模拟的大量算例表明 ,该启发式方法十分有效 。

摘要：类比推理技术对于开发高智能的ＡＩ系统十分重要．普通的面向数值处理的计算机进行类比推理效率往往很低，严重影响其研究与应用．本文介绍了一种高效的嵌入式类比推理协处理器系统ＡＲＣ（ａｎａ－ｌｏｇｉｃａｌｒｅａｓｏｎｉｎｇｃｏｐｒｏｃｅｓｓｏｒ）．由于ＡＲＣ采用了符合类比推理机制的处理器体系结构和加速策略，并采用先进的器件实现。

摘要：文中介绍了一个软件过程模型可视化工具——项目活动管理器（ＰＡＭｅｒ）的设计与实现．基于ＰＣＬＡｇｅｎｄａ的软件过程模型，ＰＡＭｅｒ将软件开发过程可视化，从而方便人机交互，以更加形象直观的方式对开发人员的工作进行辅助、指导和监控．ＰＡＭｅｒ采用活动网络图描述软件过程模型中各种基本元素及其相互关系．系统具有多级抽象、多视口、多种工作模式等特点。

摘要：本文详细介绍了一个智能数据库支持工具ＦｏｘＰｅｒｔ的设计与实现技术．该工具立足于主流数据库系统，采用一种增强的松耦合结构实现了ＦｏｘＰｒｏ，Ｏｒａｃｌｅ与知识表示语言ＣＬＩＰＳ（Ｃｌａｎｇｕａｇｅｉｎｔｅｇｒａｔｅｄｐｒｏｄｕｃｔｉｏｎｓｙｓｔｅｍ）的无缝连接．它在体系结构、集成平台、集成方向和集成形式上具有鲜明的技术特点，已在不同部门推广应用．

摘要：集成电路（ＩＣ）可制造性工程与设计是近年来发展很快的研究领域，它集ＩＣ设计、制造、封装和测试过程为一体，在统一框架（即产品制造成本和成品率驱动）下，对产品进行规划和设计。应用该技术可以大大缩短ＩＣ产品研制周期、降低制造成本、提高成品率和可靠性，本文将综述该领域的研究进展，并阐述进一步的研究方向。

摘要：３－ＳＡＴ问题有一个非常奇妙的相变现象．对于固定的变量数Ｎ，合取范式的可满足概率随着子句个数Ｋ的变化而发生剧烈的变化；当Ｋ≈４．３＊Ｎ时，可满足概率急剧地从１变为０．相变现象决定了问题的难易分布，对于快速求解算法的设计有着非常重要的意义．文章着重讨论了ＳＡＴ问题的更一般形式，即２－３－ＳＡＴ问题的相变现象．研究了相变点处的２－子句和３－子句个数的关系，发现了２－子句和３－子句在约束能力意义下的当量关系。

摘要：论述了ＳＴＥＰ标准应用协议２０１（ＡＰ２０１）实施的过程模型并提出了实施方法，介绍了我们自行研制ＡＰ２０１工具前处理接口设计的算法及其后处理接口设计所采用的关键技术，给出了ＡＰ２０１工具应用的实例，最后分析比较了ＳＴＥＰ中性交换文件与其它交换文件相比所具有的优点。

摘要：传统的概念设计方法由于缺乏真实感的交互手段,难以直观表达设计者的意图.基于虚拟原型的概念设计不仅能为设计者提供逼真的虚拟设计环境,而且充分体现了现代设计的成本低、周期短以及灵活性强等特点.针对概念设计的特点以及虚拟原型的特征分类,提出了基于虚拟原型的概念设计模型V-desModel,其核心是利用产品视图模型描述设计对象,将虚拟特征概念融入视图模型中,并采用可扩展“三维实体-约束图”来描述设计对象之间的约束关系.V-desModel模型能有效地支持基于虚拟原型的概念设计过程,较好地解决了概念设计中产品虚拟原型的逼真性要求和设计信息不完备之间的矛盾,不仅极大地扩展了概念设计实施的手段和范围,而且更有利于概念设计阶段创造性的发挥.