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

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

分担有理函数的亚纯函数

研究亚纯函数的惟一性,证明如下结果:设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的常数.     

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

利用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个新的充分性定理可以简单地判断方程的振动性.     

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

本文主要研究二阶非线性中立时滞微分方程[(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.得到方程的一些新的区间振动的结论.推广和改进了相关的结论.     

一类具阶段结构的捕食系统正周期解的存在性

建立具有阶段结构和自食现象而且食饵和捕食者均受密度制约的周期捕食系统: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)).同时,证明一个δ-李超三系若是可分解的,则它的广义导子代数、拟导子代数、型心代数和拟型心代数也有相应的分解.     

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

考虑二阶具正负系数非线性时滞差分方程Δ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的充分条件     

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

设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)是整函数。     

一类带有无穷时滞与反馈控制离散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).结论实验者在实验时,可通过本文所给数据,根据手术过程的长短的需要和理想的恢复期选择上述不同的麻醉方式对实验动物施行麻醉.     

Markedness and its Interpretation in Language Use

Language markedness is a common phenomenon in languages, and is reflected from hearing, vision and sense, i.e. the variation in the three aspects such as phonology, morphology and semantics. This paper focuses on the interpretation of markedness in language use following the three perspectives, i.e. pragmatic interpretation, psychological interpretation and cognitive interpretation, with an aim to define the function of markedness.     

An on-line scaling method for improving scalability of a database cluster

The explosive growth of the Internet and database applications has driven database to be more scalable and available, and able to support on-line scaling without interrupting service. To support more client's queries without downtime and degrading the response time, more nodes have to be scaled up while the database is running. This paper presents the overview of scalable and available database that satisfies the above characteristics. And we propose a novel on-line scaling method. Our method improves the existing on-line scaling method for fast response time and higher throughputs. Our proposed method reduces unnecessary network use, i.e. , we decrease the number of data copy by reusing the backup data. Also, our on-line scaling operation can be processed parallel by selecting adequate nodes as new node. Our performance study shows that our method results in significant reduction in data copy time.     

Features of Women's language

Language is a means of verbal communication. People use language to communicate with each other. In the society, no two speakers are exactly alike in the way of speaking. Some differences are due to age, gender, statue and personality. Above all, gender is one of the obvious reasons. The writer of this paper tries to describe the features of women＇s language from these perspectives： pronunciation, intonation, diction, subjects, grammar and discourse. From the discussion of the features of women＇s language, more attention should be paid to language use in social context. What＇s more, the linguistic phenomena in a speaking community can be understood more thoroughly.     

大肠杆菌pheA与tyrB基因的克隆与串联表达

为探讨用基因工程的手段改良苯丙氨酸的发酵菌株，采用聚合酶链反应（ＰＣＲ）的方法，从大肠杆菌总ＤＮＡ中克隆得到了编码苯丙氨酸合成途中的两个关键酶基因－即分枝酸变位酶（ＣＭ）／预苯酸脱水酶（ＰＤ）基因ｐｈｅＡ与苯丙氨酸转氨酶（ＰＡＴ）基因ｔｙｒＢ，在大肠杆菌中进行了这两个基因的单个和串联表达。ｐｈｅＡ和ｔｙｒＢ基因分别都能在λ噬菌体的ＰＲ启动子之后得到较大量的表达，在ＳＤＳ－ＰＡＧＥ上出现清晰的条带，     

四川溲疏属的分类研究 （Ⅱ）：种的简介及新分类群

介绍了四川溲疏属植物20种,5变种及1栽培变型,每种均有文献考证、学名订正、特征集要及产地和生境,新分类群D.leiboeneie P.He et L.C.Hu, D.piloea var.longiloba P.He et L.C.Hu,D.jinyangensis P.He eL L.C.Hu及D.longifolia var.deneitomentosa P.He et L.C.Hu均有详细拉丁文描述并附模式标本照片,还记录了两个四川省新分布种:D.bodiaieri Rehd.,D.rehderiana C.K.Schn.,对伞花亚组Subsect Cymosae Rehd.中建立的新系(Ser.Multiradiatae P.He,Ser.Pauciradiatae P.He)作了拉丁文补充描述。     

在Java技术之Servlet中实现文件的上载功能

Java这门编程语言以及相关技术的使用得到快速的增长;现在大约有700多万台计算机正在运行Java应用程序,有近100万的Java开发人员,世界上所有的企业中,几乎有一半正在开发 Java应用程序。Java成功的理由是很自然的,Java是真正与平台无关的,它是适合于任何操作系统的一种通用的编程语言;Java是完全面向对象的,这在软件工程和组件技术方面有了很大的进步;Java的安全模型是成熟的,这与其他容易感染病毒的模型系统形成了鲜明的对比。     

采用有限差分方法求解固体弹性应力场(英文)

为了采用全有限差分方法进行涡轮气热弹耦合计算,研究了固体弹性应力场计算的物理模型,给出了任意曲线坐标系下的控制方程.同时研究了定常问题的有限差分求解方法和边界条件的给定,编制了定常问题的应力场求解程序;并通过对具有解析解的受集中载荷的悬臂梁和一端受径向集中力的曲梁进行数值计算来验证该固体弹性应力场的求解方法.结果表明,边界条件的二阶精度处理的格式所得结果与解析解数据吻合得较好,而一阶精度格式结果与解析解有较大的误差.     

中国阳蝇属六异名记述(双翅目:蝇科)

阳蝇属是蝇科最大的属之一,迄今全世界已知阳蝇属约666种,分布于世界各大地理区。近年来对阳蝇属种团和类群的研究,发现在我国阳蝇属中存在一些异名问题。在我国阳蝇属已知226种中,发现小兴安阳蝇(Helina xiaoxinganna Xue,2001)、茂县阳蝇(Helina maoxianica Feng,2008)、后曲阳蝇(Helina postiflexa Xue,Feng& Tong,2008)、团宝山阳蝇(Helina tuanbaoshanica Feng,2007)、兴凯阳蝇(Helina xingkaihuica Feng& Ye,2007)和错那阳蝇(Helinacuonaica Feng&Xu,2008)等6个种存在同物异名问题,并根据模式标本及原始文献,指出了同物异名的理由,明确给予了订正。     

Characterization of Ordovician carbonate reservoirs, southeastern Saskatchewan, Canada

The discovery of the prolific Ordovician Red River reservoirs in 1995 in southeastern Saskatchewan was the catalyst for extensive exploration activity which resulted in the discovery of more than 15 new Red River pools. The best yields of Red River production to date have been from dolomite reservoirs. Understanding the processes of dolomitization is, therefore, crucial for the prediction of the connectivity, spatial distribution and heterogeneity of dolomite reservoirs.The Red River reservoirs in the Midale area consist of 3～4 thin dolomitized zones, with a total thickness of about 20 m, which occur at the top of the Yeoman Formation. Two types of replacement dolomite were recognized in the Red River reservoir: dolomitized burrow infills and dolomitized host matrix. The spatial distribution of dolomite suggests that burrowing organisms played an important role in facilitating the fluid flow in the backfilled sediments. This resulted in penecontemporaneous dolomitization of burrow infills by normal seawater. The dolomite in the host matrix is interpreted as having occurred at shallow burial by evaporitic seawater during precipitation of Lake Almar anhydrite that immediately overlies the Yeoman Formation. However, the low δ18O values of dolomited burrow infills (-5.9‰～ -7.8‰, PDB) and matrix dolomites (-6.6‰～ -8.1‰, avg. -7.4‰ PDB) compared to the estimated values for the late Ordovician marine dolomite could be attributed to modification and alteration of dolomite at higher temperatures during deeper burial, which could also be responsible for its 87Sr/86Sr ratios (0.7084～0.7088) that are higher than suggested for the late Ordovician seawaters (0.7078～0.7080). The trace amounts of saddle dolomite cement in the Red River carbonates are probably related to "cannibalization" of earlier replacement dolomite during the chemical compaction.     

Achieving Unusual States of Matter Under High Pressure

The elongation method,originally proposed by Imamura was further developed for many years in our group.As a method towards O(N)with high efficiency and high accuracy for any dimensional systems.This treatment designed for one-dimensional(ID)polymers is now available for three-dimensional(3D)systems,but geometry optimization is now possible only for 1D-systems.As an approach toward post-Hartree-Fock,it was also extended to