统计推理精要

本书是《剑桥统计与概率数学》丛书中的一本。《剑桥统计与概率数学》丛书涉及了随机应用数学的各个方面，论题的范围从纯统计学、应用统计学到概率理论运算研究、优化及数学规划；它包含了对该领域中最新进展的清晰介绍和经典方法的发展动态展现；     

设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表 .本文提出了一种设计与实现计算机推理软件的方法 .该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库 ,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等 ,随后转换产生用于逻辑推理数据形式的知识规则库文件 .在知识规则库文件的基础上建立一个独立的推理执行系统 ,它采用精确推理的方法 ,依据由知识转换器产生的知识规则库文件 ,实现相应的推理结构确定的逻辑控制 .论述了计算机推理软件的设计思想、总体设计及其特点 ,并介绍了采用计算机编程语言的实现方法     

基于虚拟空间本体的路径规划

为了在复杂的游戏场景中自动生成导航图,提出虚拟空间本体标记虚拟空间中物体的属性和关系,由计算机根据场景的几何属性与虚拟空间本体自动生成导航图;讨论了适合作战术式路径规划的A*算法.计算机仿真实验结果验证了该方法的正确性和有效性.     

数学教学中学生合情推理能力培养的研究

本文首先分析了"培养学生合情推理能力"在课程标准中的变化,然后针对当前数学教学中学生合情推理能力普遍比较薄弱的现象,对如何在数学课堂教学中培养学生的合情推理能力提出了具体建议。     

改进的关系模式本体学习映射规则研究

针对现有本体学习方法中存在的问题进行改进,提出了由关系模式进行本体学习的若干映射规则。首先介绍了本体的形式化定义,然后对现有关系模式向本体转换的各种方法进行了总结,并分析其存在的问题。在此基础上提出了基于关系模式的本体学习映射规则,并通过实例分别进行了说明。最后对算法的语义覆盖度进行了评价。     

一种基于QoS的扩展语义Web服务发现方法

如何从大量的Web服务集合中找到满足用户要求的服务是Web服务技术的关键,然而现有Web服务缺乏对QoS信息的描述,不能满足用户对服务QoS的需求.本文基于OWL-S本体扩展了profile描述,将QoS本体引入OWL-S,在基于SOA工作框架以及P2P网络的基础上,设计了Web服务发现框架,并在该框架中引入了QoS管理模块.服务匹配过程分为两个阶段:第一阶段为基于服务功能的匹配,服务的功能主要从inputs、outputs、preconditions和effect描述;第二阶段为基于服务QoS的匹配,QoS属性从time、cost和reliability描述,以满足用户对服务质量提出的要求.实验结果表明该模型可以有效地增加Web服务发现的有效性.     

多无人机协同机场驱鸟任务分配

为解决传统机场驱鸟效率不高的问题,将多无人机协同技术引入该领域,基于自创的“伏击法”的驱鸟策略完成任务规划建模,并设计了一种基于遗传算法的任务分配方法。分别引入了推理树分析法和模糊逻辑分析法对参数进行优化选择,评价鸟击威胁和无人机拦截效率这两个任务规划的前置条件。设计了多个约束条件以保证任务规划的实际效果,并基于比例导引制导律对无人机执行任务时间进行估计。仿真实例表明,该方法在多个约束条件和同时面临多个鸟类目标的条件下,能有效完成多无人机协同驱鸟任务分配工作。     

基于信息融合的电熔镁炉熔炼异常工况等级识别

采用多源信息融合思想,提出了电熔镁炉加热熔化异常工况等级的识别方法.在分析加热熔化过程各种异常工况的基础上,提取电流、图像和声音信号特征进行同步序列化和归一化处理,根据各种异常工况的特点选取不同特征,建立了基于支持向量机的轻微半熔化和严重过加热工况识别模型、基于规则推理的中度半熔化和严重半熔化工况识别模型和基于决策树支持向量机的轻微过加热和中度过加热工况识别模型.仿真结果表明,本文方法实现了对半熔化和过加热工况异常等级的有效识别.     

贝叶斯网络研究综述

贝叶斯网络将概率理论和图论相结合,为解决不确定性问题提供了一种自然而直观的方法.近年来,贝叶斯网络已成为国内外智能数据处理的研究热点之一,被广泛应用于专家系统、决策支持、模式识别,机器学习和数据挖掘等领域.综述了贝叶斯网络的典型推理和学习算法,并对其进一步的研究方向进行了展望.     

基于本体的Semantic Web网络教学平台构建的研究

本体是一种能在语义和知识层次上描述信息系统的概念模型,为了更好整海量的网络教学资源,弥补现有网络教学平台,我们研究基于本体的Semantic web网络教学平台的构建,综合分析了Semantic web网络教学平台的整体框架,介绍教学资源本体的构建。