Automated derivation of optimal regulators for nonlinear systems by symbolic manipulation of Poisson series

Concepts of programmability and compact programmability are defined relative to a class of modified Poisson series. Lie-series-based canonical perturbation methods from astrodynamics are applied to the Hamiltonian system boundary-value problem, and more usual methods are applied to the perturbed Hamilton-Jacobi-Bellman partial differential equation, in order to obtain a complete set of equations for the perturbed optimal feedback control law for both infinite-time and finite-time regulator problems. The relative advantages of each approach are evaluated. A major aim of the paper is to determine the largest class of perturbations, within the set of Poisson series, for which the equations can be derived on a computer by symbolic manipulation. The more general the class, the more accurate the perturbation solution can be, for a given order. The solutions developed are complete; all that remains is to program them in order to have computerized derivations of the optimal nonlinear feedback control laws.This research was supported by NSF Grant No. ENG-78-10232. This paper was presented at the 1982 Conference on Information Sciences and Systems, Princeton, New Jersey, and appears in the Proceedings.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

激励销售与准确预测的薪酬机制设计

由于销售人员具有比厂商更多的销售信息，厂商在制定生产计划时需要参考来自销售人员的市场预测。传统的薪酬机制在引导销售人员如实上报预测量方面存在严重不足。Gonik机制虽然可以部分地弥补这一不足，但仍然要由厂商先提供参考定额和相应奖金数值。本发展了一种不需要厂商提供参考定额值而直接由销售人员自己参与提出定额确定奖金并努力销售的薪酬机制。章论证了它的有效性，并导出了在设计合同参数时，需要注意的一些规则和约束，对实际操作有一定的指导意义。     

5D Dirac Equation in Induced-Matter Theory

According to an induced-matter approach, Liu and Wesson obtained the rest mass of a typical particle from the reduction of a 5D Klein–Gordon equation to a 4D one. Introducing an extra-dimension momentum operator identified with the rest mass eigenvalue operator, we consider a way to generalize the 4D Dirac equation to 5D. An analogous normal Dirac equation is gained when the generalization reduces to 4D. We find the rest mass of a particle in curved space varies with spacetime coordinates and check this for the case of exact solitonic and cosmological solution of the 5D vacuum gravitational field equations.     

Note: An Unusual Route to General Relativity Equation in Presence of Dust in Irrotational Motion

We show that the general relativity theory equation, in presence of pressureless matter (dust) in irrotational motion, can be recovered from a scalar-tensor like variational approach. In this approach, the kinetic energy, , of a dynamical scalar field , couples directly to gravity. The lagrangian, exempt of explicit matter term, is varied in the framework of the first order formalism, and a conformal transformation, restoring riemannian geometry, is made. In this approach, it turns out that a non-empty spacetime is necessarily four-dimensional.     

用半波带法讨论单缝夫琅和费衍射的课件演示与制作

根据半波带法的思路，介绍了利用计算机课件演示对单缝夫琅和费衍射的条纹光强与衍射角之间的关系，以便有效地化解教学难点，帮助学生对该知识点形成清晰的认识和深化理解，同时对课件制作要点作了简要说明。     

Universality principle and the development of classical density functional theory

The universality principle of the free energy density functional and the ‘test particle' trick by Percus are combined to construct the approximate free energy density functional or its functional derivative. Information about the bulk fluid radial distribution function is integrated into the density functional approximation directly for the first time in the present methodology. The physical foundation of the present methodology also applies to the quantum density functional theory.     

半导体超晶格属性的高分辨率X射线衍射研究

详细阐述了低维半导体材料的X射线衍射的动力学理论和运动学理论从高木陶平(T-T)方程出发,基于波动光学原理,推导出任意结构的多层膜的X射线衍射振幅的递推关系式并编写X射线衍射的程序,分别用动力学和运动学衍射理论模型模拟了20层GaAlAs/GaAs超晶格的X射线衍射结果,得到超晶格样品的结构参量.     

GENERAL MINIMAX ESTIMATORS ON THE LOCATION MATRIX OF A MIXTURE OF NORMALS

This paper considers the estimate problem on the mean matrix of mixtureof normals. In order to evaluate estimators of the mean matrix, a fundamental frameof Ф-(general) decision problem is established. Under the frame, a class of Ф-minimax estimators are constructed.     

THE RELATION BETWEEN SIGN-CHANGING SOLUTION AND POSITIVE-NEGATIVE SOLUTIONS FOR NONLINEAR OPERATOR EQUATIONS AND ITS APPLICATIONS

By fixed point index theory and a result obtained by Amann, existence of the solution for a class of nonlinear operator equations x=Ax is discussed. Under suitable conditions, a couple of positive and negative solutions are obtained. Finally, the abstract result is applied to nonlinear Sturm-Liouville boundary value problem, and at least four distinct solutions are obtained.