Simulation and Formal Verification for Improving Safety of PLC Programs

The use of analysis techniques for improving quality of software for industrial controllers is widely used. Mainly Simulation and Formal Verification can be used as complementary techniques improving dependability of mechatronic systems behavior. In this paper there are used Simulation and Formal Verification for guaranteeing safe software for Programmable Logic Controllers, mainly related with using Function blocks of IEC 61131-3 standard. For studying, simulating and verifying behavior of those blocks are used timed automata, as modeling formalism, and UPPAAL, as tool for simulation and Formal Verification purposes

Tratamento ortodôntico em pacientes com doença periodontal

Introdução: O tratamento ortodôntico tem como objetivo estabelecer uma oclusão funcionalmente e esteticamente estável e harmónica através de movimentos dentários apropriados. Estes movimentos estão fortemente relacionados com interações dentárias com os seus tecidos periodontais de suporte. Nos últimos anos, devido ao aumento do número de pacientes adultos que procuram tratamento ortodôntico, os ortodontistas frequentemente se deparam com pacientes com problemas periodontais. Assim, cabe ao profissional ter conhecimento das características da doença periodontal e suas sequelas bem como os efeitos, considerações e limitações do tratamento ortodôntico nos tecidos periodontais comprometidos. Objetivo: O objetivo deste trabalho foi realizar uma pesquisa bibliográfica de forma a verificar se o tratamento ortodôntico em pacientes com doença periodontal é possível sem agravar as condições periodontais, e sistematizar os pontos importantes a ter em conta para a realização do mesmo. Este tema torna-se importante uma vez que a procura de tratamento ortodôntico por parte de pacientes com problemas periodontais é cada vez mais frequente. Materiais e Métodos: Foi efetuada uma pesquisa bibliográfica de revisões sistemáticas, sendo aplicada uma limitação temporal de Janeiro de 2006 a Janeiro de 2016 e limitação linguística em inglês. Para a realização da mesma, utilizou-se o motor de busca MEDLINE/PubMed. Resultados: Foi possível constatar que o tratamento ortodôntico juntamente com a colaboração do paciente e ausência de inflamação periodontal pode conduzir a resultados satisfatórios sem causar danos irreversíveis para os tecidos periodontais. Além disso, o mesmo pode expandir as possibilidades de tratamento periodontal em certos pacientes.Introduction: Orthodontic treatment aims to establish a functional and esthetical occlusion stable and harmonious through appropriate tooth movement. These movements are strongly related with dental interactions in their periodontal tissue support. In recent years, due to the increase in the number of adult patients seeking orthodontic treatment, orthodontists often encounter patients with periodontal problems. Thus, it is up to the professional to be aware of the characteristics of periodontal disease, its consequences and effects, plus considerations and limitations of orthodontic treatment in compromised periodontal tissues. Objective: The purpose of this work was to conduct a bibliographic review in order to verify if the orthodontic treatment in patients with periodontal disease is possible without aggravating periodontal conditions and systematize the important points to consider for the realization of it. This issue becomes important since the demand for orthodontic treatment by patients with periodontal problems is increasingly common. Materials and Methods: It was performed a survey of systematic reviews, and applied a temporal limitation between January 2006 and January 2016 and a linguistic limitation in English. This search was conducted in MEDLINE / PubMed. Results: It was found that orthodontic treatment with the collaboration of the patient and the absence of periodontal inflammation can lead to satisfactory results without causing irreversible damage to the periodontal tissues. In addition, the same can expand the possibilities for periodontal treatment in certain patients

Tratamento ortodôntico em pacientes com doença periodontal

Introdução: O tratamento ortodôntico tem como objetivo estabelecer uma oclusão funcionalmente e esteticamente estável e harmónica através de movimentos dentários apropriados. Estes movimentos estão fortemente relacionados com interações dentárias com os seus tecidos periodontais de suporte. Nos últimos anos, devido ao aumento do número de pacientes adultos que procuram tratamento ortodôntico, os ortodontistas frequentemente se deparam com pacientes com problemas periodontais. Assim, cabe ao profissional ter conhecimento das características da doença periodontal e suas sequelas bem como os efeitos, considerações e limitações do tratamento ortodôntico nos tecidos periodontais comprometidos. Objetivo: O objetivo deste trabalho foi realizar uma pesquisa bibliográfica de forma a verificar se o tratamento ortodôntico em pacientes com doença periodontal é possível sem agravar as condições periodontais, e sistematizar os pontos importantes a ter em conta para a realização do mesmo. Este tema torna-se importante uma vez que a procura de tratamento ortodôntico por parte de pacientes com problemas periodontais é cada vez mais frequente. Materiais e Métodos: Foi efetuada uma pesquisa bibliográfica de revisões sistemáticas, sendo aplicada uma limitação temporal de Janeiro de 2006 a Janeiro de 2016 e limitação linguística em inglês. Para a realização da mesma, utilizou-se o motor de busca MEDLINE/PubMed. Resultados: Foi possível constatar que o tratamento ortodôntico juntamente com a colaboração do paciente e ausência de inflamação periodontal pode conduzir a resultados satisfatórios sem causar danos irreversíveis para os tecidos periodontais. Além disso, o mesmo pode expandir as possibilidades de tratamento periodontal em certos pacientes.Introduction: Orthodontic treatment aims to establish a functional and esthetical occlusion stable and harmonious through appropriate tooth movement. These movements are strongly related with dental interactions in their periodontal tissue support. In recent years, due to the increase in the number of adult patients seeking orthodontic treatment, orthodontists often encounter patients with periodontal problems. Thus, it is up to the professional to be aware of the characteristics of periodontal disease, its consequences and effects, plus considerations and limitations of orthodontic treatment in compromised periodontal tissues. Objective: The purpose of this work was to conduct a bibliographic review in order to verify if the orthodontic treatment in patients with periodontal disease is possible without aggravating periodontal conditions and systematize the important points to consider for the realization of it. This issue becomes important since the demand for orthodontic treatment by patients with periodontal problems is increasingly common. Materials and Methods: It was performed a survey of systematic reviews, and applied a temporal limitation between January 2006 and January 2016 and a linguistic limitation in English. This search was conducted in MEDLINE / PubMed. Results: It was found that orthodontic treatment with the collaboration of the patient and the absence of periodontal inflammation can lead to satisfactory results without causing irreversible damage to the periodontal tissues. In addition, the same can expand the possibilities for periodontal treatment in certain patients

Ethics, sustainability and responsible citizenship in high school

Citizenship defines the belonging of individuals to the society in which they live. It is understood that the complementary notions of ethics and sustainability must permeate citizenship today. Citizenship will gain greater expression when the individual leaves the household to be inserted in society through the vote and  professional action. For this reason, the analysis of the profile of young people who are graduating from high school is representative. Thus, this analysis aims to characterize citizenship experiences in the city of Caçador-SC by looking at the reality of students of the third year of high school from the perspective of sustainability. Methodologically, the research is qualitative-quantitative as it uses mixed techniques. It is concluded that many young people are aware of the need for an ethical and sustainable life, but some habits still prevent them from engaging in committed actions towards the society expressed by these concepts

Terapêutica Fotodinâmica Tópica como Opção de Tratamento de Doença de Bowen Periocular: Caso Clínico

Cutaneous squamous cell carcinoma in situ of the eyelid and periorbital skin malignancies is common and its management is demanding. Surgical excision is considered the first-line treatment, but these techniques have limitations. Topical photodynamic therapy is currently approved for the treatment of squamous cell carcinoma in situ in other areas, but the reports of its use in this sensitive anatomic location area are scarce. Herein we report the case of a 61-year-old-man with extensive periocular Bowen disease that was treated successfully with photodynamic therapy. Photodynamic therapy may be an option as neoadjuvant or curative therapy in selected cases, especially in sensitive anatomic locations where surgery might lead to distortion of the structures or where techniques as micrographically controlled surgery are not available.O carcinoma epidermóide in situ localizado na pálpebra e região peri-ocular é comum e o seu tratamento é desafiante. A excisão cirúrgica é considerada opção terapêutica de primeira-linha, mas tem limitações. A terapia fotodinâmica tópica está atualmente aprovada para o tratamento do carcinoma epidermoide in situ em outras localizações, mas os relatos do seu uso em nesta zona anatómica são escassos. Apresentamos o caso de um homem de 61 anos, com um carcinoma epidermoide in situ de grandes dimensões localizado na região periocular tratado eficazmente com terapia fotodinâmica. A terapia fotodinâmica poderá ser uma opção terapêutica neoadjuvante ou curativa nos casos selecionados, sobretudo em áreas anatómicas complexas nas quais a cirurgia pode causar distorção das estruturas ou técnicas cirúrgicas com controlo micrográfico não estão disponíveis. &nbsp

Problem-based learning (PBL) e interdisciplinaridade no ensino-aprendizagem de engenharia de software

Higher education is determinant in the construction of a society in its different dimensions. The ability to solve problems requires interdisciplinary skills. The goal of this action research was to evaluate the effectiveness of problem-based learning (PBL) for interdisciplinary teaching in software engineering (ESW). Tutorials were conducted with students of an Information Systems course. A questionnaire was applied to those who experienced the proposed method, also applied to former students who had graduated two years ago and to the students of the initial phases. When comparing the results of each group, it was evidenced that the PBL, as applied, contributed significantly to the construction of a more comprehensive view of the student about ESW and the impact of its products on society.La educación superior es determinante en la construcción de una sociedad en sus diferentes dimensiones. La capacidad de resolver problemas requiere competencias interdisciplinarias. El objetivo de esta investigación-acción fue evaluar la efectividad del problem-based learning (PBL) para la enseñanza interdisciplinaria en ingeniería de software (ESW). Fueron realizadastutorías con alumnos de un curso de Sistemas de Información. Un cuestionario fue aplicado a aquellos que pasaron por el método propuesto, a los egresados de dos años anteriores y a los alumnos de las fases iniciales. Al comparar los resultados de cada grupo, se evidenció que la PBL, tal cual aplicada, contribuyó de forma significativa en la construcción de una visión más amplia en el estudiante acerca de la ESW y el impacto de sus productos en la sociedad.A educação superior é determinante na construção de uma sociedade em suas diferentes dimensões. A capacidade de resolver problemas requer competências interdisciplinares. O objetivo desta pesquisa-ação foi avaliar a efetividade da problem-based learning (PBL) para o ensino interdisciplinar em engenharia de software (ESW). Foram conduzidas tutorias com alunos de um curso de Sistemas de Informação. Um questionário foi aplicado àqueles que passaram pelo método proposto, em egressos de dois anos anteriores e em alunos das fases iniciais. Ao comparar os resultados de cada grupo, evidenciou-se que a PBL, tal qual aplicada, contribuiu de forma significativa na construção de uma visão mais abrangente no estudante acerca da ESW e o impacto de seus produtos na sociedade

Saxonette : uma alternativa para a iniciação do clarinete?

O processo de iniciação a um instrumento musical requer cuidados redobrados e uma grande flexibilidade teórico-prática por parte dos professores, no intuito de manter os alunos motivados durante toda a aprendizagem. Verificando os problemas associados a esta fase da aprendizagem musical e explorando diferentes métodos e estratégias, o presente projeto de investigação-ação assenta na problemática em relação ao instrumento mais adequado à iniciação do clarinete. Ao longo deste projeto de investigação são apresentados os procedimentos aplicados a um grupo formado por três alunos que se encontravam a iniciar a sua aprendizagem no clarinete, no Conservatório de Música e Artes do Dão. Este grupo esteve, durante o ano letivo 2015/2016, exposto ao saxonette, instrumento alternativo à iniciação do clarinete, em redor do qual se centra esta investigação-ação. Os resultados comparativos entre os dois instrumentos – saxonette e clarinete em si bemol -, bem como a análise das entrevistas e da prática-piloto com os três alunos, permitiram retirar conclusões extremamente positivas em relação à introdução do saxonette como antecâmara no processo alternativo da iniciação à aprendizagem do jovem clarinetista.Abstract : The processes underpinning the learning of a musical instrument require redoubled care and great theoretical and practical flexibility by teachers, in order to keep the students motivated throughout the learning process. By verifying the problems associated with this phase of musical learning and exploring different methods and strategies, the current project of action research is based on the problematic of the most appropriate instrument for the clarinet’s initiation. Throughout this research project the procedures applied were presented to a group of three students who were beginning their learning in the clarinet at the Conservatory of Music and Arts of Dão. During the academic year of 2015/2016, this group was exposed to saxonette, an alternative instrument to the initiation of the clarinet around which this action research is centered. The comparative results between the two instruments – saxonette and standard clarinet, as well as the analysis of the interviews and the pilot practice with the three students, allowed to draw extremely positive conclusions, regarding the introduction of the saxonette as an alternative to the initiation of the learning process of the young clarinetist

Youtuber: A New Work Conception

The work and worker perspective marks various times of history, several studies are applied along periods and always seek to improve the concepts and techniques of work. In view of the evolution of concepts and the fast technological revolution, this article aims to analyze the profile and understand the work of a YouTuber compared to traditional forms of work. For this, a brief survey of the concepts of traditional management models is done; characteristics of YouTubers as workers are raised; traditional forms were compared with the conception of work on the YouTube platform. This is a descriptive study with qualitative data analysis. A semi-structured interview was applied to 15 YouTubers who agreed to participate in the research. Thus, it was possible to investigate information and describe characteristics of this new way of working. It was found that YouTubers have common characteristics, especially that they are self-taught, had low investments in equipment and have no employment. Comparisons of traditional work characteristics with YouTubers were made and it was found that this form of work does not maintain significant similarities with the Taylor, Fayol and Ford management models, approaching, in some aspects, Toyotism, such as: flexible production, adaptability and being qualified, multifunctional, flexible and adaptable. Keywords: Work, YouTubers, Characteristic of the worker. DOI: 10.7176/RHSS/11-4-05 Publication date: February 28th 202