Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

A Wireless EEG Acquisition Platform based on Embedded Systems

This paper proposes a wireless EEG acquisition platform based on Open Multimedia Architecture Platform (OMAP) embedded system. A high-impedance active dry electrode was tested for improving the scalp- electrode interface. It was used the sigma-delta ADS1298 analog-to-digital converter, and developed a “kernelspace” character driver to manage the communications between the converter unit and the OMAP’s ARM core. The acquired EEG signal data is processed by a “userspace” application, which accesses the driver’s memory, saves the data to a SD-card and transmits them through a wireless TCP/IP-socket to a PC. The electrodes were tested through the alpha wave replacement phenomenon. The experimental results presented the expected alpha rhythm (8-13 Hz) reactiveness to the eyes opening task. The driver spends about 725 μs to acquire and store the data samples. The application takes about 244 μs to get the data from the driver and 1.4 ms to save it in the SD-card. A WiFi throughput of 12.8Mbps was measured which results in a transmission time of 5 ms for 512 kb of data. The embedded system consumes about 200 mAh when wireless off and 400 mAh when it is on. The system exhibits a reliable performance to record EEG signals and transmit them wirelessly. Besides the microcontroller-based architectures, the proposed platform demonstrates that powerful ARM processors running embedded operating systems can be programmed with real-time constrains at the kernel level in order to control hardware, while maintaining their parallel processing abilities in high level software applications.

Eigenvalue computations in the context of data-sparse approximations of integral operators

In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.

Promoting Success in the Introduction of Health Information Systems

The significant number of publications describing unsuccessful cases in the introduction of health information systems makes it advisable to analyze the factors that may be contributing to such failures. However, the very notion of success is not equally assumed in all publications. Based in a literature review, the authors argue that the introduction of systems must be based in an eclectic combination of knowledge fields, adopting methodologies that strengthen the role of organizational culture and human resources in this project, as a whole. On the other hand, the authors argue that the introduction of systems should be oriented by a previously defined matrix of factors, against which the success can be measured.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Maize nitrogen fertilization in two crop rotation systems under no-till

The objective of this study was to evaluate split nitrogen (N) fertilization of maize applied in band at sowing and top dressing with and without crop rotation, under no-till. The experiment was conducted with six N rates at sowing (0, 20, 30, 40, 50 and 60 kg ha-1) combined with three rates in top dressing (40, 70, 100 kg ha-1) and two management systems: after five cropping sequences of maize and crop rotation (maize + soybean + oat + soybean + corn) in a randomized block design with four replications. The crop rotation system increased yield in approximately 7% in relation to the area without rotation. The split of nitrogen fertilization, in rates above 39 and 54 kg ha-1 at sowing and 70 and 40 kg ha-1 in top dressing, resulted in yield higher than that obtained with the application of 100 kg ha-1 in top dressing. Grain yield was higher with the rates 50 and 70 kg ha-1 of N compared with that obtained with 20 and 100 kg ha-1 at sowing and top dressing, respectively. The rate 70 kg ha-1 of N resulted in the highest yield at the lowest cost compared with the revenues and costs incurred with the rates 40 and 100 kg ha-1.

Metodologia de Suporte à Utilização de Sistemas Interativos

Interactive systems users still face several challenge. Besides current improvements in usability and intuitiveness users have to adapt to the systems proposed to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, etc. This paper proposes a methodology to improve this situation supporting the use of interactive systems by users. To achieve this goal the approach is based on enriched task models and picture-driven computing. An example based on a text editor illustrates the approach.

A Methodology for GUI Layer Redefinition Through Virtualization and Computer Vision

Nowadays despite improvements in usability and intuitiveness users have to adapt to the proposed systems to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, and fulfill system's specifications. This paper proposes an approach to improve this situation enabling graphical user interface redefinition through virtualization and computer vision with the aim of increasing the system's usability. To achieve this goal the approach is based on enriched task models, virtualization and picture-driven computing.

A generic model for integration of Quality, Environment and Safety Management Systems

Purpose – The purpose of this paper is to propose a generic model of Integrated Management System of Quality, Environment and Safety (IMS-QES) that can be adapted and progressively to assimilate various Management Systems, of which highlights: ISO 9001 for Quality; ISO 14001 for Environment; OHSAS 18001 for Occupational Health and Safety. Design/methodology/approach – The model was designed in the real environment of a Portuguese Organization and 160 employees were surveyed. The rate response was equal to 86 percent. The conceived model was implemented in a first phase for the integration of Quality, Environment and Safety Management Systems. Findings – Among the main findings of the survey the paper highlights: the elimination of conflicts between individual systems with resources optimization; creation of added value to the business by eliminating several types of wastes; the integrated management of sustainability components in a global market; the improvement of partnerships with suppliers of goods and services; reducing the number of internal and external audits. Originality/value – This case study is one of the first Portuguese empirical researches about IMS-QES and the paper believes that it can be useful in the creation of a Portuguese guideline for integration, namely the Quality Management Systems; Environmental Management Systems and Occupational Health and Safety Management Systems among others.

Integration of Individualized Management Systems (MSs) as an Aggregating Factor of Sustainable Value for Organizations: An Overview Through a Review of the Literature

Nowadays, there exist various standards for individual management systems (MSs), at least, one for each stakeholder. New ones will be published. An integrated management system (IMS) aims to integrate some or all components of the business into one coherent and efficient MS. Maximizing integration is more and more a strategic priority in that it constitutes an opportunity to eliminate and/or reduce potential factors of destruction of value for the organizations and also to be more competitive and consequently promote its sustainable success. A preliminary investigation was conducted on a Portuguese industrial company which, over the years, has been adopting gradually, in whole or in part, individualized management system standards (MSSs). A research, through a questionnaire, was performed with the objective to develop, in a real business environment, an adequate and efficient IMS-QES (quality, environment, and safety) model and to potentiate for the future a generic IMS model to integrate other MSSs. The strategy and research methods have taken into consideration the case study. It was obtained a set of relevant conclusions resulting from the statistical analyses of the responses to the survey. Globally, the investigation results, by themselves, justified and prioritized the conception of a model of development of the IMS-QES and consequent definition and validation of a structure of an IMS-QES model, to be implemented at the small- and medium-sized enterprise (SME) where the investigation was conducted.

Performance, carcass traits and costs of Suffolk lambs finishing systems with early weaning and controlled suckling

The performance, carcass traits and finishing costs of Suffolk lambs were evaluated in three systems: (1) lambs weaned with 22 kg of body weight (BW) and supplemented with concentrate on pasture until slaughter; (2) lambs weaned with 22 kg BW and fed in feedlot until slaughter; (3) lambs maintained in controlled nursing after 22 kg BW and creep fed in feedlot until slaughter. Average daily gain (ADG) was 224 g/d for lambs weaned and supplemented with concentrate on pasture, 386 g/d for lambs weaned in feedlot and 481 g/d for lambs under controlled nursing. Empty body weight and visceral fat deposition were highest in lambs from feedlot systems. Carcass weights and carcass yields were highest for lambs in controlled nursing. Finishing total costs were highest in controlled nursing and lowest in the system with weaning in feedlot. High concentrate diet associated with controlled nursing in feedlot allowed lambs to reach the growth potential and carcasses with higher weights, higher yields and higher fat content. After weaning, lambs in feedlot fed with high concentrate diet had higher weight gain than lambs supplemented with concentrate on pasture. Carcasses produced under these two systems presented the same characteristics. The system with weaning in feedlot showed the lowest cost per kg carcass.

Production and photosynthetic activity of Mimosa Verde and Mimosa Roxa lettuce in two farming systems

Lettuce (Lactuca sativa L.) is the most commonly consumed leaf vegetable in the Brazilian diet, and it is a good source of vitamins and minerals. It is widely grown in the conventional farming system. However, the hydroponic farming system has been gaining importance in the market, wining confidence from consumers, who are becoming increasingly more demanding on food quality. The objective of this study was to evaluate the performance of two lettuce cultivars on hydroponic and conventional farming systems for the production of fresh mass (FM) and dry mass (DM), photosynthesis, contents of chlorophyll and anthocyanin. The following two experiments were carried out: hydroponics farming (HF) and conventional farming (CF), performed in protect and unprotect environments, respectively, in Florianópolis, SC. Mimosa Verde cultivar (MV) showed greater fresh mass than Mimosa Roxa (MR), in both farming systems and the two cultivars presented better performance in the hydroponic system (287.7 g MV and 139.1 g MR) than the conventional system (129.7 g MV and 111.8 g MR). Mimosa Verde cultivar presented lower average contents of total chlorophyll (7.7 mg g-¹ FM) than Mimosa Roxa (11.8 mg g-¹FM), and both cultivars displayed higher means for this variable in the hydroponic farming system. Mimosa Roxa presented higher contents of anthocyanin in the conventional system (88.24 mg g-¹ FM) than the ones in the hydroponic system (36.89 mg g-¹ FM). The best results for CO2 net assimilation rate regarded to photosyntheticaly active photon flux density were found in the hydroponic system, for both lettuce cultivars. Variation in the contents of chlorophyll were also found. Those variations were higher in the protected system than in the hydroponic system and contents of anthocyanin were higher in the conventional system.

Economic viability of the third milking in systems of production using closed-circuit mechanical milking

This study aimed to analyze the economic viability of the third milking in production systems using mechanical milking in a closed circuit, aiming to provide technicians and farmers with information to assist them in decision-making. Specifically, it intended: (a) to estimate the cost of one milking; (b) to estimate the cost of the third milking; (c) to develop a mathematical equation to estimate the minimum amount of milk produced with two milkings, from which it would be economically feasible to do the third milking. Data were collected from three dairy farms, from November 2010 to March 2011, keeping a twice-a-day milking frequency, with three data collections in each farm, totalizing nine collections. Considering the average data, it would be feasible to do the third milking if the average milk yield per day of lactating cows in a twice-a-day milking frequency was greater than or equal to 24.43 kg of milk.