Aplicaçaõ das técnicas Path-relinking e Vocabulary buiding na melhoria de performance do algoritmo memético para o problema do caixeiro viajante assimétrico

The present essay shows strategies of improvement in a well succeded evolutionary metaheuristic to solve the Asymmetric Traveling Salesman Problem. Such steps consist in a Memetic Algorithm projected mainly to this problem. Basically this improvement applied optimizing techniques known as Path-Relinking and Vocabulary Building. Furthermore, this last one has being used in two different ways, in order to evaluate the effects of the improvement on the evolutionary metaheuristic. These methods were implemented in C++ code and the experiments were done under instances at TSPLIB library, being possible to observe that the procedures purposed reached success on the tests done

Caracterização do processo de trabalho do cirurgiãodentista na estratégia de saúde da família do município de Parnamirim-RN

Family Health Strategy (FHS), founded in 1994 has appeared to play a strategic role in the SUS construction and consolidation. It has reaffirmed its Principles and Guidelines and has elected family as core of attention. The principle that has guided the work concerns the quality of the relationship between professional and family. Thus, the FHS has the family as a subject of health-disease process, and relations with its own characteristics and can be partners in building their health and improvement of quality of life of its members and the entire community. This study aims to characterize the surgeon-dentist (SD) working process in the family health strategy, from the knowledge of the SD integration with other team members; organization of services; development of shares, changes perceived by SDs, as well as knowing the surgeon-dentist profile who is part of this strategy. The collecting tool used was a semi-structured questionnaire, in which participated 30 professionals. As for profile, most professionals were women, completed the graduation in public university and did not have any training to work by joining the FHS. Almost all have other public or private working ties. They often carry out activities with students, and occasionally do home visits. In relation to team work, in activities such as home visits, school health, community activities, among others, they sometimes seek the cooperation of other members. The way of accessing for users in the most part has occurred through the schedule. The most frequently activities made to the Centro Especialidades Odontológicas (CEO), are in Endodontics and Prosthesis. The majority of them participate in team meetings, but they do not have frequency set to happen. As for the planning and programming of activities to be conducted, most said that individually develops them. Concerning the performance of their duties, most reported being satisfied, but that improvements could happen. Besides, they reported improvements in dental care following the inclusion of SD in the FHS in various aspects, such as access, organization, humanization, care and oral disease prevention. The professionals had poor integration with other team members, in addition to have a profile to more individualistic work, a fact seized by way of development and planning of actions. They work the actions in individual and curative way, in detriment promotion and collective ones. They work humanization, definition of territory and adscript population. Thus, it is concluded that the working process developed by SDs, includes the part which is advocated by FHS. This points out to a greater undertaking of this process aiming to detect the weakness met in order to reach the potential that the FHS represents in organization of basic attention

A incorporação da saúde bucal no programa saúde da família do Rio Grande do Norte: investigando a possibilidade de conversão do modelo assistencial

The Health Family Program (HFP) was founded in the 1990s with the objective of changing the health care model through a restructuring of primary care. Oral health was officially incorporated into HFP mainly through the efforts of dental professionals, and was seen as a way to break from oral health care models based on curative, technical biological and inequity methods. Despite the fast expansion of HFP oral health teams, it is essential to ask if changes are really occurring in the oral health model of municipalities. Therefore, the purpose of this study is to evaluate the incorporation of oral health teams into the Health Family Program by analyzing the factors that may interfere positively or negatively in the implementation of this strategy and consequently in the process of changing oral health care models in the National Health System in the state of Rio Grande do Norte, Brazil. This evaluation involves three dimensions: access, work organization and strategies of planning. For this purpose,19 municipalities, geographically distributed according to Regional Public Health Units (RPHU), were randomly selected. The data collection instruments used were: structured interview of supervisors and dentists, structured observation, documental research and data from national health data banks. It was possible to identify critical points that may be impeding the implementation of oral health into HFP, such as, low incomes, no legal employment contract, difficulty in referring patients for high-complexity procedures, in developing intersectoral actions and program strategies such as epidemiologic diagnosis and evaluation of the new actions. The majority of municipalities showed little or no improvement in oral health care after incorporating the new model into HFP. All of them had failures in most of the aspects mentioned above. Furthermore, these municipalities are similar in other areas, such as low educational levels in children from 7 to 14 years of age, high child mortality rates and wide social inequalities. On the other hand, the five municipalities that had improved oral health, according to the categories analyzed, offered better living conditions to the population, with higher life expectancy, low infant mortality rates, per capita income among the highest in the state as well as high Human Development Index (HDI) means. Therefore, it is possible to conclude that public policies that include aspects beyond the health sector are decisive for a real change in health care models

Estudo imuno-histoquímico da expressão da glut-1 e mensuração do índice angiogênico (CD34) em adenomas pleomórficos, carcinomas adenóides císticos e carcinomas mucoepidermóides de glândulas salivares

The expression of glucose transporter protein 1 (GLUT-1), as well the angiogenesis has been associated to clinical behavior and aggressiveness in tumors of various origin. It is believed that the expression of this protein denotes metabolic demand of the tumor cells and, thus its influence upon the formation of new blood vessels. Pleomorphic adenoma (PA) and the adenoid cystic carcinoma (ACC) and mucoepidermoid carcinoma (MEC) represent, respectively, the most commom benign and malignant tumors of salivary glands. The aim of this study was to analyze and compare the immunohistochemical expression of GLUT-1 and its correlation with angiogenesis in cases of PAs, ACCs and MECs considering their histological grades. The sample consisted of 20 PAs, 20 ACCs and 10 MECs. The cases were analyzed and classified according to their histological grades. The expression of GLUT-1 was evaluated in the parenchyma lesions, establishing the percentage of immunopositive cells, according to the following scores: 0 (no cell immunomarked), 1 (up to 25% of tumor cells immunostained), 2 (25 - 50% of tumor cells immunostained) and 3 (more than 50% of tumor cells immunostained). The angiogenic index was analyzed by counting the microvessels immunostained by anti-CD34 antibody, in 5 fields (200X). The analysis of the expression of GLUT-1 in tumor parenchyma showed statistically significant differences between benign and malignant groups (p = 0.022). The average number of microvessels in PAs was 40.4, 21.2 in ACCs and 66.5 in MECs, with significant differences between groups (p <0.001). When compared to the expression of GLUT-1 and angiogenic index as a whole, there was no significant correlation between the number of microvessels and the expression of GLUT-1 (r = 0.211, p = 0.141). In conclusion, the results of this study suggest not only that differences in biological behavior between PAs, ACCs and MECs may be associated to the expression of GLUT-1, but also that benign and malignant salivary gland present differences in the average number of microvessels, with higher levels considered more aggressive tumors. Furthermore, the number of newly formed microvessels can be independent of the metabolic demand of the tumor cells

Caracterização e modelagem dos sistemas de produção de caprinos leiteiros

The objectives of this research were characterizing the dairy goat production systems and model it using linear program. On the first step of this research, the model was developed using data from farms that was affiliated in the ACCOMIG/Caprileite, used a similar dairy goat production systems and have a partnership program with Universidade Federal de Minas Gerais . The data of research were from a structured questionnaire applied with farmers and monitoring of production systems during a guided visit on their farms. The results permitted identify that all farms were classified as a small and have a intensive production system. The average herd size had 63.75 dairy goats on lactation; it permits a production of 153, 38 kg of goat milk per day. It was observed that existing more than one channel of commercialization for the goat milk and their derivative products. The data obtained, on the first step of this research, was used to develop a linear program model. It was evaluated in two goat production systems, called P1 and P2. The results showed that the P1 system, with an annual birth and lactation during approximately 300 days was the best alternative for business. These results were compared with a mixed (beef and dairy) goat system in the semiarid region, which indicated merged with both systems. Therefore, to achieve profits and sustainability of the system, in all simulations it was necessary a minimum limit of funding of U.S. $ 10,000.00; this value permit earning of U.S. $ 792.00 per month and pay the investment within 5 years

Caracaterização do núcleo pré-geniculado do sagüi (Callithrix jacchus) :projeção retiniana, neuroquímica e atividade celular (expressão de FOS)

In rodents, the suprachiasmatic nucleus (SCN) and the intergeniculate leaflet (IGL) are the main components of the circadian system. The SCN is considerate the site of an endogenous biological clock because can to generate rhythm and to synchronize to the environmental cues (zeitgebers) and IGL has been related as one of the main areas that modulate the action of SCN. Both receive projections of ganglion cells of retina and this projection to SCN is called retinohypothalamic tract (RHT). Moreover, the IGL is connected with SCN through of geniculohypothalamic tract (GHT). In primates (include humans) was not still demonstrated the presence of a homologous structure to the IGL. It is believed that the pregeniculate nucleus (PGN) can be the answer, but nothing it was still proven. Trying to answer that question, the objective of our study is to do a comparative analysis among PGN and IGL through of techniques immunohystochemicals, neural tracers and FOS expression after dark pulses. For this, we used as experimental model a primate of the new world, the common marmoset (Callithrix jacchus). Ours results may contribute to the elucidation of this lacuna in the circadian system once that the IGL is responsible for the transmission of nonphotic information to SCN and participate in the integration between photic and nonphotic stimulus to adjust the function of the SCN. In this way to find a same structure in primates represent an important achieve in the understanding of the biological rhythms in those animals

Prospecção e formação no domínio das competências e habilidades em tecnologia da informação: o caso do projeto metrópole digital em Natal/RN

This study deals with cognitive competences and abilities that are relevant to selection and education regarding Information Technology (IT). These competences relate to problem solving, decision making, and practical intelligence that regard scholar and extracurricular knowledge mobilization. The research aimed to contribute for the improvement of a selection instrument, consisting of five arrays of skills (dealing with objectives and prospection), as well as the development and comprehension of those skills that are involved in IT education. This is done by means of an analysis on the selection instrument used in the first selective process that occurred at Metropole Digital an Institute at the Federal University of Rio Grande do Norte in Brazil. This was evaluated aiming to acknowledge IT education (with basic training and emphasis on Web programming and electronics). The methodology used was of quantitative method involving performance scores relating education delivery. An Anova analysis of variance was done along with descriptive analysis involving socioeconomic data that was not observed in the meaningful relations between parental instruction and student performance in the graduate course. These analyses were able to point out the importance and need of the policies for vacancy reservation on behalf of public school students. A Spearman correlation analysis was done considering the instrument selection performance in the training course. The instrument is presented as a predictor that is significantly moderate and presents a good performance in the course as a whole. A Cluster and Regression analysis was also realized in the process. The first analysis allowed finding performance groups (Clusters) that ranged from medium and inferior. The regression analysis was able to point out association amongst criterion variables and the (average performance in basic and advanced modules) and explanatory (five matrixes). Regression analysis indicated that matrix 1 and matrix 3 were pointed out as being the strongest ones. In all the above analysis, the correlation between the instrument and the course was considered moderate. Thus this can be related in some of the aspects present in the course such as emphasis on evaluation itself as well as in technical contents and practical skills (educational ones) and competences and selection skills. It is known that the mediation of technological artifact in cultural context can foster the development of skills and abilities relevant to IT training. This study provides subsidies to reflect on the adoption of selection instrument and IT training in the Institute. Thus the research offers means to achieve a interdisciplinary discussion and enriching of areas such as Psychology and Information Technology; all of which regarding competencies and skills relevant in IT training

O problema do caixeiro viajante alugador : um estudo algorítmico

The Car Rental Salesman Problem (CaRS) is a variant of the classical Traveling Salesman Problem which was not described in the literature where a tour of visits can be decomposed into contiguous paths that may be performed in different rental cars. The aim is to determine the Hamiltonian cycle that results in a final minimum cost, considering the cost of the route added to the cost of an expected penalty paid for each exchange of vehicles on the route. This penalty is due to the return of the car dropped to the base. This paper introduces the general problem and illustrates some examples, also featuring some of its associated variants. An overview of the complexity of this combinatorial problem is also outlined, to justify their classification in the NPhard class. A database of instances for the problem is presented, describing the methodology of its constitution. The presented problem is also the subject of a study based on experimental algorithmic implementation of six metaheuristic solutions, representing adaptations of the best of state-of-the-art heuristic programming. New neighborhoods, construction procedures, search operators, evolutionary agents, cooperation by multi-pheromone are created for this problem. Furtermore, computational experiments and comparative performance tests are conducted on a sample of 60 instances of the created database, aiming to offer a algorithm with an efficient solution for this problem. These results will illustrate the best performance reached by the transgenetic algorithm in all instances of the dataset

Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys

It bet on the next generation of computers as architecture with multiple processors and/or multicore processors. In this sense there are challenges related to features interconnection, operating frequency, the area on chip, power dissipation, performance and programmability. The mechanism of interconnection and communication it was considered ideal for this type of architecture are the networks-on-chip, due its scalability, reusability and intrinsic parallelism. The networks-on-chip communication is accomplished by transmitting packets that carry data and instructions that represent requests and responses between the processing elements interconnected by the network. The transmission of packets is accomplished as in a pipeline between the routers in the network, from source to destination of the communication, even allowing simultaneous communications between pairs of different sources and destinations. From this fact, it is proposed to transform the entire infrastructure communication of network-on-chip, using the routing mechanisms, arbitration and storage, in a parallel processing system for high performance. In this proposal, the packages are formed by instructions and data that represent the applications, which are executed on routers as well as they are transmitted, using the pipeline and parallel communication transmissions. In contrast, traditional processors are not used, but only single cores that control the access to memory. An implementation of this idea is called IPNoSys (Integrated Processing NoC System), which has an own programming model and a routing algorithm that guarantees the execution of all instructions in the packets, preventing situations of deadlock, livelock and starvation. This architecture provides mechanisms for input and output, interruption and operating system support. As proof of concept was developed a programming environment and a simulator for this architecture in SystemC, which allows configuration of various parameters and to obtain several results to evaluate it

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

Um middleware reflexivo e orientado a aspectos: arquitetura e implementações

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Uma abordagem baseada em aspectos e composição dinâmica para a construção de aplicações adaptativas cientes ao contexto

Ubiquitous computing systems operate in environments where the available resources significantly change during the system operation, thus requiring adaptive and context aware mechanisms to sense changes in the environment and adapt to new execution contexts. Motivated by this requirement, a framework for developing and executing adaptive context aware applications is proposed. The PACCA framework employs aspect-oriented techniques to modularize the adaptive behavior and to keep apart the application logic from this behavior. PACCA uses abstract aspect concept to provide flexibility by addition of new adaptive concerns that extend the abstract aspect. Furthermore, PACCA has a default aspect model that considers habitual adaptive concerns in ubiquitous applications. It exploits the synergy between aspect-orientation and dynamic composition to achieve context-aware adaptation, guided by predefined policies and aim to allow software modules on demand load making possible better use of mobile devices and yours limited resources. A Development Process for the ubiquitous applications conception is also proposed and presents a set of activities that guide adaptive context-aware developer. Finally, a quantitative study evaluates the approach based on aspects and dynamic composition for the construction of ubiquitous applications based in metrics

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]