面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

民用航空发动机航线维修专家系统设计分析

为了缩短民用航空发动机航线维修的时间,提高航线维修效率,降低航班延误率,针对民用航空发动机航线维修工作的特点,提出了基于故障特征利用模糊技术建立专家系统的模糊知识库,并结合智能检索技术建立民用航空发动机航线维修专家系统的方法,该方法能够提高专家系统解决问题的准确性和时效性。重点阐述了专家系统模糊知识库构建和智能检索技术的逻辑思路。相比于以关键故障特征为知识点建立的数据库,模糊知识库包含了更全面的故障特征知识。智能检索基于概念或语义检索,相比于关键词检索,对自然语言有更好地理解,便于航线维修工作人员使用。     

大学英语教学与交际能力的培养

作为英语教师，我们拥有广阔的空间，可以自由地去尝试和创新。但如何利用课堂的有限时间，充分调动学生的学习和使用英语的积极性，这一直是语言教育工作者所探求的问题。本文认为掌握英语基础知识和培养交际能力同等重要，二者互相促进，相辅相成。语言基础知识是基础，交际能力是语言能力的集中体现，它又进一步巩固语言知识。     

国外燃烧诊断技术的新进展

对近十几年来国外燃烧流场参数的非接触式激光光学诊断技术的进展作了简要回顾和评述。     

基于UML的自动测试系统建模方法研究

为提供自动测试系统的领域知识，在对自动测试系统的特性进行研究的基础上，将UML引入自动测试系统的建模过程中，利用UML的扩展机制为自动测试系统的框架开发提供该领域的知识。通过为一个自动测试系统开发平台不同于常规软件产品部分的建模实例，给出了自动测试系统的特定领域知识的表达方式。     

软件自动生成工具中应用的两个智能方法

软件功能描述和源程序代码产生是软件自动生成工具中的两个关键环节。因此,本文给出两个智能方法用于解决其中的问题。描述算子附加知识包的方法提供了一个软件功能描述环境模型,并可以根据一般性知识或标准及用户使用常识优化软件功能描述;层次性辩识网的方法用于解决源程序代码产生中的微、宏决策问题,使软件自动生成过程有更大的灵活性。 本文所介绍的两个方法已应用在菜单式用户界面生成器中。     

知识获取子系统ACQUIST的设计与实现

知识获取是专家系统的瓶颈问题,本文详细叙述了数控系统故障诊断专家系统的知识获取子系统ACQUIST的设计思想和实施方法。     

基于合同机制的多UCAV分布式协同任务控制

 针对集中式控制的不足,采用基于合同机制的分布式控制方法对多无人作战飞机（UCAV）协同任务控制问题开展研究。设计了有限中央控制下的分布式控制体系结构,以支持UCAV在任务控制站的监控下实现不同级别上的自治。在通过合同网协议实现动态任务分配的基础上,建立条件合同机制对任务执行过程进行协调,提高了多UCAV协同作战的效能。采用时间约束网络对UCAV的任务计划进行量化表达,保证了多UCAV战术行为配合的准确实现。仿真结果验证了方法的有效性。     

Comparison of Polar and Equatorial Coronal Holes Observed by UVCS/SOHO: Geometry and Physical Properties

We analyzed UVCS/SOHO data and compared the H I Lyα (121.6 nm) and O VI (103.2 nm, 103.7 nm) emission in the polar and equatorial coronal holes. We found that the emission lines have similar characteristics in these two types of coronal holes. Both types show evidence for superradially diverging boundaries. The latitudinal distribution of the O VI line ratio may indicate that the equatorial coronal hole has O⁺⁵ outflow velocities lower than in the polar coronal holes. This revised version was published online in June 2006 with corrections to the Cover Date.     

“以学问为诗”初探——江西诗派一个理论问题的溯源

旨在说明江西诗派的理论源自“西昆体”,是北宋一代诗歌创作的总结。特别是欧阳修,在“西昆体”与江西诗派之间起着承上启下的作用。文章简略,以求教于方家。