关于依赖性完备公理存在问题的研究

本文讨论了数据依赖的完备公理系统存在性的问题。首先,给出了完备公理系统存在的一个充要条件,并利用这一条件证明了嵌入型多值依赖集、嵌入型联接依赖集以及函数依赖与包含依赖集没有完备的公理系统存在。尽管这三个结论前人均已分别证明过,但是本文中的证明是以所给充要条件为依据,证明是新颖的并且更加具有系统性。     

模板依赖和其它几种依赖之间的关系研究

本文分析了模板依赖分别和多值依赖、嵌入多值依赖、连接依赖之间的关系。在此基础上给出了且三种依赖均可表示成模板依赖的形式。     

含空值关系数据库中函数与多值依赖的研究

讨论了含空值关系数据库中函数与多值依赖 ,并给出了有关的定义、规则与定理 .     

用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征

针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题,提出了一种依赖流关系的流事件结构逻辑(FESL),作为多诱因特征的刻画语言.FESL以流事件结构作为框架模型,并且依据格局量词,建立了自己的公理系统.证明了FESL不仅能有效表达多诱因特性,而且还能描述涉及多个运行实例的特性;同时也证明了FESL的完备性、合理性以及可判定性.     

Hilbert空间中多值(S)+型映象非线性互补问题解的存在性

主要研究一般凸集约束下Hilbert空间多值(S) 型映象非线性互补问题的解的存在性.提出了一个例外簇概念,给出了互补问题解存在的一个充分条件,对于伪单调算子的非线性互补问题,它是一个充要条件.把文献[1]中互补问题解的存在定理推广到了Hilbert空间的多值(S) 型映象.     

强增生算子多值紧挠动的广义拓扑度

拓扑度理论是解决非线性分析问题的主要方法。通过借助增生算子单紧挠动的广义拓扑度及多值函数的单值选择理论定义了增生算子多值紧挠动的广义拓扑度，并讨论了其正规性、可加性、可解性等相关性质。利用这些结果还讨论了一个Lp空间中微分方程的可解性问题。     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

一种度量特征模型的变体度算法

产品线特征模型的可变点决定了产品线实例的多样性,运用变体度来度量产品线实例数量.在特征模型的基础上分析了特征可变性类型和特征约束依赖类型对变体度的影响,提出的变体度算法不仅支持度量特征单型分解和单特征依赖的变体度,也能精确度量多型分解和多特征依赖的变体度.最后通过一个电梯控制系统实例验证了算法的有效性.     

基于小波变换域的数字图像嵌入和提取方法

针对数字图像水印的嵌入和提取问题,提出了一种基于小波变换域的数字图像水印的嵌入和提取算法.该算法结合了离散小波变换、Arnold置乱变换和奇异值分解.通过Arnold置乱变换对数字水印图像进行变换,对原始图像进行二次离散小波变换,之后分别对置乱后的水印图像和原始图像小波变换中的低频部分进行奇异值分解,对两者的奇异值矩阵进行加性操作实现水印的嵌入过程.结果表明:该算法能够准确实现水印的嵌入和提取功能;嵌入的水印具有良好的隐身性,人眼不能感觉出水印嵌入带来的变化;算法具有较强的鲁棒性,经过椒盐噪声、高斯噪声、JPEG压缩、高斯平滑和裁剪操作等污染及攻击后,都能较好地恢复水印信息.     

集值马氏过程的选择与表示定理

集值马氏过程是以Banach空间的子集为值的随机过程,它既描述客观事物发展过程的随机性．又描述事物发展过程状态的不确定性,在数理经济系统、无穷维的控制系统及其他数学领域具有广泛应用。讨论了集值马氏性与实值马氏性的对应关系,利用Castaing定理给出了集值马氏过程的选择与表示定理,对集值马氏过程的表示方式作了补充,进一步完善了集值马氏过程的基本理论。     

基于粗糙集方法的决策树多值偏向理论分析

ID3决策树算法是构造决策树的重要算法之一,然而实验表明该算法在选择分裂属性时存在着多值偏向问题。以往的大多数学者都是基于实验分析多值偏向问题。该文针对这个问题,基于粗糙集理论及凹函数性质,引入函数重要度概念,从理论上分析多值偏向问题,并分析了属性多值对属性的重要度的影响。最后实验验证该理论分析方法的正确性与可行性。     

选择公理与Tukey引理等价性的机器证明

基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tukey引理的首次形式化.完成了选择公理与Tukey引理等价性的证明代码,并在Coq中通过验证.体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠,在集合论、拓扑学和代数学的形式化构建中具有重要应用.     

基于相位差的声源定位算法研究及实现

针对目前安防监控系统监控效率低、盲目性大的问题,设计了一种基于相位差（differenceofphase,DOP）的声源定位系统,介绍了系统的组成原理、软硬件电路设计与实现,提出了一种基于DOP的定位算法。该系统以DSP芯片TMS320F28335为核心,以麦克风为声音传感器,以云台为控制对象,实现了一种高效、低成本的嵌入式声源定位系统。实验结果表明,该系统反应快、定位准、可靠性高。     

含空值关系数据中规范化的研究

在关系数据库中,由于空值的存在而使得传统数据依赖公理系统的存在性受到了严重的挑战,有的公理在非空值环境下存在,但在空值环境都不存在了,分别对含有空值关系数据库中规范化,即（N）1NF,（N）2NF、（N）3NF、（N）4NF、（N）5NF进行了讨论,并且给出了含有空值关系数据库中的各范式的相应定义、定理和有关概念,研究了相关的理论,还设计出了分解为（N）4NF的分解算法。     

基于复数权神经元的多值整形器稳健设计

复数权神经元是由于引入多阈值逻辑而使得权值为复数的神经元,被认为具有更强的性能。该文根据该神经元数学模型,结合POST代数系统中多值逻辑取值及运算的概念,实现了基于单个复数权神经元的多值整形运算,设计的多值逻辑整形运算具有稳健性能,所得结果表明用复数权神经元实现多值逻辑的有效性和可行性,说明了其强大的信息处理能力。     

Solvability identification and feasibility restoring of divergent optimal power flow problems

Optimal power flow (OPF) has been considered as an important problem in power systems. Although several excellent algorithms, such as Newton method and interior point method, have been developed to solve the OPF problem, divergences still often occur. Till now, few works have focused on the solvability identification and feasibility restoring of divergent OPF problems. In this paper, we propose a systematic approach to identify the solvability of divergent OPF problems, and restore a feasible solution for unsolvable OPF cases. The proposed approach consists of two phases: solvability identification phase (SIP) and feasibility restoring phase (FRP). In SIP, a novel methodology based on problem transformation and active set is adopted to identify the solvability of divergent OPF problem. If a feasible solution can be obtained in SIP, then this divergent OPF problem is solvable, otherwise, FRP is used to restore a feasible or optimal solution by relaxing soft constraints and load shedding. In FRP, a feasibility restoring model is presented, and a priority-listing strategy of restoring actions is proposed to restore the unsolvable OPF problems. Numerical studies indicate that the proposed SIP and FRP are reliable to diagnose the solvability of the divergent OPF problems, give an index to measure the unsolvability, and restore an unsolvable OPF case. Supported by the National Natural Science Foundation of China (Grant No. 50507018), the Key Project of Chinese Ministry of Education (Grant No. 107063) and the Natural Science Fund of Zhejiang Province (Grant No. R1080089)     

基于本体的产品配置知识共享

网络上异质系统间知识共享成为产品配置网络化后急需解决的问题.分析现有几种产品配置知识表达方法后,提出了基于本体的产品配置知识共享方法.本体具有共享和可重用等特征,有良好的概念层次结构以及对逻辑推理的有效支持,并且能从语义和知识层次上描述信息系统的概念模型,能有效克服异质系统间知识共享的两大障碍--语义冲突和语法冲突.本文从知识本体的角度出发,详述构成产品配置本体的基本概念集合、概念间关系集合、配置约束规则集合和公理集合.给出了异质系统间知识共享算法,并通过产品配置本体及中间代理的使用实现两个异质系统间知识相互转换.通过实例,进一步说明了基于本体的产品配置知识共享方法的可行性.     

运载体姿态多值问题的一种新型判定算法

运载体的姿态信息反映在导航系统的数学平台中是一个多值问题，对姿态信息的提取需进行多值判定，传统的判定方法依赖于姿态矩阵的函数关系，本文提出了一种只依赖于角度本身的新型判定方法，并在算法上予以实现，较具通用性。     

Granularity of Knowledge Computed by Genetic Algorithms Based on Rough Sets Theory

1.Introduction 1.1 R ough Set T heory and G ranular of K now l- edge Rough set theory is proposed by Zdzislaw Pawlak ,and itis a new mathematical approach to granularitoyf knowledge .Itbecame a crucialissufeor computer scientis,tsparticularliyn the area o…