Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Novos métodos determinísticos para gerar centros iniciais dos grupos no algoritmo fuzzy C-Means e variantes

Data clustering is applied to various fields such as data mining, image processing and pattern recognition technique. Clustering algorithms splits a data set into clusters such that elements within the same cluster have a high degree of similarity, while elements belonging to different clusters have a high degree of dissimilarity. The Fuzzy C-Means Algorithm (FCM) is a fuzzy clustering algorithm most used and discussed in the literature. The performance of the FCM is strongly affected by the selection of the initial centers of the clusters. Therefore, the choice of a good set of initial cluster centers is very important for the performance of the algorithm. However, in FCM, the choice of initial centers is made randomly, making it difficult to find a good set. This paper proposes three new methods to obtain initial cluster centers, deterministically, the FCM algorithm, and can also be used in variants of the FCM. In this work these initialization methods were applied in variant ckMeans.With the proposed methods, we intend to obtain a set of initial centers which are close to the real cluster centers. With these new approaches startup if you want to reduce the number of iterations to converge these algorithms and processing time without affecting the quality of the cluster or even improve the quality in some cases. Accordingly, cluster validation indices were used to measure the quality of the clusters obtained by the modified FCM and ckMeans algorithms with the proposed initialization methods when applied to various data sets

Trajetória da análise de acidentes: o paradigma tradicional e os primórdios da ampliação da análise

A abordagem tradicional de acidentes pressupõe que a obediência a procedimentos e normas protege o sistema contra acidentes e que esses eventos decorrem de comportamentos faltosos dos trabalhadores, originados, em parte, de aspectos de suas personalidades. A identificação desses comportamentos baseia-se em comparação com o padrão que toma por base o jeito seguro de fazer, conhecido por antecipação pelos especialistas em segurança. Nas últimas décadas, surgem visões alternativas à abordagem tradicional, ampliando o perímetro das análises de acidentes e abrindo caminho para questionamentos de seus pressupostos relativos às concepções de ser humano e de trabalho. Os novos enfoques ajudam a evidenciar os resultados estéreis das práticas tradicionais: culpar e punir as vítimas, recomendar treinamentos e normas mantendo inalterados os sistemas em que ocorreram os acidentes. As novas abordagens sugerem o esgotamento do enfoque tradicional e ressaltam a importância da contribuição dos operadores para a segurança dos sistemas.

The Brazilian pediatric myelodysplastic cooperative group strategies: are they relevant to improve educational approach and correct diagnosis?

Brazil is a wide country with huge contrasts. Its peculiarities can highlight environmental factors that could influence the frequencies of different cancers. The standard treatment and results achieved from several different areas of the country may not be found in others. The establishment of a national cooperative group has the potential to improve outcomes. The The Brazilian Cooperative Group on Pediatric Patients with Myelodysplastic Syndrome (BCG-MDS-PED) was first organized in January 1997 as a working group of hematologists, pediatric oncologists, pediatric-hematologists, molecular biologists and other professionals in order to study pediatric (age < 18 years) MDS. Six distinct subcommittees constituted with members from several universities: cytology, histopathology, clinical, cytogenetics, molecular biology and epidemiology. The goals of the BCG-MDS-PED were: (i) to offer support for diagnosis and orientation for treatment; (ii) educational Support for the colleagues all over the country and (iii) research on pathogenesis and new approaches for pediatric MDS patients. There are socio-economical differences among the five regions of the country. The BCG-MDS-PED believes that it is absolutely necessary to Study the clinical, cellular, molecular and epidemiological aspects of MDS, taking in account these peculiar differences among populations and regions. Since 1997, 114 pediatric cases were referred to the BCG-MDS-PED from 21 centres. Seven Brazilian states have sent cases to the group, 31 patients were referred from universities, 73 patients from pediatric oncology units (foundations) and 10 patients came from private clinics. Some of these patients have been followed up and/or treated by the physician who referred them to the BCG-MDS-PED for confirmation of the initial diagnosis. The majority of these physicians have required orientation on diagnostic and treatment issues, as well as to complete cytogenetic and molecular studies. From these 114 patients, 64 patients were confirmed as MDS. We believe that, the more numerous the MDS-studied cases, the more experienced will be the referee group on clinical and laboratory features on childhood MDS in Brazil. (C) 2002 Published by Elsevier B.V. Ltd.

Targeting Plasmodium ligands on mosquito salivary glands and midgut with a phage display peptide library

Despite vast efforts and expenditures in the past few decades, malaria continues to kill millions of persons every year, and new approaches for disease control are urgently needed. To complete its life cycle in the mosquito, Plasmodium, the causative agent of malaria, has to traverse the epithelia of the midgut and salivary glands. Although strong circumstantial evidence indicates that parasite interactions with the two organs are specific, hardly any information is available about the interacting molecules. By use of a phage display library, we identified a 12-aa peptide-salivary gland and midgut peptide 1 (SM1)-that binds to the distal lobes of the salivary gland and to the luminal side of the midgut epithelium, but not to the midgut surface facing the hemolymph or to ovaries. The coincidence of the tissues with which parasites and the SM1 peptide interact suggested that the parasite and peptide recognize the same surface ligand. In support of this hypothesis, the SM1 peptide strongly inhibited Plasmodium invasion of salivary gland and midgut epithelia. These experiments suggest a new strategy for the genetic manipulation of mosquito vectorial capacity.

Fermented soy product supplemented with isoflavones affected fat depots in juvenile rats

Objectives: This study investigated the effects of soy product fermented by Enterococcus faecium and Lactobacillus jugurti supplemented with isoflavones on adipose tissue, blood lipid, and glucose levels on juvenile rats. Methods: Rats were fed a cholesterol-enriched diet for 3 wk as a preliminary treatment to create hypercholesterolemia. They were then fed a chow diet (HC), a chow diet plus fermented soy product supplemented with isoflavones (HCFI), a chow diet plus placebo (HCP), or a chow diet plus placebo supplemented with isoflavones (HCPI), respectively, for an additional 3 wk. Results: The beneficial effects of fermented soy product supplemented with isoflavones on epididymal (EPI) and retroperitoneal (RET) fat pads was likely due to isoflavones because adipocyte circumference (micrometers) in the HC group was significantly larger (EPI: 105.66 ± 13.36; RET: 134.95 ± 25.40) than that in the HCFI group (EPI: 93.17 ± 12.80; RET: 108.62 ± 15.50) and HCPI group (EPI: 93.06 ± 15.10; RET: 112.34 ± 18.21). The probiotic micro-organism accentuated the antilipogenic effect of isoflavones on RET (HCFI: 108.62 ± 15.50 micrometers versus HCPI: 112.34 ± 18.21 micrometers). Moreover, the fermented product increased glucose concentration similar to that in the chow group but did not change blood lipids. Conclusion: This product may offer new approaches to obesity prevention. © 2005 Elsevier Inc. All rights reserved.

Stressful life events and occupational accidents

Objective: The purpose of this study was to examine the association between stressful life events and occupational accidents. Methods: This was a population-based case-control study, carried out in the city of Botucatu, in southeast Brazil. The cases consisted of 108 workers who had recently experienced occupational accidents. Each case was matched with three controls. The cases and controls answered a questionnaire about recent exposure to stressful life events. Results: Reporting of environmental problems, being a victim of assault, not having enough food at home and nonoccupational fatigue were found to be risk factors for work-related accidents with estimated incidence rate ratios of 1.4 [95% confidence interval (95% CI) 1.1-1.7], 1.3 (95% CI 1.1 1-1.7), 1.3 (95% CI 1.1-1.6), and 1.4 (95% CI 1.2-1.7) respectively. Conclusions: The findings of the study suggested that nonwork variables contribute to occupational accidents, thus broadening the understanding of these phenomena, which can support new approaches to the prevention of occupational accidents.

Border detection in digital images: An approach by fuzzy numbers

The purpose of this paper is to introduce a new approach for edge detection in gray shaded images. The proposed approach is based on the fuzzy number theory. The idea is to deal with the uncertainties concerning the gray shades making up the image, and thus calculate the appropriateness of the pixels in relation to an homogeneous region around them. The pixels not belonging to the region are then classified as border pixels. The results have shown that the technique is simple, computationally efficient and with good results when compared with both the traditional border detectors and the fuzzy edge detectors. © 2007 IEEE.

Multiple particle and cluster emissions from Zr following intermediate energies photo absorption

A new approach based on a N-a cluster photoabsorption model is proposed for the understanding of the puzzling steady increase behavior of the 90Zr (e, α) yield measured at the National Bureau of Standards (NBS) within the Giant Dipole Resonance and quasideuteron energy range. The calculation takes into account the pre-equilibrium emissions of protons, neutrons and alpha particles in the framework of an extended version of the multicollisional intranuclear cascade model (MCMC). Another Monte Carlo based algorithm describes the statistical decay of the compound nucleus in terms of the competition between particle evaporation (p, n, d, α, 3He and t) and nuclear fission. The results reproduce quite successfully the 90Zr (e,α) yield, suggesting that emissions of a particles are essential for the interpretation of the exotic increase of the cross sections.

The application of distributed virtual machines for enterprise computer management: A two-tier network file system for image provisioning and management

In order to simplify computer management, several system administrators are adopting advanced techniques to manage software configuration of enterprise computer networks, but the tight coupling between hardware and software makes every PC an individual managed entity, lowering the scalability and increasing the costs to manage hundreds or thousands of PCs. Virtualization is an established technology, however its use is been more focused on server consolidation and virtual desktop infrastructure, not for managing distributed computers over a network. This paper discusses the feasibility of the Distributed Virtual Machine Environment, a new approach for enterprise computer management that combines virtualization and distributed system architecture as the basis of the management architecture. © 2008 IEEE.

Enterprise systems modeling: The ERP5 development process

The design and implementation of an ERP system involves capturing the information necessary for implementing the system's structure and behavior that support enterprise management. This process should start on the enterprise modeling level and finish at the coding level, going down through different abstraction layers. For the case of Free/Open Source ERP, the lack of proper modeling methods and tools jeopardizes the advantages of source code availability. Moreover, the distributed, decentralized decision-making, and source-code driven development culture of open source communities, generally doesn't rely on methods for modeling the higher abstraction levels necessary for an ERP solution. The aim of this paper is to present a model driven development process for the open source ERP ERP5. The proposed process covers the different abstraction levels involved, taking into account well established standards and common practices, as well as new approaches, by supplying Enterprise, Requirements, Analysis, Design, and Implementation workflows. Copyright 2008 ACM.

Social Panorama of Latin America 2004

Includes bibliography

How to drag with a worn-out mouse? Searching for social justice through collaboration

We consider what a concern for social justice in terms of social inclusion might mean for teacher education, both practising and prospective, with particular reference to the use of information and communication technology (ICT) in mathematics education taking place at a borderland school. Our discussion proceeds through the following steps: (1) We explore what a borderland position might denote to address what social inclusion might mean. (2) We consider the significance of mathematics education and the use of ICT for processes of social inclusion. (3) We briefly refer to the Interlink Network, as many of our observations emerge as reflections on this project. (4) We present different issues that will be of particular importance with respect to teacher education if we want to establish a mathematics education for social inclusion. These issues concern moving away from the comfort zone, establishing networks, identifying new approaches, moving beyond prototypical research, and getting in contact. This brings us to (5) final considerations, where we return to the notion of social justice. © Springer Science+Business Media B.V. 2009.

Edge detection in digital images using fuzzy numbers

The purpose of this paper is to introduce a new approach for edge detection in grey shaded images. The proposed approach is based on the fuzzy number theory. The idea is to deal with the uncertainties concerning the grey shades making up the image and, thus, calculate the appropriateness of the pixels in relation to a homogeneous region around them. The pixels not belonging to the region are then classified as border pixels. The results have shown that the technique is simple, computationally efficient and with good results when compared with both the traditional border detectors and the fuzzy edge detectors. Copyright © 2009, Inderscience Publishers.

Towards interoperability in P2Pworld: An indexing middleware for multi-protocol peer-to-peer data sharing

Despite the abundant availability of protocols and application for peer-to-peer file sharing, several drawbacks are still present in the field. Among most notable drawbacks is the lack of a simple and interoperable way to share information among independent peer-to-peer networks. Another drawback is the requirement that the shared content can be accessed only by a limited number of compatible applications, making impossible their access to others applications and system. In this work we present a new approach for peer-to-peer data indexing, focused on organization and retrieval of metadata which describes the shared content. This approach results in a common and interoperable infrastructure, which provides a transparent access to data shared on multiple data sharing networks via a simple API. The proposed approach is evaluated using a case study, implemented as a cross-platform extension to Mozilla Firefox browser, and demonstrates the advantages of such interoperability over conventional distributed data access strategies. © 2009 IEEE.