基于产生式系统的知识建模

如何建立系统完整的专家知识模型,并将其快速映射为面向计算机推理的人工智能语言是当前专家系统研究的重点和难点,而知识表示是其中的关键.本文将模型驱动的思想引入到专家系统领域,定义了一种基于不确定性产生式知识表示的元模型,设计并实现了相应的图形化建模工具和转换引擎,并基于此提出一种新的产生式系统应用框架.该框架在某健康信息评估专家系统中获得了成功的应用.     

一种基于DOM的Web文档主题划分方法

主题划分是多主题文档自动摘要中的一个重要问题,提出了一种以网页结构为指导,利用页面对应DOM树中节点的自然分割功能以及相邻边界节点语义相似度的比较进行网页主题划分的方法.实验结果表明该方法具有较高的划分准确率,在此基础上抽取的网页摘要可显著增加文摘内容对原文的覆盖率、有效解决Web文档摘要分布不平衡问题.     

基于主动形状模型的双目识别系统的设计与实现

给出了一种基于统计形状模型的双目识别系统实现方法.该系统根据识别目标在场景中的姿态有一定规律性的特点,用先验的样本信息指导识别的过程,并采用径向对齐约束的方法对摄像头内外参数进行标定,利用图像识别结果中特征点的顺序性完成特征匹配,进而获得目标的三维信息.     

基于预处理的Ballon模型及在眼疲劳检测中的应用

获取眼睛轮廓和眼球轮廓对进一步研究人眼疲劳状态具有重要意义.提出基于预处理的Ballon模型对含有双眼的局部人脸图片进行人眼和眼球检测的方法.用微分算法抽取边缘、标识出物体、使用几何特性识别人艰区域,自动获取主动轮廓所需要的眼睛初始轮廓;使用提出的基于预处理的Ballon模型收敛人眼;结合数学形态等方法收敛到眼球.实验结果表明,该方法具有效果好、鲁棒性好、受光线影响弱等优点.     

虚拟维修模型的校验方法研究

介绍了虚拟雏修与建模仿真的关系,分析了虚拟维修模型校验的特点,研究了虚拟维修模型校验的方法,分别应用置信区间法、假设检验法、Bayes法、TIC法、频谱分析法从静态性能和动态性能两个方面对模型实施校验,从而为虚拟维修模型准确性、实时性提供了较为可靠的验证方法.为虚拟维修模型的校验提供一套系统的理论和方法,有利于虚拟维修模型得到更好应用.     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

改进的蚁群算法及其在2DHP模型中的应用

为了提高蛋白质折叠问题解的质量,采用蚁群算法对蛋白质的折叠问题进行研究,并且在现有的蚁群算法的基础上成功引入了淘汰和克隆机制,使其具有更好的运算效率,并成功应用到2DHP模型中.在蚁群对最优值进行搜索的过程中,容易出现局部最优点,导致影响解的质量.为了避免计算结果收敛到局部最优点,引入了一种最大最小蚁群策略.选择测试序列进行实验,实验结果表明,该算法在保证解的质量的同时,还具有较高的效率.     

基于三次B样条曲线的特色照相系统算法模型

给出了一套娱乐性照相系统的算法模型,其原型为哈哈镜.模型以三次B样条曲线为基础,主要为内存和计算能力有限的手机、PDA等手持设备设计.模型的基本思想是将图像抽象成一组直线的集合,将图像的变化看作是这组直线的变化;对这组直线的变化建立数学模型,使图像的变化变成可以描述并且可控制的数学表达式;再将这个教学表达式映射成图像的变化.为了增加模型的实用性,最后又对这个模型进行了优化,将图像的变化转变成图像像素坐标的变化,以变化模板的方式替代了复杂的计算,从而使模型更具有实际使用价值.     

基于信任模型的安全应用层多播协议

针对ALM(application layer multicast)安全性方面存在的问题,设计了一种新的ALM协议.节点加入多播组时,协议对节点的信任度进行认证检测.在交互过程中动态计算节点信任度,以便准确识别覆盖网中的恶意节点.同时,通过标签机制,有效防止了节点对信任信息的恶意篡改.仿真实验结果表明,该协议能有效区分恶意节点并对其进行控制,对多播安全性方面存在的问题有较大改进.     

普适计算环境下上下文信息推理的研究

从各种低层上下文信息得到对人们更加有用的高层上下文信息即上下文推理是当前研究的热点.针对该问题,采用描述逻辑,研究基于本体模型的上下文推理方法.首先简要介绍基于本体的上下文模型,该模型增加了对上下文特性的建模,然后分别研究基于本体的推理、基于规则的推理及不一致性验证3种推理方式,借助Jena框架的推理接口实现,推理功能全面,通用性强,基本满足了普适计算系统中上下文推理的需求,最后给出了推理的可用性.