Titlebook: System Modelling and Optimization; Proceedings of the 1 L. D. Davisson,A. G. J. MacFarlane,Peter Kall Conference proceedings 1992 Springer-

ANN

Jean-Daniel Boissonnat,Olivier Devillers,Franco P. Preparatare enables software architects to automatically evaluate with the help of software architecture models the effects on quality of using individual features in an existing software architecture. The result helps to automatically evaluate design decisions regarding features and to decide whether their

Chipmunk

束缚

biosphere

Arroyo

下船

harpsichord

H. Bräsel,M. Kleinaun soundness. The method enacts and supports this trade-off analysis using . (SIGs), a visual formalism that provides a holistic view of the positive/negative impacts of, in our case, security smells and refactorings on software quality attributes and design soundness. We also illustrate our method w

CUR

车床

A transformation for solving a discrete-time singular LQ problem,n of the state is proposed for solving the considered problem. The transformation gives the converted state equations having, partially the Luenberger-Brunovský controllable canonical form. Using this form the transformed nonsingular LQ problem with inconstant dimensions of state and control is constructed.

Benign

Fast solution of general nonlinear fixed point problems,ue solution of the problem..We show that in the case where the operator T∈C.∩H., quadratic convergence holds and when T is polyhedric, convergence in a finite number of steps is obtained. Numerical results are shown for an example issued from the field of differential games.