BR0-代数的无序表示形式及WBR0-代数性质

对BR0-逻辑代数进行了进一步研究,得到了BR0-逻辑代数的一种无序表示形式,使得BR0-代数中的序关系蕴涵于BR0-代数的基本运算⊕和→之中,并根据BR0-代数的无序表示形式提出了WBR0-代数理论,初步地讨论了其中的性质.     

有界Heyting代数的模糊LI-理想

理想是研究逻辑代数结构特征的重要工具性概念之一.本文综合运用代数学与模糊集的方法和原理,在有界Heyting代数中引入模糊LI-理想概念并研究其性质.进而讨论了模糊LI-理想与模糊格理想之间的关系,并给出了由一个模糊集生成的模糊LI-理想的表示定理,最后证明了一个给定有界Heyting代数的全体模糊LI-理想之集在模糊集合包含序下构成一个完备Heyting代数.     

区间数排序

从数学意义和实际应用的角度出发,提出了区间数序关系的公理化定义;具体给出了区间数的θ序和L-θ序两类序关系;讨论了它们秘具有的一些良好性质;并且从多个角度论述了θ=0.5时两类序关系的本质及合理性。     

计量小辞典

测量不确定度表征被测量的真值所处量值范围的评定。这里的评定指的是估计或估计值，这就是说，测量不确定度是一个估计值，用它来表征被测量真值所处的量值范围。换言之，它表示测量结果附近的一个范围或区间，而被测量真值以一定的概率落于其中。所以，它是对测量结果质量优劣的一种评定：测量结果愈接近真值，其质量愈高，则测量不确定度愈小；反之，测量结果愈远离真值，其质量愈低，则测量不确定度取大。值得一提的是，鉴于测量结果通常是指已修正结果，通过的（测量不确定度表示导则）中“测量不确定度是应与测量结果相联的一个参数，…     

R0代数的注记

讨论了R0代数与MV代数的关系，给出了R0代数的一种根。     

作为执政党整合工具的统一战线及其发生逻辑

文章从整合的角度研究了作为执政党整合工具的统一战线的功能，提出了“外生压力型整合逻辑”和“内在聚集型整合逻辑”的概念，分析了构成这两种逻辑的要素。文章认为只有深化对统一战线的功能及其发生逻辑的认识，才能进一步认清统一战线的价值和地位。     

预线性剩余格与逻辑代数

本文首先讨论了剩余格与FI代数之间、FI代数与MV代数之间的关系,对已有结果进行了改进。随后提出了预线性剩余格的概念,证明了预线性剩余格是BR_0代数与BL代数的基础,从而也就是著名的MV代数、R_0代数、G代数与Ⅱ代数的公共基础。     

环Z_(pq)上逻辑函数的分解及其应用

为克服一般剩余类环上合数值逻辑函数无统一多项式表示给函数研究工作带来的困难,本文利用中国剩余定理对环Z_(pq)(pq且均为素数)上的pq值随机变量进行了分解;并由此对pq值逻辑函数及其变元进行了CRT-分解,给出了pq值逻辑函数的分解函数的代数标准型,据此可得pq值逻辑函数在CRT-分解意义下的代数标准型;又讨论了pq值相关免疫逻辑函数在CRT-分解意义下的等价判别条件,给出了利用分解函数的代数标准型构造pq值相关免疫逻辑函数的一种方法。     

在Prolog上实现时态推理的几个问题

区间逻辑不能模拟自然语言中的“与”、“或”、“非”，间断区间可以克服这一弱点。本文给出了在Ｐｒｏｌｏｇ顶层扩展实现间断区间逻辑。     

L集合范畴中的L幺半群模

本文引入以完备的Heyting代数为真值集L集合范畴及L幺半群范畴概念,构造了L幺半群模结构与L幺半群T代数结构;讨论了L积函子F与L幺半群单位函子G的伴随性,并证明了与该伴随对应的L比较函子K是一个同构,从而得出L幺半群单位函子G是L可模的。     

EDA技术在“数字逻辑”课程中的应用

EDA技术是现代数字系统设计的先进手段，文章分析了将EDA技术引入到“数字逻辑”课程的必要性，给出了将EDA技术应用到“数字逻辑”课程的有效方法并进行了实践，实践结果表明了该方法的有效性。     

新“检定/校准证书”中测量结果不确定度的表述问题

国家技术监督局已于今年7月1日正式使用了“检定／校准证书”，对保证全国量值统一、准确可靠意义十分重大。我们在实行中感到最大的困难是如何对检定或校准结果给出不确定度（或准确度）表述。笔者拟就此谈谈自己的粗浅看法，以供商榷。根据“国际通用计量学基本名词”（199，第二版，简称VIM），准确度（Accuracy）是指‘呗0量结果与被测量的真值之间的一致程度”。而“测量不确定度表述指南”避免使用“被测量的真值”一词，认为真值“仅是一理想概念”，而用“被测量的值”代替。同时，进一步指出“‘准确度’是一个定性概念”。美国…     

区间数多产品多计划期生产计划问题的目标规划求解方法

针对多目标、多产品、多计划期和需求、生产费用、生产能力等参数不确定的综合生产计划问题进行了研究。引入区间数描述生产计划问题中存在的不确定性,建立了以生产成本最小和设备利用率最大为优化目标的目标规划模型。为求解模型,运用区间规划理论和基于区间序关系的可能度定义,实现了区间目标规划模型的清晰等价转换,并采用Lingo软件完成模型求解。该方法解决了传统不确定优化方法在获取概率分布和模糊隶属度函数较为困难的不足,能根据决策者的偏好以交互方式分析出不同置信水平对目标的影响,为决策者在不确定环境下进行生产计划决策提供理论依据。最后,通过算例说明方法的有效性和灵活性。     

关于形式系统(L)*的强完备性

进一步讨论了形式系统L^*中的一般演绎推理及强完备性问题。对于任意的公式集Γ,引入一种新的代数结构—R0(Γ)代数,利用子代数结构,代数滤子理论及次直积分解理论等代数工具,证明了系统L^*的强完备性定理。     

对误差理论中"真值"的理解和认识

误差理论中，所谓真值，即按该量值的定义在某一时刻和某一位置或状态下，某量的效应体现出的客观值，也就是被测量所具有的客观真实大小。国际标准化组织（ＩＳＯ）将真值定义为：与给定的特定量的定义完全一致的量值。但在误差理论中其“真值”往往与定义的“真值”相差较大，量的“真值”是理想的概念，一般说来“真值”是无法知道的，但也有“真值”可知的情况和通过测量获得的近似“真值”。１－理论真值。这是可知的真值。例如：平面三角形三内角之和恒为１８０°；同一量值自身之差为零而自身之比为１；圆周角为３６０°；理想电容或…     

赋值格为非线性序的一种6值逻辑系统K6^1

研究赋值格为非线性序，其格结构不同于Ｂｏｏｌｅ代数，而蕴函算子→取Ｋｌｅｅｎ－Ｄｉｅｎｅｓ算子ＲＫＤ的一种新的６值逻辑系统Ｋ６＾１的语义理论，得到若干结果，特别是Ｋ６＾１中的准重言式恰与Ｃ２中的重言式一致：ＱＴ（Ｋ６＾１）＝Ｔ（Ｃ２）。     

Monte-Carlo法在测量不确定度评定中的应用

1引言 工业生产、科学实验、发明创造等都离不开各种测量手段，对参量测量的准确性是对产品质量和科技成果可信度的直接评价，间接地也影响到科技和经济的发展。对于测量结果的准确性，过去长期以来一直用测量值相对于被测量真值的误差来表示，但是由于被测量的真值是一个未知数，因此使过去的表示法产生了定量的困难。国际上早在六十年代就提出了用“不确定度”来定量表示测量结果可信程度的建议，也就是说，在当前认识条件和某个置信水平下定量给出被测量值在某一范围之内。此原则澄清了一系列模糊概念，被国际计量委员会（CIPM）和国际计量局（BIPM）所肯定，并向各国推荐，得到了一致同意。国际标准化组织（ISO）还为此提出了《测量不确定度表示导则》。这一概念上的革新将使测量技术对科技和工业生产起到更实际的积极作用。     

序信息系统中基于粗糙熵的不确定性度量

在序信息系统中引入知识粗糙熵和粗集粗糙熵两个不确定性度量的概念,本文得到了它们的有关性质,证明了这两个度量都随着知识确定程度增强而单调下降的结论,从而给出序信息系统的信息解释;并进一步通过讨论它们之间的联系说明粗集的粗糙熵可以更精确地度量粗糙集的粗糙程度.这些结论为序信息系统的知识发现奠定了一定的理论基础.     

Fuzzy数与Fuzzy值度量空间

Fuzzy数是用来描述数的模糊概念的,通常被定义为R~1上的Fuzzy集[1],[2]。考察一下“相当多”这一数的模糊概念,我们可以在一簇逐渐增大的可能性水平上给出对应的上界,它当然是逐渐增大的;相应地,可以在一簇逐渐增大的可能性水平上给出对应的逐渐减小的下界。也就是说,一个模糊数是通过赋予它的上界和下界的可能性分布的序耦来表示的。这样定义比较接近人们对模糊的数的概念的真实描述。不但如此,我们还将看到通常的实数和区间数[3]关于它们各自的四则运算与这种模糊数的特定子集关于如后定义的四则运     

未对被测量的分布进行判定就可以得到k值吗?

《测量不确定度表示指南》（GUM）给出的测量不确定度的定义是：“与测量结果相关联的一个参数。用以表征合理的赋予被测量之值的分散性”。该定义中的“被测量之值”并非指“真值”。真值对测量是一个理想的概念．如何去估计它的分散性？实际上，GUM所评定的并非被测量真值的分散性，也不是其约定真值的分散性．而是被测量最佳估计值的分散性。[第一段]