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

本文为参考文献[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)].     

四阶两点常微分方程边值问题解的存在性

讨论一类四阶两点常微分方程边值问题x(4)=f(t,x,x′,x″,x),边界条件的解的存在性,并给出相应的结论。其中边界条件如下:x(0)=A,x(1)=B,x″(0)=,x″(1)=, x(0)=A,x(1)=B,x″(0)=,x(1)=, x(0)=A,x(1)=B,x(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x(1)=, x(0)=A,x′(1)=B,x(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x(1)=, x′(0)=A,x(1)=B,x(0)=,x″(1)=。这些结论是在假设f(t,x,y,p,r)在形如［0,1］×Dx×Dy×Dp×I的区域内不变号的条件下给出的,其中Dx、Dy、Dp、I分别为某一区间。     

导数定义公式的一个推广及其应用研究

将导数在某一点的定义f(x0)=lim(h→0)f(x0+h)-f(x0)/h推广为f(x0)=limf[x0+α(x)]-f[x0+β(x)]/α(x)-β(x)(α(x)→0,β(x)→0),从而简化了有关导数定义一类问题的求解.     

一类二阶变系数线性微分方程的通解

利用变量代换y=zeφ(x)将二阶变系数线性微分方程y″+P(x)y’+Q(x)y=f(x)化为方程z″+[2φ’(x)+P(x)]z’+{[φ’(x)]2+φ″(x)+P(x)φ’(x)+Q(x)}z=f(x)e-φ(x),再根据P(x),Q(x)的五种关系,分别得出了方程(1)和其对应的齐次微分方程的通解公式.     

两类三阶非自治系统的全局渐近稳定性

利用L iapunov函数法,给出两类方程…x g(x。)x。 bx。 f(x)=e(t,x,x,。x。)和…x g(x。)x。 f(x)x。 cx=e(t,x,x,。x。)零解全局渐近稳定性的充分条件,推广文献[1~4]中的相关结论.     

Liénard系统比较定理

运用Poincáre-Bendixson 环域定理得到了Liénard系统的两个比较定理,运用议程x+f(x)x+g(x)=0的闭轨的存在性可以判定议程x+f(x)x+g(x)h(x)=0及系统x= (y)-F(x),y=-g(x)的闭轨的存在性.     

一类六阶两点边值问题解的存在唯一性

利用上下解方法和Schauder不动点定理,讨论了一类六阶两点边值问题x(6)(t)-f(t,x(t),x′(t),x″(t),x(4)(t),x(4)(t),x(5)(t))＝0,t∈(0,1)x(0)=x′(1)=x″(0)＝x″(1)＝x(4)(0)＝x(5)(1)＝0,解的存在唯一性.     

具状态依赖时滞更一般微分方程周期正解

利用一不动点定理,对较同类具状态依赖时滞更为一般的非线性微分方程:x′(t)=-a(t,x(t))x(t)+f(t,x(t-1τ(t,x(t))),…,x(t-τm(t,x(t)))),x′(t)=a(t,x(t))x(t)-f(t,x(t-1τ(t,x(t))),…,x(t-τm(t,x(t)))),进一步研究,得到一些保证此类方程存在多个周期正解的充分条件而比相关研究有更好的结果.     

一类更广泛的Korteweg-de Vries方程的初边值问题

本文利用Galerkin方法和解的先验估计,研究了一类更广泛的Korteweg-de Vries方程的初边值问题。 u_t+f(u)_x-αu_(xx)+u_(xxx)=0 (x,t)∈R~+×[0,T] u(x,t)|_(t=0)=u_0(x) x∈R~+ u(x,t)|_(x=0)=0 u(x,t)→0 (x→∞)及 u_t+f(u)_x-u_(xxx)=0 u(x,t)|_(t=0)=u_0(x) x∈R~+ u(x,t)|_(x=0)=u_x(x,t)|x=0=0 u(x,t)→0,(x→∞)弱解的存在性,在适当的条件下,还可以得到古典解的存在性。     

正弦积分函数与余弦积分函数的Hilbert变换

讨论了余弦积分函数Ci(x)与正弦积分函数Si(x)的Hilbert变换,证明了Ci(x)与-sgn(x)Si(|x|)构成Hilbert变换对,即Ci(x)-isgn(x)Si(|x|)为解析信号,同时求出了Si(x)的Hilbert变换,证明了Si(x)与Ci(x)-Ci(0)构成Hilbert对.     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

A_5的一类12阶子群的构造

由于有限群的Lagrange定理的逆不成立,因此,n较大时要确定n次交代群An的所有子群或对An阶数的每一个正因数,确定是否存在这个阶数的子群是较困难的问题.文章通过对5-循环置换各次方幂的计算及其研究,构造出了A5的5个12阶子集,并证明了每一个子集都是A5的12阶子群,最后对A5的部分阶的子群做了总结.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

圈幂补图的树宽

基于“前沿分支”的观点研究了圈幂补图的树宽，首先确定了它的树宽下界，又给出了达到此下界的标号，从而得到了它的树宽表达式。     

鸡法氏囊病及其防治

报告鸡法氏囊病的流行状况，主要症状，剖检情况及诊断，提出了综合性防治措施。