Global and uniform convergence of subspace correction methods for some convex optimization problems

This paper gives some global and uniform convergence estimates for a class of subspace correction (based on space decomposition) iterative methods applied to some unconstrained convex optimization problems. Some multigrid and domain decomposition methods are also discussed as special examples for solving some nonlinear elliptic boundary value problems.

     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

Propagation of the Hermite–Gaussian beams through misaligned optical system with a circular aperture

By means of expanding a hard-edged aperture into a finite sum of complex Gaussian functions, the approximate analytical formula of one kind of higher-order Gaussian beams called the Hermite–Gaussian beams (HGBs) passing through circular apertured and misaligned optical system is obtained in this paper. The result provides more convenience for studying its propagation than the usual way by using diffraction integral directly. Some numerical simulations are also given for illustrating the propagation properties of the HGBs through the circular apertured optical systems.     

Time delay as a key to apoptosis induction in the p53 network

A feedback mechanism that involves the proteins p53 and mdm2, induces cell death as a controlled response to severe DNA damage. A minimal model for this mechanism demonstrates that the response may be dynamic and connected with the time needed to translate the mdm2 protein. The response takes place if the dissociation constant k between p53 and mdm2 varies from its normal value. Although it is widely believed that it is an increase in k that triggers the response, we show that the experimental behaviour is better described by a decrease in the dissociation constant. The response is quite robust upon changes in the parameters of the system, as required by any control mechanism, except for few weak points, which could be connected with the onset of cancer. Received 8 May 2002 / Received in final form 9 July 2002 Published online 17 September 2002     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

基于MATLAB(SIMULINK)的电弧炉电极调节系统FUZZY-PD控制器的仿真

介绍了采用MATLAB V5.2提供的模糊逻辑工具箱来设计研究电孤纺电极调节系统中的模糊－－PD控制器，讨论了在SIMULINK环境下模糊－PD控制器的参数自调速原理、结构、建立模糊控制规则库和模糊推论方法，并给出仿真结果与结论。     

醇+N-甲基哌嗪二元体系的体积性质

采用振荡管式数字密度计分别测定甲醇、乙醇、正丙醇、异丙醇、丁正醇和异丁醇与N-甲基哌嗪组成的二元体系在298.15K下的密度，计算了超额摩尔体积、超额偏摩尔体积、表观摩尔体积、偏摩尔体积等体积性质，从分子相互作用角度讨论了这些二元体系的体积性质的变化规律，为N-甲基哌嗪的开发和研究提供基础数据和信息。     

Towards the Evaluation of the Relevant Degrees of Freedom in Nonlinear Partial Differential Equations

We investigate an operator renormalization group method to extract and describe the relevant degrees of freedom in the evolution of partial differential equations. The proposed renormalization group approach is formulated as an analytical method providing the fundamental concepts of a numerical algorithm applicable to various dynamical systems. We examine dynamical scaling characteristics in the short-time and the long-time evolution regime providing only a reduced number of degrees of freedom to the evolution process.     

Algorithms for flattened Gaussian beams passing through apertured and unapertured paraxial ABCD optical systems

The propagation property of flattened Gaussian beams (FGBs) is studied based on the Collins formula, and analytical propagation equations for FGBs with and without an aperture are derived. It is shown that the closed-form expressions for the FGB of order N passing through paraxial ABCD optical systems without an aperture can be written as the combinations of Confluent Hyper-geometric Functions, and that the analytical equations for the FGB of order N passing through apertured paraxial ABCD optical systems may involve Error Functions. The proposed algorithms for the considered beams can save computing time, provide intuitive physical insights, and help to design optical systems. Our results are confirmed and illustrated with numerical examples.