摘要：提出一种基于归结的并有关于背景知识及示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架．基于该理论，进一步提出ｋ 一般特化概念以解决特化的可计算性问题，并相应地给出特化算法．有关实验表明。

摘要：归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是ＮＰ困难的，并给出了构造优假设的启发式算法，实验表明该算法产生的归纳假设在结构上具有明显的优越性．

摘要：生物体内进行着大量错综复杂的生化反应,对生化反应网络的模拟是新兴的虚拟细胞仿真技术的核心任务,提出了一种基于多Agent的模拟虚拟细胞中生化反应通用算法。该算法基于虚拟细胞生化反应确定型算法,克服了确定型算法只能用于同一类型反应式,不易拓展至其它生化反应网络的缺点。该算法在Cougaar开发平台上进行了设计与实现,经过对热休克反应分析进行模拟测试,测试结果与生物学实验基本一致。

摘要：拉曼光谱分析中,噪声的存在常影响分析的准确度和检测限,现有滤波方法在光谱信号除噪方面有种种缺陷。使用自适应小波阈值函数滤噪法和平移不变量小波去噪法两种方法,并分别与传统方法平均算法相结合,实现了信号与噪音的有效分离,均取得了很好的效果。即使对信噪比小于1的高噪声信号也能够很好地保留了信号的细节,获取满意的处理结果。