变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。     

动态帧长ALOHA信令在集群移动通信中的应用

本文介绍了在集群动通信中，运用动态帧长ＡＬＯＨＡ信令技术解决信道共用中停产碰撞问题的原理，并具体介绍了ＭＰＴ－１３２７协议的接续原理，特点，信息格式及呼吊建立过程和举例，文中还对动态帧长的算法作了简介。     

Corner spontaneous magnetization

Details are given of a new method allowing an exact calculation of the spontaneous magnetization in the corner as well as along the edge at an arbitrary distance of the corner for a rectangular planar Ising ferromagnet.     

我院申请国家自然科学基金项目情况分析

本文分析了“八五”以来国家自然科学基金项目的现状、前景及我院申报国家自然科学基金项目的获得资助率，并从六个方面探讨提高我院申报国家自然科学基金项目获得资助率的措施与方法．     

The Existence of Periodic Orbits for Higher Dimensional Autonomous Systemswith Small Perturbations

ＴｈｅＥｘｉｓｔｅｎｃｅｏｆＰｅｒｉｏｄｉｃＯｒｂｉｔｓｆｏｒＨｉｇｈｅｒＤｉｍｅｎｓｉｏｎａｌＡｕｔｏｎｏｍｏｕｓＳｙｓｔｅｍｓｗｉｔｈＳｍａｌｌＰｅｒｔｕｒｂａｔｉｏｎｓＪｉａｎｇＬｉｑｉｎｇ（蒋里强）；ＺｈｏｕＹｉ（周毅）；ＦａｎＹｅ（范晔）（...     

Invariants of chaotic Hamiltonian systems

The invariants of chaotic bounded Hamiltonian systems and their relation to the solutions of the first variational equations of the equations of motion are studied. We show that these invariants are characterized by the fact that they either lose the property of differentiability as functions on phase space or that a certain formal power series defined in terms of the derivatives of the invariants has zero radius of convergence. For a specific example, we show that the former possibility appears to apply.     

A Class of Cauchy Problem for Quasilinear Hyperbolic Systems with the Weakly Dissipative Terms

ＡＣｌａｓｓｏｆＣａｕｃｈｙＰｒｏｂｌｅｍｆｏｒＱｕａｓｉｌｉｎｅａｒＨｙｐｅｒｂｏｌｉｃＳｙｓｔｅｍｓｗｉｔｈｔｈｅＷｅａｋｌｙＤｉｓｓｉｐａｔｉｖｅＴｅｒｍｓ￥ＬｉｕＦａｇｕｉ；ＹａｎｇＱｉａｏ（ＮｏｒｔｈＣｈｉｎａＩｎｓｔｉｔｕｔｅｏｆＷａｔｅ...     

Numerical solution of eigenvalue problems for Hamiltonian systems

This paper discusses the numerical solution of eigenvalue problems for Hamiltonian systems of ordinary differential equations. Two new codes are presented which incorporate the algorithms described here; to the best of the author’s knowledge, these are the first codes capable of solving numerically such general eigenvalue problems. One of these implements a new new method of solving a differential equation whose solution is a unitary matrix. Both codes are fully documented and are written inPfort-verifiedFortran 77, and will be available in netlib/aicm/sl11f and netlib/aicm/sl12f.