《计算逻辑》中定义原理的修改与重证

一、定义原理及其修改 《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归纳法进行机器证明的理论基础。定义原理是该书中一条重要定理。其作用在于判定一个函数定义是否合理,即是否唯一确定了一个函数。 原书中的定义原理为:     

数据挖掘中信息颗粒及其构造

为在海量的数据仓库中搜索稳定的、有意义的且易于表示的知识模式，简要介绍了数据挖掘的任务、分类及智能计算方法的作用，提出了信息颗粒的概念，信息颗粒的引入，使人们更容易地理解各种复杂数据所隐含的意义，对数据进行模块化处理，从而降低运算的复杂性，起到信息综合、信息压缩的作用，另外，根据模糊性理论构造和管理信息颗粒，用模糊集对信息颗粒进行量化表示，计算信息颗粒度，针对具体问题根据兴趣度灵活而有效地选择信息粒度，使它们有效地覆盖所研究的整个数据领域，最后，讨论了颗粒间的各种关系，并人出了信息颗粒在数据挖掘中的进一步作用。     

基于矩阵到3NF保持函数依赖的模式分解

利用矩阵这一工具，研究了到３ＮＦ保持函数依赖的模式分解，文中基于矩阵给出了判定３ＮＦ的若干定理，并提出矩阵行相容，矩阵包含和矩阵合并等新的定义，给出了基于矩阵到３ＮＦ保持函数依赖的模式分解算法。     

带有工件实际加工时间上界的调度问题研究

为了研究更具实际意义位置依赖的单机调度和平行机调度决策问题,建立了带有上界限制的一般性位置依赖工件加工时间模型。在模型中,工件实际加工时间表示为初始加工时间和调度位置的一般函数。此类函数没有特殊函数形式和函数单调性的限制,且其函数值不能超过给定上界。对于单机调度问题和平行机调度问题,研究目标函数分别为最小化总完工时刻和最小化机器总负荷。通过分析证明和把所研究的问题模型转化为经典任务分派问题,进而分析得到求解各个问题的计算复杂度。研究表明,在带有上界限制的一般性位置依赖的工件加工时间模型假设下,所研究调度问题都是多项式时间可解的。     

基于信息几何学概念的支持向量分类机

讨论了信息几何学中的子流形和嵌入概念,从信息几何学的角度分析了核函数的几何结构,通过共形变换构建数据依赖的核函数,使得特征空间在支持向量附近的体积元缩小,以改善支持向量分类机的机器性能,仿真结果表明了方法的有效性.     

平稳时间序列模型的结构判定

本文提出一种平稳时间序列模型结构判定的新方法。判定模型结构优良度的依据是残差的相关性以及参数估计的精度。利用信息熵的概念,文中建立了衡量残差相关性的度量函数。为了度量参数的精度,引入费歇尔信息矩阵的纯量函数,并导出了信息矩阵计算的数值方法,最后,列举了一些数字仿真的例子,以说明本文所提出的方法的有效性和实用性。     

GIS属性数据库的关系模式分解研究

讨论了GIS属性数据库设计中关系模式的构造原理和方法 .在GIS的数据库模式设计中 ,地理实体的关系模式分解是属性数据库应用设计的关键 .在对GIS属性数据库的特征分析基础上 ,讨论了地理实体的关系模式的分解表示及其应遵循的约束条件 ,即信息无损失连接特性和保持函数依赖特性 .在关系模式的分解表示中 ,将地理实体错综复杂的关系模式分解成一组简单的属性关系集合 .同时 ,为使分解过程中不出现信息丢失并维护地学数据的完整性约束 ,还讨论了关系模式分解应满足的信息无损失连接性的约束条件 ,以及关系模式分解所应保持的函数依赖的约束因素 .     

电子眼开启自动门

光电效应是人们在19世纪末发现的，不过在数年以后才被人们所了解。爱因斯坦运用光量子理论解释了光电效应的原理。今天，人们可以利用光电效应传输信息、发出指令和控制机器。     

资产关联拓扑结构的信息系统安全评估模型

提出了基于资产关联拓扑结构的信息系统安全评估模型。以资产关联拓扑结构图为原型表示资产间的关联,量化计算判定各资产间关联以及关联性对整个信息系统风险的影响。该信息系统安全评估模型改进了传统的信息系统风险评估方法,添加资产关联性作为评估过程中的重要信息,实现了量化的信息安全评估。最后给出实例验证了模型对传统评估方法的改进。     

未确知函数及其应用

利用所定义的未确知函数的概念来表示某些信息，它推广了文[1]中有关概念，包含了连续型随机变量的表示。给出了关于未确定函数的运算，并通过实例说明文中的结果不仅具有理论上的意义而又对某些实际问题的信息处理有较好的应用前景。     

信息素养与信息教育

简要介绍了信息素养的概念及其内涵,阐述了现代社会中信息素养的重要作用,指出教育信息化是提高人们信息素养的根本途径。     

信息化与信息素质探究

介析信息素质的三个层次：信息技术技能、信息素养和信息技术通晓，认为信息化对人的信息素质提出了更高要求，对如何培养和提升个人信息素质进行了探讨。     

企业信息需求与信息服务

分析了企业信息需求的现状,探讨了影响企业信息需求的因素,提出了发展信息服务业的对策。     

加强图书馆信息管理及服务之我见

依据图书馆信息文化、信息管理及服务的内涵,阐述了加强图书馆工作者自身文化素质和服务能力的重要性。并就图书馆如何做好信息文化服务进行了表述。     

多媒体信息与多媒体信息处理

多媒体已完全改变了我们对信息及信息处理的理解，它带来了许多需要解决的新问题，本文对在多媒体信息系统环境中信息特性上的拓广、处理形式上的变化等进行了讨论。     

企业信息门户的信息构建

企业信息门户是企业信息交流的重要平台,通过信息构建的企业信息门户可以更为有效地利用企业的信息资源.通过对企业信息门户和信息构建的介绍,论述了企业信息门户建设的重点是信息构建,在信息构建理念的基础上对企业信息门户的建设提出了一套建设思路.     

非对称信息与非对称信息市场

对非对称信息和非对称信息市场进行了概括的介绍，并从社会存在的角度对非对称信息与非对称信息市场存在的原因和形成因素进行了简要分析。     

多媒体信息处理与信息融合

介绍了作者所完成的多媒体信息处理系统的组成及原理，详细说明了该系统所采用的一种信息处理技术──字与图分离技术，实验结果证明了该技术的有效性。     

基于信息保真度的最优信息传输

为度量信息被信道噪声干扰后的可恢复程度, 提出基于互信息的信息保真度概念, 并揭示保真度与互信息以及信息恢复方法误差概率之间的内在联系。 理论分析表明, 信道最大信息保真度能反映最优传输消息分布, 在此基础上把最优传输消息分布的求取转化为信息保真度极值问题, 并研究基于最大化信息保真度的最优信息传输。 以二元无记忆信道为例, 对其进行理论和数值分析, 并验证了最大保真度与信道容量以及最优传输消息分布之间的关系。 结果表明, 对较为复杂的信道模型, 基于信息保真度的最优化计算比信道容量的计算更为简洁。     

信息系统诱导的信息代数

通过对信息系统诱导一个信息代数进行新的刻画, 得到一个信息系统可以诱导一个信息代数, 而不再需要附加条件, 并且得到一个连续的信息系统可得一个连续的信息代数, 一个紧信息系统可得一个紧信息代数.