实时并发操作系统的设计技术与模型

多处理机系统的开发与应用已经受到了实时控制界的广泛关注。为充分利用其资源优势,对适合于它的操作系统的研究也就成为必然。本文以紧耦合多CPU系统为硬件环境,对实时并发操作系统进行了深入的探讨,最后给出了它的结构模型。     

并行工程计划问题的模糊网络分析方法

基于网络流模型,本文提出了确定模糊网络关键路线的参数线性规划方法,并给出了反映决策者偏好信息的模糊网络关键路线和工程模糊完工期的隶属函数形式,从而得到了模糊网络关键路线性质的更全面结果。最后,针对模糊环境下的并行工程计划问题,给出了模糊网络的分析方法。     

支持CAD／CAPP／CAM集成和并行的制造特征

由于设计和制造过程的复杂性,目前还没有一种有效的方法能彻底解决产品设计、制造和生产管理等生命周期内各个阶段的信息集成问题．探讨了并行工程下的ＣＡＤ／ＣＡＰＰ／ＣＡＭ的集成框架,提出了支持ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成和并行运行的制造特征,并在商品化ＣＡＤ／ＣＡＭ软件ＵＧⅡ上进行了开发工作．该系统已通过纺织行业箱体、柴油机行业的油泵以及机床厂的主轴箱等多种零件考核．     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

并发更新环境下的视图维护异常研究

通过对视图维护过程中的更新异常进行分析,发现并发更新是导致视图维护异常的主要原因.在并发环境下,数据更新和模式更新极有可能同时存在,这对视图维护工作带来极大的困难.在实例分析基础上,深入而细致地刻画了模式与数据全面并发的典型情形,为视图维护工作奠定基础.     

确定性退火技术及其在点匹配中的应用

证明了当自由能函数满足一定条件时确定性退火算法收敛到能量函数的全局最优解·在此基础上,利用确定性退火技术给出了一个点匹配算法·该算法首先确定点匹配问题的自由能函数,通过使该自由能函数最小化得到点集之间的映射参数,然后用该参数对两个点集进行校准,最后将校准后的点集进行匹配得出点的对应关系·实验结果说明了该算法的有效性及其对旋转、平移、噪声等的鲁棒性·     

并行工程在汽车制造行业设计开发中的应用

本文在分析汽车制造行业设计、开发过程特点的基础上 ,指出在汽车制造行业设计、开发过程中引入并行工程的必要性 ,并提出了一种基于虚拟样车、逆求工程及产品异地并行设计技术的并行工程开发系统 ,详细叙述了其系统结构及技术支撑     

铝型材产品开发并行设计过程优化重组

基于设计结构矩阵和图论提出了一种型材开发过程优化重组的方法．通过建立设计结构矩阵、识别耦合任务集和划分设计活动级别。对铝型材产品开发并行设计过程进行了分析和规划，并运用敏感因子、复杂因子和影响因子对耦合活动的依赖关系进行了描述，基于这些影响因子提出了确定耦合活动初始迭代次序的优化算法，建立了合理高效的并行设计优化过程模型．该方法对于其他并行工程应用领域同样适用．     

基于并行工程的产品成本评估系统研究

为了将产品成本估算引入到产品的并行设计过程中,实现产品成本评估与产品设计的同步推进,达到降低产品成本的目的,论文探讨了并行工程的产品开发过程,提出了在并行工程环境下对产品进行成本估算的方法,即基于产品结构树的快速成本估算法和基于材料消耗的详细成本估算法。研究表明将产品成本评估引入到产品设计中,在产品设计的不同阶段对产品成本进行估算,及时向设计人员反馈产品成本信息,可以保证所设计的产品在满足用户性能需求的同时又具有较高的经济性。     

一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。