KDD中知识的自动评价系统

How to automatically evaluate the discovered knowledge is very important in KDD,but the research on this problem is very little. The paper gives one automatic system for evaluating the knowledge, and provides many solutions. First some relative concepts are described,and the construction of this system is given,and uses the case to prove it.     

A Syntactic Proof of the Conservativity ofλ_ω overλ_2

In this paper,the relationship between the second order typed λ－calculus λ2 and its higher order version λω is discussed.A purely syntactic proof of the conservativity of λωover λ2 is given.     

The Structural Design,Simulation Analysis and Parameter Optimization of the Cheetah Robot’s Lumbar Vertebrae

The quality of skeleton system for the cheetah robot goes hand in hand with its bionic result of its shape, structure and functions. In view of the skeleton system constitution and structural characteristic of the cheetah, the team applied structure design, stimulation analysis and parameter optimization to developing the cheetah robot. In addition, after the invention of cheetah robot＇s anterior lumbar vertebra based on its functional attribute and connectivity attribute, the Solidworks Simulation was utilized to analyze the design, according to which improvement on the lumbar vertebra was made. Plus, the advantages of the CAD and CAE made the high efficiency of design work and high quality of the cheetah robot possible.     

对“货郎担问题”的深入解析

The Traveling Salesman Problem(TSP) is one of the most difficult problems that many scholars all over the world are studying.This paper points out the disparity between the definition and the classical solution of TSP and its practical applications,and the presents a new definition of TSP and its effective algorithm conforming to practical applications,thus making TSP practically more valuable.     

A bound on the distance between Loop subdivision surface and its control mesh

By means of direct analysis of the connection between Loop subdivision surface and its control mesh and the computation of the basis functions,we obtain a bound on the distance between Loop subdivision surface patch and its control mesh.The bound can be used to compute the numbers of subdivision for a given tolerance.Finally,two examples are listed in this paper to demonstrate the applications of the bound.     

一类欠驱动机械系统的动态及其稳定控制

Abstract The control of underactuated mechanical systems is very complex for the loss of its control inputs. The model of underactuated mechanical systems in a potential field is built with Lagrangian method and its structural properties are analyzed in detail. A stable control approach is proposed for the class of underactuated mechanical systems. This approach is applied to an unde ractuated double-pendulum-type overhead crane and the simulation results illustrate the correctness of dynamics analysis and validity of the proposed control algorithm.     

EJB技术及应用

Component technology has been the focus of the software industry. In this paper, the history of the component technology is reviewed briefly. The framework of EJB is introduced, its composition is mainly focused, the EJB products and its development are discussed and in the end, the conclusion is made.     

Research on Data Management and Configuration in RBC Simulator

The Radio Block Center(RBC) is the key component of CTCS-3 which is responsible for monitoring the safe operation of all trains within its control area A complete RBC system shall have data configuration capability to support the application function of RBC,and shall be able to generate the data flow needed by the system.This paper focuses on the research of data management and data configuration in RBC on the basis of RBC simulator.Based on the analysis of the RBC simulator and its external interface,the requirements of the RBC database are analyzed and models of RBC databases are designed. The key technical issues concerning the data configuration and data flow generation are introduced.     

基于过程模式的软件过程框架

Process pattern is an excellent method to express software process knowledge, it can express process knowledge in different granularity and realize the non-gap connection of process knowledge, it supports the reuse and persistent improvement of process knowledge. In this paper, we put forward a process Pattern Based Software Pro-cess Framework(PB-SPF), its three layer architecture has realized the high abstraction of software process and theseparation of its contents, so it have good reusability and adaptability. We can use it as a base for the research of soft-ware process, the building and enactment of process model.     

面向KDD的粒度计算建模研究

给出了全粒度空间的拓扑结构模型，进一步介绍了面向粒度计算的产生式决策逻辑语言GDL-language，然后定义了面向粒度描述的正基语言，阐明该语言公式的语义解释，给出了一种“全粒度空间＋正基语言”的粒度计算模型，并找到了正基语言系统、粒度空间和基本概念空间的关系定理。最后，把KDD任务归结为基于该模型的粒度计算问题，这样就可以把各种KDD任务统一到一个理论框架下，也便于比较和研究。这些工作无疑对令后知识发现的研究起着重要的作用．     

基于双库协同机制的知识发现结构及其应用

文章在KDD（基于数据库的知识发现）的基础上,提出了KDD的开放系统-KDD的总体框架;探讨了其关键技术-双库协同机制的理论基础与实现技术。该系统提供了广泛应用于多个领域的知识发现结构与进程,具体的实例演示表明KDD这类新型构造是有效与可行的。     

主动式KDD系统的设计与实现

介绍了一种主动式KDD系统的思想及其设计与实现。在建模挖掘的基础上主动推送信息，利用感知机模型对用户的反馈信息进行修正，逐步增强系统的推送信息的准确性，从而进一步提高KDD系统的智能性和自动性。     

KDD中的特征选择

随着数据库、数据仓库技术的发展,各种数据处理和分析工具不断出现,数据库中的知识发现(简称KDD)就是现在受到研究人员和软件开发商广泛关注的一种数据分析方法。文章主要针对KDD的数据预处理阶段的一类重要问题———分类问题,描述了特征选择的概念,分析了它在KDD中应用的重要性和必要性,并针对KDD的特点介绍现有的特征选择的各种方法并进行归纳,为下一步的研究和开发提供一个有益的框架。     

MFDM:开放式可视化知识发现平台的设计与实现

MFDM是一个开放的可视化知识发现平台。知识发现是一个复杂的过程,需要高效规范的工程管理。MFDM知识发现平台在形式化模型的基础上,提供了可视化过程建模,模型管理等功能。论文阐述了MFDM的思想和基于组件和面向对象技术的系统设计和实现方案。     

数据挖掘与知识发现综述

数据挖掘与知识发现是目前一种新的重要的研究领域。介绍了数据挖掘与知识发现的概念、功能、常用方法、数据挖掘过程及其广泛应用 ,阐述了数据挖掘技术的未来发展方向。     

基于网络环境的分布式KDD及Data Mining研究

本文针对ＫＤＤ的研究现状及其面临的挑战,主要讨论了基于网络环境下,面向多个站点机,多种数据库、多类数据源的分布式ＫＤＤ和Ｄａｔａ Ｍｉｎｉｎｇ的整体方案和实验系统模型,研究内容包括高效分布式开采算法,ＫＤＤ过程的无缝集成,ＫＤＤ中的知识表示、知识更新以及开采结果可视化的有效方法等。     

KDD技术在超级市场中的应用

文章力图通过KDD技术在超级市场中的应用,阐述KDD系统的模型和基本工作步骤,以及DataMining中的典型模型（如：特征模型、分类模型、聚集模型、关联模型、对比模型、汇总模型、预测模型和决策模型）,在超级市场管理方面的具体使用方法和作用,并提出了KDD技术在目前的实际应用中所存在的问题,最后对KDD技术的应用前景作了展望。     

计算智能方法在KDD系统中的应用与研究

该文论述了KDD系统中计算智能方法的性质和特点,并且提出了神经网络和遗传算法技术在具体的数据挖掘过程中的应用模型,另外,从精确性、鲁棒性等方面对算法的优劣进行了比较。