二项分布下的一种贝叶斯可靠性验收试验方案

为了合理利用先验信息制定可靠性验收试验方案，以降低验收试验的费用，在进行可靠性定型试验的前提下，提出了一种先验信息加工方法，并根据生产与使用双方实际所关心的风险意义，制定了产品可靠性验收试验的一种贝叶斯方案。算例结果证实，该方案在保证了生产方与使用方利益的前提下，减少了试验量，降低了验收试验费用。说明所提出的先验信息利用方式是有效的。     

Identifying mode shapes and modal frequencies by operational modal analysis in the presence of harmonic excitation

Operational modal analysis techniques allow us to extract the modal properties of structures based on their response to non-measured stationary white noise, i.e., by considering only the system response to operational excitations. In this paper we outline a procedure to deduce modal parameters from operational response measurements. In particular, we discuss a novel approach to analyze operational responses due to unknown harmonic excitation in addition to noise. Structural eigenfrequencies and modal damping are computed using a modified least-squares complex exponential method. Once the poles of the system are identified, mode shapes are obtained by post-processing. The robustness and accuracy of the approach are illustrated by performing tests on a plate structure.     

Necessary and Sufficient Conditions for Weak Quasi Efficiency in Nonsmooth Multiobjective Problems

In this article, a multiobjective problem with a feasible set defined by inequality, equality and set constraints is considered, where the objective and constraint functions are locally Lipschitz. Several constraint qualifications are given and the relations between them are analyzed. We establish Kuhn-Tucker and strong Kuhn-Tucker necessary optimality conditions for (weak) quasi e?ciency in terms of the Clarke subdifferential. By using two new classes of generalized convex functions, su?cient conditions for local (weak) quasi e?cient are also provided. Furthermore, we study the Mond-Weir type dual problem and establish weak, strong and converse duality results.     

Study of the effects of operational parameters on multiresidue pesticide analysis by LC-MS/MS

In this paper, the influence of several operational parameters on a well established multiresidue LC-MS/MS method has been studied in relation to the analysis of 150 pesticides commonly present in vegetable samples. The operational parameters investigated are: (i) the influence of different modifiers (0.1% formic acid; 5 mM ammonium formiate; 5 mM ammonium acetate in aqueous phase) - both on the retention time and on the analytical response of the studied compounds; (ii) the effect of the analytical column's temperature on the retention time and on the analytical response of the pesticides investigated; (iii) the effects of co-elution in mixture containing 150 pesticides and, additionally, (iv) the carrying out of a study about the common transitions obtained by LC-MS/MS. Various common transitions were found among the 150 pesticides, but there were only two problematic cases, the pairs diuron-fluometuron and prometryn-terbutryn, which have common scanned transitions and have very close retention times. The use of ammonium salts as modifier instead of formic acid reports enhancement or suppression of the response depending on the pesticides. No great influence on the retention time or on the response of the pesticides and commodities studied was observed with relation to the column temperature. Two different columns: an HPLC (5 μm particle size) and an UHPLC analytical column (1.8 μm particle size) have been used. As was expected, shorter run times and lower peak width was achieved with the UHPLC column.In this paper, the effect of the compounds on each other in the MS analysis when the number of co-eluting compounds is quite high is also described. Mainly small suppression or enhancement co-elution effect was observed, but some particular pesticides presented high sensitivity (>±60% effect) when they elute together with others. This is an important factor and it has to be taken into account when performing multiresidue pesticide analysis.     

The operational matrices of Bernstein polynomials for solving the parabolic equation subject to specification of the mass

Some physical problems in science and engineering are modelled by the parabolic partial differential equations with nonlocal boundary specifications. In this paper, a numerical method which employs the Bernstein polynomials basis is implemented to give the approximate solution of a parabolic partial differential equation with boundary integral conditions. The properties of Bernstein polynomials, and the operational matrices for integration, differentiation and the product are introduced and are utilized to reduce the solution of the given parabolic partial differential equation to the solution of algebraic equations. Illustrative examples are included to demonstrate the validity and applicability of the new technique.     

Strategies and simulations in a semantic framework

By means of several examples of structural operational semantics for a variety of languages, we justify the importance and interest of using the notions of strategies and simulations in the semantic framework provided by rewriting logic and implemented in the Maude metalanguage. On the one hand, we describe a basic strategy language for Maude and show its application to CCS, the ambient calculus, and the parallel functional language Eden. On the other hand, we show how the concept of stuttering simulation can be used inside Maude to show that a stack machine correctly implements the operational semantics of a simple functional language.     

Associated Laguerre-Konhauser polynomials, quasi-monomiality and operational identities

In this paper we exploit the monomiality principle to discuss and introduce a new class of Laguerre-Konhauser polynomials. We study their properties (differential equations, generating functions, recurrence relations, expansions and so on), and discuss the link with ordinary case.     

Construction d'un ensemble d-dominant sur un graphe en utilisant un critère donnéConstruction of a d-dominating set on a graph by using a given criterion

d-dominating sets in graphs are very important in system and network engineering. Their constructions is thus an important research topic. An heuristic which forms such sets by using a given criterion is proposed. We simplify the heuristic presented elsewhere. We extend it and prove the correctness of the extended heuristic. This heuristic has the advantage of being distributed and scalable. To cite this article: A. Delye de Clauzade de Mazieux et al., C. R. Mecanique 334 (2006).     

Best Approximation and Perturbation Property in Hilbert Spaces

We study the perturbation property of best approximation to a set defined by an abstract nonlinear constraint system. We show that, at a normal point, the perturbation property of best approximation is equivalent to an equality expressed in terms of normal cones. This equality is related to the strong conical hull intersection property. Our results generalize many known results in the literature on perturbation property of best approximation established for a set defined by a finite system of linear/nonlinear inequalities. The connection to minimization problem is considered.The authors thank the referees for valuable suggestions.K.F. Ng - This author was partially supported by Grant A0324638 from the National Natural Science Foundation of China and Grants (2001) 01GY051-66 and SZD0406 from Sichuan Province. Y.R. He -This author was supported by a Direct Grant (CUHK) and an Earmarked Grant from the Research Grant Council of Hong Kong.     

The case for an interval-based representation of linguistic truth

This paper develops an interval-based approach to the concept of linguistic truth. A special-purpose interval logic is defined, and it is argued that, for many applications, this logic provides a potentially useful alternative to the conventional fuzzy logic.The key idea is to interpret the numerical truth value v(p) of a proposition p as a degree of belief in the logical certainty of p, in which case p is regarded as true, for example, if v(p) falls within a certain range, say, the interval [0.7, 1]. This leads to a logic which, although being only a special case of fuzzy logic, appears to be no less linguistically correct and at the same time offers definite advantages in terms of mathematical simplicity and computational speed.It is also shown that this same interval logic can be generalized to a lattice-based logic having the capacity to accommodate propositions p which employ fuzzy predicates of type 2.