松弛型并行多分裂方法解非线性方程组的安全界

本文对某些非线性方程组F(x)=0,导出了一个算法,用它可以迭代建立F(x)=0的解的紧致上、下界。算法基于某些矩阵的多分裂,因此具有自然的并行性。我们证明了趋向于解的界之收敛原则,给出了参数的收敛性区域并考察了方法的收敛速度。     

A fixed-point equation for the high-temperature phase of discrete lattice spin systems

A fixed-point equation on an infinite-dimensional space is proposed as an alternative to the usual definition of the infinite-volume limit in discrete lattice spin systems in the high-temperature phase. It is argued heuristically that the free energy and correlation functions one obtains by solving this equation agree with the usual definitions of these quantities. A theorem is then proved that says that if a certain finite-volume condition is satisfied, then this fixed-point equation has a solution and the resulting free energy is analytic in the parameters in the Hamiltonian. For particular values of the temperature this finite-volume condition may be checked with the help of a computer. The two-dimensional Ising model is considered as a test case, and it is shown that the finite-volume condition is satisfied for0.77 _critical.     

广义线性系统的输出反馈和极点配置

研究了广义线性系统的输出反馈和极点配置问题。引入“正常化”概念,从而推导出类似于正常线性系统有关输出反馈和极点配置问题的一些重要结论。     

离散大系统的多级控制

本文使用反馈控制和广义逆矩阵研究离散大系统的多级控制问题,即在局部控制器上加所谓“校正”控制器,达到中性关联作用,使整个系统的性能指标为极小,且得到较小的性能指标偏差的上界。     

Stochastic flows on a countable set: Convergence in distribution

Consider a sequenceF ₁,F ₂,... of i.i.d. random transformations from a countable setV toV. Such a sequence describes a discrete-time stochastic flow onV, in which the position at timen of a particle that started at sitex isM _n(x), whereM _n =F _n F _n–1 F ₁. We give conditions on the law ofF ₁ for the sequence (M _n) to be tight, and describe the possible limiting law. an example called the block charge model is introduced. The results can be formulated as a statement about the convergence in distribution of products of infinite-dimensional random stochastic matrices. In practical terms, they describe the possible equilibria for random motions of systems of particles on a countable set, without births or deaths, where each site may be occupied by any number of particles, and all particles at a particular site move together.     

Schedule-an expert-like system for machine scheduling

The construction of an expert-like system for machine scheduling called SCHEDULE is presented. Essential parts of SCHEDULE were developed by students in a laboratory course Operations Research on Microcomputers at the University of Karlsruhe, Germany. SCHEDULE consists of the components data base, knowledge base, inference engine, explanation facility, dialog component, and knowledge acquisition component. The knowledge base contains an algorithm base for solving different types of scheduling problems. To establish the rules of the knowledge base the well-known three-field classification of deterministic machine scheduling problems and the concept of the reduction digraph are exploited. Experiences gained during building and demonstrating SCHEDULE are reported.     

A remark on the KAM theorem applied to a four-vortex system

We consider a planar four-vortex system with unit intensities and apply the KAM theorem for two-dimensional tori with fixed frequency. We obtain a rigorous lower bound for the stochasticity threshold of the torus with rotation number=(5—1)/2 and compare our result with numerical experiments.     

电话管理信息处理计算机系统

本文从话务、线务、机务和固定资产管理四个方面建立了“电话管理信息处理计算机系统”。该系统对院校电话管理实现信息处理现代化具有重要作用。也可引用到企业和其它事业单位。     

CEDS—MD系统的数据 模型及处理

CEDS-MD是为彩色电视机机壳结构设计研制的专用微机CAD系统,本文介绍了系统的数据分类,表示模型的选取,数据处理方法及相应的文件系统.