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

1988年, 第1卷, 第1期 刊出日期:1988-08-15
  

  • 全选
    |
    论文
  • Wu Wenjun
    Journal of Systems Science and Complexity. 1988, 1(1): 1-017.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    This is the third paper of the series entitled “A mechanization method of geometryand its applications”, cf.[WU3—5]. In the present paper it is shown how inequalities can be proved by means of the author's Zero Decomposition Theorem of equations solving Numerous examples are given which deal with definiteness of polynomials, inequalities between symmetric polynomials, trigonometrical inequalities, and geometric inequalities.
  • Liu Guizhen
    Journal of Systems Science and Complexity. 1988, 1(1): 18-021.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    If a matroid M without loops has basic corank γ_1 and 2-corank γ_2, and G is a base graph of M, then k(G)≥2γ_1+γ_2 where k(G) denotes the connectivity of G.
  • Yao Jingqi
    Journal of Systems Science and Complexity. 1988, 1(1): 22-028.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this paper we consider the following nonlinear Schr\"{o}dinger equation: iu_t+Δu+|u|~2u=0 in R~3×R_+,u(0)=u_0∈H~2(R~3). First we give a sufficient condition on the initial data which guarantees the existence of its global solutions. Then an asymptotic decay result of the solutions is obtained.
  • Li Banghe;Zhang Jijiang
    Journal of Systems Science and Complexity. 1988, 1(1): 29-039.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    The Dedekind Completion ~*R of a nonstandard real field ~*R is studied. Topological andalgebraic properties of two subsets of ~*R consisting of additive universal numbers and multiplicative universal numbers respectively are exhibited. From this, we introduce a kind of new non-Archimedean fields, generalizing A.Robinson's ~ρR. We prove that these fields are real closed fields, and study the integer rings, rational fields, fields of algebraic numbers and rings of algebraic integers subordinate tothese fields.
  • Sun Shunhua
    Journal of Systems Science and Complexity. 1988, 1(1): 40-046.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    A Krein space approach to the operator version of the corona problem (denoted by(CPOV)) for both disk and polydisk is presented in this paper. In the case of polydisk, what we exhibit is only a necessary and sufficient condition for(CPOV) to be solved.
  • Feng Dexing;Ding Zhonghai
    Journal of Systems Science and Complexity. 1988, 1(1): 47-056.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    The distributed control approximation of pointwise control for the hyperbolic system isconsidered. First, it is, shown that there is a unique solution in C([0,T];L~2(Ω))for the hyperbolic system with pointwise input. Then an approximate technique of the hyperbolic pointwise input system isproposed, and it is proved that the solution of the obtained approximate equation converges in L~2-norm to that of the original pointwise input system. Finally, it is shown that under the quadratic index, the corresponding approximate optimal control is also convergent in L~2-norm.
  • Guo Lei;Chen Hanfu
    Journal of Systems Science and Complexity. 1988, 1(1): 57-071.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    The adaptive control problem for stochastic systems with unmodelled dynamics is considered. The modelled part of the system is described by an ARMAX model which may not be of minimum phase, while the unmodelled part is dominated by a time-varying quantitydepending upon the systen past input, output and driven noise. The adaptive control law is designed based on a pseudo-linear regression algorithm and a pole-assignment method. Robustness results with regard to stability, performance and convergence are established.
  • J. P. Monnet
    Journal of Systems Science and Complexity. 1988, 1(1): 72-093.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    The high-degree finite element solution of the 2-point boundary value problem: -(p(t)u′(t))′=f(t,u) in (0,1), u(0)=u(1)=0 is considered as a fixed-point of an iterative process using a linear finite element scheme as abasic solver. The rate of contraction is O(h), or O(h~2) if P(t) is piecewise constant in (0,1).
  • Lin Aizhong
    Journal of Systems Science and Complexity. 1988, 1(1): 94-098.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Taking a systen as a 3-tuple, the definition of atomic system and weighted sum are introduced. Though the multistage system analysis, the information passing matrices of all atomic systems(or cells) are obtained and combined, step-by-step, by certain criteria. Also, two methods are used to form the optimum architecture of a system. The semethods can free the system designer from such work as modular dividing and so on.