This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and bo...

Abstract. The main contribution of the current paper is to propose a new effective numerical method for solving the first-order linear matrix differential equations. Properties of the Legendre basis operational matrix of integration together with a collocation method are applied to reduce the problem to a coupled linear matrix equations. Afterwards, an iterative algorithm is examined for solvin...

Description: A thoroughly updated and revised look at system reliability theory Since the first edition of this popular text was published nearly a decade ago, new standards have changed the focus of reliability engineering and introduced new concepts and terminology not previously addressed in the engineering literature. Consequently, the Second Edition of System Reliability Theory: Models, St...

Background: This study investigated the correlation between risk-taking and relapse among methamphetamine (MA) abusers undergoing the Matrix Model of treatment. Methods: This cross-sectional study was conducted on male patients who were stimulant drug abusers undergoing the matrix treatment in the National Center for Addiction Research. A sampling was done using the availability method includin...

‎in this paper‎, ‎a numerical procedure for an inverse problem of‎ ‎simultaneously determining an unknown coefficient in a semilinear ‎parabolic equation subject to the specification of the solution at‎ ‎an internal point along with the usual initial boundary conditions ‎is considered‎. ‎the method consists of expanding the required‎ ‎approximate solution as the elements of the inverse quadrati...

in this paper, an optimal control of quadratic performance index with nonlinear constrained is presented. the sine-cosine wavelet operational matrix of integration and product matrix are introduced and applied to reduce nonlinear differential equations to the nonlinear algebraic equations. then, the newton-raphson method is used for solving these sets of algebraic equations. to present ability ...

in this paper rationalized haar (rh) functions method is applied to approximate the numerical solution of the fractional volterra integro-differential equations (fvides). the fractional derivatives are described in caputo sense. the properties of rh functions are presented, and the operational matrix of the fractional integration together with the product operational matrix are used to reduce t...

This paper proposes new admittance matrix models to approach the behavior of fully-differential Operational Transresistance Amplifiers (OTRAs) and Current Operational Amplifiers (COAs). The infinity-variables method is used in order to derive the new generalized models. As a consequence, standard nodal analysis being improved to compute fully-symbolic small-signal characteristics of fullydiffer...

in this paper, we use a combination of legendre and block-pulse functionson the interval [0; 1] to solve the nonlinear integral equation of the second kind.the nonlinear part of the integral equation is approximated by hybrid legen-dre block-pulse functions, and the nonlinear integral equation is reduced to asystem of nonlinear equations. we give some numerical examples. to showapplicability of...