Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. 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 Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Morphology and stability of aggregates of an Oxisol according to tillage system and gypsum application

Morphological characterization and aggregate stability is an important factor in evaluating management systems. The aim of this paper is to evaluate the stability and morphology of the aggregates of a dystrophic Oxisol managed with no-tillage and conventional tillage with and without the residual action of gypsum. The experimental design was randomized blocks arranged in split-split plot, where the treatments were two soil management systems (plots) with 0 and 2000 kg ha-1 of gypsum (subplots) and five depths (0-0.05, 0.05-0.10, 0.10-0.15, 0.15-0.20 and 0.20-0.30 m) as the subsubplots, with four replications. The aggregate morphology was determined through images and later evaluated by the Quantporo software. Stability was determined by the wet method. The results showed that the no-tillage system, with or without gypsum residual effect, provided the aggregates with the largest geometric diameters. The combination of no-tillage system and the gypsum residual effect provided rougher aggregates.

Parameters of electrostatic spraying and its influence on the application efficiency

When the electrostatic spraying is used correctly, it provides advantages over conventional systems, however many factors can affect the system efficiency. Therefore, the objective of this study was to evaluate the charge/mass ratio (Q/M) at different spraying distances (0, 1, 2, 3, 4 and 5 m), and the liquid deposition efficiency on the target. Evaluating the Q/M ratio the Faraday cage method was used and to evaluate the liquid deposition efficiency the artificial targets were positioned longitudinally and transversely to the spray jet. It was found that the spraying distance affects the Q/M ratio, consequently, the liquid deposition efficiency. For the closest distance to the target the Q/M ratio was 4.11 mC kg-1, and at distances of 1, 2, 3, 4 and 5 m, the ratio decreased to 1.38, 0.64, 0.31, 0.17 and 0.005 mC kg-1, respectively. For the liquid deposition, the electrostatic system was affected by the target orientation and spraying distance. The target transversely to the jet of liquid did not improve the liquid deposition, but longitudinally increased the deposition up to 3 meters of distance.

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.

Contributo do design nos dispositivos de intervenção cirúrgica

Hoje em dia a técnica de cirurgia laparoscópica é bastante comum no tratamento de várias doenças ao nível do abdómen. Um ponto forte em relação a outras técnicas cirúrgicas é a rápida recuperação do paciente após a cirurgia, como também o fato de as marcas provocadas pela cirurgia serem bastante mais discretas. Sendo assim, é de elevada importância que esta técnica evolua e seja aperfeiçoada para que o erro humano seja minimizado e o tratamento dos pacientes melhorado. As dificuldades encontradas na realização destas cirurgias são causa direta dos tipos de instrumentos utilizados, sendo a interação com os aparelhos um fator importante para que a intervenção cirúrgica seja realizada com sucesso. Como tal, devido a natureza ergonómica dos instrumentos, os cirurgiões sentem dificuldades na execução das suas tarefas ao longo da cirurgia, acusando dores musculares nas mãos e nos braços. Este trabalho tem como principal objetivo melhorar este tipo de cirurgia através do design aliado à ergonomia de aparelhos manuais, tendo as formas e funções dos instrumentos existentes como base de estudo para a criação de um aparelho mais ergonómico e eficaz. Também a existência de tecnologias capazes de reproduzir os conceitos criados pelo designer são uma mais valia para a criação das formas desenvolvidas. Desta forma, ao longo do desenvolvimento do produto são tidas em conta questões de ergonomia, mas também a higiene é considerada de relativa importância devido a facilidade de transmissão de doenças através do toque, sendo assim pertinente ter em consideração os pré requisitos necessários para a criação de um aparelho de natureza cirúrgica. O protótipo criado possui um componente eletromecânico já desenvolvido para este tipo de intervenção cirúrgica, desta forma o desenvolvimento da carcaça tem a forma do corpo eletromecânico como base para a criação da melhor ergonomia possível. Esta segue um conceito minimalista e orgânico, procurando adaptar-se à mão do utilizador com o intuito de proporcionar um melhor manuseio do aparelho e através das interfaces conferir uma utilização intuitiva, mais eficaz e menos demorada.

Contributo do design nos dispositivos de intervenção cirúrgica

Hoje em dia a técnica de cirurgia laparoscópica é bastante comum no tratamento de várias doenças ao nível do abdómen. Um ponto forte em relação a outras técnicas cirúrgicas é a rápida recuperação do paciente após a cirurgia, como também o fato de as marcas provocadas pela cirurgia serem bastante mais discretas. Sendo assim, é de elevada importância que esta técnica evolua e seja aperfeiçoada para que o erro humano seja minimizado e o tratamento dos pacientes melhorado. As dificuldades encontradas na realização destas cirurgias são causa direta dos tipos de instrumentos utilizados, sendo a interação com os aparelhos um fator importante para que a intervenção cirúrgica seja realizada com sucesso. Como tal, devido a natureza ergonómica dos instrumentos, os cirurgiões sentem dificuldades na execução das suas tarefas ao longo da cirurgia, acusando dores musculares nas mãos e nos braços. Este trabalho tem como principal objetivo melhorar este tipo de cirurgia através do design aliado à ergonomia de aparelhos manuais, tendo as formas e funções dos instrumentos existentes como base de estudo para a criação de um aparelho mais ergonómico e eficaz. Também a existência de tecnologias capazes de reproduzir os conceitos criados pelo designer são uma mais valia para a criação das formas desenvolvidas. Desta forma, ao longo do desenvolvimento do produto são tidas em conta questões de ergonomia, mas também a higiene é considerada de relativa importância devido a facilidade de transmissão de doenças através do toque, sendo assim pertinente ter em consideração os pré requisitos necessários para a criação de um aparelho de natureza cirúrgica. O protótipo criado possui um componente eletromecânico já desenvolvido para este tipo de intervenção cirúrgica, desta forma o desenvolvimento da carcaça tem a forma do corpo eletromecânico como base para a criação da melhor ergonomia possível. Esta segue um conceito minimalista e orgânico, procurando adaptar-se à mão do utilizador com o intuito de proporcionar um melhor manuseio do aparelho e através das interfaces conferir uma utilização intuitiva, mais eficaz e menos demorada.

A Caregiver Support Platform within the Scope of an Ambient Assisted Living Ecosystem

The Ambient Assisted Living (AAL) area is in constant evolution, providing new technologies to users and enhancing the level of security and comfort that is ensured by house platforms. The Ambient Assisted Living for All (AAL4ALL) project aims to develop a new AAL concept, supported on a unified ecosystem and certification process that enables a heterogeneous environment. The concepts of Intelligent Environments, Ambient Intelligence, and the foundations of the Ambient Assisted Living are all presented in the framework of this project. In this work, we consider a specific platform developed in the scope of AAL4ALL, called UserAccess. The architecture of the platform and its role within the overall AAL4ALL concept, the implementation of the platform, and the available interfaces are presented. In addition, its feasibility is validated through a series of tests.

Urease inhibitor (NBPT) and efficiency of single or split application of urea in wheat crop

NBPT (N-(n-butyl) thiophosphoric triamide), a urease inhibitor, has been reported as one of the most promising compounds to maximize urea nitrogen use in agricultural systems. The objective of this study was to evaluate the performance of irrigated wheat fertilized with urea or urea + NBPT as single or split application. The experiment was conducted from June to October 2006 in Viçosa, MG, Brazil. The experimental design followed a 2×2 factorial scheme, in which urea or urea + NBPT were combined with two modes of application: full dose at sowing (60kg ha-1) or split (20kg ha-1 at sowing + 40kg ha-1 as topdressing at tillering), in randomized blocks with ten replications. The split application of nitrogen fertilization does not improve the yield wheat under used conditions. The use of urease inhibitor improves the grain yield of wheat crop when urea is applied in topdressing at tillering, but its use does not promote difference when urea is applied in the furrow at planting.

Direct communication versus virtual communication in virtual teams

Several studies suggest that computer-mediated communication can lead to decreases in group effectiveness and reduce satisfaction levels in terms of trust and comfort of its users. Supported by an experiment, where the emotional or affective aspects of communication were tested with the experimentation of two architectures, Direct Communication Architecture (DCA) and the Virtual Communication Architecture (VCA) this paper validates the thesis that, from the users’ perspective, there is no opposition to the acceptance of virtual environments and interfaces for communication, and that these environments are able to cope with the reconfiguration dynamics requirements of virtual teams or client-server relations in a virtual enterprise operation.

Application to quantify fetal lung branching on rat explant

Recently, regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. The development of accurate and reliable segmentation techniques may be essential to improve research outcomes. This work presents an image processing method to measure the perimeter and area of lung branches on fetal rat explants. The algorithm starts by reducing the noise corrupting the image with a pre-processing stage. The outcome is input to a watershed operation that automatically segments the image into primitive regions. Then, an image pixel is selected within the lung explant epithelial, allowing a region growing between neighbouring watershed regions. This growing process is controlled by a statistical distribution of each region. When compared with manual segmentation, the results show the same tendency for lung development. High similarities were harder to obtain in the last two days of culture, due to the increased number of peripheral airway buds and complexity of lung architecture. However, using semiautomatic measurements, the standard deviation was lower and the results between independent researchers were more coherent.

Application of GA3 and girdling of branches on the production of extemporaneous fruits of 'Tahiti' acid lime

The objective of this study was to evaluate the effect of girdling of branches and the application of GA3, still in the main crop flowering on the formation of reproductive structures, the fruit set of the following extemporaneous flowering of 'Tahiti' acid lime. This work used a randomized block design with five replications in a 4x3 factorial design. The first factor was the foliar application of GA3, 88 days before extemporaneous flowering at five concentrations (0, 7, 14 and 21 mg.L-1). The second factor was the girdling times, 108 days before flowering onset (A108AF), 78 days before flowering (A78AF) plus no-girdling control (NG). In extemporaneous flowering, the proportion of buds, flowers and fruits that abscised was 38.75, 31.25 and 18.64% respectively and 11.34% of all reproductive structures formed were collected. GA3 did not affect fruit set. Girdling increased fruit set by 229 and 256% at A108DAF and A78DAF respectively, in relation to NG plants. The GA3 reduced the formation of floral structures, which resulted in a quadratic increase in field production by reducing the competition for photoassimilates among fruits. The concentration of 21 mg.L-1 was the most productive, with 15.97 fruit.plant-1.

Effect of biostimulant application on production and flavonoid content of marigold (Calendula officinalis L.)

The production of medicinal plants as raw material for industry must associate quality with biomass formation and, with this purpose, the application of plant growth regulators has been studied in these crops. The objective of this study was to evaluate the effect of a biostimulant on growth, inflorescence production and flavonoid content in marigold. The experiment was conducted in a greenhouse and the treatments consisted of increasing doses of the biostimulant (0, 3, 6, 9, 12 and 15 mL L-1) applied by foliar spraying in ten consecutive applications. The experiment was arranged in a completely randomized design, with six treatments and ten repetitions. The number of leaves and flowerheads and dry matter of roots increased linearly with increasing doses of the growth promoter, with 20%, 36.97% and 97.28% increases, respectively, compared with the control. The total dry mass and shoot dry mass showed maximum values at the highest dose tested of 15 mL L-1 (with increases of 40.09% and 46.30%, respectively). Plant height and flavonoid content reached the highest values at a dose of 6 mL L-1. The biostimulant promoted the development of marigold and positively influenced the synthesis of the secondary compound of medicinal interest. Among the tested doses, the application of rates between 6 and 9 mL L-1 of the biostimulant is recommended for more efficient large-scale production of marigold.