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

本文为参考文献[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'(t)=x(t)[β1(t)-a(t)x(t)]-b(t)x(t)z2(t),=z'1(t)=β2(t)z2(t)-s(t)z1(t)-c(t)z1(t)z2(t),=z'2(t)=r(t)z1(t)-d(t)z22(t) e(t)z1(t)z2(t) h(t)x(t)z2(t),=x(0)＞0,z1(0)＞0,z2(0)＞0,并且利用重合度理论得到正周期解存在的充分条件为dlsl＞eMβM2 bM/βl1(rMβM2 hMβM1sl/al).     

δ-李超三系线性变换构成的六类代数

考虑δ-李超三系T线性变换构成的六类代数:导子代数Der(T)、拟导子代数QDer(T)、广义导子代数GDer(T)、中心导子代数ZDer(T)、型心代数C(T)、拟型心代数QC(T).证明ZDer(T)是Der(T)的理想,且ZDer(T)?Der(T)?QDer(T)?GDer(T)?End(T),得到了[Der(T),C(T)]?C(T),[QDer(T),QC(T)]?QC(T),[QC(T),QC(T)]?QDer(T),QDer(T)+QC(T)=GDer(T),[C(T),QC(T)]?End(T,Z(T)).同时,证明一个δ-李超三系若是可分解的,则它的广义导子代数、拟导子代数、型心代数和拟型心代数也有相应的分解.     

二阶非线性微分方程的振动性质

利用Riccati技巧以及积分平均技巧,得到判别二阶微分方程(r(t)ψ(x(t))x′(t))′ p(t)f(x(t))g(x′(t))=0,二阶非线性时滞微分方程(r(t)ψ(x(t))x′(t))′ p(t)f(x(τ(t)))g(x′(t))=0和(r(t)ψ(x(t))x′(t))′ p(t)f(x(t),x(τ(t)))g(x′(t))=0,其中t≥t0,振动的3个新的充分性定理.利用这3个新的充分性定理可以简单地判断方程的振动性.     

二阶具正负系数非线性时滞差分方程解的振动性

考虑二阶具正负系数非线性时滞差分方程Δ2 x(n) f(n ,x(n) ,x(σ(n) ) ) - g(n ,x(n) ,x(σ(n) ) ) =0及Δ2 (x(n) -a(n)x(δ(w) ) ) f(n ,x(n) ,x(σ(n) ) ) - g(n ,x(n) ,x(σ(n) ) ) =0 其中Δ是向前差分算子 ,Δx(n) =x(n 1 ) -x(n) ,Δ2 x(n) =Δ(Δx(n) ) ,获得了方程所有有界解或者振动或者趋于 0的充分条件     

分担有理函数的亚纯函数

研究亚纯函数的惟一性,证明如下结果:设p(z)和q(z)分别为n1和n2次多项式且互素, f(z)和g(z)是两个超越亚纯函数,n≥max{11,2n1 4n2 3}是一个正整数,如果f n(z)f'(z),gn(z)g'(z)分担有理函数p(z)/q(z)CM,则f(z)=c1Q(z)eα(z),g(z)=c2Q-1(z)e-α(z),这里c1,c2是两个常数,Q(z)是一个有理函数,α(z)是一个非常数多项式,满足(c1c2)n 1(Q'(z)/(Q(z) α'(z))2≡-(p(z)/q(z))2;或者f(z)≡tg(z),其中t是满足tn 1=1的常数.     

一类二阶非线性中立时滞微分方程的区间振动性

本文主要研究二阶非线性中立时滞微分方程[(r(t)(x(t)+p(t)x(σ(t)))'a-1(x(t)+p(t)x(σ(t)))']'+q(t)f(x(τ(t)))g(x'(t))=0.得到方程的一些新的区间振动的结论.推广和改进了相关的结论.     

关于亚纯函数的一个唯一性定理

设f(z)和g(z)是两个非常数的亚纯函数,a(z)和b(z)(b(?)a~(k),k为非负整数)是关于f(z)和g(z)的小函数,并且6(a)=S(a,f) 6(a,g)>1,如果∞是f(z)和g(z)的CM分担值,b是f~(k)(z)和g~(k)(z)的CM分担值,则或者f~(k)(z)≡g~(k)(z)或者f~(k)(z)=(a~(k))(z)-b(z))e~(h(z)) a~(k))(z)和g~(z)=(a~(k)(z)-b(z))e~(-h(z)) a~(k)(z)成立,其中h(z)是整函数。     

亚纯函数及其线性微分多项式的唯一性

设f(z)是开平面上的亚纯函数,N(r,f)为f(z)在圆|z|≤r上极点的计数函数,m(r,f)为逼近函数.T(r,f)=m(r,f) N(r,f),T(r,f)称为f(z)的特征函数.F(z)=(fn)(z) a1(z)f(n-1)(z) … an(z)f(z)是f(z)的线性微分多项式,其中n是正整数,a1(z),a2(z),…,an(z)均是f(z)的小函数.研究f(z)和F(z)的唯一性问题.证明了:f(z)为满足N(r,f)≤1f(z)的两个相互判别的小函数,若f(z)和F(x)几乎CM分担a(z)和b(z),则f(z)≡F(z).     

一类二阶多时滞泛函微分方程多个周期解的存在性

利用重合度理论获得了二阶多时滞泛函微分方程xw(t)+f(t,x(t-τ1(t),x(t-τ2(t)))(x'(t))n+f(x(t))·x'(t)+a(t)x2(t-τ3(t))+b(t)x(t-τ3(t))=p(t)(n≥2)多个周期解的存在性,得到了这类方程至少存在2个周期解的结论.     

区间值模糊集中蕴涵算子基于重叠和分组函数的分配性

用区间值模糊集的方法和原理,通过引入可表示的区间值重叠函数和分组函数的概念,在边界条件下给出以下4种方程及类似方程的解:I(x,O_1(y,z))=O_2(I(x,y),I(x,z));I(O_(x,y),z)=G(I(x,z),I(y,z));I(G(x,y),z)=O_(I(x,z),I(y,z));I(x,G1(y,z))=G2(I(x,y),I(x,z)).并说明t-可表示的连续Archimedean三角模(三角余模)分配性方程的解类似于上述结果.     

一类带有无穷时滞与反馈控制离散n-种群Lotka-Volterra 竞争系统的全局吸引性

考虑如下模型: {xi(k+1)=xi(k)expri(k)-ai(k)xi(k)-∑nj=1aij(k)∑∞s=0Kij(s)xj(k-s)-bi(k)∑∞s=0Hi(s)ui(k-s)Δui(k)=-ci(k)ui(k)+di(k)∑∞s=0Ri(s)xi(k-s)(i=1,2,…,n)的全局吸引性问题,通过构造适当的Lyapunov函数得到该系统全局吸引的充分性条件.     

戊巴比妥钠对兔和大鼠麻醉方法的研究

目的比较分析各麻醉方式的麻醉效果.方法将戊巴比妥钠配制成3%的浓度,并分别以静脉(30mg/kg)、肌肉(30mg/kg)、腹腔(30mg/kg)、皮下(40rg/kg)的剂量对兔和大鼠施行麻醉.记录实验中每只动物的麻醉时间、睡眠时间、麻醉后睫毛反射、刺痛反应、体温、呼吸频率及苏醒后恢复时间等,统计平均数据.结果兔进入麻醉状态时间(min)为静脉(0)、肌肉(16)、腹腔(6)、皮下(17),睡眠维持时间(min)为静脉(72)、肌肉(46)、腹腔(58)、皮下(89),恢复时间(min)为静脉(41)、肌肉(26)、腹腔(28)、皮下(41).大鼠进入麻醉状态时间(min)为静脉(3)、肌肉(13)、腹腔(5)、皮下(12),睡眠时间(min)为静脉(44)、肌肉(39)、腹腔(72)、皮下(82),恢复时间(min)为静脉(16)、肌肉(18)、腹腔(25)、皮下(28).结论实验者在实验时,可通过本文所给数据,根据手术过程的长短的需要和理想的恢复期选择上述不同的麻醉方式对实验动物施行麻醉.     

戊巴比妥钠对兔和大鼠麻醉方法的研究

目的比较分析各麻醉方式的麻醉效果.方法将戊巴比妥钠配制成3%的浓度,并分别以静脉(30mg/kg)、肌肉(30mg/kg)、腹腔(30mg/kg)、皮下(40rg/kg)的剂量对兔和大鼠施行麻醉.记录实验中每只动物的麻醉时间、睡眠时间、麻醉后睫毛反射、刺痛反应、体温、呼吸频率及苏醒后恢复时间等,统计平均数据.结果兔进入麻醉状态时间(min)为静脉(0)、肌肉(16)、腹腔(6)、皮下(17),睡眠维持时间(min)为静脉(72)、肌肉(46)、腹腔(58)、皮下(89),恢复时间(min)为静脉(41)、肌肉(26)、腹腔(28)、皮下(41).大鼠进入麻醉状态时间(min)为静脉(3)、肌肉(13)、腹腔(5)、皮下(12),睡眠时间(min)为静脉(44)、肌肉(39)、腹腔(72)、皮下(82),恢复时间(min)为静脉(16)、肌肉(18)、腹腔(25)、皮下(28).结论实验者在实验时,可通过本文所给数据,根据手术过程的长短的需要和理想的恢复期选择上述不同的麻醉方式对实验动物施行麻醉.     

三阶p-Laplacian中立型泛函微分方程的周期解

利用Mawhin重合度理论,研究一类三阶p-Laplacian中立型泛函微分方程[φp(x(t)-∑n j=1cjx(t-r))″]′+f(x(t))x′(t)+α(t)g(x(t))+∑n j=1βj(t)g(x(t-γj(t)))=p(t)周期解的存在性,得到了这类方程至少存在一个T周期解的充分条件.     

具三阶段结构的非自治单种群模型

建立一类具三个阶段结构的非自治单种群模型{x′-1(t)=a(t)x-3(t-τ)-b-1(t)x-1(t)-c(t)x-1(t),x′-2(t)=c(t)x-1(t)-d-2(t)x-2(t)-e(t)x-2(t)-θ(t)x+2-2(t),x′-3(t)=e(t)x-2(t)-f(t)x-3(t).利用重合度理论中的延拓定理研究该模型的正周期解的存在性,得到了正周期解存在的充分条件.     

一类高阶线性微分方程解的复振荡性质

研究了高阶线性微分方程f(k)+Ak-1(z)epk-1(z)f(k-1)+Ak-2(z)epk-2(z)f(k-2)+…+A0(z).ep0(z)f=0和f(k)+Ak-1(z)epk-1(z)f(k-1)+Ak-2(z)epk-2(z)f(k-2)+…+A0(z)ep0(z)f=F(z)解的增长性问题,其中pj(z)=ajzn+bj,1zn-1+…+bj,n,Aj(z)和F(z)是有限级整函数.针对pj(z)中aj(j=0,1,…,k-1)的幅角主值不全相等的情形,得到了方程解的增长级的精确估计.     

一类二阶非线性微分方程的振荡定理

应用Riccati变换、广义Riccati变换以及加权值不等式等技巧,讨论了一般非线性带有无阻尼的微分方程方程[r(t)k1(x(t),x'(t))|x'(t)|α-1x'(t)]'+p(t)k2(x(t),x'(t))|x'(t)|α-1x'(t)+q(t)φ(x(g1(t)),x'(g2(t)))f(x(t))=0,α0解的振荡性.通过引入Y函数Y={Φ∈C1(E,R)|,Φ(t,t,l)=Φ(t,l,l)=0,Φ(t,s,l)≠0,lst,E={(t,s,l)|t0≤l≤s≤t∞},以及H函数H={H∈C1(D,R+)|,H(t,t)=0,H(t,s)0,-∞st∞,D={(t,s)|-∞st∞}给出了一些相应的振荡解的判别准则.     

具有离散时滞的非自治扩散的N种群竞争模型

1模型与概念文献[1]给出了如下具有时滞的Lotka-Voltrra竞争模型x(t)=x(t)(r1-ax(t-τ)-by(t))y(t)=y(t)(r2-cx(t)-dy(t))本文将上述模型推广到非自治的N种群竞争扩散模型进行讨论.考虑如下形式的模型x·i(t)=xi(t)(ri(t)-aii(t)xi(t-τ)-∑nj=1,j≠iaij(t)xj(t))x·n(t)=xn(t)     

不同单体质量分数范围PAM反相微胶乳的相对分子质量

研究了在不同单体质量分数(ω(单体))范围(25％～50％和10％～26％)丙烯酰胺(AM)、丙烯酰胺/丙烯酸钠(AM/SA)和丙烯酰胺/(2-甲基丙烯酰氧乙基)三甲基氯化铵(AM/DMMC)反相微胶乳的相对分子质量。较高ω(单体)范围内,(AM)∝ω(AM)~(0.92),(AM/SA)∝ω(AM/SA)~(0.68),(AM/DMMC)∝ω(AM/DMMC)~(2.05);较低ω(单体)范围内,(AM)∝ω(AM)~(0.57),(AM/SA)∝ω(AM/SA)~(0.58)和(AM/DMMC)∝ω(AM/DMMC)~(1.26)。不同ω(单体)范围内M_v对ω(单体)的反应级数不同的原因可能是在不同ω(单体)范围内单体水溶液的粘度对反相微胶乳M_v的影响程度不同。