决策形式背景的概念格属性约筒

概念格理论是一种有效的知识表示与知识发现的工具,已成功应用于许多领域．知识发现的一个重要方面是知识约简．在基本的概念格属性约简理论的基础上,进一步提出了决策形式背景的概念以及决策形式背景的概念格属性约简理论,丰富了概念格约简理论,定义了决策形式背景的强协调性与弱协调性,对于强协调决策形式背景,给出了协调集的判定定理及约简方法,对于弱协调决策形式背景,定义了蕴含映射,研究了蕴含映射的属性约简,并给出了弱协调决策形式背景的约简与其蕴含映射的约简之间的关系。     

粗糙集属性约简的一般理论

提出了协调近似表示空间的概念，指出了各种不同的信息系统均可以转化为协调近似表示空间．同时，在协调近似表示空间上，给出了属性协调集的判定定理以及属性约简方法，给出了三类不同属性（核心、相对必要属性、不必要属性）的特征定理．     

基于知识发现创新技术的专家系统新构造

为解决“知识匮乏”这一专家系统中的瓶颈问题，提出了基于数据库与知识库协同机制的综合过程模型KD（D＆K）及其相关的创新技术，进而提出了基于知识发现的专家系统ESKD新构造．作为ESKD的核心知识获取构件KD（D＆K）由KDD＊和KDK＊两部分组成，对基于双库协同机制的KDD＊过程模型和基于双基融合机制的KDK＊过程模型分别做了介绍；给出了ESKD的总体框架；并讨论了ESKD的一些子系统和动态知识库系统；最后，在农业真实数据库上验证了ESKD的有效性和先进性．ESKD有望把专家系统推向新阶段．     

基于属性测度的辐射源识别方法研究

对辐射源识别问题进行了研究, 提出了一种采用属性测度理论对辐射源进行识别的新方法. 给出了对雷达侦察设备上报的辐射源参数数据进行属性识别的方法、步骤和多指标权系数的确定方法. 针对战场环境下多传感器系统获取的雷达辐射源信息具有时间上的冗余性, 文中又将该方法推广到多传感器系统. 将属性测度与D-S证据理论相结合, 利用文中给出的属性测度计算方法构造证据理论中的基本概率赋值函数. 最后以雷达辐射源用途识别和体制识别为例, 对单传感器和多传感器的情况分别进行计算机仿真实验, 结果验证了这一方法的正确性和有效性.     

知识创新的Markov控制模型研究

本文在已有的知识创新的相关理论基础上研究知识创新问题。完善了知识创新的机理模型，并对其进行了理论说明，指出知识创新的原理和作用；在对其机理分析的基础上，用Markov模型描述了企业的知识创新过程，分析了影响知识创新的关键因素——隐性知识；并提出了有关知识创新的相应策略框架。     

Lukasiewicz命题逻辑中公式的Г-真度理论和极限定理

对“Lukasiewicz他值命题逻辑中公式的真度理论和极限定理”进行了再研究．（1）在Lukasiewicz n值命题逻辑中，给出了真度的赋值表示形式，该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质；（2）在Lukasiewicz n值命题逻辑中，利用真度的赋值表示形式提出了公式关于局部有限理论Г的Г-真度概念，给出了公式的Г-真度的几种等价形式及性质；（3）得到了Lukasiewicz n 值命题逻辑中关于Г-真度理论的极限定理；（4）给出了Lukasiewicz连续值命题逻辑中公式的Г-真度定义的合理形式，以及Lukasiewicz命题逻辑中真度的对称性定理；（5）在Lukasiewicz n值命题逻辑中，利用极限方法和Г-真度的赋值形式对公式关于无限理论Г的Г-真度问题进行了讨论．     

正交平衡对称的区问多小波研究

研究基于任意紧支长度γ的L2(R)上2重对称／反对称正交多小波的区间多小波系统构造理论与性质．主要贡献是：(1)系统研究了保持消失矩不降低的一般正交区间多小波的构造，得到了区间多小波的参数化表示；(2)给出了区间多小波的分解重构公式；(3)定义了区间多小波的平衡性概念，研究了正交平衡多小波的构造，这是以往工作所忽视的；(4)研究了区间多小波关于给定对称性的充要条件．     

国内项目知识管理研究进展

本文通过对国内项目知识管理相关研究文献的筛选、整理与分类，回顾了国内学者对项目知识的含义的探讨；从多个视角归纳分析了国内学者对项目知识管理的不同内容和应用领域的研究现状；并指出对项目知识管理信息化的研究还有很大的发展空间。     

基于本体的农业知识管理系统构建方法

本体作为对概念、概念与概念间相互关系的形式化表达,在农业信息分类、信息库和知识库构建、智能搜索引擎研发以及信息协同服务等方面具有广泛的应用前景.文中提出了包括基于本体的知识获取、知识表示、知识组织、知识挖掘等功能的农业知识管理系统构建框架,探索了关键技术、构建工具和应用,同时对下一步继续完善理论研究、智能仿真知识服务研究提出展望.     

基于量子逻辑的自动机理论的一些注记

主要结果是：1）讨论了正交模格值自动机的几个基本运算（连接、Kleene闭包、同态和补）；2）由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件，所以详细讨论了该条件，并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件，而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数；3）进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系；4）给出了一个例子，从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立．     

基于Logistic的项目型组织知识流动与和谐共生模型

分析项目型组织知识流动的两种模式,针对项目型组织知识冲突与共享悖论,引入和谐管理理论界定了项目型组织知识和谐性概念。在此基础上,将项目型组织知识和谐分为组织与个人知识和谐、个人与个人知识和谐两类,以个人与项目型组织的知识存量变化作为研究这项目型组织和谐性的切入点,基于Logistic模型建立了项目型组织知识和谐共生模型及稳定性算法。最后仿真模拟了组织与个人、个人与个人知识存量变化趋势,提出相应的策略以保证项目型组织的知识和谐共生。     

NP问题的常数轮知识的零知识证明系统

文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.     

知识推理的一个模

引入了能描述操不同语言的多ａｇｅｎｔ系统中知识推理的模态逻辑语言及其Ｋｒｉｐｋｅ语义与Ａｕｍａｎｎ语义，为其建立了完备的形式化演绎系统；并构造了多ａｇｅｎｔ系统的逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。     

基于质谱技术的计算蛋白质组学研究

蛋白质组是继人类基因组计划完成之后又一新兴的生命科学研究对象，蛋白质组学研究细胞或组织内所有表达的蛋白质．生物质谱技术已为蛋白质组学研究产生了大规模的质谱数据；而如何从这些数据中提取和发现有关蛋白质组的重要生物学知识为计算蛋白质组学的研究提出了重大需求，如蛋白质鉴定、翻译后修饰、定量分析，以及疾病模式的发现等．本文研究了如何应用计算技术来解决蛋白质组学研究中质谱信息处理的这几个关键问题．     

知识表达的分维度量理论

对定量分析、研究知识表达进行了尝试，从分维认识论角度出发，结合分维理论，使用信息论中的信息度量原理和方法，对知识表达的信息量、熵等一系列信息度量特征进行了研究，进而对知识表达的最大熵原理、熵增原理进行了探讨。     

不完全信息下多属性决策的证据推理方法

针对权系数未知、属性值具有缺失的不完全信息下多属性决策问题,给出了一种基于证据推理的方法。该方法通过对决策矩阵的规范化处理、不同属性下焦元的确定及评价值计算,获得证据的基本概率分配,然后利用证据合成,并通过信任区间的计算与排序,获得整个方案集的排序。最终,实例表明了该方法的有效性和可行性。     

知识发现与数据开采

随着计算机件和软件的高速发展，以及企业的高度化，大量的数据被收集和储存在数据库里，数据的储存量还在以惊人的速度增长。很明显如此大量数据是不可能用人的大脑直接去分析和处理的。如果我们需要了解这些数据，那么就必须使用计算机来进行分析。知识发现正是解决这类问题的一门新兴学科。它的主要目的是在庞大的数据库中发现及找寻有用的知识。本文首先概述几种主要可寻找的知识及寻找的步骤，然后介绍一下目前在新加坡国立大学     

函数S-粗集与隐藏规律安全-认证

函数S-粗集是用具有动态特性的冗．函数等价类定义的，函数S-粗集具有动态特性、规律特性与规律隐藏特性．函数S-粗集能够生成f-隐藏规律、f-隐藏规律．把信息安全理论与函数S-粗集嫁接、交叉、渗透；给出f-隐藏规律、f-隐藏规律的安全隐藏与认证．函数S-粗集与信息安全理论融合、共享，是信息系统中信息规律应用研究的一个新的研究方向．     

基于蒙特卡洛方法的闪烁光纤阵列空间分辨率模拟

阐述塑料闪烁光纤对14．1MeV中子的响应机理；建立基于Geant4与MCNPX的蒙特卡洛模拟程序，通过添加发光计算实现MCNPX对中子光响应的计算，并对Geant4进行校验；对14．1MeV中子在闪烁体内产生反冲质子及发光响应进行了模拟；发现并研究了塑料闪烁内由14．1MeV中子产生的反冲质子半高宽，与使用阵列型探测器获得的半高宽的差异；给出使用倾斜狭缝源获得的调制传递函数，结合瑞丽判据获得精确光纤阵列分辨率的方法；对正方形光纤阵列与圆柱光纤（四边形排布与六边形排布）阵列空间分辨率随光纤尺寸变化进行模拟与分析．提出的方法与模拟结果可以用于ICF实验中光纤阵列的优化设计．     

基于全序划分结构的开放逻辑

利用全序划分结构刻画开放逻辑中知识集的可信程度，通过重新定义重构概念，解决重构操作的唯一性问题，基于新定义的重构运算，证明了只要认知者对新知识不总是采取极端的怀疑态度，且信度改变遵循最小改变策略，则其认识进程均可收敛，从而给出了认识进程收敛的非平凡条件。