摘要：从设计流程和体系结构的角度 ,对多主体冲突的产生、预防、检测与解决机制进行了系统的研究 ,提出了一个解决冲突问题的三层结构模型和各层相应的冲突解决策略 ,从而在控制级及领域级都对冲突进行了有效的避免和控制 .该模型及方法在摩托车协同概念设计系统中得到了实现 ,为智能设计和协同设计奠定了基础 .

摘要：从大气中水汽对光照的影响入手 ,探讨了自然景物图像的退化机制 ,通过对典型天气情况的观察 ,总结并推导了基于输运理论的大气光线变化的亮度、饱和度和色度变化的公式 .采用该模型对三维地形立体显示进行退化效果表现 。

摘要：Quorum系统是一种新型冗余拓扑的集合系统 在“冗余”设计的基础上 ,quorum通过交叉的结点把有效数据复制到其他quorum的结点中 ,增加了Quorum系统数据冗余性 当某些结点发生故障或者错误时 ,通过选举协议 ,从含有故障结点 quorum的有效结点中选举出有效数据 ;或者采用互斥协议 ,从不含故障或者错误结点的有效quorum的结点中获得有效数据 ,系统仍能可靠运行 分析了各种Quorum系统的容错方式、性能比较 ,探讨了Quorum系统发展中需要改进的关键问题 。

摘要：为了提高印制板制造可行性 ,加快印制板产品设计数据工艺化过程 ,确保新产品一次投产成功 .针对 PCB- DFM( Design For Manufacture)设计要求 ,论述了印制板制造工艺规则功能设计、PRC建模设计及其系统逻辑构成 ,为整个 PCB- CAM系统的设计奠定了核心技术基础 .制造工艺规则有几十种类型 . PRC建模设计引入模型概念 ,提出建模方法 ,包括模型的范围和语句 .系统不但能够基于工艺规则做出可制造性分析 ,而且能依据某种规则 。

摘要：单相机下 ,三维信息的恢复往往呈现出病态 ,如何在透视投影约束下恢复高质量的三维人体运动信息是计算机视觉领域一个具有挑战性的课题 .提出一个扩展模型 ,即如何从起点出发 ,依次扩展得到三维空间中人体关节点的位置 ,从而恢复出运动信息 .相对于已有的算法 ,提出在搜索空间中用一组最优准则得到连续平滑的扩展起点 ,并且在扩展过程中利用全局运动平滑假设 ,有效地消除了深度信息恢复时固有的二义性 .最后 ,将结果运用于动画制作 ,验证提出的算法的有效性 .

摘要：不同时间段拍摄的自然山体图像存在不同的大气退化影响 .在这些图像的不同部分 ,大气退化影响的程度也不同 .这类图像的大气退化特征直接影响了图像的对比分析和理解 .文中探讨了自然山体图像由于大气原因而产生的退化现象 ,分析了图像的视觉特征 ,建立一个统一的基于输运理论的模型 .该模型可以在

摘要：软件测试是软件开发生命周期的重要组成部分 ,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段 .首先以两个已经实现了的分别面向 VB和 C/ C+ +语言的计算机辅助软件测试工具为基础 ,将该系列测试工具的系统结构推广至适用于任何一种上下文无关语言 .而该系列测试工具高度的模块可重用性特征为这种推广提供了必要的基础 .为实现这种高度的模块可重用性特征 ,从各个角度论述了增强该特征的设计 ,提出了基于块的程序划分机制 .这种机制从根本上保证了对多种上下文无关语言的测试语义的一致性 .最后 ,还给出了两个不同语言写就的实例的运行结果 ,以说明这种一致性 .

摘要：本文设计了一个高效的合一和回溯智能加速部件，在实现时我们运用了自己提出的优化线性合一算法和超前检查智能回溯策略．经测试和分析表明，采用该加速部件的Ｐｒｏｌｏｇ实现系统的效率要比软件实现提高十倍以上．

摘要：并发操作控制机制是协同设计中的重要问题 ,其实质是解决操作冲突并提供无冲突操作 ;而一致性、响应性和并发性是其中三个重要但互斥的需求 因此 ,并发操作控制机制的焦点是在保证一致性前提下 ,以最小响应时间和最大并发程度 ,解决操作冲突 文中提出了并发操作控制机制的重要设计准则 ,并进一步提出一种以实体为中心的并发控制机制及其形式化定义和总体实现 该机制以冲突消除取代冲突避免 ,通过本地操作、服务器端操作确认和复制同步三个步骤 ,实现松散WYSIWIS原则 ;其中本地操作改善响应性 ;服务器端操作确认最大化并发性 ;

摘要：阐述现有基于角色的安全控制中的不足 ,通过分析角色间约束产生的根源 ,提出通过建立权限约束关系来支持角色之间的约束管理和实现访问控制 .文中定义了权限约束支持的基于角色的约束访问控制模型及增强权限模型 ,并介绍这个约束访问控制模型在ZD PDM中的应用 .实践表明 ,这种访问控制模型除了增强系统安全访问之外 ,还可以提供一种更灵活的授权机制 ,并降低安全管理员的工作复杂性 .