标准化的Routh方程

本文在文献[1]的基础上,引入了标准化因子[B],并用矩阵[B],从Routh方~~     

实数的普遍二进型展式的概率性质

将区间[0,1]按任意比例分成两个区间[0,α]与[α,1],并记之为δ_(x1)(x_1=0,1):     

含有反常质子的反常中子星

在文[1]和[2]中,我们已经论证了可能存在两类中子星——由正常中子物态构成的正常中子星和由反常中子物态构成的反常中子星。文[1]和[2]用的都是均匀星体模型近似。文     

关于凸函数的一个不等式

一、引言 设M(x)是[0, ∞)上的凸单调增函数,f(x)是[0,a]上的非负有界变差函数,且M(0)=f(0)=0。 本文给出不等式V_0~a[M(f(x))]≤M(V_0~a[f(x)]),(1) 其中V_0~a[f(x)]表示函数f(x)在[0,a]内的全变差。作为一个应用,我们还将由此导出Opial-华氏不等式的一个推广。     

关于Hasson一个定理的推广

记L_[-1,1]~p是[-1,1]上p次幂可积函数全体,l≤p<∞,L_[-1,1]~∞=C[-1,1]是[-1,1]上的连续函数类。E_n(f)_p是[-1,1]上n次代数多项式在L~p尺度下对f(x)∈L[-1,1]~p 的最佳逼近,W_k(f,δ)_p为f(x)在L~p尺度下的k阶光滑模。简写E_n(f)=E_n(f)_∞,W_k(f,δ)=W_k(f,δ)_∞。     

无界域上的Poincaré型的不等式与强非线性变分问题

本文建立了无界域上Sobolev空间_p~1(Ω)和Sobolev-Orlicz空间~1E_P(φ;Ω)中的Poincaré型的不等式,并且把文献[1]的工作推广到了无界区域上,减弱了文献[1]的限制性条件。本文采用文献[1]和[2]的记号。     

带时滞的非线性自动调节系统的非定常运动稳定性

在文献[1,2]中曾研究过非线性自动调节系统定常和非定常运动的稳定段之界的确定问题;文献[3]研究了带时滞的非线性自动调节系统定常运动的稳定段之界的确定问题,最近,我们利用文献[4]的方法,又改进了文献[2]的研究,本文将讨论带时滞的非线性自动调节系统的非定常运动的稳定段之界的确定问题。     

一个修正Bernstein型算子对有界变差函数的点态逼近度

设L[0,1]、BV[0,1]分别表示在闭区间[0,1]上有界Lebesgue可积、有界变差的函数全体。对于函数     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

《科学之友》2003年第1期-12期总目次

[10[10OUg‘〕﹃.J lesJ,.J,IJ﹃.J弓‘几‘l﹄.J0 1 11,山份‘2奋.压‘...口.﹄口.盖..且‘.卫目...r.L L..J护IL 工..L七..L 工..L,‘‘OU‘峪,口O矛OU 002 ..‘,压.二14卜[l[l[l[l阵[2[3[3[3[4[4[4[5[5伍[6[6[6[6t6口[7口[7[7[8[8[8[8[9 tg tglo托朽双21‘,.J f..J,..J,.J f..J 工..J,esJ﹄..J﹃..J自..J,.J f.-2飞︸4 5 67内0 OJ 01,r‘LF‘L山.IL,.卫L护..J 4..L L.L r.L 工..L‘.皿‘.且..卷首语科技,我亲吻你的额头吹皱一池春水“轻轻地我走了“一’灵魂只能独行伊拉克,我为你哭泣科学无所不在,科学无坚不摧理性…     

中介逻辑的命题演算系统的可判定性

文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的,本文给出了一个完备性定理的构造性     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

基于咪唑离子液体与萤火虫荧光素酶的结合模式预测混合物毒性

混合物毒性的评估与预测一直是毒理学和环境科学领域的前沿和热点.浓度加和模型(CA)和独立作用模型(IA)是目前应用最多的2个加和参考模型.但是,由于作用模式的相似性或相异性难以确定,难以在实际工作中选择合适的参考模型.为了探索分子水平上的结合模式与加和模型的关系,本研究以4种1-烷基-3-甲基咪唑氯离子液体([Cnmim]Cl,n=2,6,8,12)和萤火虫荧光素酶为研究对象,采用分子对接和分子动力学模拟确定离子液体与萤火虫荧光素酶的结合模式,结果表明[C2mim]Cl和[C6mim]Cl与荧光素酶具有相似的结合模式(BP1和BP2),[C8mim]Cl和[C12mim]Cl具有相同的结合模式(BP3).通过荧光素酶微板毒性分析法测定4个离子液体及两两组合构成的6个二元混合物体系共18条混合物射线的发光抑制毒性,应用CA和IA模型评估混合物毒性.结果表明,具有不同结合模式的[C2mim]Cl-[C8mim]Cl和[C2mim]Cl-[C12mim]Cl混合物体系,其毒性可用IA预测;具有相同结合模式的[C2mim]Cl-[C6mim]Cl和[C8mim]Cl-[C12mim]Cl体系,其毒性可用CA预测;而[C6mim]Cl-[C8mim]Cl和[C6mim]Cl-[C12mim]Cl体系,其部分混合物毒性可用CA描述,因其组分的结合模式既有相似性又有相异性.     

利用井水潮汐求含水层参数理论的探讨

自文献[1]提出利用井-含水层系统的潮汐资料,结合当地气压资料,可求得含水层参数后,文献[2,3]将此理论作了发展,但文献[4]对文献[1]的有关理论基本否定。本文对此问题进行探讨,并将所得结果和上述文献结果作一比较。     

数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

金掺杂TiO2纳米管的合成

纳米结构材料由于其独特的物理化学性能而备受人们关注[1~4].在催化、非线性光学器件、气敏元件和太阳能电池等领域具有广泛应用价值的纳米TiO_2是当前研究热点之一~[2,3].掺杂贵金属可以显著改善和提高TiO_2的性能~[5~7],如Au-TiO_2体系所表现出的良好催化性能~[7~9].文献报道:5nm以下的金纳米粒子具有好的催化活性~[5],但要在载体上控制金颗粒的尺寸和分散度是很不易的~[10],而适宜载体和金粒子的高度分散对于其功能的实现至关重要~[7,11].通过简单的水热处理可以得到高比表面的TiO_2纳米管~[12,13],但是具有高催化潜能的金搀杂TiO_2…     

关于Liénard方程存在极限环的条件

讨论Liénard方程 f(x) g(x)=0或其等价方程组■存在极限环的条件已经很多,其中以条件及条件(可参看文献[3])引用最广。普遍认为文献[1]的条件似乎是最少的。本文提出了一组新的条件,在外境界上推广了文献[2]的条件,而又与文献[1]的条件互相独立。在内境界上,提法上已较文献[1]     

从数据自动学习的智能神经网络

众所周知,神经网络在模式识别问题上有着广泛的应用[1],近十几年在生物信息学中神经网络也有很好的表现,例如预测蛋白质的二级结构[2],识别各种具有重要生物学意义的序列模体(motif)等等[3].     

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

强主元稀疏阵的近似求逆

如何用较少的计算量得到高精度的近似逆矩阵,是数值计算的重要问题。文献[1]给出了对称三对角阵的近似求逆法。文献[2]进一步给出了对称五对角阵的近似求逆法。文献[1]和[2]的方法只适用于对称的对角优势阵,且难以向多对角阵的情形推广。文献[3]将求逆化成级数展开,并应用于椭圆型方程数值解的计算。级数展开法是向量化算法,但其计算量较大。本文应用文献[4]和[5]提出的矩阵元素阶的概念,在消去法计算中进行高阶截断,给出强主元稀疏阵的近似求逆法。在强主元条件下,该法适用于任意稀疏结构的矩阵。