7,324 research outputs found
An Institutional Framework for Heterogeneous Formal Development in UML
We present a framework for formal software development with UML. In contrast
to previous approaches that equip UML with a formal semantics, we follow an
institution based heterogeneous approach. This can express suitable formal
semantics of the different UML diagram types directly, without the need to map
everything to one specific formalism (let it be first-order logic or graph
grammars). We show how different aspects of the formal development process can
be coherently formalised, ranging from requirements over design and Hoare-style
conditions on code to the implementation itself. The framework can be used to
verify consistency of different UML diagrams both horizontally (e.g.,
consistency among various requirements) as well as vertically (e.g.,
correctness of design or implementation w.r.t. the requirements)
Laboratory Investigations of the Mechanism of Cavitation
The paper describes some experimental investigations of
the formation and collapse of cavitation bubbles. The
experiments were carried on in the high-speed water tunnel
of the Hydrodynamics Laboratory of the California
Institute of Technology under the sponsorship of the Research and Development Division of the Bureau of Ordnance of the U. S. Navy and the Fluid Mechanics Section
of the Office of Naval Research. A detailed study of
the formation and collapse of the individual bubbles has
been carried on by the use of high-speed motion pictures
taken at rates up to 20,000 per sec. From these records
calculations have been made of rate of formation and collapse of the bubbles. Deductions have been drawn from
these results concerning the physical mechanism of the
cavitation phenomenon
Performance of a centrifugal pump running in inverse mode
This paper presents the functional characterization of a centrifugal pump used as a turbine. It shows the characteristics of the machine involved at several rotational speeds, comparing the respective flows and heads. In this way, it is possible to observe the influence of the rotational speed on efficiency, as well as obtaining the characteristics at constant head and runaway speed. Also, the forces actuating on the impeller were studied. An uncertainty analysis was made to assess the accuracy of the results. The research results indicate that the turbine characteristics can be predicted to some extent from the pump characteristics, that water flows out of the runner free of swirl flow at the best efficiency point, and that radial stresses are lower than in pump mode
Coupled opto-electronic simulation of organic bulk-heterojunction solar cells: parameter extraction and sensitivity analysis
A general problem arising in computer simulations is the number of material
and device parameters, which have to be determined by dedicated experiments and
simulation-based parameter extraction. In this study we analyze measurements of
the short-circuit current dependence on the active layer thickness and
current-voltage curves in poly(3-hexylthiophene):[6,6]-phenyl-C61-butyric acid
methyl ester (P3HT:PCBM) based solar cells. We have identified a set of
parameter values including dissociation parameters that describe the
experimental data. The overall agreement of our model with experiment is good,
however a discrepancy in the thickness dependence of the current-voltage curve
questions the influence of the electric field in the dissociation process. In
addition transient simulations are analyzed which show that a measurement of
the turn-off photocurrent can be useful for estimating charge carrier
mobilities.Comment: 10 pages, 12 figures, 2 tables, Accepted for publication in Journal
of Applied Physic
The high speed water tunnel at the California Institute of Technology
The high speed water tunnel was established at the California Institute of Technology to study the forces acting upon moving bodies immersed in a fluid. The working section of the tunnel is 14 inches in diameter
and 6 feet long and velocities up to 72 feet per second are obtained in it. The model to be tested is mounted on the spindle of a three component balance which measures the drag force, the yaw or lateral force and the moment
about the spindle support. The angle of inclination of the model to the flow direction can be adjusted easily. From these measurements are determined the magnitude and location of the resultant forces acting on the model.
In order to study cavitation, the pressure in the tunnel is made adjustable and a transparent working section is provided for visual and photographic observations.
For qualitative assistance in interpreting the results of the tunnel studies in terms of the effects of the body shapes on the flow pattern, an auxiliary flume is available. The flow is made visible by use of a new technique employing polarized light
The interface between the stellar wind and interstellar medium around R Cassiopeiae revealed by far-infrared imaging
The circumstellar dust shells of intermediate initial-mass (about 1 to 8
solar masses) evolved stars are generated by copious mass loss during the
asymptotic giant branch phase. The density structure of their circumstellar
shell is the direct evidence of mass loss processes, from which we can
investigate the nature of mass loss. We used the AKARI Infrared Astronomy
Satellite and the Spitzer Space Telescope to obtain the surface brightness maps
of an evolved star R Cas at far-infrared wavelengths, since the temperature of
dust decreases as the distance from the star increases and one needs to probe
dust at lower temperatures, i.e., at longer wavelengths. The observed shell
structure and the star's known proper motion suggest that the structure
represents the interface regions between the dusty wind and the interstellar
medium. The deconvolved structures are fitted with the analytic bow shock
structure to determine the inclination angle of the bow shock cone. Our data
show that (1) the bow shock cone of 1 - 5 x 10^-5 solar masses (dust mass) is
inclined at 68 degrees with respect to the plane of the sky, and (2) the dust
temperature in the bow shock cone is raised to more than 20 K by collisional
shock interaction in addition to the ambient interstellar radiation field. By
comparison between the apex vector of the bow shock and space motion vector of
the star we infer that there is a flow of interstellar medium local to R Cas
whose flow velocity is at least 55.6 km/s, consistent with an environment
conducive to dust heating by shock interactions.Comment: 7 pages, 2 figures, accepted for publication in Astronomy and
Astrophysic
Transfer of K-types on local theta lifts of characters and unitary lowest weight modules
In this paper we study representations of the indefinite orthogonal group
O(n,m) which are local theta lifts of one dimensional characters or unitary
lowest weight modules of the double covers of the symplectic groups. We apply
the transfer of K-types on these representations of O(n,m), and we study their
effects on the dual pair correspondences. These results provide examples that
the theta lifting is compatible with the transfer of K-types. Finally we will
use these results to study subquotients of some cohomologically induced
modules
- …