693,743 Hits in 3.5 sec

Dynamic Component Substitutability Analysis [chapter]

Natasha Sharygina, Sagar Chaki, Edmund Clarke, Nishant Sinha
2005 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

Unconditional and conditional analysis of epistasis between tillering QTLs based on single segment substitution lines in rice

Huaqian Zhou, Weifeng Yang, Shuaipeng Ma, Xin Luan, Haitao Zhu, Aimin Wang, Congling Huang, Biao Rong, Shangzhi Dong, Lijun Meng, Shaokui Wang, Guiquan Zhang (+1 others)
2020 Scientific Reports  
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

Inventory Decisions in a Product-Updated System with Component Substitution and Product Substitution

Yancong Zhou, Junqing Sun
2013 Discrete Dynamics in Nature and Society  
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

Multibody rigid models and 3D FE models in numerical analysis of transport aircraft main landing gear

W. Krason, J. Malachowski
2015 Bulletin of the Polish Academy of Sciences: Technical Sciences  
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

Identification of factors influencing insertion characteristics of cochlear implant electrode carriers

Silke Hügl, Nina Aldag, Thomas Lenarz, Thomas S. Rau, Alexander Becker, Birgit Glasmacher
2019 Current Directions in Biomedical Engineering  
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

An overview of salient factors, relationships and values to support integrated energy-economic system dynamics modelling

Martin de Wit, Matthew Heun, Douglas Crookes
2018 Journal of Energy in Southern Africa  
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

On the free, safe, and timely execution of component-based systems [article]

Julio Cano, Marisol García-Valls
2015 arXiv   pre-print
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) [9] is used in the temporal scheduling of the component substitutions.  ... 
arXiv:1512.04844v1 fatcat:r6vncsn6jbew7iibtmsdsae77e

Vision-based Guidance for Loitering over a Target

Sanghyuk Park
2016 International Journal of Aeronautical and Space Sciences  
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

An improved component mode synthesis method for interval uncertainty analysis

Huan He, Tao Wang, Wei-min Chen, Cheng He
2017 Journal of Vibroengineering  
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

Mechanical State of Multi-Story Structures Induced by Wind Action

F. Blaga, I. Ladar
2017 Journal of Applied Engineering Sciences  
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

Dynamics of resilience of wheat to drought in Australia from 1991–2010

Jianjun Huai
2017 Scientific Reports  
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

Page 11 of Computational Linguistics Vol. 15, Issue 1 [page]

1989 Computational Linguistics  
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.  ... 

Component Substitution through Dynamic Reconfigurations

Arnaud Lanoix, Olga Kouchnarenko
2014 Electronic Proceedings in Theoretical Computer Science  
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 [6] .  ... 
doi:10.4204/eptcs.147.3 fatcat:rleqponakbbfnket7nk66a5jvy

Page 392 of Business and Society Vol. 37, Issue 4 [page]

1998 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.  ... 

Three-dimensional operational modal analysis based on self-iteration principal component extraction and direct matrix assembly

Tianshu Zhang, Cheng Wang, Yiwen Zhang
2017 Journal of Vibroengineering  
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