论DNA鉴定的概率和逻辑理论依据

在界定DNA、基因、概率等概念涵义的基础上,阐明DNA鉴定的理论依据是遗传学原理和逻辑推理,同时指出,DNA鉴定结论概率的高低主要是由做鉴定时所采用逻辑推理的种类不同所决定的,从而使人们对DNA鉴定有较全面的认识并懂得如何去评价某一个案DNA鉴定的结论.     

逻辑推理能力在英汉翻译中的运用

翻译是一项综合性的语言活动,翻译能力是翻译者综合语言能力的重要组成部分。逻辑推理能力是进行翻译思维的必然要求。本文具体阐述了在翻译过程中逻辑推理的介入表现,解析逻辑推理的表征依据及其优化条件,以期帮助翻译者提高推理能力,从而提高翻译的水平。     

电动微车驱动系统模糊控制技术的研究

研究了电动微车控制系统，从接收的加速踏板、刹车踏板、方向盘、ＰＤＲＮ控制手柄的输出信号，工况反馈信号和能量管理控制系统（蓄电池储能、能量再生等）的信号，均采用模糊逻辑推理处理，完成系统模糊控制，实现人工智能最佳控制方案。     

基于模糊正态划分的逻辑推理诊断方法及应用

提出了一种基于模糊正态划分的逻辑推理诊断方法。仿真计算表明这种方法是有效的,具有较强的实用价值。     

模糊控制基本推理方法及其效果分析

模糊逻辑推理是模糊控制的基础，本文系统地分析了现有模型控制基本推理方法的原理和特点，针对实时模糊控制过程，提出了作用模糊子集和相应的推理方法，比较分析了不同模糊推理方法的推理结果和控制仿真效果。     

组合数字电路的故障诊断

利用专家系统和逻辑推理的方法进行故障诊断是今后故障诊断的两大发展方向，本文详细介绍了用逻辑推理的方法进行数字电路故障诊断的过程，并且举例加以说明，全文分为四个部分：第一部分定义了一些基本概念，指出了该方法的适用对象；第二部分结合实例介绍诊断的具体过程；第三部分以四位二进制加法电路的故障诊断为例，介绍了电路的分割技术及其优越性；第四部分对全文作了总结．     

一类格值蕴涵算子上的近似推理

在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。本文在此基础上继续讨论一些性质，而且给出了基于这类格值蕴涵算子上的近似推理方法。     

电动微车驱动系统模糊控制技术的研究

研究了电动微车控制系统，从接收的加速踏板、刹车踏板、方向盘、ＰＤＲＮ（停车、前进、倒车、空档）控制手柄的输出信号、工况反馈信号和能量管理控制系统（蓄电池储能、能量再生等等）的信号，均采用模糊逻辑推理处理，完成系统模糊控制，实现人工智能最佳控制方案     

模糊控制技术在空调机中的应用研究

利用模糊控制技术，借助热敏电阻传感器检测室温，通过Mamdani模糊逻辑推理方法进行推理，自动设定风机的转速与压缩机的工作频率，再由串行通信完成室内外机的控触，可增强分体式空调温度控制的精度和提高其舒适性，达到良好的控温和节能的目的。     

关于游程的一个发生函数的研究

游程及其相关理论广泛地应用于随机检验、质量控制、DNA数据分析等许多领域，提出使用组合数学的方法推导出贝努利试验中最长游程的概率发生函数的计算公式，利用所得到的结果可以不用k阶几何分布的概率函数而很容易地得出它的概率发生函数．     

一种基于神经网络的专家系统的推理机研究

传统的推理方式存在推理效率低和冲突消解问题．提出一种新的解决这一问题的方法．即由正向神经网络推理和反向逻辑推理所组成的混合推理系统．利用种经网络所具有的并行性、可学习性、知识可存储性不但可以解决推理冲突,而且还可以利用并行性提高推理的收敛速度和推理效率．为了说明问题,设计了一个实验系统,经实验取得了较理想的效果,并有实用性．     

模糊逻辑推理的神经网络方法及其应用

应用可能性度量理论提供了一种模糊逻辑推理的神经网络实现方法,在该方法中,模糊规则羊件（ａｎｔｅｃｅｎｄｅｎｔ）和后件（ｃｏｎｓｅｑｕｅｎｔ）的语言变量被表示为神经网络的中权重,采用Ｂａｃｋ－Ｐｒｏｐａｇａｔｉｏｎ学习算法来学习相关语言变量的隶属度水平,介绍了控制器的构造和推理方法以及在移动机器人路径跟踪中的应用。     

基于端到端丢包测量的网络瓶颈链路推断方法

为了寻找网络中瓶颈链路,对网络数据包丢失率的推断方法进行了研究,提出一个新的网络数据包通过率的统计推断模型．该模型基于端到端的测量方式,采用累积母函数对网络路径级数据包通过率进行分析,估计出网络链路级数据包通过率的统计信息．利用网络数据包通过率与丢失率之间的关系,可以间接得到链路级数据包丢失率的统计信息．仿真实验表明,该模型不需要很高的测量负载量就可以较精确地推断出网络链路级数据包通过率的统计信息,并根据Chernoff bound检测出网络中的瓶颈链路．     

基于可信度的通用性推理机制的设计与实现

分析了目前普遍使用的自向推理、逆向推理、混合推理的特点和不足，根据实际开发经验对此提出了改进，并给出了具体实现方法。     

XML弱多值依赖的推理规则

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

关于分配格的充要条件

为了对分配格的本质属性作进一步地认识,依据格所具有的偏序结枸特征,运用了抽象代数的思维方法,以及严格的逻辑推理程序,得到了在一般格中的分配律和消去律是等价的这一结果,从而说明了消去律是分配格的本质属性.并且如果代数系统(A, ,*)的两个二元运算满足交换律,结合律和吸收律,则消去律和分配律等价.     

束包络混沌现象的模糊逻辑外力反馈控制研究

通过研究周期性聚焦磁场通道中K-V（Kapehinsdkij-Vladimiskij）分布柬束包络混沌现象的模糊外力控制方法,采用Mamdani推理系统设计出模糊控制器仿真结果显示了其控制方法的有效性,该方法具有不依赖离子束的输运数学模型．具有简单易行的优点．     

基于ANFIS和证据理论的信息融合研究

提出了一种基于自适应神经网络-模糊推理系统(ANFIS)和D-S证据理论相结合的信息融合方法.利用神经网络的学习功能提取模糊规则和调整隶属函数,然后用自适应神经网络-模糊推理系统的输出构造证据理论中的基本概率赋值,解决了证据理论中的基本概率赋值不易确定的问题.该方法实现了模糊推理、神经网络和证据理论的有效结合,使得证据理论具备智能信息处理的能力,并应用于雷达与红外复合制导的目标识别融合系统.仿真结果表明:该方法提高了目标识别的置信度,降低了系统虚警率,融合结果也更加合理.     

Safety diagnosis on coal mine production system based on fuzzy logic inference

According to the randomness and uncertainty of information in the safety diagnosis of coal mine production system (CMPS), a novel safety diagnosis method was proposed by applying fuzzy logic inference method, which consists of safety diagnosis fuzzifier, defuzzifier, fuzzy rules base and inference engine. Through the safety diagnosis on coal mine roadway rail transportation system, the result shows that the unsafe probability is about 0.5 influenced by no speed reduction and over quick turnout on roadway, which is the most possible reason leading to the accident of roadway rail transportation system.