Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

O direito à informação jornalística: garantias constitucionais ao direito de ser informado no sistema brasileiro.

The freedom of social communication referred to those freedoms exercised under of the media. The journalism is professional activity responsible for factual information, real, pluralistic and of the public interest, directed diffusely to social orientation. The right of the information, characterized as diffuse right or of fruition by uncertain and numerous holders, is subdivided in the right of the inform, inform yourself and right to be informed. The journalists, as occupants of a enlarged spectrum concerning of right of the inform, have responsibility for the information they disseminate, devoir that puts on the basis of the constitutional right to be informed. This duty is divided with journalistic companies, when them realized. In the research, examined the existence of constitutional guarantees the right to be informed. To answer the question, realized research to support bibliographical and documentary. The guaranty is a empirical preoccupation coated with legality, since lends itself effect concretize a right. Traced so a panel of guarantees of institutional imprint, substantive and procedural. Treating of the institutional guarantees the right to information, it would refer to true institutions (as the free press) and may begin subjective rights. In the case of substantial guarantees, we would have access to information, the confidentiality of the fonts and the incensurable feature of journalistic information. A guarantee peculiar would be constitution of bodies responsible for monitoring the quality of the vehicles of communication. Trace it also a panel strict of procedural safeguards, such as public civil action, the security s warrant, and the rights of petition and answer.

Sistema especialista fuzzy para dimensionamento de bombeio mecânico

Despite the emergence of other forms of artificial lift, sucker rod pumping systems remains hegemonic because of its flexibility of operation and lower investment cost compared to other lifting techniques developed. A successful rod pumping sizing necessarily passes through the supply of estimated flow and the controlled wear of pumping equipment used in the mounted configuration. However, the mediation of these elements is particularly challenging, especially for most designers dealing with this work, which still lack the experience needed to get good projects pumping in time. Even with the existence of various computer applications on the market in order to facilitate this task, they must face a grueling process of trial and error until you get the most appropriate combination of equipment for installation in the well. This thesis proposes the creation of an expert system in the design of sucker rod pumping systems. Its mission is to guide a petroleum engineer in the task of selecting a range of equipment appropriate to the context provided by the characteristics of the oil that will be raised to the surface. Features such as the level of gas separation, presence of corrosive elements, possibility of production of sand and waxing are taken into account in selecting the pumping unit, sucker-rod strings and subsurface pump and their operation mode. It is able to approximate the inferente process in the way of human reasoning, which leads to results closer to those obtained by a specialist. For this, their production rules were based on the theory of fuzzy sets, able to model vague concepts typically present in human reasoning. The calculations of operating parameters of the pumping system are made by the API RP 11L method. Based on information input, the system is able to return to the user a set of pumping configurations that meet a given design flow, but without subjecting the selected equipment to an effort beyond that which can bear

Utilização de mapas conceituais como ferramenta de ensino para o desenvolvimento do raciocínio clínico no curso de medicina da Universidade Federal do Rio Grande do Norte

BACKGROUND: Among the wide range of skills displayed by a medical doctor is undoubtedly the need to use cohesive and well grounded clinical reasoning in order for medical care to be indeed effective. It is in this respect that conceptual maps emerge; these are a methodological innovation that allows a comprehensive, panoramic and associative outlook of theoretical content, making it more practical and applicable to the reality of clinical observation. Promoting learning, learning resources and a feedback system between professor and students, as well as assessing and monitoring the performance of students during their academic training, are the main features of this tool. OBJETIVE: Assess the use of conceptual maps as a teaching-learning tool in the training of undergraduate medical students at Universidade Federal do Rio Grande do Norte (UFRN). METHODOLOGY: Interventional, randomized, cross-sectional study conducted with students from the 3rd and 5th periods of the medical course at UFRN, during the second semester of 2014, totaling 86 participants, divided into two groups: GI (intervention – clinical case resolution with a conceptual map) and GII (control – clinical case resolution without a conceptual map) in each period. RESULTS: The use of conceptual maps to teach liver failure syndrome resulted in a statistically significant cognitive gain for G1 students from the 5th period (GI: 6.8±1.6 and 8.0±1.5, p = 0.024; GII: 7.2±2.1 and 8.0±1.7, p = 0.125, pre and post-intermediate means, respectively), a result not observed in the period 3rd (GI: 7.7±1.3 and 8.0±1.4, p = 0.501; GII: 6.7±1.8 and 7.8±1.8; p=0.068, pre and post-intermediate means, respectively). Students in the 3 rd period gave better responses to the first clinical case, with a larger number of suitable concepts and crosslinks, when they used conceptual maps (GI: 91.3±13.15 and GII: 64.84±22.84, p=0,002). Students in the 5th period exhibited better clinical reasoning and more complete responses using the tool (p=0,01). Most of the students were not aware of the tool (53.8% from the 3rd period and 65.3% from the 5th period). Among those who knew about conceptual maps, most (59.3%) had only used them during high school, 14.8% had never used them and only seven students (25.9%) used them during the medical course. Analysis of open responses, obtained in process assessment showed clear satisfaction and enthusiasm with learning about the new tool, and frequent suggestions to use it at other moments in the course. Assessment of learning profile, using the VARK questionnaire, showed that most students from both periods exhibited a multimodal style. CONCLUSION: Despite their scant knowledge regarding the tool, good acceptability and understanding was observed in the study participants. The conceptual maps allowed cognitive gains, better responses and clinical reasoning in teaching liver failure syndrome to 5th period students.