نتایج جستجو برای: loop matrix
تعداد نتایج: 487434 فیلتر نتایج به سال:
ly, if L ≡ while B do S is a loop, then to check if I is a loop invariant, we need to establish the following conditions: 1. If φ is a precondition at the beginning of L, then φ⇒ I. 2. Furthermore, executing the loop body S with a state satisfying I ∧B, always results in a state satisfying the invariant I. The above checks for validating I are performed by an off-the-shelf decision procedure [4...
This paper will present a design for loop optimizations using high-level loop transformations. We will describe a loop optimization infrastructure based on improved induction variable, scalar evolution, and data dependence analysis. We also will describe loop transformation opportunities that utilize the information discovered. These transformations increase data locality and eliminate data dep...
We investigate the quantum chromodynamics (QCD) corrections to hadronic final states in electron-positron collisions at $\mathcal{O}(\alpha_s^3)$ strong coupling constant $\alpha_s$. Namely, we analytically compute total cross section for this process by separately integrating tree-level five-parton, one-loop four-parton, two-loop three-parton, and three-loop two-parton matrix elements over res...
The most general large N eigenvalues distribution for the one matrix model is shown to consist of tree-like structures in the complex plane. For the m = 2 critical point, such a solution describes the strong coupling phase of 2d quantum gravity (c = 0 noncritical string). It is obtained by taking combinations of complex contours in the matrix integral, and the relative weight of the contours is...
U NDER the assumptions that a plant is completely deterministic and perfectly modeled, either open-loop compensation or closed-loop compensation can be used to achieve a desired overall design. However, the assumptions of determinism and perfect modeling are never satisfied in practice. When these assumptions do not hold, feedback control systems can possess properties such as stability, sensit...
Many highly developed Monte Carlo tools for the evaluation of cross sections based on tree matrix elements exist and are used by experimental collaborations in high energy physics. As the evaluation of one-loop matrix elements has recently been undergoing enormous progress, the combination of one-loop matrix elements with existing Monte Carlo tools is on the horizon. This would lead to phenomen...
This paper presents a robust ∞_H controller design, based on a generalized dynamic observer for uncertain singular systems in the presence of disturbance. The controller guarantees that the closed loop system be admissible. The main advantage of this method is that the uncertainty can be found in the system, the input and the output matrices. Also the generalized dynamic observer is used to est...
background: familial adenomatous polyposis (fap) is a well-known entity for specialistrnand it has near 100% chance of malignant changes if does not managed surgically. in orderrnto reduce the disadvantages of laparatomy and diverting ileostomy we present ourrnresults of laparoscopic total proctocolectomy without diverting ileostomy.rnobjectives: the aim of this study was to present the results...
This paper addresses the problem of rectangular matrix multiplication on bidirectional linear systolic arrays (SAs). We analyze all bidirectional linear SAs in terms of efficiency. We conclude that the efficiency depends on the relation between the loop boundaries in the systolic algorithm (i.e. matrix dimensions). We point out which SA is the best choice depending on the relation between matri...
The State-Dependant Riccati Equation method has been frequently used to design suboptimal controllers applied to nonlinear dynamic systems. Different methods for local stability analysis of SDRE controlled systems of order greater than two such as the attitude dynamics of a general rigid body have been extended in literature; however, it is still difficult to show global stability properties of...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید