Strategy of specification of management areas: rice grain yield as related to soil fertility

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Uma ontologia para a descrição da semântica da IMML

This work presents an ontology to describe the semantics of IMML (Interactive Message Modeling Language) an XML-based User Interface Description Language. The ontology presents the description of all IMML elements including a natural language description and semantic rules and relationships. The ontology is implemented in OWL-DL, a standard language to ontology description that is recommended by W3C. Our main goal is to describe the semantic using languages and tools that can be processed by computers. As a consequence, we develop tools to the validation of a user interface specification and also to present the semantic description in different views

Activity and characterization by XPS, HR-TEM, Raman spectroscopy, and BET surface area of CuO/CeO2-TiO2 catalysts

Structural and textural studies of a CuO/TiO2 System modified by cerium oxide were conducted using Raman spectroscopy, transmission electron microscopy (TEM), X-ray photoelectron spectroscopy (XPS), and N-2 absorption (BET specific surface area). The introduction of a minor amount of CeO2 (Ce0.09Ti0.82O1.91CU0.09 sample) resulted in a material with the maximum surface area value. The results of Raman spectroscopy revealed the presence of only two crystalline phases, TiO2 anatase and CeO2 cerianite, with well-dispersed copper species. TEM micrographs showed a trend toward smaller TiO2 crystallites when the cerium oxide content was increased. The XPS analysis indicated the rise of a second peak in Ti 2p spectra with the increasing amount of CeO2 located at higher binding energies than that due to the Till in a tetragonal symmetry. The CuO/TiO2 system modified by CeO2 displayed a superior performance for methanol dehydrogenation than the copper catalyst supported only on TiO2 or CeO2.

Different lubricating oil treatments for the determination of Cu, Cr, Fe, Ni, Sb, Pb, and Zn by HR-CS FAAS

Microwave-assisted acid decomposition, direct dilution in kerosene, and oil-in-water emulsion were evaluated as lubricating oil pretreatment procedures for Cu, Cr, Fe, Ni, Pb, Sb, and Zn determination by High-Resolution Continuum Source Flame Atomic Absorption Spectrometry (HR-CS FAAS). For wet digestion, results were compared with those obtained by Flame Atomic Absorption Spectrometry (FAAS). The ultrasound probe used in emulsions sonication contaminated samples with Cr, although better results have been observed for the other six elements in this condition. In general, recovery percentages ranging from 81-106%(Cu), 80-107%(Cr), 85-114%(Fe), 82-116%(Ni), 86-117%(Pb), 85-115%(Sb), and 81-114%(Zn) were obtained. The HR-CS FAAS showed to be faster and more sensitive than FAAS.

Exploring potentialities of the HR-CS FAAS technique in the determination of Ni and Pb in mineral waters

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

New chemical evidence for the ability to generate radical molecular ions of polyenes from ESI and HR-MALDI mass spectrometry

We report here new chemical evidence for the generation of radical molecular ions of compounds with a conjugated pi-system (polyene) in ESI and HR-MALDI mass spectrometry. The oxidation potential of the neutral polyenes was calculated by cyclic-voltammetry and the results compared with those previously published for other complex conjugated compounds that have also been shown to form M.+ in ESI-MS. This study clearly demonstrates the correlation between the oxidation potential and the formation of the M.+ for the polyenes studied.

Cytogenetic analysis of seven species of Eucalyptus L'Hér. (Myrtaceae)

Seven species of the genus Eucalyptus were studied cytogenetically (E. deanei, E. dunni, E. grandis, E. maculata E. propinqua, E. saligna and E. tereticornis). The species showed a symmetrical karyotype with 2n=22 chromosomes, with chromosome length ranging from 0.58 μm to 1.39 μm. Karyotypic analysis indicated homogeneity of morphology and of chromosome number for most of the species of this genus studied here, although casual disploid species with 2n=24 have been found in previous studies. According to these data, a basic number of x=11 was established for this genus. The evolutionary tendency probably occurred by structural alterations (deletions, duplications, additions and translocations) and in some cases by aneuploid chromosome alterations.

Paternity study of an interspecific natural hybrid of the genus Eucalyptus L'Hér (Myrtaceae) based on cytogenetic data

Three species of the genus Eucalyptus (E. dunni, E. grandis, E. saligna) and interspecific hybrid were studied cytogenetically. The Eucalyptus species and the hybrid showed a symmetrical karyotype with 2n=22 chromosomes, with chromosome length ranging from 0.67 to 1.39 μm. Karyotypic analysis indicated a homogenous morphology and chromosome number for the species and the hybrid studied here. Based on the karyotype asymmetry data, together with the chromosome morphology results, the hybrid presented close similarity to E. saligna, suggesting that the latter is one of the parental species involved in the production of the hybrid.

A simple method based on HR-CS FAAS for multi-element determination of Cu, Fe, Mn and Zn in medicinal plants

A simple method to determine Cu, Fe, Mn and Zn in single aliquots of medicinal plants by HR-CS FAAS is proposed. The main lines for Cu, Mn and Zn, and the alternate line measured at the wing of the main line for Fe at 248.327 nm allowed calibration within the 0.025 - 2.0 mg L-1 Cu, 1.0 - 20.0 mg L-1 Fe, 0.05 - 2.0 mg L-1 Mn, 0.025 - 0.75 mg L-1 Zn ranges. Nineteen medicinal plants and two certified plant reference materials were analyzed. Results were in agreement at a 95% confidence level (paired t-test) with reference values. Limits of detection were 0.12 μg L-1 Cu, 330 μg L-1 Fe, 1.42 μg L-1 Mn and 8.12 μg L-1 Zn. Relative standard deviations (n=12) were ≤ 3% for all analytes. Recoveries in the 89 - 105% (Cu), 95 - 108% (Fe), 94 - 107% (Mn), and 93 - 110% (Zn) ranges were obtained.

Computational tool to support design of DAC Converter model AD7528 with the object code in XML

Based on literature review, electronic systems design employ largely top-down methodology. The top-down methodology is vital for success in the synthesis and implementation of electronic systems. In this context, this paper presents a new computational tool, named BD2XML, to support electronic systems design. From a block diagram system of mixed-signal is generated object code in XML markup language. XML language is interesting because it has great flexibility and readability. The BD2XML was developed with object-oriented paradigm. It was used the AD7528 converter modeled in MATLAB / Simulink as a case study. The MATLAB / Simulink was chosen as a target due to its wide dissemination in academia and industry. From this case study it is possible to demonstrate the functionality of the BD2XML and make it a reflection on the design challenges. Therefore, an automatic tool for electronic systems design reduces the time and costs of the design.

Computational support for the process of software requirement specification

The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these activities, several computational tools have been available in the market, although it is still possible to find a lack of resources related to some activities. In this context, this paper proposes the inclusion of a module to aid in the requirements specification to a tool called Requirements Elicitation Support Tool. This module allows to specify requirements in accordance with IEEE 830 standard, thus contributing to the documentation of the requirements established for a software system, besides supporting the learning of concepts related to the requirements specification, which improves the skills of users of the tool. © 2012 IEEE.

Análise da reconstrução 3D a partir de um par estereoscópico HR-CCD/CBERS-2 usando dois modelos matemáticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)