逻辑系统Ln中的真度、发散度与相容度的分布

研究了n值(L)ukasiewicz命题逻辑系统(L)n中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…}, 利用McNaughton函数证明了对任意k/nm∈H, 都有公式A,使得A的真度为k/nm, 从而全体公式的真度值之集在[0,1]中稠密. 又由真度值之集的稠密性和系统(L)n的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1]. 最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1].     

利用最小作用原理研究一类非自治二阶系统周期解

主要研究以下二阶系统{u(t)-A(t)u(t)=▽F(t,u(t)),u(0)-u(T)=u(0)-u(T)=0,a.e.t∈[0,T]的周期解的存在性。当F(t,x)=F1(t,x)+F2(x)满足条件A且具有局部有界性T1lim inf x→+∞x 2α∫F(t,x)dt0T2T∫(r1(t)dt)2/0T12-T∫k(t)dt及A(t)满足条件(A(t)x,x)≥h(t)|x|β+w(t)时,通过使用最小作用原理得到了一个新的周期解的存在性定理,改进了已有结果。     

多维保序回归和最大似然估计

给出k=2，p=2时多维保序回归的求解方法和求解公式，令xp，j=1，2，…，n是来自总体为二维正态分布N(μi，A)的样本，i=1，2，均值向量是μ，方差矩阵是A，在μ1≤μ2限制下，利用k=2，p=2时多维保序回归的求解公式给出μi和A的最大似然估计。     

环F_2+uF_2+vF_2上的一类重根常循环码

主要研究了环R=F2+uF2+vF2上长为2k的(1+u)循环码,对该常循环码进行了分类,并给出了其计数公式.     

一个变分双曲型组的解

本文研究带Dirichlet条件的边界值问题{□u+△G(u)=f(t,x),(t,x)∈Ω≡(0,π)×(0,π), (*)u(t,x)=0, (t,x)∈aΩ,的解的存在性,这里口是波算子a2/at2-a2/ax2,GRn→R是一连续函数.设σ(口)={k2-m2,k,m∈N}记波算子口的特征值的集合,(a2G(u)/auiaui)记u∈Rn.点处的Hessian阵.假定σ((a2G(u)/auiauj))∩σ(□)=φ.再设E={u|u(t,x)=∑k,mψkm(t,x)Ckm, Ckm ∈ Rn k,m ∈ N,∑k,m(k2+m2+1)|Ckm|2 ＜+∞},Y={y|y(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 - m2 ＜γi(u),μikm ∈ R,k,m ∈N,∑k,m(k2+m2+ 1)|μikm|2＜+∞,i= 1,2,……,n} Z={z|z(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 -m2＞γi(u),μikm ∈ R,k,m ∈ N ,∑k,m(k2 + m2+1)|μikm|2 ＜+ ∞,i = 1,2,……,n}.对Y中的k2-m2记ξ(‖u‖0) =min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{γi(v)-(k2- m2) ＞ 0},对Z中的k2-m2,记η(‖u‖0)=min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{k2-m2-γi(v)＞0},这里‖·‖0记(L2(Ω))n.假设∫+∞1ξ(s)ds=∞, ∫+∞1η(s)ds=∞.在上述条件下,我们使用R.F.Manasevich的最大值最小值定理证明问题(*)的弱解u0∈(H1(Ω))n的存在性和唯一性.     

二阶差分方程边值问题的一个存在定理

运用拓扑度理论获得了如下边值问题Δ2 u(k) +g(k)f(u(k) ) =0 ,　k∈ [0 ,T]u(0 ) =0 =u(T+2 )的一个新的存在定理 ,其中T为固定的正整数     

一类特殊的k步k阶公式

考虑一类k步k 1阶线性多步法∑kj=1αjyi j=h(βk-1fi k-1 βkfi k),αk=1,βk≠0,通过改进这类k步k 1阶公式可以得到一类更稳定的k阶线性k步法隐式公式,使原来稳定区域比较小,甚至没有稳定区域和不收敛的公式,都变为A(α)稳定.并用数值实验证明了这类公式对刚性方程问题的有效性.     

正余弦加权叠加式的研究

AcoS(ωt)+Bsin(ωt)=Csin(ωt+D)中,令A=k1a、B=k2b、C=k3(A2+B2)1/2=k3(a2+b2)1/2、D=k4β,并规定a、b、(A2+B2)1/2和β都取A、B、C、D的绝对值,即a＞0、b＞0、(A2+B2)1/2＞0、β≥0,推导出AcoS(ωt)+Bsin(ωt)=F(B)(A2+B2)1/2sin[ωt+F(AB)β]其中F(B)=B/|B|,F(AB)=AB/|AB|,β=tg-1|A/B|,(A2+B2)1/2＞0.     

一个非散度形式的退化扩散方程解的存在性和L∞估计

本文考虑一个非散度形的退化扩散方程u1＝｜u｜k△u+ B(u)+F(u)并带有零边界条件的初边值问题整体解的存在性和解在t＝0,∞处的L∞模估计．证明了当f(u)≡0和y0∈Lq(Ω)时,整体解u(t)满足估计‖u(t)‖∞≤C(1+y-1/k,t＜0,当｜f(u)｜≤k1｜u｜1+α and α＞k,时,也得到了类似的估计.     

求解Laplace方程的Signorini问题的边界元投影迭代法

对一类边界条件是非线性的Laplace方程的Signorini问题,提出了基于投影不动点方程的边界元迭代算法。由于Signorini边界条件u≥h、u/n≥0且(u-h)u/n=0等价于的不动点问题u/n-[u/n-c(u-h)]+=0,因此可以通过投影迭代格式u(k+1)/n=[u(k)/n-c(u(k+1)-h)]+(k=0,1,2,…)来满足Signorini边界条件,从而每一次迭代只需要求解一个标准的椭圆型混合边值问题。由于该算法是在Signorini边界上进行迭代,因此边界元方法很适合用于数值求解。然后利用投影性质和Green公式证明了算法的收敛性。最后,算例的数值结果表明了该算法的可行性和有效性。     

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

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

圈幂补图的树宽

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

鸡法氏囊病及其防治

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

“真空的真空”的存在性问题

许多科学家包括诺贝尔奖获得者李政道教授都预言,真空是未来物理学的一个重要研究对象.十七世纪的伽利略时代人们曾讨论过"真空"是否存在的问题.当时的学术界分成两派,一派以帕斯卡为代表,认为真空存在,另一派以笛卡尔为代表,认为真空不存在,最后实验证明"真空存在派"正确.现代研究表明,真空并非一无所有,这样就产生了一个新的问题"排除了真空物质后的空间",即"真空的真空"是否存在.本文探讨了与"真真空"有关的问题,提出了一些观测实验方法,这些方法可以帮助我们最终解答"真真空"的存在性问题.     

民间法正义观的转型

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

接受美学的期待之路——读者接受与文学的创新

文学发展的动力之一在于创新。在接受美学诞生之前,学者们往往从作家的角度讨论文学创新问题。本文用接受美学的理论探讨文学创新的问题。笔者将文学创新的标准与读者接受相结合,就创新的三个方式与期待视野的方法论进行了初步的探讨。最后得出的结论是:读者期待视野的提高是作家作品创新的主要依据,作家在文学创作中应该充分考虑读者的接受才能做到创新。     

人-自观念演进的否定之否定

在人与自然界的关系的演进过程中,形成了与不同文明时期相适应的人-自观念。从＂天人合一＂到＂人定胜天＂再到＂和谐共生＂,这是人-自观念演进的肯定、否定、否定之否定的辩证发展过程,也是一个合乎规律的过程,它们都是时代的产物,都包含着不同程度的合理的因素,我们必须对它们进行具体的辩证的分析。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题，人们往往是从行政许可实施违法的角度进行研究，而对于设定违法及其责任追究的探讨却相对薄弱。然而。行政许可设定一旦违法，其对相对人和社会公共利益的损害将会更大，因此，对许可设定的违法及其责任问题进行研究，以避免违法行政行为的发生，促进政府依法行政，不仅必要而且是非常有意义的。     

曲面"侧"概念的"参照物"理解法

曲面“侧”是一个重要而难以理解的概念,本文对曲面“侧”概念的讲授方法进行了探讨,给出了曲面“侧”概念的“参照物”理解法,通过实践证明,效果良好。