Component testing provides easy identification of bugs, threats, defects, vulnerabilities etc. and if component testing is performed beforehand it will be a very big help. But since the component based system are made up of third party components and these third party components are the collection of the specifications or the black box components, therefore the source code is not visible to the...

As a new manufacturing process, abrasive water jet (AWJ)cutting has been very effective for difficult-to-machine materials. From the point of view of jet generation, abrasive water jets can be categorized as injection jeti or suspension jets. Injection jets are the most commonly used type for practical applications. An injection AWJ is formed by accelerating small abrasive particles through con...

A battery drives a motor that in turn drives a paddlewheel via a belt drive. The paddlewheel turns in a water bath that heats up as a consequence. Hence, energy E is transferred from the battery to the water bath, and as a result the mass of the battery decreases by E/c while the mass of the water increases by the same amount, where c is the speed of light. How does this energy get from the bat...

This paper presents a theoretical model and a numerical simulation of a liquid-gas two-phase flow within a microchannel (50 500 2 m m cm μ μ × × ) equipped with distributed liquid water injection through the side walls. The modeling and solution of the conservation equations provide pressure drop as a function of inlet velocity. The influence of different parameters involving water injection is...

In this paper we approach the synthesis of the slide guitar, which is a particular play mode of the guitar where continuous tuning of the tones is achieved by sliding a metal or glass piece, the bottleneck, along the strings on the guitar neck side. The bottleneck constitues a unilateral constraint for the string vibration. Dynamics is subject to friction, scraping, textured displacement and co...

This paper presents a novel backward constraint solving technique for analyzing text processing programs. String constraints are represented using a variation of word equation called Simple Linear String Equation (SLSE). SLSE supports precise modeling of various regular string substitution semantics in Java regex, which allows it to capture user input validation operations widely used in web ap...

Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more effective and maintainable software reliability tools. The increasing efficiency of offthe-shelf constraint solvers makes this approach even more compelling. However, there a...

Xenopus oocytes undergo dynamic structural changes during maturation and fertilization. Among these, cortical granule exocytosis and compensatory endocytosis provide effective models to study membrane trafficking. This study documents an important role for myosin 1e in cortical granule exocytosis. Myosin 1e is expressed at the earliest stage that cortical granule exocytosis can be detected in o...