基于可视锥的可接近性分析方法及其应用

可接近性是一种重要的产品特征, 可接近性分析已成为解决不同制造过程中所出现的计算制造问题的有力工具. 讨论了可达性、可接近性和可视性等概念之间的关系, 提出了一种基于可视锥的可接近性分析一般方法. 在点的可视锥基础上, 定义了完全可视锥、部分可视锥和局部可视锥等几类特征可视锥, 并给出了一个基于C-空间的可视锥计算方法. 最后探讨了如何应用可视锥实现数控加工、CMM测量和装配顺序规划等制造过程中的可接近性分析.     

基于密集采样成像算法的全芯片可制造性检查技术

分辨率增强技术(Resolution Enhancement Technology，RET)在集成电路制造中的应用使得光刻用掩模图形日趋复杂，而掩模制造成本和制备时间也随之增加．由于光刻工艺包含了一系列复杂的物理和化学过程，分辨率增强技术本身很难保证其输出结果的正确性，因此在制造之前，利用计算机对已经过处理的版图作可制造性验证变得十分必要．文中介绍了光刻建模、成像模拟和问题区域查找的算法，回顾和比较了当今流行的post-RET验证方法，并阐述了基于密集采样成像算法(Dense Silicon Imaging，DSI)的可制造性验证的必要性．并在密集采样成像算法的各个关键步骤提出了新的加速算法．在新算法的帮助之下，以往由于计算量太大而被认为不实用的基于密集采样成像的可制造性检查得到了实现．文章的最后部分给出了密集采样成像算法在实际中应用的例子和实验结果．     

基于Bayes线性估计的遥感图像融合

将Bayes线性估计应用于不同分辨率遥感图像的观测模型中，提出了一种新的基于统计参数估计的遥感图像融合方法．该方法对于金色波段图像和待估计的多光谱图像的联合分布不做任何假设，只需要估计高分辨率多光谱图像的均值和协方差以提高算法的鲁棒性．另外，文中的方法能够提高多光谱图像的多个主成分的分辨率，而传统的主成分变换方法只限于提高第一主成分的分辨率．实际的Landsat ETM＋的全色波段图像和多光谱图像的融合实验结果表明，所提议方法的性能优于其他基于统计参数估计的方法和基于主成分变换的融合方法以及基于小波变换的融合方法．     

结合高级正向推理过程的可满足性问题解决器

提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge- mann and Loveland)算法和作为高级推理技术之一的失败性文字检查(FLD,Failed Literal Detection)技术.在失败性文字检查技术中,又提出了动态筛选方法,它包含了两条规则: 内部和外部筛选.在保证能在每个决策层上发现大部分失败性文字的同时,降低了失败性文字检查所测试的文字数目及相应的计算时间.不同于其他类型的预定义的删除标准,在这一方法中文字的删除是动态的,从这点上讲,文中的失败性文字检查算法可以适应不同类型的测试基准实例.许多不必要的测试可以被避免,因而提高了失败性文字检查的计算速度.为了进一步提高失败性文字检查的效率,故此还增加了其他静态的测试约束.实验表明,经过优化后的失败性文字检查算法的效率明显高于其他的高级正向推理技术.     

基于可拓学的零件工艺实例描述与修改方法研究

通过对零件工艺实例信息的分析,构建了用于描述实例的基元模型;对实例模型的修改操作进行了分类,提出了修改的流程;并运用可拓分析与变换原理,提出了各项修改操作的方法,从而解决了基于实例推理技术的工艺设计过程中的零件实例描述与修改问题。最后,通过例子验证了以上方法的可行性。     

控制器参数的可区分性分析及其在双馈风力发电系统的应用

电力系统中许多控制器的参数众多,所提出的可区分性是指在参数的优化整定过程中,能否唯一确定某个参数,也即最优解的唯一性．由于在大多数情况下,无法获得优化目标与控制器参数之间的解析关系,这时要靠解析方法分析可区分性就非常困难．为此,提出一种基于轨迹灵敏度的可区分性数值分析方法,揭示了控制器参数的可区分性与轨迹灵敏度之间的内在联系．提出通过分析参数灵敏度的大小得到影响控制器性能的主导参数,通过分析灵敏度曲线的相位确定不可区分的控制器参数．以双馈异步风力发电机组控制器为背景进行应用研究,算例结果验证了上述方法的有效性．