International Astronomical Union

Requirements formalization is a critical part of any verification methodology for embedded systems like those in the automotive industry. There is a strong tension between techniques that enter requirements as logic- or code-like formal expressions and others that use natural language. The former are much safer but require user training and have low productivity. As a compromise we proposed a context-free grammar for entering real-time system requirements and translating them to temporal logic (TL) unambiously and reversibly. It has been demonstrated on hundreds of examples and became validated by a recent patent. But building or extending the grammar itself requires a precise understanding of the translation rules. To aleviate this new hurdle we have found that neural nets inspired by NLP can learn and then replace the pseudo-English-to-TL translation, and allow extending it without the explicit use of a grammar. The paper explains how we mixed real-life and synthetic datasets and overcame the initial limitations of the neural nets.

Background: In the population of HIV-infected patients, superficial mycoses may have different clinical manifestations, evolution and etiology from those found in the non-HIV population. Objectives: To describe superficial lesions of fungal etiology in HIV-infected patients and compare them with a control group. Materials and methods: 79 patients (25 HIV positive and 54 controls) were evaluated. A card was prepared with data: age, sex, description and location of the lesion, evolution time and previous treatment. Samples of skin and lines of lesions with suspected fungal etiology were taken and a mycological study was performed. Results: A slightly significant difference was observed between HIV reactive patients with respect to the control group in the number of cases of foot Tinea unguium. The clinical presentation of intertrigo was more observed in the group of HIV positive patients. Conclusions: Superficial mycoses are more common infections in HIV reactive patients, with mixed clinical presentations and the difference in CD4 count between the HIV population in successful ARV treatment does not modify the clinical presentation of dermatophytosis

The importance of Bauhaus to Lina Bo Bardi is herein analyzed from two perspectives. One that follows her trajectory from the industrial design course she taught at MASP to its critique, searching in the Brazilian Northeastern popular culture for sources of renewal. The second one focuses on the project of adapting a factory to be used as a leisure center in São Paulo. In addition to valuing the rationality of the factory architecture built in the first phase of Brazilian industrialization, its preservation encompassed, in order for the building to be used for leisure purposes, interventions that altered the disciplinary attributes of the space. The design was conceived as part of the architecture, discarding its serial reproduction.

An automatic monitoring system for centralized air supplying and dusting of cigarette making and tipping machine combinations was developed with ControlLogix controller and RSView32 man-(machine) interface software.The network configuration,software design and data communication of this system were introduced,the main functions(monitoring system frames,security,online help,equipment maintenance,alarming,working status trend and flowchart animation) and performances of host computer working station were discussed.The air supplying could be adjusted automatically according to the change of load,the performance of pneumatic systems and operation efficiency of the machine combinations were improved and the energy consumption was reduced accordingly.The monitoring of working status and(parameters) of this system was fully digitized.

Considerable progress could be achieved in the realization of super large telescopes with apertures of 8 m plus during the period covered by this report. The 10 m Keck I telescope, the first of the twin facility utilizing active mosaic reflector has entered the operational phase, while the second unit progressed in its construction phase aiming towards its completion in 1995. Although the Columbus project of constructing a twin binocular telescope ran into some organization problems, the other projects e.g. JNLT and VLT progressed satisfactorily. Successful casting of large spun mirrors was achieved, and the possibilities of casting 8 m aperture light weight mirrors for future telescopes became very bright. The idea of diffraction limited image formation from large ground based telescopes became much nearer target with the employment of active mirrors in ESA’s NTT. The utilization of larger fields in multiobject spectroscopy became possible with the help of multiple fibre-optic image transferring devices. Remote automatic operation of telescopes located in sites posing difficult logistics, came much nearer to realization.