全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

关于最大似然谱估计

该文给出了有关最大似然谱估计的相容性若干定理。其证明是基于过程的一个现实，它不同于Ｐｅｓａｒｅｎｋｏ基于独立性样本段的证明。     

一类代数上的逻辑学(Ⅰ)

引入了一种代数，称为模糊公式代数．在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ＭｏｄｕｓＰｏｎｅｎｓ规则和ＨｙｐｏｔｈｅｔｉｃａｌＳｙｌｏｇｉｓｍ规则     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

推广的Chebyshev定理的一个证明

文中给出推广的Ｃｈｅｂｙｓｈｅｖ定理的一个证明，该证明基于Ｃｈｅｂｙｓｈｅｖ系的两个性质（引理１，引理２），而不涉及Ｋｏｌｏｍｏｇｏｒｏｖ定理．     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。     

集值映射的不动点定理与Caristi不动点定理的推广

证明一条集值映射的不动点定理，并给出Ｃａｒｉｓｔｉ不动点定理的一个推广，它推广了已有的结果。     

基于ALICE的汉语自然语言接口

分析人工智能聊天机器人ALICE的知识组织结构和推理机制,研究ALICE在处理汉语时需要解决的问题,提出利用语义语法扩展知识描述语言AIML的表达能力.采用不确定性推理进行模式搜索并对结果打分择优和答案动态提取,基于ALICE设计实现了一个汉语自然语言接口--CNLIS,系统结构与具体领域无关.实验结果表明,该接口移植方便,准确率和召回率可分别达到91.45%和91.70%.     

基于正弦模型的汉语普通话语音分析合成方法

针对PSOLA算法会引起语音频谱的不连续,从而影响合成语音的质量,提出了一种基于正弦模型的汉语普通话语音基音同步分析和合成算法.首先,将连续的语音信号在时间轴上分为一帧帧短时信号,再把每一帧短时语音信号分解为一系列不同幅值、相位和频率的正弦分量,然后根据频率匹配的原则,对相邻两帧信号的幅度和相位进行插值,得到合成信号的正弦分量的幅值和相位,最后将各正弦分量相加,就得到了合成的语音信号.实验结果证明,该方法合成的语音信号的各个正弦波分量的相位和幅值均能平滑过渡,从而可以克服PSOLA算法带来的回声效应,有助于提高合成语音的自然度.     

一种新型谐波检测算法的MATLAB仿真

在对负载电流分析的基础上,引出了基于最小补偿电流的畸变电流检测算法。通过理论分析和严密的数学推导,证明了该算法的正确性和可行性。最后基于MATLAB仿真平台对该算法进行仿真,仿真结果表明该算法具有较高的检测精度。     

基于积分式分片算法的三维空间最优装载系统

针对最优装载问题,提出了基于积分模型的积分式分片算法,以该算法为基础开发了三维空间最优装载仿真模拟系统．实例和数据分析证明：该系统实用性强,图形输出直观生动,数据的存取简便快捷;在虚拟装载过程中系统可根据实际需要进行协调再装载,具有较高的智能性及适时性,系统的开发为物流工程中货物的有效包装、运输工具的最优装载以及仓库的高效存储等提供了一种途径．     

一种改进的线列焦平面阵列自适应校正算法

针对扫描型红外成像系统的特点,对局部恒定统计校正算法进行了研究和改进。新算法在原算法的基础上增加局部像素处理,可以单帧内完成非均匀性校正。仿真结果表明该算法能够有效地去除非均匀性引起的横条纹,并且算法具有很好的实时性,能够满足高速实时图像处理的要求。     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

E-learning环境下的异步答疑系统的研究

目前E-learning环境下常用的异步答疑算法存在实现复杂、时间代价消耗高的问题，介绍了基于答案的关键字和权值进行信息检索的算法．使用此算法，教师不仅能够为学习者提供文本资料，还可以提供其他的比如视频、音频和图片等资料，教师只需要为相应的答案提供一些参考关键字和设定权值即可．因为学习者抽取答案的关键字的能力是有限的，由教师来做此工作更加合适．试验证明此算法实现容易，查找效率高，能够较好地满足E-learning环境下的异步答疑的需求．     

加入动量项的改进盲分离算法

在盲信号分离算法的推导过程中,常采用最速下降法、自然梯度和牛顿法等对代价函数进行最小化,推导过程复杂．文中仿照在BP神经网络算法中加入动量项使算法得到改进这一方法,提出在互累积量迫零算法的推导中加入动量项．加入动量项的改进算法尽可能地保持了输出分量之间的独立,并在保持和原算法一样简单迭代的前提下,提高了收敛速度,且使训练避免陷入局部极小．仿真结果表明该算法的分离误差减小,能有效分离源信号．