软件可靠性模型和估计

本文根据何国伟提出的软件可靠性模型,特别是输入空间和输入分布的概念,分析软件测试数据特征,给出软件可靠性的点估计和置信下界的计算公式。     

Estimation of systems with statistically-constrained inputs

This paper discusses the estimation of a class of discrete-time linear stochastic systems with statistically-constrained unknown inputs (UI), which can represent an arbitrary combination of a class of un-modeled dynamics, random UI with unknown covariance matrix and deterministic UI. In filter design, an upper bound filter is explored to compute, recursively and adaptively, the upper bounds of covariance matrices of the state prediction error, innovation and state estimate error. Furthermore, the minimum upper bound filter (MUBF) is obtained via online scalar parameter convex optimization in pursuit of the minimum upper bounds. Two examples, a system with multiple piecewise UIs and a continuous stirred tank reactor (CSTR), are used to illustrate the proposed MUBF scheme and verify its performance.     

Using the natural 15N abundance to assess the main nitrogen inputs into the sand dune area of the North-Western Negev desert (ISRAEL)

The variation of the natural ¹⁵N abundance is often used to evaluate the origin of nitrogen or the pathways of N input into ecosystems. We tried to use this approach to assess the main input pathways of nitrogen into the sand dune area of the north-western Negev Desert (Israel). The following two pathways are the main sources for nitrogen input into the system:

1. Biological fixation of atmospheric nitrogen by cyanobacteria present in biological crusts and by N₂-fixing vascular plants (e.g. the shrub Retama raetam);

2. Atmospheric input of nitrogen by wet deposition with rainfall, dry deposition of dust containing N compounds, and gaseous deposition.

Samples were taken from selected environmental compartments such as biological crusts, sand underneath these crusts (down to a depth of 90?cm), N₂-fixing and non-N₂-fixing plants, atmospheric bulk deposition as well as soil from arable land north of the sandy area in three field campaigns in March 1998, 1999 and 2000. The δ¹⁵N values measured were in the following ranges: grass ?2.5‰ to +1.5‰; R. reatam: +0.5‰ to +4.5‰; non-N₂-fixing shrubs +1‰ to +7‰; sand beneath the biological crusts +4‰ to +20‰ (soil depth 2–90?cm); and arable land to the north up to 10‰. Thus, the natural ¹⁵N abundance of the different N pools varies significantly. Accordingly, it should be feasible to assess different input pathways from the various ¹⁵N abundances of nitrogen. For example, the biological N fixation rates of the Fabaceae shrub R. reatam from the ¹⁵N abundances measured were calculated to be 46–86% of biomass N derived from the atmosphere. The biological crusts themselves generally show slight negative ¹⁵N values (?3‰ to ?0.5‰), which can be explained by biological N fixation. However, areas with a high share of lichens, which are unable to fix atmospheric nitrogen, show very negative values down to ?10‰. The atmospheric N bulk deposition, which amounts to 1.9–3.8?kg?N/ha?yr, has a ¹⁵N abundance between 4.4‰ and 11.6‰ and is likely to be caused by dust from the arable land to the north. Thus, it cannot be responsible for the very negative values of lichens measured either. There must be an additional N input from the atmosphere with negative δ¹⁵N values, e.g. gaseous N forms (NO _x , NH₃). To explain these conflicting findings, detailed information is still needed on the wet, particulate and gaseous atmospheric deposition of nitrogen.     

Plastic Plate Bending Problem with Friction on the Boundary and Uncertain Input Data

A thin plate made of a plastic material obeying the Hencky–Mises stress-strain law is considered. On a part of the boundary displacements and/or rotations with friction are prescribed. The model leads to a variational inequality of the second kind with a nonlinear monotone operator. Since the material function, loading, and friction coefficients are uncertain, we employ the worst scenario method. The existence of a worst scenario and a convergence of approximate solutions is proved.     

Quantized-states-based adaptive control against unknown slippage effects of uncertain mobile robots with input and state quantization

An adaptive tracking design strategy based on quantized state feedback is developed for uncertain nonholonomic mobile robots with unknown wheel slippage effects. All state variables and control torques are assumed to be quantized by the state and input quantizers, respectively, in a network control environment. Thus, the quantized state feedback information is only available for the tracking control design. An approximation-based adaptive controller using quantized states is recursively designed to ensure the robust adaptive tracking against unknown wheel slippage effects where the quantized-states-based adaptive mechanism is derived to compensate for unknown wheel slippage effects, system nonlinearities, and quantization errors. The boundedness of the quantization errors and estimated parameters in the closed-loop system is analyzed by presenting some theoretical lemmas. Based on these lemmas, we prove the uniform ultimate boundedness of closed-loop signals and the convergence of the trajectory tracking error in the presence of wheel slippage effects. Simulations verify the effectiveness of the resulting tracking scheme.     

Analysis of the dynamical behavior for enzyme-catalyzed reactions with impulsive input

Previous work has concentrated on the nature and validity of this reactions. In the paper, the dynamical behavior of Michaelis–Menten type kinetics for enzyme-catalyzed biochemical reactions is studied. Under the practical background, we investigate the effects of impulsive substrate-input.      

On realistic terrains

We study worst-case complexities of visibility and distance structures on terrains under realistic assumptions on edge length ratios and the angles of the triangles, and a more general low-density assumption. We show that the visibility map of a point for a realistic terrain with n triangles has complexity . We also prove that the shortest path between two points p and q on a realistic terrain passes through triangles, and that the bisector of p and q has complexity . We use these results to show that the shortest path map for any point on a realistic terrain has complexity , and that the Voronoi diagram for any set of m points on a realistic terrain has complexity and . Our results immediately imply more efficient algorithms for computing the various structures on realistic terrains.     

The control of chaotic systems with unknown parameters and external disturbance via backstepping‐like scheme

This article addresses the adaptive control of chaotic systems with unknown parameters, model uncertainties, and external disturbance. We first investigate the control of a class of chaotic systems and then discuss the control of general chaotic systems. Based on the backstepping‐like procedure, some novel criteria are proposed via adaptive control scheme. As an example to illustrate the application of the proposed method, the control and synchronization of the modified Chua's chaotic system is also investigated via a single input. Some numerical simulations are given to demonstrate the robustness and efficiency of the proposed approach. © 2016 Wiley Periodicals, Inc. Complexity 21: 573–583, 2016     

RBF‐based discrete sliding mode control for robust tracking of uncertain time‐delay systems with input nonlinearity

In this article, a control scheme combining radial basis function neural network and discrete sliding mode control method is proposed for robust tracking and model following of uncertain time‐delay systems with input nonlinearity. The proposed robust tracking controller guarantees the stability of overall closed‐loop system and achieves zero‐tracking error in the presence of input nonlinearity, time‐delays, time‐varying parameter uncertainties, and external disturbances. The salient features of the proposed controller include no requirement of a priori knowledge of the upper bound of uncertainties and the elimination of chattering phenomenon and reaching phase. Simulation results are presented to demonstrate the effectiveness of the proposed scheme. © 2015 Wiley Periodicals, Inc. Complexity 21: 194–201, 2016