1995年, 第15卷, 第3期　刊出日期：1995-07-25

  

• 全选
  |

论文
• Select
  Stokes问题的一种新的混合有限元逼近

  林群;潘建华;周爱辉

  系统科学与数学. 1995, 15(3): 193-199. https://doi.org/10.12341/jssms09154

  摘要 ( ) PDF全文 ( )   可视化   收藏

  为了求解Ｓｔｏｋｅｓ问题，本文构造出了一类新的满足ＢＢ－条件的有限元空间对，并给出了相应的超收敛分析．
• Select
  几何定理机器证明的WE完全方法

  张景中;杨路;侯晓荣

  系统科学与数学. 1995, 15(3): 200-207. https://doi.org/10.12341/jssms09147

  摘要 ( ) PDF全文 ( )   可视化   收藏

  在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算实例．
• Select
  离散事件动态系统研究中图论方法的某些应用

  蔡茂诚田丰;马仲蕃

  系统科学与数学. 1995, 15(3): 208-211. https://doi.org/10.12341/jssms09152

  摘要 ( ) PDF全文 ( )   可视化   收藏

  因为许多离散生产过程都可以用离散事件系统描述，所以离散事件动态系统有很强的实用背景，例如柔性制造系统，因此，受到国内外的广泛注意和重视，进行深入研究，已获得一些很重要的理论结果．本文试图用图论的观点和方法，对离散事件动态系统的某些重要结果予以注释和新的证明，并探讨图论在该领域研究中的进一步应用．
• Select
  算子值加权模式在Banach空间的实现理论

  朱尚伟;伍镜波

  系统科学与数学. 1995, 15(3): 212-221. https://doi.org/10.12341/jssms09148

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文处理能在Ｂａｎａｃｈ空间中实现的线性连续时间系统．这里，输入、输出和状态空间都是无穷维Ｂａｎａｃｈ空间．我们证明：加权模式有Ｂａｎａｃｈ空间实现的充要条件是它强连续且为指数阶．对状态算子是解析半群的无穷小生成元的情况，得到了Ｂａｎａｃｈ空间实现的存在性定理．所有定理都是在时间域中给出的．
• Select
  关于双重时序AR-MA模型的相关结构及与ARMA模型的比较

  卢祖帝

  系统科学与数学. 1995, 15(3): 222-230. https://doi.org/10.12341/jssms09150

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文在文［４］的基础上讨论了双重时序ＡＲ（１）－ＭＡ（ｑ）模型的相关结构，在不假定白噪声序列为正态的情况下，证明了安鸿志［２］关于模型的相关结构的猜想是正确的，具体地构造了ＡＲ（１）－ＭＡ（３）模型的相关结构，并与ＡＲＭＡ模型进行了初步的比较，给出了一些抛砖引玉的讨论．
• Select
  一个半参数模型渐近有效估计的构造

  梁华;成平

  系统科学与数学. 1995, 15(3): 231-243. https://doi.org/10.12341/jssms09145

  摘要 ( ) PDF全文 ( )   可视化   收藏

  对半参数回归模型Ｙ＝ＸＴβ十ｇ（Ｔ）＋ε，分别在ε的密度函数已知、未知的情况下，构造出了β的渐近有效估计．
• Select
  抛物型方程描述的时滞直接控制系统的振动性

  谢胜利

  系统科学与数学. 1995, 15(3): 244-253. https://doi.org/10.12341/jssms09146

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文讨论了抛物型偏泛函微分方程描述的直接控制系统的振动性，获得了若干充分条件．
• Select
  混合序列加权和的强收敛性

  杨善朝

  系统科学与数学. 1995, 15(3): 254-265. https://doi.org/10.12341/jssms08706

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文给出混合序列加权和的强收敛性的一些充分条件，这些结论推广和改进了文［１］定理３，文［２］定理３；文［３］定理４．１５以及文［４］定理４．
• Select
  Cayley图的边Hamilton性

  李登信

  系统科学与数学. 1995, 15(3): 266-268. https://doi.org/10.12341/jssms09168

  摘要 ( ) PDF全文 ( )   可视化   收藏

  设Ｘ是有限群Ｇ的一个生成集．Ｃａｙ（Ｘ：Ｇ）表示生成集为Ｘ的Ｇ上的Ｃａｒｌｅｙ图，其顶点集为Ｇ，其边集为所有无序对［ａ，ｂ］组成的集合，其中ａ，ｂ∈Ｇ，ａ－１ｂ∈Ｘ∪Ｘ－１（Ｘ－１＝｛ｘ－１｜ｘ∈Ｘ｝）．若图的每条边都在的Ｈａｍｉｌｔｏｎ圈上，则称图是边－Ｈａｍｉｌｔｏｎ图．本文证明了：当Ｇ为ｐ－群或Ｈａｍｉｌｔｏｎ群时，若Ｘ含有Ｇ的中心元，则Ｃａｙ（Ｘ：Ｇ）是边－Ｈａｍｉｌｔｏｎ图．
• Select
  年龄结构的致命性传染病控制模型

  郭宝珠

  系统科学与数学. 1995, 15(3): 269-278. https://doi.org/10.12341/jssms09171

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文在Ｂｒａｕｅｒ［１３］的基础上建立了一个致命性大范围传染病的年龄结构分布控制模型（这是一个具有非局部边界条件的偏微分方程组），证明了解的存在唯一性并分析了定常系统的非负平衡态的存在性，建立了相应的稳定性及其收敛性定理．
• Select
  单调线性互补问题的最小原则(Ⅰ)

  李彦君;汪寿阳;王日爽

  系统科学与数学. 1995, 15(3): 279-285. https://doi.org/10.12341/jssms09169

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文的主要结果可概括为以下两部分：１．在文［１］基础上给出单调线性互补问题（ＭＬＣＰ）最小原则的形式和提出在有限步内可求出ＭＬＣＰ解集的两种方法；２．导出仅用ＭＬＣＰ的一个解的梯度和约束集即可刻划ＭＬＣＰ解集的充要条件．
• Select
  一类泛连通无爪图

  殷志祥

  系统科学与数学. 1995, 15(3): 286-288. https://doi.org/10.12341/jssms09165

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文证明了如果Ｇ是３连通无爪图，且Ｇ的每个导出子图Ａ，Ａ＋都满足（ａ１，ａ２），则Ｇ是泛连通图（除了当ｕ，ｖ∈Ｖ（Ｇ），ｄ（ｕ，ｖ）＝１时，Ｇ中可能不存在（ｕ，ｖ）－ｋ路外，这里２≤ｋ≤４）．