scholarly journals Experiences with the RAP system — a specification interpreter combining term rewriting and resolution

1986 ◽  
pp. 339-350 ◽  
Author(s):  
Alfons Geser ◽  
Heinrich Hussman
Keyword(s):  
Term Rewriting ◽  
System A

SOFTWARE SYNTHESIS SHELL SOFTEXSHELL AND ITS APPLICATION TO SWITCHING SERVICE SOFTWARE

1996 ◽  
Vol 05 (03) ◽  
pp. 291-304
Author(s):  
TORU YAMANOUCHI ◽  
AKIYOSHI SATO ◽  
MASANOBU WATANABE ◽  
HIROYUKI WATANABE ◽  
HIROMITSU YAMANAKA
Keyword(s):  
Term Rewriting ◽  
Software Synthesis ◽  
Synthesis System ◽  
Prototype Development ◽  
Transformation Rules ◽  
System A ◽  
Software Model ◽  
Software Engineers ◽  
Efficient Software

To improve the productivity and quality of software development, a software synthesis shell called SOFTEXSHELL has been developed. SOFTEXSHELL is a tool kit with a transformation system based on a term rewriting system, a language DSL/C++ for defining transformation rules as well as a specification language for a specific software model, and a rule verification system which supports development of correct transformation rules. The system is designed to provide an environment which enables a broad range of software engineers to construct software synthesis systems for their domains. To evaluate how effectively SOFTEXSHELL does this, a software synthesis system for switching scenario software was developed by two switching software specialists without prior software synthesis experience. After a four-month prototype development period, a practical software synthesis system for switching service software was developed in eight months. The developed software synthesis system, SOFTEX/EX, has been utilized for developing six switching systems. Generated programs, including 272,000 steps in total, have been in daily operation. Based on the development process and developed system results, we conclude that SOFTEXSHELL enables software engineers, without prior software synthesis experience, to develop useful and efficient software synthesis systems.

New Design for a Differentially Pumped Hydration Chamber for a Siemens IA

1971 ◽  
Vol 29 ◽  
pp. 44-45
Author(s):  
R. C. Moretz ◽  
G. G. Hausner ◽  
D. F. Parsons
Keyword(s):  
Electron Microscopy ◽  
Water Vapor ◽  
Electron Diffraction ◽  
Water Vapor Pressure ◽  
Biological Materials ◽  
Thin Membrane ◽  
Reliable System ◽  
System A ◽  
Water Films ◽  
Aperture Opening

Electron microscopy and diffraction of biological materials in the hydrated state requires the construction of a chamber in which the water vapor pressure can be maintained at saturation for a given specimen temperature, while minimally affecting the normal vacuum of the remainder of the microscope column. Initial studies with chambers closed by thin membrane windows showed that at the film thicknesses required for electron diffraction at 100 KV the window failure rate was too high to give a reliable system. A single stage, differentially pumped specimen hydration chamber was constructed, consisting of two apertures (70-100μ), which eliminated the necessity of thin membrane windows. This system was used to obtain electron diffraction and electron microscopy of water droplets and thin water films. However, a period of dehydration occurred during initial pumping of the microscope column. Although rehydration occurred within five minutes, biological materials were irreversibly damaged. Another limitation of this system was that the specimen grid was clamped between the apertures, thus limiting the yield of view to the aperture opening.

High-resolution electron microscopy of Cu2O surfaces

1986 ◽  
Vol 44 ◽  
pp. 396-397
Author(s):  
V. Castano ◽  
W. Krakow
Keyword(s):  
High Resolution ◽  
Natural Extension ◽  
High Resolution Electron Microscopy ◽  
Point Of View ◽  
Initial Oxidation ◽  
System A ◽  
Resolution Electron ◽  
Surface Reconstructions ◽  
Atomic Surface ◽  
Au Thin Films

In non-UHV microscope environments atomic surface structure has been observed for flat-on for various orientations of Au thin films and edge-on for columns of atoms in small particles. The problem of oxidation of surfaces has only recently been reported from the point of view of high resolution microscopy revealing surface reconstructions for the Ag2O system. A natural extension of these initial oxidation studies is to explore other materials areas which are technologically more significant such as that of Cu2O, which will now be described.

Twin boundary structure of a Y-Ba-Cu-O superconductor

1989 ◽  
Vol 47 ◽  
pp. 168-169
Author(s):  
Yimei Zhu ◽  
Masaki Suenaga ◽  
R. L. Sabatini ◽  
Youwen Xu
Keyword(s):  
Twin Boundary ◽  
Fine Particles ◽  
Imaging Techniques ◽  
Fine Powder ◽  
Orthorhombic Phase ◽  
Boundary Structure ◽  
Crystallographic Axis ◽  
System A ◽  
High Resolution Structure ◽  
Electron Microscopes

The (110) twin structure of YBa2Cu3O7 superconductor oxide, which is formed to reduce the strain energy of the tetragonal to orthorhombic phase transformation by alternating the a-b crystallographic axis across the boundary, was extensively investigated. Up to now the structure of the twin boundary still remained unclear. In order to gain insight into the nature of the twin boundary in Y-Ba-Cu-O system, a study using electron diffraction techniques including optical and computed diffractograms, as well as high resolution structure imaging techniques with corresponding computer simulation and processing was initiated.Bulk samples of Y-Ba-Cu-O oxide were prepared as described elsewhere. TEM specimens were produced by crushing bulk samples into a fine powder, dispersing the powder in acetone, and suspending the fine particles on a holey carbon grid. The electron microscopy during this study was performed on both a JEOL 2000EX and 2000FX electron microscopes operated at 200 kV.

Speech Therapy Services in a Large School System: A Six-Year Overview

1976 ◽  
Vol 7 (4) ◽  
pp. 207-219 ◽  
Author(s):  
Constance P. DesRoches
Keyword(s):  
School System ◽  
Speech Therapy ◽  
Factors Affecting ◽  
Case Load ◽  
Number Of Children ◽  
School Population ◽  
System A ◽  
Therapy Services ◽  
And Shifts ◽  
Selection Factors

A statistical review provides analysis of four years of speech therapy services of a suburban school system which can be used for comparison with other school system programs. Included are data on the percentages of the school population enrolled in therapy, the categories of disabilities and the number of children in each category, the sex and grade-level distribution of those in therapy, and shifts in case-load selection. Factors affecting changes in case-load profiles are identified and discussed.

The Evolution of the Auditory System: A Tutorial

2005 ◽  
Vol 32 (Spring) ◽  
pp. 5-10 ◽  
Author(s):  
Elizabeth Hester
Keyword(s):  
Auditory System ◽  
System A

1004: In-Vivo Transfection of the Rat Corpus Cavernosum Using a Non-Viral, Linear Polyethylenimine Gene Delivery System: A Novel Application

2006 ◽  
Vol 175 (4S) ◽  
pp. 323-324 ◽  
Author(s):  
Joseph Dall'era ◽  
Sweaty Koul ◽  
Jesse Mills ◽  
Jeremy Myers ◽  
Randall B. Meacham ◽  
...  
Keyword(s):  
Gene Delivery ◽  
Delivery System ◽  
Corpus Cavernosum ◽  
Gene Delivery System ◽  
System A ◽  
In Vivo Transfection ◽  
Linear Polyethylenimine

Aggregating Welfare Indicators into an Operational Welfare Assessment System: A Bottom-up Approach

2001 ◽  
Vol 51 (2) ◽  
pp. 53-57 ◽  
Author(s):  
Tine Rousing ◽  
Marianne Bonde ◽  
Jan Tind Sørensen
Keyword(s):  
Assessment System ◽  
Bottom Up ◽  
Welfare Assessment ◽  
Welfare Indicators ◽  
System A
Sign in / Sign up

Export Citation Format

Share Document