2-3混值编码与混值计数器

本文分析了三值信号的二值表示和三值电路的二值结构特征,提出了使用二值触发器和三值触发器设计混值计数器的方案。文中基于B²TCD混值编码提出了8421 BCD码加法计数器使用混值逻辑的新设计。     

三值函数在固定极性下的综合及三值重I2L电路

本文用模代数和Kronecker乘积对多值函数的展开进行了讨论.提出了相应于各种极性展开系数的变换算法及它们的最小化程序.最后考虑了用集成注入逻辑(I²L)技术实现三值函数。     

三值模糊逻辑函数实现静险态的检测

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α -险态     

基于传输函数理论的四值CMOS电路

本文提出了传输函数理论。在这一理论中,四值变量与逻辑变量被区分,同时,三种新运算——阈比较运算、传输运算及并运算被引入。由于这些运算能描写MOS晶体管的工作原理,因此用它们及逻辑运算表示的传输函数能直接指导四值CMOS电路的实现。文中提出了若干基本传输函数的CMOS电路设计,它们经计算机模拟被证明具有正确的逻辑功能与理想的DC传输特性。此外,本文还介绍了四值CMOS传输网络的综合技术。     

一种基于三值电路的FT-TSC-FS二值数字系统

本文提出构成FT(容错)—TSC(完全白校验)—FS(失效保险)数字系统的一种新方案。这种系统是二值的,但由一类特殊的三值电路——三中取二值电路构成。电路中的所有单故障可以分为三类,分别称为掩蔽型故障、自校验型故障及安全型故障。对掩蔽型故障,本系统是容错的;对自校验型故障,本系统是完全自校验的;而对安全型故障,本系统是失效保险的。构成本系统的技术可称之为逻辑值冗余技术。作者认为这种技术将是达到可靠计算的一种有希望的途径。     

区间值模糊推理的三Ⅰ算法

模糊推理在控制和人工智能等领域已得到了广泛的应用，但其理论基础还不完善，王国俊教授提出的模糊命题逻辑的形式演绎系统和三Ⅰ算法为模糊推理奠定了严格的逻辑基础，本文把三Ⅰ算法用于区间值模糊推理，并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理，从而把一般模糊推理纳入于区间值模糊推理的框架之内。     

三种单节点摄动对混合值逻辑网络极限集的影响

研究了三种单节点摄动对混合值逻辑网络不动点和极限环的影响.受布尔网络单节点摄动的启发,文章首先在结构矩阵的基础上提出了混合值逻辑网络中单节点摄动的定义,并利用矩阵半张量积的方法得到了单节点摄动下混合值逻辑网络的代数形式.然后,研究了结构矩阵与状态转移矩阵间的关系,并提出了三种特殊类型的单节点摄动.最后,得到了三种单节点摄动对混合值逻辑网络的不动点及极限环影响的充分必要条件.     

学习二次函数最值的三个层次

中学阶段求代数,三角,立几,解几的最值问题,往往可化归为二次函数条件最值来处理。故二次函数最值问题,把代数,几何,三角等知识密切地融汇在一起,对各种能力都提出了很高的要求。近年来已成为高(会)考命题中经久不衰的“热点”。现行教材中安排了“二次函数的图象和性质”,但对二次函数条件最值未加专门讨论,因而需要加以适当的补     

不确定型多值Kripke结构的模型检测

多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。     

三值G(o)del命题逻辑系统的随机化

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中.     

不完全三值逻辑在语言表达上的相互比较

深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是：中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。     

三值逻辑系统W3中的随机化研究

利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点.     

基于系统动力学的邻避设施PPP项目三方演化博弈分析

为了解邻避设施PPP项目中公共部门、私人部门和公众的行为选择及其影响因素,将演化博弈方法与系统动力学方法相结合开展研究。首先,在三方具有有限理性的前提下,构建三方演化博弈模型,对三方主体的互动行为及稳定状态进行分析;然后,在此基础上采用系统动力学方法对三方演化博弈过程进行动态模拟仿真,研究各种不确定性因素对博弈演化过程的影响,为制定相关政策提供依据;最后,根据仿真结果提出对策建议。仿真结果表明,三方主体的策略选择由多个外部变量因素共同作用,通过改变仿真系统中的外部变量取值,系统最终能达到(政府积极监管、企业积极努力、公众参与监督)的均衡状态;在三方博弈过程中,政府起引导作用,公众的监督作用不容忽视,合理的惩罚方案有助于减少企业机会主义行为。因此,可从构建多主体协调机制、重视公众参与监督、构建社会监督保障体系、设计合理的激励方案等方面促进邻避设施PPP项目顺利开展。     

Shapley值在植物品种权价值链利益分配中的应用

植物品种权价值链建设与管理的关键在于合作伙伴之间的利益分配是否合理。公平合理的利益分配关系是促进合作、共建品种权价值链的动力机制。本文借鉴学术界相关领域研究成果,提出用Shapley值法分析植物品种权价值链合作伙伴间的利益分配问题,综合考虑各个伙伴创新能力、风险承担和合作程度等因素,引入技术创新激励指数、风险因子、资源投入量等变量进一步调整基础利益分配额,力图使修正后的分配结果更公平、合理,并引入案例验证了该分配方案的可行性和合理性。     

MP与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性 …

本文基于中介命题逻辑的扩张系统ＭＰ之命题联结词含量的完全性结果,进上步证明了Ｌｕｋａｓｉｗｉｃｚ三值逻辑Ｌ３、Ｐｏｓｔ三值逻辑系统Ｐ３、Ｓｌｕｐｅｃｋｉ三值逻辑系统Ｓ３和Ｗｏｏｄｒｕｆｆ三值逻辑系统Ｗ３等的命题联结词的含量也是完全的,从而着眼于形式系统,可知ＭＰ、Ｌ３、Ｐ３、Ｓ３、Ｗ３的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等     

三值R_0命题逻辑系统中理论的随机发散度

在三值R_0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.     

检查三角方程通值式等效性的三个方法

現用高中三角課本自习題三起就有三角方程的題目。随着教材进度,学生获得了同一方程的不同解法,因而得出的根在形式上也就不同了。学生必須掌握怎样检查各种解答的真确性。教师在最末一章“解同一方程的多种方法”这課題上也应該提出怎样检查通值式的等效性。現在根据赵宪初和王志亭两同志的意見(分別見数学教学月刊1957年6期及1958年3期)綜合三个方法如下: (一)判别通值式諸角終边位置是否一致。例如解方程:sin~2x=3/4。     

三值R0命题逻辑系统的随机化

利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.     

关于图的若干介值问题

对连通图G,以C_i(G),■(G)分别表G的有i条边的连通支撑子图之集与连通子图之集,以C~i(G),(?)(G)分别表G的顶点数为i的子树集与连通子图之集.本文讨论了这四类子图簇对若干基本参数及端点数的介值性,从而对已有的一些结果作了若干有意义的拓广.     

具有三个公共值的亚纯函数

本文研究了具有三个公共值的亚纯函数的唯一性问题,改进了Nevanlinna,Ozawa,Gundersen,Ueda等人的有关定理。