Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归     

石油烷烃发酵生产长链二羧酸

热带假丝酵母ＬＨ１０和ＬＨ１２，在以正十四烷、正十六烷为唯一碳源的培养基中生长，可产生相应的长链二羧酸．ＬＨ１２经ＨＮＯ２诱变选育，得到１株利用正十四烷的突变株ＬＨ．在正交设计法试验获得的适宜培基配方中，发酵产生的ＤＣ１４产量为２８．７０ｇ·Ｌ－１．     

电动执行器的应用及故障处理

论述了电动执行器的各种应用场合及常见故障的处理方法。     

水力机械水动力学命题及其变分原理的建立

探讨了水力机械水动力学命题的分类、数学提法和变分原理的特点，指出了水动力学命题的研究现状、存在的问题以及今后的研究方向．     

关于1阶域论命题的可满足性

考察了语言Ｔ＝（＋，·０，１）上１阶域论命题的有限可满足性及无限可满足性，得到一些初步结论。对于整环及除环的情况也有类似或较弱的结论，结合Ｊ，Ａｘ的结果，可得到域论及整环理论中全称语句类的可判定性。     

不定长同步信号的加窗检测

本文提出了一种不定长同步信号的加窗检测方法;对该方法产生的假同步概率进行了详细分析;给出了电路的设计.该电路已在数字超声电视测井系统中实际应用于行同步信号的检测,实践表明所设计的电路性能稳定,具有良好的检测效果.     

G(p,q,f)的对偶树T~A及T~B的算法

给出了对偶树的定义.证明了G(p,q,f)的4着色的命题;提出了对偶树TA及TB的3种算法;介绍了本文算法在对偶图G(p,q,f)的4着色中的应用.     

浅谈大语文观

大语文，一个气势磅礴的名词，近年来贯穿于语文教育与学习中。如果说我们的语文要坚持大语文观，那我们的阅读便是“大语文阅读”，我们的写作便是“大语文作文”。然而，“大语文教育”的发展与渗透，并不是一帆风顺，一呼百应，虽然理论上的大语文看起来光彩耀目，然而运用于教学实践中，却并不尽人意。许多客观条件的限制，地域与个人的理解差别等，都使其束手束脚，最终在许多地方沦为一种教学口号，掩埋了她原本的魅力与活力。大语文观对我们语文的教育学习，是否真如当初许多学者理想中那般大有裨益，我们要在实践中怎样不失偏颇的坚持这套理论并运用自如，都是时下语文教研探讨的热点。     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(B→C))→((A→B)→(A→C))。而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((﹁B→B)→B)以及皮尔士律、吸收律、段定律等。就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程。     

谈会计打假的原因及对策

当今会计领域做假账问题,严重干扰了正常的社会经济秩序。对此应采取的对策有:一、以法治假;二、抓原始凭证;三、建立健全企业内部监督机制;四、加强外部监督;五、提高会计人员素质。