关于数理逻辑在解决数学命题中的探讨

在解决、论证数学命题过程中 ,准确使用逻辑思维方法 ,可使具体解题步骤严谨周密 ,条理清晰 ,形成完整的推理体系     

用计算一试验交互法处理带有不确定度的导热问题

将最小二乘法原理应用到一维导热问题中，来尝试计算试验交互法作为一种数据处理工具的潜在能力，并指出此方法可降低试验的不确定度，求得测试值和数值计数的最近真值及其不确定度．     

科学知识社会学相对主义知识观批判

"强纲领"是埃丁堡科学知识社会学学派(简称SSK)提出的研究知识社会成因的社会学形而上学理论.巴里·巴恩斯和大卫·布鲁尔是这个学派的理论家.他们把自己的纲领定位在"相对主义知识观"上,其批判的矛头直指科学哲学研究中的理性主义.在20世纪曾经占统治地位的科学哲学理性主义知识观受到挑战后,如何评价科学知识社会学的相对主义知识观?本文试图通过分析批判SSK相对主义知识观的几个主要观点,并对现代科学哲学中相关的理论做出历史反思和辩护来审视这个问题.     

基于混合模型的多重故障诊断

介绍了基于模型的多重故障诊断，它可通过ＡＴＭＳ来实现，能克服基于规则的诊断系统的一些局限性，但当运行模型和故障模型同时被运用或者等级模型被运用时，普通ＡＴＭＳ不能处理这种情况．本文应用分层ＡＴＭＳ来实现基于混合模型的故障诊断方法，同时给出广义最小诊断的定义，从而克服关于最小诊断定义中的不足．由于分层ＡＴＭＳ能表示和处理论据之间的优先级，因而能运用混合模型，能结合基于模型和基于规则的诊断，及提高诊断效率．     

模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

嫦娥五号样品——月球遥感定量反演的新地面真值

嫦娥五号任务从月球风暴洋东北部成功返回了1731 g月壤样品.最新返回的月壤有望为月球遥感数据定量反演提供新的地面真值(Ground Truth).本研究中首先利用遥感数据获取了着陆单元的矿物组成和化学成分(FeO,TiO₂, Th),并与嫦娥五号月壤样品实验室分析结果进行对比.二者之间的差异(特别是橄榄石含量)反映了目前利用遥感数据反演元素和矿物含量的方法仍存在提升空间.本研究通过系统地对比分析发现:(1)嫦娥五号月壤具有高铁、中钛、富钍的化学特征,显著区别于已有阿波罗月壤,可为月球遥感研究提供全新的地面真值;(2)嫦娥五号月壤代表了一类发育成熟的年轻月海月壤,外来溅射物占比较小,能够反映着陆区玄武岩的成分特征;(3)嫦娥五号月壤粒径较小,符合Lunar Soil Characterization Consortium (LSCC)提供地面真值的样品标准(<45μm).此外,嫦娥五号着陆区也具有独特性:(1)位于月球正面西部的中纬度地区,不同于美苏样品返回任务所着陆的低纬度区域;(2)位于月球晚期玄武岩单元,区别于已有的光谱定标区.因此,以嫦娥五号月壤实测...     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

Some Results about the Sample Path Properties of Markov Processes with Independent Self-Similar Components

This paper considers a special class of operator self-similar processes Markov processes {X（t）, t≥0} with independent self-similar components, that is, X （ t ） =（X^1（t）,…,X^d（t））, where {X^i（t）,t≥0}, i=1,2,…,d are d independent real valued self-similar Markov processes. By means of Brel-Cantelli lemma, we give two results about asymptotic property as t→∞ of sample paths for two special classes of Markov processes with independent self-similar components.     

含一个解释变量的不独立变量含误差模型

变量含误差模型是一类常见的统计模型,国内外的许多学者在这方面都进行了大量的研究,并且得到了一些很完美的结果,但大量工作是有关独立变量含误差模型的研究.讨论了一类含一个解释变量的不独立变量含误差模型,完成了真值x的估计,并给出了相应的参数估计.