规则系统的

This paper summarizes the background and advantage of data mining, as well as the significance of data mining in the scientific research management of colleges and universities firstly, and then discusses the theory of data mining, association rules and the ideas of main algorithm, analyzes the classic Apriori algorithm and its existing problems as well as the basic solutions. After that, this paper proposes Multi-Dimensional Apriori algorithm which is designed specially for the mining of this paper; Then describes the structure of scientific research data mining system, defines subject-oriented mining tasks, including: mining the data about research projects, mining the data about papers, mining the data about academic writings. The association mining process is implemented by programing, a number of stimulating association rules are found, interpreted and analyzed.

本文首先综述了数据挖掘的研究背景、意义以及数据挖掘技术在高校科研管理中的应用现状和意义，然后在对数据挖掘相关理论、关联规则思想及主要算法进行讨论，分析经典Apriori算法及其存在的问题、基本解决方案后，提出了适合本文挖掘的多维Apriori算法的设计方案，并应用于本文挖掘中；接着论文介绍了科研数据的关联挖掘系统的结构，确定了面向主题的挖掘任务，包括：科研项目信息的挖掘、论文信息的挖掘、学术专著信息的挖掘等；设计了关联规则的实施过程，并通过程序编码得以实现，获得了多条有启发性的关联规则，并对其进行了解释与分析。

A comprehensive knowledge expression is put forward, a model of self-learning is established by adopting formula of Bayes, through which the threshold values of parameters and certainty factors can be revised automatically. Knowledge acquisition is the most important link for building blast furnace expert system.

高炉专家系统的知识库需要不断改进，为此，建立了高炉炉况规则的自学习模型，针对高炉炉况的判断规则，建立了高炉专家系统的实例学习、类比学习、知识库求精及知识库维护机制。

A selection algorithm of different techniques is provided for the integrated framework to support concurrent design better. Finally, combining the research project in 863/CIMS, we realize a prototype system of conflict resolution for concurrent design and present applications of conflict resolution techniques.

研究了冲突知识的表达形式，分析了基于实例的冲突解决技术的特点，并且给出了一个适用于并行工程设计问题的实例解决系统；提出了规则推理的一系列算法，实现了基于规则的冲突解决系统；给出了一种冲突解决策略调度算法，并将其应用于冲突的集成解决框架之中，使多种方法取长补短，弥补各种冲突解决方案的不足，更有效地发挥作用。

What the procedure accounting handles is the connection of a systematic component to other components, of a regulation to other regulations and the connection between components and regu-lations.

程序会计研究和处理的对象是会计系统本身的要素和要素、规则和规则以及要素和规则之间的关系。

On the basis of the complexity and distributivity of the object systems, and the focal element oriented combination rule is set as the information algrithrim in the intelligent fault diagnosis systems, which solved the conflicts among the process of fusing multi agent information. The intelligent fault diagnosis decision rules are also suggested correspondingly.

针对诊断对象系统设备的复杂性和分布性等特点，将面向焦元的证据合成规则作为智能故障诊断系统的信息融合算法，较好地解决了多Agent信息融合过程中的冲突证据对合成结果的不利影响，建立了相应的智能故障诊断决策规则。

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

Based on analysing the respective characteristics of regular PID controller in trational control theory and fuzzy logical controller in intelligent control theory, the idea and technique of expert system is introduced to develop a novel kind of hybrid intelligent controller. It can coordinate two kinds of control algorithms and tune the control parameters on-line for different working zones of the controlled process.(3) The hybrid knowledge expression model, which combines discrete state space model, fuzzy relational model and rule base model, is proposed based on analysing the characteristics of all kinds of knowledge expression models. The knowledge of the controlled process in different aspects can be expressed resonably by it. Based on the model mentioned above, the related optimization strategy for complex system is developed.

本文的主要贡献体现在：（1）以炼油厂的催化裂化装置和钢铁联合企业的大型焦炉装置两个典型的复杂工业过程为例，分析了工业大系统的许多不易控制的特性，并归纳了其中的几个典型特征；（2）针对经典控制理论中的常规PID调节器和智能控制技术中的模糊逻辑控制器各自的特点，通过引入专家系统的思想和方法，开发了一类混合式专家控制器，它同时具备在线协调两种不同控制规律和自动学习控制规则的能力；（3）通过分析各种知识表达模型的特点，提出了一类包括离散状态空间模型、模糊关系模型和规则基模型在内的混合知识表达模型，它能对过程知识在各个不同侧面给予合理的描述。

At last, the paper discusses the function of user interface and gives the method of selecting constraints according to information plus, the operating flow of association rule mining system based on meta-knowledge, and the idea of inducting meta-knowledge in theevaluating phase in order to unit evaluating rule to whole procession, thus can do better in enhancing mining efficiency and veracity.

最后，提出了利用信息增益选择约束的方法，给出了基于元知识的关联规则挖掘系统的操作流程，探讨了可视化的功能实现问题，提出了在结果评价阶段将评价规则作为元知识统一到挖掘过程中的思想，以利于提高全系统的挖掘效率和准确性。

To resolve those problems, the nature of safety is expatiated by comparing the differences between safety and reliability, security, which would facilitate us to design some novel safety mechanisms. Based on multilevel safeguard mechanisms, the safety technologies of distributed mission real time system is deeply, systematically researched in this dissertation, some main works and contributiveness including:1 To improve safety of complex mission critical real time system by dividing and ruling way, the whole system usually is divided into few small and simple subsystems with different criticality.

并以多级防危机制为核心，对分布式任务关键实时系统的防危技术进行了系统、深入地理论研究和实验，主要的贡献与创新之处包括：在分析现有应用级防危机制不足之处的基础上，基于多级关键度划分的思想，提出了集成式的多级防危机制，其中重点研究了支持该机制的多级关键度访问控制规则，其目的是防止低关键度子系统中的设计缺陷破坏高关键度子系统的防危性，同时研究了基于反射技术的规则执行。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。