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

1999年, 第12卷, 第Supplement期 刊出日期:1999-05-15
  

  • 全选
    |
    论文
  • Xia Qi DING;Cai Zhong LI;Fei Min HUANG
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 1-013.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    We consider some hyperbolic systems whose solutions are measures, not theusual functions under certain initial data. By introducing new methods which are generatedfrom a new notion on generalized solution, some results of existence and uniqueness of entropy solution for these systems are obtained. In particular,our results include the case of gas dynamical equations with zero pressure.
  • Ke Qin FENG
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 14-016.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this note we show that the Mason's upper bound of deg(u) for S-units u andv satisfying u + v = 1 over function field K = k(C) can be attained for any algebraicallyclosed coefficient field k and for some hyperelliptic or Artin-Schreier curve C over k with any given genus g>0.
  • Xiao Shan GAO;Shang-Ching Chou
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 17-030.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    We extend the concept of the resolvent of a prime ideal to the concept of theresolvent of a general ideal with respect to a set of parameters and propose an algorithmto construct the generalized resolvents based on Wu-Rits's zero decomposition algorithm.
  • Yan Pei LIU
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 31-042.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    This article provides some new characterizations for testing if a matroid isgraphic. One of them can be seen as a consequence deduced from the Wu's theory on theplanarity of graphs.
  • Zi Ming LI;Dong Ming WANG
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 43-060.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    This paper studies triangular differential systems arising from various decompositions of partial differential polynomial systems. In theoretical aspects, we emphasizeon translating differential problems into purely algebraic ones. Rosenfeld's lemma is extended to a more general setting.
  • Guang Yuan LI;Zhi Song TANG
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 61-069.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Composability is vital to the specification and verification of concurrent systems. This paper is devoted to the composability of XYZ / BE- communicating processes.We show that parallel composition processes preserve all of their components' safty properties.Inaddition, some properties of trace equivalence are also exmined.
  • Qi Keng LU
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 70-073.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    ThefirsttimethatIlearnedtheterm"fiberbundle"fromalecturegivenbyProf.WuWenjunisnearly50yearsago.
  • He SHI
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 74-077.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this note a reduced form of the Yang-Mills equation of SU(2) on Minkowskifour-dimensional flat sapce R~3,1 is obtained via the differential linear transformation. Theexplicit expression of the differential linear transfarnmation is given.
  • Xiao Jing WANG;Jing Zhong ZHANG
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 78-087.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    A new type of the educational software for chemistry based on automatedreasoning with chemical knowledge was successfully developed. This intelligent systemwith the unique style of the interactive functions and the open mode of the knowledgebase has shown not only its notable ability to solve chemical preoblems,to improve the reasoning performance of itself,but also its advantages to provide more opportunities for the users to acquire living knowledge through the interactive ways.
  • Wen Da WU;Zhuo Jun LIU;Dong Dai LIN
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 88-095.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Wu's Characteristic Set Method is a theory that can compute, analyze thestructure of the zeros of a polynomial system. In the past two decades, the practice applications of Wu's method have proved that it is a powerful tool for many problems encousing on the implementation of Characteristic Set method,ELIMINO is a computer mathematics.science,engineering, and industria/social application.
  • Yi HUANG;Jing Qing HAN
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 96-103.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this paper, the SSR approach and some nonlinear approaches are used fordisturbance rejection design and object tracking design. The theoretical analysis and thesimulation results show that the abilities of strong disturbance rejection and smalltracking error can be obtained by nonlinear design approaches and that the response speed and the specitication of no overshoot can be designed separately by the SSR approach.
  • Yi Guang HONG;Dai Zhan CHEN;Hua Shu QIN
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 104-109.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this paper, we use center manifold theory to give a new result aboutthe stabilization of nonlinear systems. First an illustrative example is given to show ourmotivation. Then the main result by means of center manifold and homogeneous stability is proposed,and its application to a generalized form without the usual relative degree because of singularity is given.
  • Xi Jun YU
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 110-121.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    A singlestep characteristic finite difference method is given based on the linear and quadratic interpolations for solving two-dimensional nonlinear convection-diffusionproblems. The convergence of approximate solutions is obtained in L2 under milder restrivtions in the temporal stepsize and spatial stepsize than those required in [1].
  • Zhen Hai LIU
    Journal of Systems Science and Complexity. 1999, 12(Supplement): 122-128.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    In this papaer, existence results for degenerate parabolic boundary valueproblems of second order are proved. The weak solution is sought in a suitable weightedSobolev space by using the generalized degree theory.