Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

An aspect-oriented reference architecture for Software Engineering Environments

Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.

Studies of cases in power systems by Sensitivity Analysis oriented by OPF

This paper presents studies of cases in power systems by Sensitivity Analysis (SA) oriented by Optimal Power Flow (OPF) problems in different operation scenarios. The studies of cases start from a known optimal solution obtained by OPF. This optimal solution is called base case, and from this solution new operation points may be evaluated by SA when perturbations occur in the system. The SA is based on Fiacco`s Theorem and has the advantage of not be an iterative process. In order to show the good performance of the proposed technique tests were carried out on the IEEE 14, 118 and 300 buses systems. (C) 2010 Elsevier Ltd. All rights reserved.

Process oriented framework to support PLM implementation

Product lifecycle management (PLM) innovates as it defines both the product as a central element to aggregate enterprise information and the lifecycle as a new time dimension for information integration and analysis. Because of its potential benefits to shorten innovation lead-times and to reduce costs, PLM has attracted a lot of attention at industry and at research. However, the current PLM implementation stage at most organisations still does not apply the lifecycle management concepts thoroughly. In order to close the existing realisation gap, this article presents a process oriented framework to support effective PLM implementation. The framework central point consists of a set of lifecycle oriented business process reference models which links the necessary fundamental concepts, enterprise knowledge and software solutions to effectively deploy PLM. (c) 2007 Elsevier B.V. All rights reserved.

MODELING OF AN INFORMATION SYSTEM FOR WINE TRACEABILITY BASED ON A SERVICE ORIENTED ARCHITECTURE

The purpose is to present a scientific research that led to the modeling of an information system which aimed at the maintenance of traceability data in the Brazilian wine industry, according to the principles of a service-oriented architecture (SOA). Since 2005, traceability data maintenance is an obligation for all producers that intend to export to any European Union country. Also, final customers, including the Brazilian ones, have been asking for information about food products. A solution that collectively contemplated the industry was sought in order to permit that producer consortiums of associations could share the costs and benefits of such a solution. Following an extensive bibliographic review, a series of interviews conducted with Brazilian researchers and wine producers in Bento Goncalves - RS, Brazil, elucidated many aspects associated with the wine production process. Information technology issues related to the theme were also researched. The software was modeled with the Unified Modeling Language (UML) and uses web services for data exchange. A model for the wine production process was also proposed. A functional prototype showed that the adopted model is able to fulfill the demands of wine producers. The good results obtained lead us to consider the use of this model in other domains.

Justified Fault-Ride-Through Requirements for Wind Turbines in Power Systems

In this paper, a novel adaptive strategy to obtain technically justified fault-ride-through requirements for wind turbines (WTs) is proposed. The main objective is to promote an effective integration of wind turbines into power systems with still low penetration levels of wind power based on technical and economical considerations. The level of requirement imposed by the strategy is increased stepwise over time, depending on system characteristics and on wind power penetration level. The idea behind is to introduce stringent requirements only when they are technically needed for a reliable and secure power system operation. Voltage stability support and fault-ride-through requirements are considered in the strategy. Simulations are based on the Chilean transmission network, a midsize isolated power system with still low penetration levels of wind power. Simulations include fixed speed induction generators and doubly fed induction generators. The effects on power system stability of the wind power injections, integrated into the network by adopting the adaptive strategy, are compared with the effects that have the same installed capacity of wind power but only considering WTs able to fulfill stringent requirements (fault-ride-through capability and support voltage stability). Based on simulations and international experience, technically justified requirements for the Chilean case are proposed.

Towards modular and coordinated manufacturing systems oriented to services

Nowadays, there is a trend for industry reorganization in geographically dispersed systems, carried out of their activities with autonomy. These systems must maintain coordinated relationship among themselves in order to assure an expected performance of the overall system. Thus, a manufacturing system is proposed, based on ""web services"" to assure an effective orchestration of services in order to produce final products. In addition, it considers special functions, such as teleoperation and remote monitoring, users` online request, among others. Considering the proposed system as discrete event system (DES), techniques derived from Petri nets (PN), including the Production Flow Schema (PFS), can be used in a PFS/PN approach for modeling. The system is approached in different levels of abstraction: a conceptual model which is obtained by applying the PFS technique and a functional model which is obtained by applying PN. Finally, a particular example of the proposed system is presented.

Scheduling Grid Applications with Software Requirements

The aim of task scheduling is to minimize the makespan of applications, exploiting the best possible way to use shared resources. Applications have requirements which call for customized environments for their execution. One way to provide such environments is to use virtualization on demand. This paper presents two schedulers based on integer linear programming which schedule virtual machines (VMs) in grid resources and tasks on these VMs. The schedulers differ from previous work by the joint scheduling of tasks and VMs and by considering the impact of the available bandwidth on the quality of the schedule. Experiments show the efficacy of the schedulers in scenarios with different network configurations.

Diet quality index adjusted for energy requirements in adults

This study aimed to develop a diet quality index (DQI-a) adjusted for energy requirement. Dietary intake of adults was assessed using 24-hour food recall. The DQI was developed for scores evenly distributed across ten items characterizing different aspects of diet: food groups, nutrients, and variety. The components categorized under the food groups from the Dietary Guide for Brazilians were adjusted according to the estimated energy requirements of the population studied. Index consistency and correlation with nutrients of the diet was analyzed by Cronbach's alpha. A total of 737 individuals were assessed and energy requirements ranged from 1,800 to 2,500kcal among women and 2,500 to 3,400kcal in men. The food group with greatest variation in total portions was cereals and tubers. Cronbach's alpha of the DQI-a was 0.643 and the index correlated with most of the nutrients. The DQI-a can be considered a valuable instrument for assessing diet quality of the Brazilian population.

Desistindo da denúncia ao agressor: relato de mulheres vítimas de violência doméstica

O objetivo do estudo é descrever a experiência de mulheres, vítimas da violência doméstica, que desistiram do processo contra seu agressor. As entrevistas foram orientadas pela questão: Como foi sua experiência de desistir da denúncia contra seu agressor? Das convergências dos depoimentos emergiram três temas: o tempo vivido da agressão até a denúncia e desistência; o companheiro, a família, a delegacia da mulher; refletindo sobre a experiência vivida, que descrevem o fenômeno estudado. As participantes expressam sentimentos ambíguos em relação ao agressor: afetividade, raiva, humilhação e medo. Reconhecem que são dominadas e humilhadas. Porém, noções de justiça e igualdade entre os cônjuges não aparecem nos depoimentos. A desistência do processo pode ser compreendida na concepção da reprodução da estrutura familiar, condicionada a fatores econômicos e sociais. Os resultados remetem à reflexão sobre o papel da Delegacia da Mulher e das instituições de saúde na assistência à mulher vítima da violência doméstica

Reflexões acerca das relções entre representação temática e descritiva

It presents the importance of integrating the thematic representation into the descriptive one, revealing the theoretical and practical aspects of these disciplines and tracing relationships between them. The goal of this work is to discuss the conceptual models Functional Requirements for Bibliographic Records (FRBR), Functional Requirements for Subject Authority Data (FRAD) and Functional Requirements for Subject Authority Data (FRSAD), illustrating them with the work of information search done by the user on a system. It emphasizes the importance of specific knowledge, without losing the viewpoint of both areas as complementary ones. The theoretical and methodological approach is based on the theoretical and conceptual research on the discussed thematics so as to analyze the facts available in the literature as well as to consider their practical applicability. We conclude that there is a happy and necessary integration between the thematic and descriptive representations that optimizes the informational access, though the second discipline is still regarded by many as pure physical description in manual catalogs.

Effects of Variations in Nonlinear Damping Coefficients on the Parametric Vibration of a Cantilever Beam with a Lumped Mass

Uncertainties in damping estimates can significantly affect the dynamic response of a given flexible structure. A common practice in linear structural dynamics is to consider a linear viscous damping model as the major energy dissipation mechanism. However, it is well known that different forms of energy dissipation can affect the structure's dynamic response. The major goal of this paper is to address the effects of the turbulent frictional damping force, also known as drag force on the dynamic behavior of a typical flexible structure composed of a slender cantilever beam carrying a lumped-mass on the tip. First, the system's analytical equation is obtained and solved by employing a perturbation technique. The solution process considers variations of the drag force coefficient and its effects on the system's response. Then, experimental results are presented to demonstrate the effects of the nonlinear quadratic damping due to the turbulent frictional force on the system's dynamic response. In particular, the effects of the quadratic damping on the frequency-response and amplitude-response curves are investigated. Numerically simulated as well as experimental results indicate that variations on the drag force coefficient significantly alter the dynamics of the structure under investigation. Copyright (c) 2008 D. G. Silva and P. S. Varoto.

Importance of considering a material micro-failure criterion in the numerical modelling of the shot peening process applied to parabolic leaf springs

Shot peening is a cold-working mechanical process in which a shot stream is propelled against a component surface. Its purpose is to introduce compressive residual stresses on component surfaces for increasing the fatigue resistance. This process is widely applied in springs due to the cyclical loads requirements. This paper presents a numerical modelling of shot peening process using the finite element method. The results are compared with experimental measurements of the residual stresses, obtained by the X-rays diffraction technique, in leaf springs submitted to this process. Furthermore, the results are compared with empirical and numerical correlations developed by other authors.

Using the ultrasound and instrumented indentation techniques to measure the elastic modulus of engineering materials

Currently, the acoustic and nanoindentation techniques are two of the most used techniques for material elastic modulus measurement. In this article fundamental principles and limitations of both techniques are shown and discussed. Last advances in nanoindentation technique are also reviewed. An experimental study in ceramic, metallic, composite and single crystals was also done. Results shown that ultrasonic technique is capable to provide results in agreement with those reported in literature. However, ultrasonic technique does not allow measuring the elastic modulus of some small samples and single crystals. On the other hand, the nanoindentation technique estimates the elastic modulus values in reasonable agreement with those measured by acoustic methods, particularly in amorphous materials, while in some policristaline materials some deviation from expected values was obtained.

A Análise Matemática no Ensino Universitário Brasileiro: a contribuição de Omar Catunda

The goal of this paper is to show the diffusion, reception, and utilization of Omar Catunda's book Course of Mathematical Analysis for mathematics and engineering teaching in Brazilian universities, e. g., University of Sao Paulo and the University of Bahia from 1950 to 1976. We used interviews of some ex-alumni or users of his book. We also present some signs of the influence of his book and of Catunda himself at University of Rio Grande do Sul. We argue that Catunda and his book were important agents of process of modernizing the teaching of calculus and analysis, through his classes as well as his book.