نتایج جستجو برای: waterfall
تعداد نتایج: 2102 فیلتر نتایج به سال:
The objective of this study was to investigate how the earth dam is destroyed due to the effect of upstream and downstream slope of the body in overflow conditions. Therefore, eight models were provided that each model is constructed from the embankment dam with different upstream and downstream slopes (1:1, 2:1) and the soil properties (Sc) on breach formation. The time and method of dam break...
A major drawback when using the watershed transformation as a segmentation tool comes from the over-segmentation of the image. Over-segmentation is produced by the great number of minima embedded in the image or in its gradient. A powerful technique has been designed to suppress over-segmentation by a primary selection of markers pointing out the regions or objects to be segmented in the image....
The Uniied Modeling Language is becoming more and more popular in the software development. However because of its ambiguisity in its semantic model, few veriication tool has been built. Abstract State Machines have been successfully applied in giving semantics for programming language like C. In this report, we try to use the Abstract State Machines to give a semantics model for UML and then u...
0018-9162/99/$10.00 © 1999 IEEE 70 Computer I n the beginning was the waterfall (Figure 1a). We would get the users to tell us once and for all exactly what they wanted. We would design the system that would deliver those features. We would code it. We would test to make sure the features were delivered. All would be well. All was not well. The users didn’t tell us once and for all exactly what...
If a coronary artery is ligated and the distal end cannulated, blood flows retrograde from the cannula when vented to the atmosphere. By varying the height of the outflow tubing, and thereby changing the outflow pressure, pressure-flow relationships can be constructed. We used this technique in eight dogs to assess the characteristics of blood flow into ischemic myocardium. Above a back pressur...
Controlled laboratory studies of the physical and chemical properties of sea spray aerosol (SSA) must be underpinned by a physically and chemically accurate representation of the bubble-mediated production of nascent SSA particles. Bubble bursting is sensitive to the physicochemical properties of seawater. For a sample of seawater, any important differences in the SSA production mechanism are p...
In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts and methodology underlying this 30-year-old model and implement a new, fully integrated tool in the theorem prover HOL Light that can be invoked as a tactic. We also describe several extensions and enhancements to th...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید