心电诊断模糊专家系统开发与研究

以领域专家的理论知识和经验知识为基础,采用了模糊推理,建立了心电诊断模糊专家系统的模型,克服了知识工程师对规则难以总结提取的困难,讨论了趋于增长的合成推理规则(CRI)方法,最后给出了实验结果。     

循环条件的形式化推导在程序验证中的应用

提出了一种求解命令式程序中循环执行和终止条件的方法.该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导.现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序.提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正.     

图像分割的常用方法及其应用

针对图像分割中遇到的常见问题,研究了边缘检测、阈值处理等图像分割理论。在传统算法基础上,给出4种新型算法,可进一步提高图像分割的效果。最后给出了这些算法在图像分割中的实际应用。     

Android智能手机系统的文件实时监控技术

通过对Android智能手机操作系统的研究,提出了应用于该系统的基于系统调用的文件实时监控技术,并详述了该技术的基本原理及其关键实现细节。实验测试表明,其能够达到实时监测文件访问的目的。