IGES Model Comparison System: A Tool for Tsting and Validating IGES Processors

The IGES Model Comparison System (IMCOS) is the first test tool to allow an easy and automatic semantic comparison of CAD models represented in IGES format. By systematically analyzing and comparing entity data and structures of generated and exchanged IGES models, it detects loss of information and functionality resulting from model exchange via IGES processors. IMCOS was designed and implemented as a tabledriven IGES processor to allow external control of the comparison process and full coverage of the current version of IGES (Version 3.0) and future versions. This article presents the basic concepts of IMCOS. The great interest in and discussion of IMCOS have shown the importance of such a test tool. IMCOS may be used as one of several test tools within an overall IGES verification program.     

Investigation of double barrier MOS tunnel diodes with PECVD silicon quantum well

Double barrier metal-oxide-semiconductor tunnel diodes with ultrathin PECVD Si and thermal SiO₂ layers were fabricated. The measured capacitance-voltage and current-voltage characteristics were interpreted and physical parameters of the structures were extracted by means of a theoretical model.     

A simple direct-torque neuro-fuzzy control of PWM-inverter-fedinduction motor drive

In this paper, the concept and implementation of a new simple direct-torque neuro-fuzzy control (DTNFC) scheme for pulsewidth-modulation-inverter-fed induction motor drive are presented. An adaptive neuro-fuzzy inference system is applied to achieve high-performance decoupled flux and torque control. The theoretical principle and tuning procedure of this method are discussed. A 3 kW induction motor experimental system with digital signal processor TMS 320C31-based controller has been built to verify this approach. The simulation and laboratory experimental results, which illustrate the performance of the proposed scheme, are presented. Also, nomograms for controller design are given. It has been shown that the simple DTNFC is characterized by very fast torque and flux response, very-low-speed operation, and simple tuning capability     

Influence of the degree of fusariosis on technological traits of wheat grain

The paper aims to enlarge the current knowledge about the dependence of technological traits of wheat grain on its degree of infestation (DI) with fusariosis. Samples of grain of four wheat cultivars were obtained from naturally grown crops (control) and from crops inoculated with Fusarium culmorum from which three degrees of kernel infestation were selected. Samples were determined for thousand kernels weight (TKW), total protein, starch and wet gluten (WG) contents, Hagberg falling number (HFN) and sedimentation value (SV). Content of protein and wet gluten showed higher values for moderately infested kernels (up to 15 and 25%, respectively, when compared to control grain) than for kernels lightly or heavily infested. All the remaining traits had values lower than that for control grain and showed a decrease with increasing DI. Decrease for the heaviest infestation was on average: 8, 29, 31 and 34% for starch, TKW, HFN and SV, respectively.     

Symmetries, Group Actions, and Entanglement

We address several problems concerning the geometry of the space of Hermitian operators on a finite-dimensional Hilbert space, in particular the geometry of the space of density states and canonical group actions on it. For quantum composite systems we discuss and give examples of entanglement measures.     

Ab Initio Based Understanding of the Segregation and Diffusion Mechanisms of Hydrogen in Steels

A microscopic understanding of the processes that lead to hydrogen embrittlement is of critical importance for developing new generations of high-strength steels. With this article, we provide an overview of insights that can be gained from ab initio based methods when investigating the segregation and diffusion mechanisms of hydrogen in steels. We first discuss the solubility and diffusion behavior of hydrogen in the ferrite, austenite, and martensite phases. We consider not only defect-free bulk phases but also the influence of alloying elements and geometric defects such as vacancies and grain boundaries. In the second part, the behavior of hydrogen in the presence of precipitates, the solubility, the surface absorption, and the influence of hydrogen on the interface cohesion are studied. Finally, we provide simulation results for the interaction of hydrogen with dislocations. For all these applications, we will comment on advantages and shortcomings of ab initio methods and will demonstrate how the obtained data and insights can complement experimental approaches to extract general trends and to identify causes of hydrogen embrittlement.     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

Model-based cloud resource management with TOSCA and OCCI

Software and Systems Modeling - With the advent of cloud computing, different cloud providers with heterogeneous cloud services (compute, storage, network, applications, etc.) and their related...