CAST.FSM applied to VLSI synthesis: Experimental results and requirements for industrial use

Author(s):  
Martin Geiger

2017 ◽  
Vol 11 (04) ◽  
pp. 473-496
Author(s):  
Jan Novacek ◽  
Alexander Viehl ◽  
Oliver Bringmann ◽  
Wolfgang Rosenstiel

This article presents an ontology-supported approach to tackle the complexity of the Robustness Validation (RV) process of automotive electrical/electronic (E/E) components. The approach uses formalized knowledge from the RV process and stress, operating, and load profiles, so-called Mission Profiles (MPs). In contrast to the error-prone industrially established manual procedure, we show how component characteristics are formalized in OWL in order to form the foundation of an efficient automated analysis selection and decision support during the RV process. Additionally, a rule-based transformation of component characteristics upon propagation via SWRL is described. The proposed approach is based on the idea of mapping MPs to an OWL representation in order to allow to execute semantic queries against MP data to improve their integration into the RV process. The resulting ontology-supported application framework has been applied to an industrial use-case from automotive power electronics. A generalization of the approach is described and demonstrated by applying it to stress test selection within the AEC Q100 standard. We present experimental results showing that the RV process can be significantly improved in terms of reduced design time and increased exhaustiveness by automating the analyses selection step and the provisioning of all the relevant data to be used.



Author(s):  
Kazuhito Fujiwara ◽  
Tetsuyuki Hiroe ◽  
Makio Asakawa

The sterilization for fungi and bacteria in some kinds of dry powder foods is limited to keep their grade. Especially in spices the heat sterilization is restricted to minimum use, because the heat reduces the hot-taste that is a principal component in spices. The operation for the sterilization has to act only on fungi and bacteria, not to degrade the volatile components contained in flavor elements. In this paper, the instance of shock sterilization is shown, and the development of the idea to the sterilization equipment and its performance are presented. Experimental results showed the potential of the shock for the sterilization and the feasibility for the industrial use.



1988 ◽  
Vol 102 ◽  
pp. 357-360
Author(s):  
J.C. Gauthier ◽  
J.P. Geindre ◽  
P. Monier ◽  
C. Chenais-Popovics ◽  
N. Tragin ◽  
...  

AbstractIn order to achieve a nickel-like X ray laser scheme we need a tool to determine the parameters which characterise the high-Z plasma. The aim of this work is to study gold laser plasmas and to compare experimental results to a collisional-radiative model which describes nickel-like ions. The electronic temperature and density are measured by the emission of an aluminium tracer. They are compared to the predictions of the nickel-like model for pure gold. The results show that the density and temperature can be estimated in a pure gold plasma.



Author(s):  
Y. Harada ◽  
T. Goto ◽  
H. Koike ◽  
T. Someya

Since phase contrasts of STEM images, that is, Fresnel diffraction fringes or lattice images, manifest themselves in field emission scanning microscopy, the mechanism for image formation in the STEM mode has been investigated and compared with that in CTEM mode, resulting in the theory of reciprocity. It reveals that contrast in STEM images exhibits the same properties as contrast in CTEM images. However, it appears that the validity of the reciprocity theory, especially on the details of phase contrast, has not yet been fully proven by the experiments. In this work, we shall investigate the phase contrast images obtained in both the STEM and CTEM modes of a field emission microscope (100kV), and evaluate the validity of the reciprocity theory by comparing the experimental results.



Author(s):  
Irving Dardick

With the extensive industrial use of asbestos in this century and the long latent period (20-50 years) between exposure and tumor presentation, the incidence of malignant mesothelioma is now increasing. Thus, surgical pathologists are more frequently faced with the dilemma of differentiating mesothelioma from metastatic adenocarcinoma and spindle-cell sarcoma involving serosal surfaces. Electron microscopy is amodality useful in clarifying this problem.In utilizing ultrastructural features in the diagnosis of mesothelioma, it is essential to appreciate that the classification of this tumor reflects a variety of morphologic forms of differing biologic behavior (Table 1). Furthermore, with the variable histology and degree of differentiation in mesotheliomas it might be expected that the ultrastructure of such tumors also reflects a range of cytological features. Such is the case.



Author(s):  
A. Ourmazd ◽  
G.R. Booker ◽  
C.J. Humphreys

A (111) phosphorus-doped Si specimen, thinned to give a TEM foil of thickness ∼ 150nm, contained a dislocation network lying on the (111) plane. The dislocation lines were along the three <211> directions and their total Burgers vectors,ḇt, were of the type , each dislocation being of edge character. TEM examination under proper weak-beam conditions seemed initially to show the standard contrast behaviour for such dislocations, indicating some dislocation segments were undissociated (contrast A), while other segments were dissociated to give two Shockley partials separated by approximately 6nm (contrast B) . A more detailed examination, however, revealed that some segments exhibited a third and anomalous contrast behaviour (contrast C), interpreted here as being due to a new dissociation not previously reported. Experimental results obtained for a dislocation along [211] with for the six <220> type reflections using (g,5g) weak-beam conditions are summarised in the table below, together with the relevant values.



Author(s):  
Scott Lordi

Vicinal Si (001) surfaces are interesting because they are good substrates for the growth of III-V semiconductors. Spots in RHEED patterns from vicinal surfaces are split due to scattering from ordered step arrays and this splitting can be used to determine the misorientation angle, using kinematic arguments. Kinematic theory is generally regarded to be inadequate for the calculation of RHEED intensities; however, only a few dynamical RHEED simulations have been attempted for vicinal surfaces. The multislice formulation of Cowley and Moodie with a recently developed edge patching method was used to calculate RHEED patterns from vicinal Si (001) surfaces. The calculated patterns are qualitatively similar to published experimental results and the positions of the split spots quantitatively agree with kinematic calculations.RHEED patterns were calculated for unreconstructed (bulk terminated) Si (001) surfaces misoriented towards [110] ,with an energy of 15 keV, at an incident angle of 36.63 mrad ([004] bragg condition), and a beam azimuth of [110] (perpendicular to the step edges) and the incident beam pointed down the step staircase.





2013 ◽  
Vol 72 (2) ◽  
pp. 71-78
Author(s):  
Sophie Richardot

The aim of this study is to understand to what extent soliciting collective memory facilitates the appropriation of knowledge. After being informed about Milgram’s experiment on obedience to authority, students were asked to mention historical or contemporary events that came to mind while thinking about submission to authority. Main results of the factorial analysis show that the students who do not believe in the reproducibility of the experimental results oppose dramatic past events to a peaceful present, whereas those who do believe in the reproducibility of the results also mention dramatic contemporary events, thus linking past and present. Moreover, the students who do not accept the results for today personify historical events, whereas those who fully accept them generalize their impact. Therefore, according to their attitude toward this objet of knowledge, the students refer to two kinds of memory: a “closed memory,” which tends to relegate Milgram’s results to ancient history; and an “open memory,” which, on the contrary, transforms past events into a concept that helps them understand the present. Soliciting collective memory may contribute to the appropriation of knowledge provided the memory activated is an “open” one, linking past to present and going beyond the singularity of the event.



Sign in / Sign up

Export Citation Format

Share Document