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.

Diet formulation techniques and lysine requirements of 1-to 22-day-old broilers

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

On optimizing micropower MOS regulated cascode circuits on switched current techniques

Trade-off between settling time and micropower consumption in MOS regulated cascode current sources as building parts in high-accuracy, current-switching D/A converters is analyzed. The regulation-loop frequency characteristic is obtained and difficulties to impose a dominant-pole condition to the resulting 2nd-order system are discussed. Raising pole frequencies while meeting consumption requirements is basically limited by parasitic capacitances. An alternative is found by imposing a twin-pole system in which design constraints are somewhat relaxed and settling slightly faster. Relationships between pole frequencies, transistor geometry and bias are established. Simulated waveforms obtained with PSpice of designed circuits following a voltage perturbation suggest a good agreement with theory. The proposed approach applied to the design of a micropower current-mode D/A converter improves its simulated settling performance.

Qualitative analysis of two reconstruction techniques and their application in dentistry

Although visualization in the field of dentistry has some of the same requirements as the medicine field, the differences in goal demand specific approaches. This paper reports on the implementation of two fundamentally different approaches to reconstruction of structures from planar cross sections and their application to dentistry data. One of the approaches was an implementation of a distance-based sampling technique, and the other is a new algorithm, based on the Delaunay triangulation. Both were tested using contour data of teeth and the results are compared here in the light of the target applications, which are teaching and training dentistry, as well as simulation of dental procedures and illnesses. Widely mentioned problems encountered in local reconstruction methods such as marching cubes for these cases are clearly illustrated in this paper, and a very satisfactory alternative is given. © 2000 SPIE and IS&T.

Mathematical optimisation techniques applied to power system operation and planning

Nowadays, power system operation becomes more complex because of the critical operating conditions resulting from the requirements of a market-driven operation. In this context, efficient methods for optimisation of power system operation and planning become critical to satisfy the operational (technical), financial and economic demands. Therefore, the detailed analysis of modern optimisation techniques as well as their application to the power system problems represent a relevant issue from the scientific and technological points of view. This paper presents a brief overview of the developments on modern mathematical optimisation methods applied to power system operation and planning. Copyright © 2007 Inderscience Enterprises Ltd.