100 resultados para Programação dinamica
Resumo:
The present work aims to reflect on the everyday and its Vincentian practices of sociability in the early years of the presence of television in the city of São Vicente (RN), from the memories of the protagonists who witnessed the first insertion of TV set sin the beginning sof 1970s.Thus, the research was guided by some questions deemed relevant to the study in order to understand the most significant changes in the daily Vincentian boosted by the arrival of television in some private houses, which soon became a meeting place, recreation and sociability. At that time, filled the role of TV unites and brings people together. These houses, reinvented in spaces of sociability, were sanctioned by the various actors who gathered daily to include television programming. This popularity of television was measured by the joint efforts of people who moved their homes to homes that had this technical device. Each home with their uniqueness sand peculiarity, which attracted the population frequency f these spaces were frequent. Of course people still sit on the sidewalks, to be held the night rides in the streets and square, but soon came to the program schedule Preferred came into leaving their homes or to homes that had TV, watch them in the design of audiovisual programs. We use the oral memory as the principal methodology in order to interpret the memories recounted by people who lived in that time period studied. For this purpose we constructed a narrative that highlights the categories memory, media, social practices, everyday life and thus has the theoretical and methodological contributions of authors of humanities and social sciences its main foundation. In field research in the use of in-depth interviews, since the narratives of our research is interviewed. The importance of a study of such order, is not only in understanding the TV as an essential mediator for the interaction of individuals in society, from 1970 in São Vicente (RN), but also for the unveiling of his relationship with the daily routines of the Vincentians, founded in environments and symbols that regulated the conduct and reordered the social practices and sociability of these subjects. In this sense, the making of a work on the presence of TV in the city of São Vicente (RN) is also of paramount importance for the history of this media at the national level, since this is nothing more than a set of multiple stories
Resumo:
The radio is just not seen as conveying information, but a media able to establish ways that generate certain direction. We see an inclusion of the listener in the construction of programs, is exposing their life stories, commenting on facts, answering questions, choosing subjects and participating in some form of radio programming. This insertion of the listener in radio programs is generally thought of as a constituent element of the message. This study aims to analyze the participation of the listener and the forms of interaction in the " Debates of the People" that thirty- past two years is the schedule for CBN Fortaleza. The investigation was conducted through observation in studio, interview, transcription, content analysis and association analysis. This is a qualitative and quantitative research while. We found that the listeners of the program had no acceptance of interactive tools such as the Internet and social networks to make their holdings. In clipping analyzed, we noted that the participation of the listener was selected according to their relationship and proximity to the topic discussed. Also detected that the opinion is superior to the listener questions on the topic. The presenter has the function to put the questions in the listener program. Among the public comments are questions and opinions on the subject and speaks of the debaters. Among the authors, use Barbosa (2009 ), Ferraretto (2007 ), Lopez (2010 ), Ortriwano (2001 ), Peruzzo (2004 ), Prata (2009 ), Primo (2006 ), Thompson (2009 ), among others
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
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
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Resumo:
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
Resumo:
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]