中国科学院数学与系统科学研究院期刊网

2005年, 第25卷, 第5期 刊出日期:2005-10-25
  

  • 全选
    |
    论文
  • 徐厚宝;柳合龙;于景元;朱广田
    系统科学与数学. 2005, 25(5): 513-524. https://doi.org/10.12341/jssms10284
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论具有临界和非临界操作错误的可修复人机系统. 利用系统算子生成的Banach空间中的正压缩$C_0$半群的性质,证明了此系统的唯一非负时间 依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析, 证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的 一个直接结果,得出了该可修人机系统的渐近稳定性.
  • 李飞;梁惜明
    系统科学与数学. 2005, 25(5): 525-532. https://doi.org/10.12341/jssms10280
    摘要 ( ) PDF全文 ( )   可视化   收藏
    利用变分不等式问题的KKT条件,给出了连续化方法求解变分不等式问题的一般框架, 该框架包含了现存的几种连续方法;并给出一种求解的基本算法, 证明了基本算法的可行性及算法的收敛性;最后用数值试验验证了算法的稳定性和有效性.
  • 任卫云;何震
    系统科学与数学. 2005, 25(5): 533-542. https://doi.org/10.12341/jssms10282
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设$X$为实Banach空间,$T:D(T)\subset X\rightarrow 2^{X^{*}}$为极大单调算子,$C:D(T)\subset X\rightarrow X^{*}$为有界算子(未必连续),而$C(T+J)^{-1}$为紧算子.本文在上述假设条件下, 通过附加一定的边界 条件应用Leray-Schauder 度理论研究了下述包含关系:$0\in\overline{(T+C)(D(T)\cap B_Q(0))},$$\hspace {3mm}0 \in(T+C)(D(T)\cap B_Q(0))$;以及$S\subset\overline{R(T+C)}$,\hspace {1mm} int$S$$\subset$int$ R(T+C)$(其中$S\subset X^{*}$);$B+D\subset\overline{R(T+C)}$,\hspace {3mm}int$(B+D)$$\subset$int$ {R(T+C)}$(其中$B\subset X^{*},D\subset X^{*}$)的可解性,得出了一些新的结论.
  • 杨海涛
    系统科学与数学. 2005, 25(5): 543-549. https://doi.org/10.12341/jssms10278
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论条件正定型与扩张问题.得到了Pontrjagin空间上对称算子的扩张定理.
  • 陈燕来;秦宝侠
    系统科学与数学. 2005, 25(5): 550-561. https://doi.org/10.12341/jssms10292
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过建立一个特殊的锥, 运用锥拉伸与锥压缩不动点定理, 获得了Banach空间中一类非线性混合型奇异积分-微分方程边值问题多 解的存在性.
  • 王勇;詹钟炜;吴凌云;章祥荪
    系统科学与数学. 2005, 25(5): 562-573. https://doi.org/10.12341/jssms10290
    摘要 ( ) PDF全文 ( )   可视化   收藏
    蛋白质结构预测是生物信息学中的重要研究方向.为了研究蛋白质折叠的机理,人们引入了 只考虑蛋白质疏水核心和亲水外围位置导致能量差别的简化~HP~模型.即使是求解二维~HP~模型已被 证明是一个~NP~完全问题,因此需要设计有效的近似算法来求解较大规模的~HP~模型.从旅行商问 题~(TSP)~的求解看,自组织映射是构造近似算法的有效工具.本文将归一化的~F-W~自组织模型应用 到蛋白质二维~HP~问题的求解中,结合为克服多重映射构造的局部线搜索算法.数值试验表明,该 算法改进了现有的~HP~模型的~SOM~求解算法,只需很少的迭代步数就能找到最低能量构象.这一 改进算法可以成为进一步研究的基础.
  • 周永辉;俞建;林志
    系统科学与数学. 2005, 25(5): 574-581. https://doi.org/10.12341/jssms10283
    摘要 ( ) PDF全文 ( )   可视化   收藏
    证明了任意纯策略集是紧度量空间和支付函数连续的$n$人无限非合作对策存在Nash平衡点集的本质连通区.
  • 战新刚;刘桂真
    系统科学与数学. 2005, 25(5): 582-587. https://doi.org/10.12341/jssms10289
    摘要 ( ) PDF全文 ( )   可视化   收藏
    图$G$的$k$-有界染色是图$G$的一个最多有$k$个顶点染同一种颜色的顶点染色. 图$G$的$k$-有界染色数$\chi_{k}(G)$是指对$G$进行$k$-有界染色用的最少颜 色数.本文给出了$n$个顶点的外平面图能用$\lceil \frac{n}{k} \rceil$ 种颜色$k$-有界染色的一些充分条件.
  • 韩军强;钮鹏程;韩亚洲
    系统科学与数学. 2005, 25(5): 588-598. https://doi.org/10.12341/jssms10291
    摘要 ( ) PDF全文 ( )   可视化   收藏
    文章得到了Heisenberg型群上的几类Hardy型不等式, 并确定出了次Laplace算子的Hardy型不等式中的最佳常数.
  • 徐玉梅;刘立山;张海军
    系统科学与数学. 2005, 25(5): 599-607. https://doi.org/10.12341/jssms10288
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究一类奇异边值问题解的存在性及解的迭代, 得到$C[0,1]$正解和$C^1[0,1]$正解存在的 充分必要条件.从本质上改进和推广了赵增勤1998年的工作.
  • 武玉强;顾建忠;冯纯伯
    系统科学与数学. 2005, 25(5): 608-619. https://doi.org/10.12341/jssms10287
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对含有未知时变参数和系统干扰的单输入单输出线性时变系统, 给出了一种输出跟踪变结构鲁棒控制器设计机制.系统参数只要求光滑有界,没有其它限制条件. 通过引入辅助信号和带有记忆功能的正规化信号以及适当选择控制器参数,该变结构控制器能保证 闭环系统所有信号有界,跟踪误差能被调整到任意小.
  • 师文英;王培光
    系统科学与数学. 2005, 25(5): 620-633. https://doi.org/10.12341/jssms10285
    摘要 ( ) PDF全文 ( )   可视化   收藏
    讨论了二阶线性矩阵微分系统$ (P(t)Y'(t))'+Q(t)Y(t)=0$, $t\ge t_0$, 其中$P(t)$,$Q(t)$和$Y(t)$是$n\times n$实连续矩阵函数,$P(t)$和$Q(t)$是对称的 且$P(t)>0$是正定矩阵.利用推广的Riccati变换,采用两种不同的方法,得到了该系统 振动的若干判据. 所得结果推广和改进了已知的相应结果.
  • 马儒宁;陈天平
    系统科学与数学. 2005, 25(5): 634-640. https://doi.org/10.12341/jssms10286
    摘要 ( ) PDF全文 ( )   可视化   收藏
    $R^n$中连续算子的逼近问题的数值方法,一直是计算科学中研究的热点。 本文引进了 新兴的智能机器---支持向量机,以解决$R^n$中连续算子的逼近问题。在给出支持 向量机用于算子逼近问题的详细数学表示之后,我们提出了分块逼近的算法, 并通过具体的实例说明支持 向量机在算子逼近问题中的有效性与优越性。