敦煌壁画数字图像的三维信息恢复

详细阐述了用数字近景摄影测量和计算机图像处理技术来恢复敦煌壁画三维信息的过程,以达到原样数字保存敦煌壁画的目的.通过建立洞窟的统一坐标系统,对洞窟壁画进行近景摄影测量,并把近景摄影测量获取的底片用高分辨率的扫描仪扫描成数字图像.然后经过坐标变换,建立每个墙面壁画的辅助空间坐标.在此基础上,经过模型定向、核线重采样、影像匹配、数字表面模型的生成,直至最后生成正射影像,恢复壁画的三维信息.从壁画图像处理的结果来看,所有控制点绝对定向的残差都在毫米级,壁画数字表面模型的中误差也在毫米级,也就是说敦煌壁画图像数据的几何纠正达到了毫米级.这表明用近景摄影测量和计算机图像处理技术可以很精确地恢复敦煌壁画的三维空间信息,从而达到保护和永久地数字化存贮敦煌壁画、塑像文物的目的.同时也为我们提供了一种文物保护的新方法和新思路,为古代珍贵文物的保护、复原与研究提供了新的手段.     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

二维裂纹传播问题的数值模拟

用数值方法研究了二维裂纹传播问题。经典的连续模型对裂纹传播描述不够精确,而原子模型可以弥补这个缺点,但是完全使用原子模型计算量太大。在裂纹附近使用原子模型,而在远离裂纹的地方使用连续模型,在交界面上,以吸收高频波的条件作为出发点,建立匹配条件求解。这种匹配方法把计算复杂度从O(N2)降低到O(N),而得到的数值解与完全用原子模型得到的解吻合得很好。     

识别非线性目标的谐波匹配法

本文运用非线性系统的Volterra理论来研究雷达非线性目标的识别问题,提出了一种新的识别非线性目标的多频谐波匹配法。文中在分析了非线性散射的机理之后,提出了一种结构化逼近散射模型,并以模型中前置系统的本征系数为非线性目标的分类特征,还研究了自动识别过程的数据拟合匹配法。最后利用描述非线性结的唯像模型,对本文的方法作了“半实物”仿真试验研究,具体建立了四种半实物非线性目标的本征系数特征库,并针对贴近度匹配法对识别过程进行仿真试验,结果表明,这种新的识别方法具有良好的工作性能和极强的抗杂波干扰的能力。     

基于Boltzmann退火遗传算法的光流场计算

将Boltzmann退火遗传算法应用于图像相关匹配,利用Boltzmann退火算法作为竞争策略,得到了基于块匹配的光流场计算方法。     

论匕K-1型铲运机的技术改造

本文根据匕K—1型铲运机在我国井下矿山使用污染严重的问题。提出以低污染风冷柴油机取代原机直喷式柴油机的改造方案,并运用离散分析法为基础进行了电算辅助设计,分析论证了柴油机和液力变矩器匹配的合理性及方案的可行性。     

非负量的匹配与加强三角形不等式

本文首先提出非负量匹配的概念，在此基础上，统一描述了三角形中非负量的关系，并揭示了加强三角形不等式的本质，提出了数量研究三角形的根本任务．本文可看作是文[1]的进一步发展和扩充．     

关于罗朗级数展开的一点讨论

本文针对有理函数的罗朗展开特点，通过简单分析，利用柯西公式等理论，给出了比较简单的系数表达式的导数形式。     

多约束的不确定性问题求解研究

运用映射技术、模型匹配法，为多约束的不确定性问题快速寻找可行解的方法，该方法用于高校计算机课表编排，研制了实用的ＧＸＳＤ９２６１排课系统。