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

本文为参考文献[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个周期解的结论.     

电磁感应加热系统电路设计

电磁感应加热技术在家电等行业具有广泛的应用。分析了电磁感应加热技术的工作原理,对系统整体功能构成框图进行了研究,设计了主电路结构图和EMI滤波器电路;系统设计完成了电磁感应加热系统的基本功能,实现了系统的性能设定指标。     

PDCA循环的动力特性分析

文章通过对ＰＤＣＡ循环的动力特性分析，揭示了ＰＤＣＡ循环发生变异的原因，提出了ＭＳＰＤＣＡ原理，改进并完善了传统的ＰＤＣＡ管理模式．为ＰＤＣＡ环无变异运转建立了理论依据。     

Web应用程序性能测试技术的研究及应用

各种针对性的测试方法和技术不断的出现,然而Web应用程序性能测试相对于软件测试有其自身的特殊性和难点,尤其是面对业务复杂、用户数多的大型系统,怎样使其性能达到符合用户需求的研究具有很强的实际意义。主要针对Web应用的特点和Web应用软件常见性能问题,找出了Web应用性能测试关键问题,研究并提出了解决办法,改进了性能测试模型。根据实际项目,建立合理的性能测试指标体系。并通过性能测试工具LoadRunner对中国移动公司的中国移动经营分析系统（BASS）系统涉及的测试难点作为实例,进行了评测。     

儒学"人格"的发展与影响

儒学文化是中华民族的精神支柱,儒学文化的“人格”演变对中华民族精神的发展有着非常深远的影响。儒家文化中的“人格”发展经历了一个漫长的过程:前儒学时期是“自然人格”;儒学形成时期是“理想人格”;儒学发展时期是“神化人格”;儒学教条化时期是“工具人格”;儒学解构时期是“批判人格”;后儒学时期是“寻根人格”。     

内径千分尺的数字智能化改造

提出一个将机械式内径千分尺改造成智能型数字式内径千分尺的方法,以及改造过程中应注意的问题,改造后的内径千分尺更具有方便、快捷、准确性的特点,不仅可在实验室中使用,而且已应用在实际生产过程中。     

数字存贮示波器与IBM－PC机联机扩展为自动频谱分析系统

数字存贮示坡器与ＩＢＭ－ＰＣ机联机通讯后，信号波形数据存在计算机磁盘中。本文介绍数字信号处理的方法以及快速付里叶变换程序的设计，从而获得信号的幅频特性以及相应的功率谱，实现了整个联机系统的自动频谱分析功能。     

复合材料损伤与断裂力学研究

对纤维增强聚合物基复合材料进行了损伤与断裂力学分析,建立了材料的模型,采用基体横向裂纹的剪切迟滞分析获得较好的基体开裂的定量分析结果;采用边界配置法计算各向异性材料裂纹体的应力强度因子,建立裂纹的扩展判据,并对纤维断裂进行了弹性分析.针对玻璃纤维/酚醛复合材料层板进行了理论和实验分析,得到材质裂纹密度与刚度退化的相关曲线,实验结果验证了理论分析结果的正确性;得到应力强度因子S随裂纹尺度的变化曲线和对纤维断裂和脱胶引起的刚度退化的计算结果.     

可促进神经再生的胶原蛋白中空湿法纺丝成形研究

对牛胶原蛋白的可纺性厦湿法中空成形进行了研究，探讨了胶原蛋白不同的制备工艺参数如pH值、温度、离子强度等对胶原蛋白可纺性的影响，并着重讨论了纺丝速度、填充液压力、致孔剂含量等纺丝工艺参数与胶原中空纤维膜性能厦结构的关系。体外细胞实验的结果表明：该胶原蛋白对神经细胞的生长具有促进作用。     

智能立体停车场控制探讨

智能立体停车场具有广阔的应用前景。介绍了智能立体停车场的组成及主要功能,给出了智能立体停车场的设计与实现方案。     

浅论孟子的孝道思想

孟子的孝道思想是中华民族道德遗产的重要组成部分,有着重要的理论价值和现实意义。孟子继承了孔子的孝道思想,又进行了新的拓展。其具体内涵包括对父母生时的奉养,对父母死后的丧祀,娶妻生子以延续香火三个方面。孟子的孝道思想已成为中华民族的一种传统伦理道德观念,有糟粕,也有合理内核。他的孝道思想对《孝经》产生了很大的影响,其合理内核对于我们今天建立现代家庭伦理关系,具有积极意义。