软件体系结构风格综述

软件体系结构已经成为软件工程的一个重要研究领域,本文综述了数据流系统、数据抽象和面向对象组织、分层系统、数据中心系统等软件体系结构风格,并且指出了它们的优点和缺点。     

基于模糊数学的不精确推理及其实现

探讨基于模糊数学的不精确推理,论述了基于单纯模糊截集的知识表示方法,研究了基于变形空间的模糊推理,引出了一种把产生式规则的所有条件看作一个整体进行处理的新方法,在专家系统开发工具ADEST中实现了这种方法。     

专家系统开发工具ADEST

ADEST 是在 VAX-II 计算机上用 Common LISP 语言实现的专家系统开发工具,本文讨论了 ADEST 的基本设计原理和实现方法,重点阐述了多种知识麦示、多推理机制及不精确推理的实现技术。     

学生成绩分析专家系统的研究与应用

对成绩分析专家系统的实现方法进行初步探讨,针对成绩分析的特点,对领域知识进行分类组织,提出了产生式结合关系数据库的方法表示知识,精简了规则库,同时也使推理机易于实现.经过实践表明,把专家系统理论知识应用于成绩分析领域是可行的,能大大提高工作效率,减少成绩评判的误差.     

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

基于传递闭包的教材预订算法研究

教材预订是教材管理中很重要的问题之一．将模糊聚类分析方法应用于教材预订中,为教材预订提供了一种新的手段．介绍了模糊聚类分析的概念,几种常用模糊聚类法的优缺点;用传递闭包法设计了教材预订算法,实际应用效果良好．     

多层次、多侧面的商空间合成方法研究

文章对商空间理论中的合成方法进行了扩展,提出了多层次、多侧面的商空间合成模型,讨论了模糊等价关系运算与距离空间合成和多侧面商空间合成之间的关系,并将多层次、多侧面的商空间合成模型应用于纹理图的分割。实验验证了这一方法的可行性和有效性。     

农业气象数据库管理系统AWDBS

ＡＷＤＢＳ是用ＦｏｘＢａｓｅ研制的安徽农业气象数据库管理系统，根据农业气象资料的分析，对农作物产量进行统计、预测。本文论述了的设计原理和实现方法，阐明了数据查询、数据录入、数据修改，并给出了应用实例。     

基于非凸上界的ranking模型构造算法

现有的ranking算法均通过最小化原目标函数的凸上界构造ranking模型,得到的模型不够精确.为此,文中提出一种基于非凸上界的ranking算法.该算法首先给出一个基于多类支持向量机(SVM)的框架,然后定义面向NDCG的目标函数,在此基础上设计一个比现有的凸上界更为紧凑的非凸上界逼近原目标函数;针对上界函数的非凸非光滑,提出使用凹-凸过程进行凸逼近,并采用割平面算法进行求解;最后,通过在基准数据集上的实验对该算法进行验证,并与现有算法进行对比.结果表明,相比现有的基于凸上界的ranking算法,文中算法得到的模型不但更为精确,而且更加稳定.