微机注塑模CAD三维系统IPMCAD3.0

本文在介绍ＩＰＭＣＡＤ３．０系统基本功能的基础上，着重对三维ＣＡＤ系统的特点和高性能实用ＣＡＤ系统的开发原则进行了讨论并对ＩＰＭＣＡＤ３．０系统作出客观评价。     

一种新的面向对象的概率图模型

针对大规模Bayes网络的知识表示和推理等问题,使用面向对象的方法扩展Bayes网络结构,提出了一种新的概率图模型——对象概率模型（OPM）．该模型充分利用层次结构中所蕴含的条件独立性,有效地降低了知识表示的复杂度．在Bayes网络消元推理算法的基础上设计了OPM的一种有效的推理算法,该算法可以根据需要调节推理的计算量,在一定程度上解决了概率推理的计算的复杂度问题．将OPM用于解决图像中文本的自动检测与定位问题,实验结果验证了模型的有效性．     

基于任意分割的串行进位链规则获取的计算流程

 分析了等价矩阵和联合决策矩阵规则提取算法对于大数据集低效性的根源.提出了基于任意分割的规则获取方法和相应的串行进位链计算流程.这种计算流程将大数据集上的规则获取,转化为通过分割后多个智能体(子系统)及其智能体间数据共享的"并行＋串行"的规则提取计算过程,有效的解决了大数据集上规则获取问题.复杂度分析表明该算法在效率上较现有的算法有显著的提高;实例分析验证了该方法的可行性;相应的对比实验表明这种计算流程对大数据集上的规则获取的实用性和高效性.     

保持图像亮度的局部直方图均衡算法

现有的局部直方图均衡算法用于图像的对比度增强时,输出图像的亮度与输入图像无关.由于图像增强的很多实际应用需要保持原始图像的亮度,为此提出一种新的局部直方图均衡算法.以子块部分重叠的局部直方图均衡算法 (POSHE)为基础,改进其对子块图像的均衡方式:根据亮度均值对子块图像进行递归分解,得到一系列不同灰度范围的子图像,然后对每一个子图像在其相应的灰度范围内进行直方图均衡,最后合并这些子图像的均衡结果.实验结果表明,这种局部直方图均衡新算法既能充分增强图像局部细节,又能保持输入图像的亮度,且亮度的保持程度可由用户进行控制.本文算法使所增强的图像具有更加自然的视觉效果,能更好地满足消费类电子工业对图像对比度增强的应用要求.     

基于图元的事件图生成算法

与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论,提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元,它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算,并给出事件图生成算法。     

Leakage Current Optimization Techniques During Test Based on Don't Care Bits Assignment

It is a well-known fact that test power consumption may exceed that during functional operation.Leakage power dissipation caused by leakage current in Complementary Metal-Oxide-Semiconductor(CMOS)circuits during test has become a significant part of the total power dissipation.Hence,it is important to reduce leakage power to prolong battery life in portable systems which employ periodic self-test,to increase test reliability and to reduce test cost.This paper analyzes leakage current and presents a kind of leakage current sinmlator based on the transistor stacking effect. Using it,we propose techniques based on don't care bits(denoted by Xs)in test vectors to optimize leakage current in integrated circuit(IC)test by genetic algorithm.The techniques identify a set of don't care inputs in given test vectors and reassign specified logic values to the X inputs by the genetic algorithm to get minimum leakage vector(MLV). Experimental results indicate that the techniques can effectually optimize leakage current of combinational circuits and sequential circuits during test while maintaining high fault coverage.     

冲裁工艺设计决策专家系统及实现

冲裁工艺设计是一种设计决策问题,有一定代表性,很需要采用专家系统技术求解。讨论冲裁工艺设计专家系统的实现技术,包括工艺方案选择和工步设计等问题的解决方案、面向对象的知识表示和推理机制、模糊知识表示与模糊推理技术的灵活应用、图形的自动识别处理与生成等。     

基于OGRE的双目立体显示研究与实现

双目立体显示是计算机图形学中的一项前沿技术,在虚拟现实领域发挥着重要作用.分析了双目立体显示的原理,根据平行双目投影模型,提出一种基于OGRE(面向对象图形渲染引擎)的双目立体显示方案.该方案充分利用OGRE中的虚拟摄像机和视口合成技术,并在底层结合CG脚本,保证了渲染的效率.结果表明,对于正负两种视差,该方案均有明显的立体效果,并能灵活漫游及更换不同的场景,非常适合实际应用.     

教学软件开发过程模型探讨

在深入分析教学软件特点的基础上,探讨了其开发过程中采用的原型模型、螺旋模型、原型与螺旋两者相结合开发模型的特点,并提出教学设计中,应包含探究式教学设计过程将成为未来教学软件的开发趋势。     

基于MDL原理与混合遗传算法的Bayesian网络结构学习

从大型数据库中学习Bayesian网络结构是Bayesian网络应用的难点之一。在分析标准遗传算法与爬山算法各自优点与不足的基础上，将这两种算法相结合，以最小描述长度为评价函 数，得到一种混合遗传算法，实现了它们的优势互补。文章给出了混合遗传算法的计算步骤，并通过对ALARM数据库学习得到的Bayesian网络结构。