逻辑系统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公式证明了算法的收敛性。最后,算例的数值结果表明了该算法的可行性和有效性。     

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

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

民间法正义观的转型

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

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

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

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

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

YBCO掺杂效应研究

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

A_5的一类12阶子群的构造

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

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

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

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

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

圈幂补图的树宽

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