教学质量的时齐马尔可夫链评估法

本文研究了教学质量评估中的一种定量分析方法──时齐马尔可夫链评估法．阐明了这种方法的理论依据及其实施程序、并指出它较之其他教学质量评估法更显合理．     

A convection/reaction/switching system

We consider a spatially distributed hybrid system consisting of a convection/reaction system in which the reaction switches discontinuously in time between modes, independently at each spatial point on reaching “switching thresholds”. The model involves a novel formulation for evolution of the free boundary between the modal regions.     

Two differential equation systems for equality-constrained optimization

This paper presents two differential systems, involving first and second order derivatives of problem functions, respectively, for solving equality-constrained optimization problems. Local minimizers to the optimization problems are proved to be asymptotically stable equilibrium points of the two differential systems. First, the Euler discrete schemes with constant stepsizes for the two differential systems are presented and their convergence theorems are demonstrated. Second, we construct algorithms in which directions are computed by these two systems and the stepsizes are generated by Armijo line search to solve the original equality-constrained optimization problem. The constructed algorithms and the Runge–Kutta method are employed to solve the Euler discrete schemes and the differential equation systems, respectively. We prove that the discrete scheme based on the differential equation system with the second order information has the locally quadratic convergence rate under the local Lipschitz condition. The numerical results given here show that Runge–Kutta method has better stability and higher precision and the numerical method based on the differential equation system with the second information is faster than the other one.     

Existence of a solution for two phase flow in porous media: The case that the porosity depends on the pressure

In this paper we prove the existence of a solution of a coupled system involving a two phase incompressible flow in the ground and the mechanical deformation of the porous medium where the porosity is a function of the global pressure. The model is strongly coupled and involves a nonlinear degenerate parabolic equation. In order to show the existence of a weak solution, we consider a sequence of related uniformly parabolic problems and apply the Schauder fixed point theorem to show that they possess a classical solution. We then prove the relative compactness of sequences of solutions by means of the Fréchet-Kolmogorov theorem; this yields the convergence of a subsequence to a weak solution of the parabolic system.     

On Linear-Time Algorithms for the Continuous Quadratic Knapsack Problem

We give a linear time algorithm for the continuous quadratic knapsack problem which is simpler than existing methods and competitive in practice. Encouraging computational results are presented for large-scale problems. The author thanks the Associate Editor and an anonymous referee for their helpful comments.     

The effect of multiple optima on the simple GA run-time complexity

Genetic algorithms are stochastic search algorithms that have been applied to optimization problems. In this paper we analyze the run-time complexity of a genetic algorithm when we are interested in one of a set of distinguished solutions. One such case occurs when multiple optima exist. We define the worst case scenario and derive a probabilistic worst case bound on the number of iterations required to find one of these multiple solutions of interest.     

Robust Dynamics and Control of a Partially Observed Markov Chain

In a seminal paper, Martin Clark (Communications Systems and Random Process Theory, Darlington, 1977, pp. 721–734, 1978) showed how the filtered dynamics giving the optimal estimate of a Markov chain observed in Gaussian noise can be expressed using an ordinary differential equation. These results offer substantial benefits in filtering and in control, often simplifying the analysis and an in some settings providing numerical benefits, see, for example Malcolm et al. (J. Appl. Math. Stoch. Anal., 2007, to appear). Clark’s method uses a gauge transformation and, in effect, solves the Wonham-Zakai equation using variation of constants. In this article, we consider the optimal control of a partially observed Markov chain. This problem is discussed in Elliott et al. (Hidden Markov Models Estimation and Control, Applications of Mathematics Series, vol. 29, 1995). The innovation in our results is that the robust dynamics of Clark are used to compute forward in time dynamics for a simplified adjoint process. A stochastic minimum principle is established.     

Solution bundle for a class of impulsive differential inclusions on Banach spaces

In this paper a class of impulsive differential inclusions is investigated. The existence of solution bundle is proved. And we also construct a nonlinear semigroup of operators on cb(E) (closed-bounded subset of E) to describe the set of attainable states.     

Nonlinear control of systems with multiple equilibria and unknown sinusoidal disturbance

In this paper, nonlinear systems having multiple equilibrium points and low order dynamics are investigated. Roll motions of ships are studied by means of modern nonlinear techniques to exemplify the behavior of such nonlinear systems in the case when they are under the influence of external sinusoidal disturbances with unknown amplitudes. The main objective is to analyze the performance of this system at different operating conditions, including those giving rise to chaos, and to design a controller with an overparameterized structure to stabilize the system at the origin. A nonlinear recursive backstepping controller is proposed and the transient performance is investigated. Lyapunov-based techniques are used to force systematic following of a reference model while introducing a nonlinear parameter estimator to guarantee adaptivity. Robustness problems as well as ways to tune the controller parameters are examined. Simulation results are submitted for the uncontrolled and controlled cases, verifying the effectiveness of the proposed controller. Finally, a discussion and conclusions are given with possible future extensions.