A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
When upgrades are found to be non-substitutable our solution generates constructive feedback to developers showing how to improve the components. ... contributes two techniques for checking correctness of software upgrades: 1) a technique based on simultaneous use of over and under approximations obtained via existential and universal abstractions; 2) a dynamic ... Implementation and Experimental Evaluation We implemented and evaluated the compatibility check phase for checking component substitutability in the COMFORT framework. ...doi:10.1007/11526841_34 fatcat:hlz7ey4mrrapxa5dboulhqfowm
A half diallel mating scheme was conducted based on 6 single segment substitution lines and 9 dual segment pyramiding lines to allow the analysis of 4 epistatic components. ... Epistatic effects were dynamic, occurring mostly within 14d and 21-35d after transplant and exhibited mainly negative effects. ... A half diallel mating scheme was conducted based on 6 single segment substitution lines and 9 dual segment pyramiding lines to allow the analysis of 4 epistatic components. ...doi:10.1038/s41598-020-73047-7 pmid:32985566 pmcid:PMC7523009 fatcat:ej36bl52szazzhemokidozatu4
Finally, some management insights about component substitution and product substitution are investigated by theoretical analysis method. ... to substitute old component to satisfy production demand. ... Optimal Analysis The aforementioned optimization problem is a two-stage stochastic dynamic programming. We need to solve ( , , ) in (2), firstly, then solve the optimization problem in (1). ...doi:10.1155/2013/136074 fatcat:v2z6duwagfdtncqzcjx467ryoy
A complete system of the main landing gear was mapped as a deformable 3D numerical model for dynamic analysis with the use of LS-Dyna code. ... analysis. ... ). 2D model in numerical analysis This part of work shows a methodology of the choice of a transport aircraft main landing gear dynamic substitute feature. ...doi:10.1515/bpasts-2015-0086 fatcat:iph4lqidxje5tnjtjmy42p56dm
Dynamic force components increase with increased insertion speeds and also with increased stiffness of the EC substitutes. Both force components decrease with larger radius of the PTFE model. ... Measurements showed that dynamic and static components of the measured summed forces can be identified. ... Dynamic force components increase with increased insertion speeds and also with increased stiffness of the EC substitutes. ...doi:10.1515/cdbme-2019-0111 fatcat:6gvxkke45zhu5lduvgl4u5nfn4
technical or engineering levels of analysis. ... Emphasis was laid on the support of the future development of integrated energy-economic models covering (a) the key factors or components; (b) the relationships among these components; (c) a quantification ... engineering levels of analysis. ...doi:10.17159/2413-3051/2018/v29i4a3417 fatcat:lbbm35sslzc57mslzka7hse6bq
Traditional real-time systems are reluctant to integrate dynamic behavior since it challenges predictability and timeliness. ... The infrastructure is validated by its implementation in a specific component-based framework. ... In this way, rate monotonic analysis(RMS)  is used in the temporal scheduling of the component substitutions. ...arXiv:1512.04844v1 fatcat:r6vncsn6jbew7iibtmsdsae77e
The global asymptotic stability of the associated guidance law is demonstrated, and a linear analysis is performed to facilitate the proper selection of the relevant control parameters. ... . (3), we have sin V K R V ref ( 7 ) Next, considering the radial velocity component and the substitution of Eqs ... In the figure, the three angles are related by The transverse component of the velocity vector is Next, considering the radial velocity component and the substitution of Eqs. (6) an . ...doi:10.5139/ijass.2016.17.3.366 fatcat:vskhu5p5vjfhrnwz37vs67l5nq
Firstly, the structure is divided into substructures and the perturbation method is employed for the eigenvalue analysis of substructures with the interval non-deterministic characteristics. ... computational efficiency of the large-scale structures with uncertainty parameters, this paper present a methodological approach for interval uncertainty treatment based on an improved free interface Component ... Introduction During the last decades, the FEM has been applied widely in the dynamic analysis of the deterministic models. ...doi:10.21595/jve.2017.17974 fatcat:ne6m6atsozawxnbbzz3jziiqu4
Structural response is associated to the dynamically applied wind and is approached by considering its three components: static, kinematic and energy states. ... The three components of the mechanical state are expressed via base shear force – the static state, lateral story-level displacements – the kinematic state and wind induced energy – the energy state. ... Back substitution of (2) leads to the solution in u(t) in terms of structural parameters and applied dynamic forces. ...doi:10.1515/jaes-2017-0005 fatcat:26dfrlpgcnfulm56u6cjaohmvm
and substitution among its components. ... Five steps of analysis the dynamics of resilience. ∑ Figure 3 . 3 Figure 3. Regional resilience and components every five years in the wheat-sheep production zone in Australia. ...doi:10.1038/s41598-017-09669-1 pmid:28842585 pmcid:PMC5572724 fatcat:r7l6nnis5nd67asfldnge3xaoy
Oliviero Stock <idioms>::=(IDIOMS<idiomentry>+) Parsing with Flexibility, Dynamic Strategies, and Idioms in Mind <idiomentry>::=(<lexicalform><idiom-stat>+SUBSTITUTIONS<idiomsubst> +) <lexicalform>::=T ... Note that the process begins at that precise point, with all the previous literal analysis acquired by the idiomatic analysis. ...
This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a new reconfiguration operation which "substitutes" components ... by other components, and to study its impact on sequences of dynamic reconfigurations. ... For distributed components like Fractal, GCM and ProActive components, the role of automata-based analysis providing a formal basis for automatic tool support is emphasised in  . ...doi:10.4204/eptcs.147.3 fatcat:rleqponakbbfnket7nk66a5jvy
Business and Society
These components are: suppliers, industry rivalry, substitute products, new entrants, and customers. ... The model consists of five major components that affect the competi- tive dynamics of a specific industry. ...
Different from calculating principal components (PCs) by matrix decomposition in traditional principal component analysis (PCA), SIPCE extracts PCs one by one through self-iteration, so SIPCE has lower ... This paper proposes a self-iteration principal component extraction (SIPCE) and direct matrix assembly method for three-dimensional structures. ... Kerschen focused on the physical interpretation of independent component analysis in structural dynamics "For free and random vibrations of weakly damped structures, a one-to-one relationship between the ...doi:10.21595/jve.2017.18819 fatcat:nywtcmbna5cptbsdijrqqpacfa
« Previous Showing results 1 — 15 out of 693,743 results