Estimação clássica e Bayesiana em modelos de sobrevida com fração de cura

In Survival Analysis, long duration models allow for the estimation of the healing fraction, which represents a portion of the population immune to the event of interest. Here we address classical and Bayesian estimation based on mixture models and promotion time models, using different distributions (exponential, Weibull and Pareto) to model failure time. The database used to illustrate the implementations is described in Kersey et al. (1987) and it consists of a group of leukemia patients who underwent a certain type of transplant. The specific implementations used were numeric optimization by BFGS as implemented in R (base::optim), Laplace approximation (own implementation) and Gibbs sampling as implemented in Winbugs. We describe the main features of the models used, the estimation methods and the computational aspects. We also discuss how different prior information can affect the Bayesian estimates

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

Avaliação da execução de aplicações orientadas à dados na arquitetura de redes em chip IPNoSys

The increasing complexity of integrated circuits has boosted the development of communications architectures like Networks-on-Chip (NoCs), as an architecture; alternative for interconnection of Systems-on-Chip (SoC). Networks-on-Chip complain for component reuse, parallelism and scalability, enhancing reusability in projects of dedicated applications. In the literature, lots of proposals have been made, suggesting different configurations for networks-on-chip architectures. Among all networks-on-chip considered, the architecture of IPNoSys is a non conventional one, since it allows the execution of operations, while the communication process is performed. This study aims to evaluate the execution of data-flow based applications on IPNoSys, focusing on their adaptation against the design constraints. Data-flow based applications are characterized by the flowing of continuous stream of data, on which operations are executed. We expect that these type of applications can be improved when running on IPNoSys, because they have a programming model similar to the execution model of this network. By observing the behavior of these applications when running on IPNoSys, were performed changes in the execution model of the network IPNoSys, allowing the implementation of an instruction level parallelism. For these purposes, analysis of the implementations of dataflow applications were performed and compared

Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

A reafirmação do bairro:um estudo geo-histórico do bairro do Alecrim na cidade de Natal-RN

By the end of the 21st Century, economy globalization trends to show a velocity process through which market being expanded characterized by an intense going on of the internationalization of finance, after that marginalizing the periphery of the social spaces. It is clear to see that this process occurred in those less developed countries happens in an accentuated way just because income distribution that is so regressive and also because the insufficient enclosing of the social programs, we find this situation in a big part of Brazilian cities. The marginalizing social economical process observed in Natal, a city located in the east coast part of Northeast region in Brazil and that owns a population upper to 778 thousand in habitants is nearly linked to the extension of goods and services commerce. The installation of new urban activities in the city pointed out tourist activity as the greater impulsive thing in the phenomenon promotion, most of them aiming to promote Natal to the national and international scenery. It privilege strongly in the South zone with economical implementations such as shopping s centers, supermarkets, and home buildings condominiums leading to a loss of functionality of some traditional district located in central areas of the city. Notwithstanding, some spaces, for instance Alecrim district officially created in 1911, has notably resisted to the expansion of the urban process pointed out in Natal in the last years. So that this put Alecrim District as a district with originally characteristics reaffirmed along the historical process form old times. The predominance of some residential characteristics such as the incidence of some villages and a concentration of a big and confuse popular commerce distributed along streets puts Alecrim District as a resistant space in Natal. The same way analyze Alecrim District under the prism of Historic Geography because we understand this way it accomplishes a fundamental role in the theoretical methodological development of our work, just when we analyze the time as a variant in our object of study. It is still inside this theoretical field that we carry out a brief reviewing about quarter/district definition, under the optic from several registered and scientific resources taken into account along this work, because we understand that it was necessary to think this important spatial unit especially to know exactly what we are referring to as a district and so we can reaffirm Alecrim as an important and traditional district to Natal and it has been resisting to spatial transformation verified in the last years in Natal city. To give support to our reflection we used methodological tools related to inhabitants lifestyles knowledge and also the study of Alecrim District as a space that promote a certain centrality in Natal as some indicators to keep original characteristics in the district in Natal

Implementação em FPGA de módulo de efeito de reverberação

Reverberation is caused by the reflection of the sound in adjacent surfaces close to the sound source during its propagation to the listener. The impulsive response of an environment represents its reverberation characteristics. Being dependent on the environment, reverberation takes to the listener characteristics of the space where the sound is originated and its absence does not commonly sounds like “natural”. When recording sounds, it is not always possible to have the desirable characteristics of reverberation of an environment, therefore methods for artificial reverberation have been developed, always seeking a more efficient implementations and more faithful to the real environments. This work presents an implementation in FPGAs (Field Programmable Gate Arrays ) of a classic digital reverberation audio structure, based on a proposal of Manfred Schroeder, using sets of all-pass and comb filters. The developed system exploits the use of reconfigurable hardware as a platform development and implementation of digital audio effects, focusing on the modularity and reuse characteristics

Modelo comportamental do capacitor ferroelétrico como unidade básica de neurônios artificiais e sua implementação em FPGA

This work proposes the use of the behavioral model of the hysteresis loop of the ferroelectrics capacitor as a new alternative to the usually costly techniques in the computation of nonlinear functions in artificial neurons implemented on reconfigurable hardware platform, in this case, a FPGA device. Initially the proposal has been validated by the implementation of the boolean logic through the digital models of two artificial neurons: the Perceptron and a variation of the model Integrate and Fire Spiking Neuron, both using the model also digital of the hysteresis loop of the ferroelectric capacitor as it’s basic nonlinear unit for the calculations of the neurons outputs. Finally, it has been used the analog model of the ferroelectric capacitor with the goal of verifying it’s effectiveness and possibly the reduction of the number of necessary logic elements in the case of implementing the artificial neurons on integrated circuit. The implementations has been carried out by Simulink models and the synthesizing has been done through the DSP Builder software from Altera Corporation.

Um algoritmo paralelo eficiente de migração reversa no tempo (rtm) 3d com granularidade fina

The reverse time migration algorithm (RTM) has been widely used in the seismic industry to generate images of the underground and thus reduce the risk of oil and gas exploration. Its widespread use is due to its high quality in underground imaging. The RTM is also known for its high computational cost. Therefore, parallel computing techniques have been used in their implementations. In general, parallel approaches for RTM use a coarse granularity by distributing the processing of a subset of seismic shots among nodes of distributed systems. Parallel approaches with coarse granularity for RTM have been shown to be very efficient since the processing of each seismic shot can be performed independently. For this reason, RTM algorithm performance can be considerably improved by using a parallel approach with finer granularity for the processing assigned to each node. This work presents an efficient parallel algorithm for 3D reverse time migration with fine granularity using OpenMP. The propagation algorithm of 3D acoustic wave makes up much of the RTM. Different load balancing were analyzed in order to minimize possible losses parallel performance at this stage. The results served as a basis for the implementation of other phases RTM: backpropagation and imaging condition. The proposed algorithm was tested with synthetic data representing some of the possible underground structures. Metrics such as speedup and efficiency were used to analyze its parallel performance. The migrated sections show that the algorithm obtained satisfactory performance in identifying subsurface structures. As for the parallel performance, the analysis clearly demonstrate the scalability of the algorithm achieving a speedup of 22.46 for the propagation of the wave and 16.95 for the RTM, both with 24 threads.

Gestão de inovação e turismo em Centros de Convenções: análise dos Centros de Convenções de Natal e de Fortaleza

Management and innovation are two words that come together in the organizational context for the success of firms. Innovation has become an essential component for tourism and convention centers. Considering the impact of the meetings centers in the tourism sector and constant innovation as a competitive advantage strategy of the last decade, this study used the innovation management as a key to changing challenge in the center of Natal conventions. Factors in innovation management for meetings centers were investigated by means of information in organizational and technological structure of the equipment such as the state of the art innovation. The main aspects of innovation management reflecting in the meetings industry of construction is the ability to create and change to the conference and convention centers. It is a descriptive exploratory qualitative research with case study method, which relate to innovation management and tourism to Natal and Fortaleza conventions centers. The results show that there is still no at convention center of Natal , a satisfactory innovation management level, for the planning, leadership, skills, strategies and implementations for innovative processes in our times are absent.

Gestão de inovação e turismo em Centros de Convenções: análise dos Centros de Convenções de Natal e de Fortaleza

Management and innovation are two words that come together in the organizational context for the success of firms. Innovation has become an essential component for tourism and convention centers. Considering the impact of the meetings centers in the tourism sector and constant innovation as a competitive advantage strategy of the last decade, this study used the innovation management as a key to changing challenge in the center of Natal conventions. Factors in innovation management for meetings centers were investigated by means of information in organizational and technological structure of the equipment such as the state of the art innovation. The main aspects of innovation management reflecting in the meetings industry of construction is the ability to create and change to the conference and convention centers. It is a descriptive exploratory qualitative research with case study method, which relate to innovation management and tourism to Natal and Fortaleza conventions centers. The results show that there is still no at convention center of Natal , a satisfactory innovation management level, for the planning, leadership, skills, strategies and implementations for innovative processes in our times are absent.