关于《一类奇异边值问题的正解》的注记

文[4]通过构造反例断言文[1]中定理的必要性证明有误,本文首先指出文[4] 的这个断言不正确,然后对文[4]中定理2.1作了本质性的改进.     

关于矩阵方程AXB=C

关于矩阵方程ＡＸＢ＝Ｃ丁永臻（胜利油田师专数学系２５７０９７）文［１］给出了矩阵方程ＡＸＢ＝Ｃ有解和有唯一解的一个充要条件．本文借助于近代数学常用的矩阵广义逆、直积和拉直化运算的概念及性质详细讨论矩阵方程ＡＸＢ＝Ｃ解的一般理论，包括解的存在性、唯一性...     

二阶强次线性常微分方程解的振动性

本文讨论二阶非线性常微分方程 (a(t)ψ(x(t))x’(t))’+q(t)f(x(t))g(x’(t))=0 (1)的解的振动性质。在方程(1)中,α∈C[[t_0,∞),(0,∞)],ψ∈C[R,(0,∞)](R=(-∞,+∞)),q∈C[[t_0,∞),[0,∞)]且在任意的区间(t,∞)(t≥t_0)上不恒等于0,f∈C’[R,R],g∈C[R,R]。关于微分方程振动性的定义,如通常定义,不再详述。在下面的定理中,以下条件将要用到:     

m序列的移位相加性

本文用反例说明一般的q(q>2)元m序列不具有移位相加性,指出了文[1]的一个疏忽,证明了移位相加是二元m序列所具有的特性。     

不变性在线性代数中应用两例

本介绍数学中“不变性”思想，讨论了线性代数中某种条件下秩数不变、特征多项式带征值不变；对称性、半正定、正定性不变；以及度量性不变，一以初等变换为首要方法，解决线性代数中一类重要问题，阐述了矩阵或线性方程组线性变换的本质。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

一般区域上在边界退化的拟线性抛物方程的第—初边值问题

对有界域上拟线性抛物方程第一初边值问题，二阶退化拟线性抛物方程初边值问题已有丰富的成果，可见［１］，［２］，［３］，但对任意域上方程的工作则不多见．在此文中，我们讨论任意区域上在边界退化的拟线性抛物方程初边值问题的存在性．     

调和级数与P级数敛散性的简单证法

关于p级数sum from n=1 to ∞ (1/n~p)的敛散性,Cohen和Knight于1979年在(Mathematic Magazine)(Vol.52(1979),No 3)中给出了一个简单的证法;本文则给出又一个简单的证法,同时本文还给出调和级数发散的一个更为简洁的证     

具有随机窗宽核估计的一致强相合性

设 X_1,…,X_m i.i.d.是取值于 R~n 中的随机向量,X_1 有概率密度 f(x),取正随机变量 H_m(x,ω)=H_m(x,X_2(ω),…,(ω))为随机窗宽,f(x)的核估计与最近邻估计分别如下:f_m(x)=(mH_m~n(x,ω))~(-1)sum from i=1 to m K((X_i-x)/H_m(x,w))f_m(x)=(ma_m~n(x,w))~(-1) sum from i=1 to m K((X_i-x)/a_m(x,w)),m≥1,x∈R~n.假定 K 为 R~n 中有界变差函数,当 f(x)与 K(x)的条件比[1]弱时,我们讨论了 f_m(x)与 f_m(x)的一致强相合性。本文所得随机窗宽的结果与[1]中常数窗宽的结果相同,这些结果也比[2]和[5]中的要好。