中介逻辑的谓词演算系统（Ⅱ）

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x～A(x)～xA(x),[2]～xA(x)x～A(x)[3]～xA(x)x～A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x～A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].     

广西民族学院学报(自然科学版)2001年总目次

数学研究一非线性抛物型方程波前解的存在性[陈武华 ]2 0 0 1(1)关于丢番图方程ｘ4 ± 4ｙ8=ｐｚ4[王云葵 ]2 0 0 1(1)用矩阵判断哈密顿图的一个充要条件[姚源果 ]2 0 0 1(1)一类捕食者———食饵系统的研究 [向昭红 ]2 0 0 1(2 )综合间接判断信息的排序方法 [韦兰用 ]2 0 0 1(2 )一致判断矩阵与一致模糊矩阵的关系[韦振中 ]2 0 0 1(2 )Ｌａｇｒａｎｇｅ中值定理的一点注记 [蒙世奎 ]2 0 0 1(2 )旋转体侧面积和体积的计算公式[林贤坤 ]2 0 0 1(2 )关于丢番图方程ｘ3 +ｙ3 =Ｄｚ4[王云葵 ,张　勇 ]2 0 0 1(3)关于Ｅｒｄ ｓ的一个同余问题 [杨…     

广西民族学院学报(自然科学版)2002年总目次

关于丢番图方程ｘ3 ±ｙ6 =Ｄｚ2 [王云葵 ] 2 0 0 2 ( 1 )广西城镇居民消费函数研究 [蒙肖莲 ] 2 0 0 2 ( 1 )也谈用矩阵判断哈密尔顿图的一个充要条件 [赵　勇 ] 2 0 0 2 ( 1 )一道几何题的多种证法 [方丽菁 ,伍小花 ] 2 0 0 2 ( 1 )理想气体及其状态方程的证明 [谢世标 ] 2 0 0 2 ( 1 )电子电路的键图模拟 [李旭琼 ] 2 0 0 2 ( 1 )一种含Ｎ和Ｓ高分子铑配合物的热稳定的研究[刁开盛 ,邹　瑾 ,潘平来 ,等 ] 2 0 0 2 ( 1 )Ｃｏ/ＧＣ离子注入修饰电极的制备及表征 [谭学才 ,邓光辉 ] 2 0 0 2 ( 1 )过氧化氢氧化法处理糖蜜酒精蒸馏废水初探[…     

广西民族学院学报(自然科学版)2003年总目次

数学研究关于等幂和的计算程序 [王云葵 ,曹敦虔] 2 0 0 3(1 )关于盖根堡多项式的一些恒等式[李超 ,刘端森] 2 0 0 3(1 )关于亚纯函数族的正规定则 [范新华] 2 0 0 3(1 )关于变上限积分确定的复合函数特性的讨论[谭福锦] 2 0 0 3(1 )关于伪素数的对偶公式簇 [陈静 ,王云葵] 2 0 0 3(2 )模糊粗糙集及其截集 [陈克林] 2 0 0 3(2 )无穷积分与瑕积分的一个关系(二 ) [唐国吉] 2 0 0 3(2 )线性不等式组可约的一个充要条件 [蓝柳斌] 2 0 0 3(2 )一类广义非线性Schr dingger方程解的研究[张云峰] 2 0 0 3(2 )不一致区间数判断矩阵的校正及其排序算…     

济南大学学报（自然科学版）第20卷（2006年）总目录

·材料科学·[1]李宁,于春红,常钧,等·烧成温度对硫铁铝酸钡钙矿物形成和强度的影响[J]·济南大学学报(自然科学版),2006,20(1):1-3·[2]尹海燕,吴海涛,陈胜,等·TiAl基合金高温性能研究进展[J]·济南大学学报(自然科学版),2006,20(1):4-7·[3]王守仁,耿浩然,王英姿,等·3DNSRMMCs网络骨架结构几何特征分析[J]·济南大学学报(自然科学版),2006,20(1):8-11·[4]陈胜,王琦,岳云龙,等·新型土壤固化剂的研究[J]·济南大学学报(自然科学版),2006,20(1):12-15·[5]党文修,亓贯林,李晶,等·纳米介孔二氧化硅中空纤维的合成[J]·济南大学学…     

临界点摄动法在半线性重调和方程中的应用

我们有主要结果 定理 1 假设条件(3)—(7)满足,则问题(1),(2)有无穷多个非平凡解。 当a=0,g=|u|~(p-1)u,f=h(x)时,文[1]证明了问题(1),(2)有无穷多个非平凡解。当f≡0时,文[2]证明了问题(1),(2)解的存在性。不过[2]中关于g的假设与本文有些不同。我们的结果显然比[1]的结果广泛,与[2]相比增加了摄动项f。     

对合半群和对合环的拟Moore—Penrose逆的特性

在[1]文中已把对合半群(环)的Moore—Penrose逆的特性作了讨论,本文的目的是在[1]、[2]、[3]文基础上,进一步地把拟对合半群(环)的Moore—Penrose逆的特性作些讨论,并指出了[1]文中某些结果是其特例。定义1.设对合半群(环)S中元b适合方程组axa=a(1),xax=x(2),(az)~*=ax     

拓广的两类特殊广义RICCATI方程的解法

本文给出了拓广的两类特殊广义Riccati方程的求解法,并提供了通积分的表达式。 文[1]、[2]、[3]、[4]指出Liouville(刘继尔)已证明Riccati(黎卡提)方程 y~1=P(x)y~2+g(x)y+f(x)在一般情况下,不能用初等积分法求解。 我们仿照文[3]的方法,主要指出了两类特殊的广义Riccati方程是可积的,并给出了通积分的表达式,文中所得的定理及推论推广了文[1]、[2]、[3]、[4]的有关结果,对文献中的某些方程的求解显得更加简捷了。     

Study of GaAlAs/GaAs Planar Lightwave Filters

1Introduction　wavelength divisionmultiplex(WDM)opticalnetworkhasbecomethemaintrendofthesuper speedcommunicationsnetworkdevelopment,andthewavelength divisionmultiplexerbasedonwavefilteringisthekeyoftheWDMapplication .Thedesignandfabricationofopticalfiltershasdrawntheresearchattentionofvariouscountries.Thecommonopticalfiltersincludegratingfilter[1] ,interferentialfilter[2 ] ,andresonatorfilter[3 ] etc .Basedontheplanarlight wavecircuit (PLC) ,theresonatoropticalfilterhastheadvantagesofcompa…     

广西民族学院学报(自然科学版)2005年总目次

封面学者化学物理学和科技史学家朱清时院士[万辅彬]2005(1)国际科学史研究院成员刘钝[刘钝/自述]2005(2)科技史学家刘广定教授[万辅彬]2005(3)从科学史到科学文化[江晓原/自述]2005(4)科技史学家访谈录中国科学文化必将复兴———科技史学家访谈录之五[万辅彬/问,朱清时/答]2005(1)走向世界的中国科学技术史事业———科技史学家访谈录之六[万辅彬/问,刘钝/答]2005(2)疑似之迹,不可不察———科技史学家访谈录之七[万辅彬/问,刘广定/答]2005(3)听从内心的呼唤———科技史学家访谈录之八[万辅彬/问,江晓原/答]2005(4)中国科技政策研究中国…     

黎卡提方程可积的三个充分条件

本文对不能直接用初等积分法求解的黎卡提方程给出了可积的三个充分条件。     

一般二元二次丢番图方程的解法

给出了若干个关于二元二次丢番图方程 ax2 bxy cy2 dx ey f=0整数解的定理 ,系统地解决了二元二次丢番图方程的求解问题     

相对论关联动力问题三种解法的层次分析

相对论关联动力论有几种理论框架，它们的目标和条件是相同的，但解法并不相同，本文从力学和统计层次的角度出发，分析了三种主要解法的基本特征，并采用多系缩得出了推广的刘维尔方程和Ｋｉｍｏｎｔｏｖｉｃｈ方程。     

一类简单黎卡提方程的求解

有初等解法的微分方程是很有限的,形式上很简单的黎卡提方程对一般的P(x),Q(x),R(x)而言,就没有初等解法,该文讨论满足一定条件的黎卡提方程的初等解法.     

几类特殊的常微分方程

本文给出了几类特殊的常微分方程并提供了求解方法，推广了伯努利方程。     

非稳态种群发展方程解的存在唯一性

本文讨论一般非稳态种群发展方程,证明了当生长函数为单调递减时方程的解的存在唯一性。     

一类辅助微分方程的亚纯解及其应用

介绍了寻求非线性偏微分方程精确解的方法——复方法,用该方法研究了一类辅助微分方程的亚纯解,并将所得结果运用于寻求相关的非线性偏微分方程的精确解,得到Vakhnenko-Parkes方程和Dodd-Bullough-Mikhailov方程的精确解。     

一类进化方程李代数的构造

对力学与物理学中常见的一类进化方程,讨论它们的李代数的构造问题,并给出一个应用。     

物理化学中三个相似方程的讨论

文中将化学平衡中的Van't Hoff方程,相平衡中的Clausius-Clapeyron方程,化学动力学中的Arrhenius方程进行类比,加深对各方程理解。     

Banach空间上算子方程的解

 研究算子方程XA+AXT=B的解的等价性,且得到算子XA+AXT=B的一些简便的等价方程形式。