基于动态符号执行的二进制程序缺陷发现系统

以对二进制程序进行自动化缺陷发现为目标, 基于软件虚拟机的动态二进制翻译机制和污点传播机制, 对符号计算需要关注的程序运行时语义信息提取、中间语言符号计算等机制进行了研究, 改进了传统动态符号执行的路径调度部分, 分析了程序缺陷的符号断言表达形式, 构建了一个在线式的动态符号执行系统检测二进制程序中的缺陷。实验验证了该方法在实际程序缺陷发现中的有效性。     

基于Gabor纹理特征的人脸识别方法*

为了降低人脸Gabor特征的维数,提出了一种新的基于Gabor幅值的纹理表征(GMTR)方法用于人脸识别。GMTR由伽玛分布(ΓD)拟合Gabor幅值的分布来刻画,拟合的ΓD参数作为纹理特征。在FERET和Yale人脸库上的实验结果显示GMTR的识别性能优于传统的Gabor幅值特征,表明纹理特征具有更强的鉴别力。     

基于本体的故障维修案例知识建模和语义检索方法研究

根据飞机维修的需求及维修案例知识的特点,重点研究了飞机故障维修案例的知识表示、知识分类、案例检索及语义匹配等技术;设计了飞机故障维修案例本体知识的模型并通过Protégé加以实现;结合本体论在信息检索中的应用,采用语义检索开发了基于本体的案例知识搜索匹配系统。     

改进的定性形状表示中凹处同异侧判断方法

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Cohn原方法中存在的不足,能得到符合人们直观认知的判断结果,在一定程度上提高了定性形状表示的合理性和准确性。     

基于本体的领域知识重用方法研究*

由于已有知识表示和本体知识表示并不在同一逻辑体系基础上,从知识表示层面提出了一种基于知识等价映射的知识重用方法解决对已有异构知识的重用问题。通过语义等价提取、在本体指导下的一致性处理以及语义映射解决了本体构建过程中对已有知识的自动重用问题。实验表明,该方法易于实现且具有较高的精确性、可行性和有效性。     

译者认知过程研究及其教学意义

翻译教学旨在帮助学生提高翻译能力。要实现这一目标,首先深入了解翻译能力本身。研究表明,翻译能力主要体现在译者翻译时的心理认识过程中。以译者心理认知状态与过程为基础构建译者心理认知问题表征与解决的模式,可以为翻译教学提供有价值的指导性建议。     

网师园中的“鱼”及其象征意义

从网师园众多园林元素中提取出了具有特殊关联的要素——“鱼”,将它们构建成统一的体系展开研究。通过实际观察对观赏鱼活体和装饰鱼图案这两种具有相同象征意义的不同园林要素在网师园中的作用进行了深层次讨论。试图从新的角度来研究中国古典园林中园林要素的象征意义及运用手法,从而能够更好地汲取中国古典园林的精华并在当代园林的创作中加以参考和借鉴。     

论思维的复杂系统模型暨新一代专家系统的设想

在复杂系统研究思想指导下,构建了基于神经元网络结构的复杂系统思维模型,提出以网络节点表示概念,以网络连接表示命题,以网络回路实现知识表达,以网络节点间的时空动力学激发实现演绎推理等思维活动的理论新框架,并以此为基础对新一代专家系统进行了设计。     

几何代数及其在摄动Kepler问题中的应用

为避免卫星轨道摄动分析过程中多种代数系统繁琐的相互转换,创新性地引入几何代数系统,在统一的代数框架内研究摄动开普勒问题.利用几何代数体系中的位置空间与旋量空间之间的转换关系,将摄动Kep ler方程转化为线性、正则的旋量方程(简称KS方程),并给出Kep ler旋量方程的解.最后,通过与传统方法比较,说明几何代数这种新工具在卫星轨道运动中应用的独特优势.     

浩然作品特征探析

浩然作品通过“新”与“旧”的对比之表现手法,演绎了中国共产党在不同的历史时期的各种政策,呈现出各种意识形态形象化、人物精神纯粹化,现实生活本质化之三大特征,展现了我国不同历史时期的农村风貌,也即作者心目中“想象的乡土”,使读者从中感受到中国农村的时代脉搏。