532 resultados para Corrective shoeing
Resumo:
Pós-graduação em Engenharia Mecânica - FEG
Resumo:
This study reports the implementation of GMPs in a mozzarella cheese processing plant. The mozzarella cheese manufacturing unit is located in the Southwestern region of the state of Parana, Brazil, and processes 20,000 L of milk daily. The implementation of GMP took place with the creation of a multi-disciplinary team and it was carried out in four steps: diagnosis, report of the diagnosis and road map, corrective measures and follow-up of GMP implementation. The effectiveness of actions taken and GMP implementation was compared by the total percentages of non-conformities and conformities before and after implementation of GMR Microbiological indicators were also used to assess the implementation of GMP in the mozzarella cheese processing facility. Results showed that the average percentage of conformity after the implementation of GMP was significant increased to 66%, while before it was 32% (p < 0.05). The populations of aerobic microorganisms and total coliforms in equipment were significantly reduced (p < 0.05) after the implementation of GMP, as well as the populations of total coliforms in the hands of food handlers (p < 0.05). In conclusion, GMP implementation changed the overall organization of the cheese processing unity, as well as managers and food handlers' behavior and knowledge on the quality and safety of products manufactured. (C) 2011 Elsevier Ltd. All rights reserved.
Resumo:
Objective To evaluate the changes in tissue perfusion parameters in dogs with severe sepsis/septic shock in response to goal-directed hemodynamic optimization in the ICU and their relation to outcome. Design Prospective observational study. Setting ICU of a veterinary university medical center. Animals Thirty dogs with severe sepsis or septic shock caused by pyometra who underwent surgery and were admitted to the ICU. Measurements and Main Results Severe sepsis was defined as the presence of sepsis and sepsis-induced dysfunction of one or more organs. Septic shock was defined as the presence of severe sepsis plus hypotension not reversed with fluid resuscitation. After the presumptive diagnosis of sepsis secondary to pyometra, blood samples were collected and clinical findings were recorded. Volume resuscitation with 0.9% saline solution and antimicrobial therapy were initiated. Following abdominal ultrasonography and confirmation of increased uterine volume, dogs underwent corrective surgery. After surgery, the animals were admitted to the ICU, where resuscitation was guided by the clinical parameters, central venous oxygen saturation (ScvO2), lactate, and base deficit. Between survivors and nonsurvivors it was observed that the ScvO2, lactate, and base deficit on ICU admission were each related independently to death (P = 0.001, P = 0.030, and P < 0.001, respectively). ScvO2 and base deficit were found to be the best discriminators between survivors and nonsurvivors as assessed via receiver operator characteristic curve analysis. Conclusion Our study suggests that ScvO2 and base deficit are useful in predicting the prognosis of dogs with severe sepsis and septic shock; animals with a higher ScvO2 and lower base deficit at admission to the ICU have a lower probability of death.
Resumo:
The purpose of the present study was to evaluate in vivo the failure rate of metallic brackets bonded with two orthodontic composites. Nineteen patients with ages ranging from 10.5 to 38.7 years needing corrective orthodontic treatment were selected for study. The enamel surfaces from second premolars to second premolars were treated with Transbond Plus-Self Etching Primer (3M Unitek). Next, 380 orthodontic brackets were bonded on maxillary and mandibular teeth, as follows: 190 with Transbond XT composite (3M Unitek) (control) and 190 with Transbond Plus Color Change (3M Unitek) (experimental) in contralateral quadrants. The bonded brackets were light cured for 40 s, and initial alignment archwires were inserted. Bond failure rates were recorded over a six-month period. At the end of the evaluation, six bond failures occurred, three for each composite. Kaplan-Meyer method and log-rank test (Mantel-Cox) was used for statistical analysis, and no statistically significant difference was found between the materials (p=0.999). Both Transbond XT and Transbond Plus Color Change composites had low debonding rates over the study period.
Resumo:
The purpose of this study was to compare the effects of active and passive lacebacks on antero-posterior position of maxillary first molars and central incisors during leveling phase. Twenty-three subjects with Class I and Class II malocclusion were treated with first premolars extraction using preadjusted appliances (MBT 0.022-inch brackets). The leveling phase was performed with stainless steel archwires only. The sample was divided into 2 groups: 14 subjects received active lacebacks (Group 1) and 9 subjects received passive lacebacks (Group 2). Lacebacks were made from 0.008-inch ligature wire. Lateral cephalometric radiographs were taken pre- and post-leveling phase. Student's t-test was applied to determine the differences between pre- and post-leveling mean values and to determine the mean differences between groups. In Group I, the first molars showed a significant mesial movement, whereas no change was observed in Group 2. In both groups, maxillary central incisor crowns moved to lingual side. In conclusion, active laceback produced anchorage loss of maxillary first molars whereas passive laceback did not affect the position of these teeth. Active and passive lacebacks were effective in preventing central incisor proclination.
Resumo:
OBJECTIVES: The aim of this study was to evaluate in vivo the bonding of metallic orthodontic brackets with different adhesive systems. MATERIAL AND METHODS: Twenty patients (10.5-15.1 years old) who had sought corrective orthodontic treatment at a University Orthodontic Clinic were evaluated. Brackets were bonded from the right second premolar to the left second premolar in the upper and lower arches using: Orthodontic Concise, conventional Transbond XT, Transbond XT without primer, and Transbond XT associated with Transbond Plus Self-etching Primer (TPSEP). The 4 adhesive systems were used in all patients using a split-mouth design; each adhesive system was used in one quadrant of each dental arch, so that each group of 5 patients received the same bonding sequence. Initial archwires were inserted 1 week after bracket bonding. The number of bracket failures for each adhesive system was quantified over a 6-month period. RESULTS: The number of debonded brackets was: 8- Orthodontic Concise, 2- conventional Transbond XT, 9- Transbond XT without primer, and 1- Transbond XT + TPSEP. By using the Kaplan-Meier methods, statistically significant differences were found between the materials (p=0.0198), and the Logrank test identified these differences. Conventional Transbond XT and Transbond XT + TPSEP adhesive systems were statistically superior to Orthodontic Concise and Transbond XT without primer (p<0.05). There was no statistically significant difference between the dental arches (upper and lower), between the dental arch sides (right and left), and among the quadrants. CONCLUSIONS: The largest number of bracket failures occurred with Orthodontic Concise and Transbond XT without primer systems and few bracket failures occurred with conventional Transbond XT and Transbond XT+TPSEP. More bracket failures were observed in the posterior region compared with the anterior region.
Resumo:
OBJECTIVE: To describe and compare three alternative methods for controlling classical friction: Self-ligating brackets (SLB), special brackets (SB) and special elastomeric ligatures (SEB). METHODS: The study compared Damon MX, Smart Clip, In-Ovation and Easy Clip self-ligating bracket systems, the special Synergy brackets and Morelli's twin bracket with special 8-shaped elastomeric ligatures. New and used Morelli brackets with new and used elastomeric ligatures were used as control. All brackets had 0.022 x 0.028-in slots. 0.014-in nickel-titanium and stainless steel 0.019 x 0.025-in wires were tied to first premolar steel brackets using each archwire ligation method and pulled by an Instron machine at a speed of 0.5 mm/minute. Prior to the mechanical tests the absence of binding in the device was ruled out. Statistical analysis consisted of the Kruskal-Wallis test and multiple non-parametric analyses at a 1% significance level. RESULTS: When a 0.014-in archwire was employed, all ligation methods exhibited classical friction forces close to zero, except Morelli brackets with new and old elastomeric ligatures, which displayed 64 and 44 centiNewtons, respectively. When a 0.019 x 0.025-in archwire was employed, all ligation methods exhibited values close to zero, except the In-Ovation brackets, which yielded 45 cN, and the Morelli brackets with new and old elastomeric ligatures, which displayed 82 and 49 centiNewtons, respectively. CONCLUSIONS: Damon MX, Easy Clip, Smart Clip, Synergy bracket systems and 8-shaped ligatures proved to be equally effective alternatives for controlling classical friction using 0.014-in nickel-titanium archwires and 0.019 x 0.025-in steel archwires, while the In-Ovation was efficient with 0.014-in archwires but with 0.019 x 0.025-in archwires it exhibited friction that was similar to conventional brackets with used elastomeric ligatures.
Resumo:
OBJECTIVE: To evaluate the stability and the relapse of maxillary anterior crowding treatment on cases with premolar extraction and evaluate the tendency of the teeth to return to their pretreatment position. METHODS: The experimental sample consisted of 70 patients of both sex with an initial Class I and Class II maloclusion and treated with first premolar extractions. The initial mean age was 13,08 years. Dental casts' measurements were obtained at three stages (pretreatment, posttreatment and posttreatment of 9 years on average) and the variables assessed were Little Irregularity Index, maxillary arch length and intercanine. Pearson correlation coefficient was used to know if some studied variable would have influence on the crowding in the three stages (LII1, LII2, LII3) and in each linear displacement of the Little irregularity index (A, B, C, D, E) in the initial and post-retention phases. RESULTS: The maxillary crowding relapse ( LII3-2) is influenced by the initial ( LII1), and the teeth tend to return to their pretreatment position. CONCLUSION: The results underline the attention that the orthodontist should be given to the maxillary anterior relapse, primarily on those teeth that are crowded before the treatment.
Resumo:
OBJECTIVE: This study aimed to evaluate the cephalometric effects promoted by the orthodontic treatment of Class II malocclusion patients with the use of the 10-Hour Force Theory, that consists in the use of fixed appliances with 8 hours a day using a cervical headgear appliance and 16 hours a day using Class II elastics, 8 hours on the first mandibular molar and 8 hours in the second mandibular molar. METHODS: Sample comprised 31 patients with mean initial age of 14.90 years, final mean age of 17.25 years and mean treatment time of 2.35 years. The lateral cephalograms in pre-treatment and post-treatment stages were evaluated. Evaluation of cephalometric changes between initial and final treatment phases was performed by paired t test. RESULTS: The cases treated with the 10-Hour Force Theory presented a slight restriction of anterior displacement of the maxilla, increase in the effective length of the mandible, significant improvement of the maxillomandibular relationship, significant increase in anterior lower face height, distal tipping of the maxillary premolar crowns, extrusion and distal tipping of the roots of maxillary molars, significant proclination and protrusion of mandibular incisors, significant extrusion and mesialization of mandibular molars, besides a significant correction of the molar relationship, overjet and overbite. CONCLUSION: The use of the 10-Hour Force Theory in treatment of Class II malocclusion provided satisfactory results.
Resumo:
Em conformidade com a dúvida de seu título, o difundido livro The New Brutalism: Ethic or Aesthetic? de Reyner Banham não é possível explicar o Brutalismo como manifestação artística coesa, dotada de consistência e reprodutibilidade formal. A citação de arquitetos famosos, porém divergentes, parece associar e comparar obras ásperas com a pretensão de reerguer uma arquitetura moderna considerada ascética, monótona e insuficiente e gera um teoricismo da aparência crua e do moralismo dos objetos. Discurso que oculta, ou desvia a atenção do retorno artístico à sublimidade e construção artesanal. O Brutalismo é aceito como evolução natural dos estágios modernos anteriores e sanciona artefatos toscos, pesados e inacabados como se fossem filiados ao processo moderno desinfestado. Esconde contradições e disfarça seu rompimento com o moderno para prolongar a expressão Movimento moderno. Mas o objeto claro, econômico e preciso é repudiado pelo consumidor e, por ser pouco representativo, o artista faz sua maquiagem com episódios contrastantes e monumentais na informalidade das cidades espontâneas. No entanto, parece possível suspender a noção positiva e corretiva do Brutalismo para entendê-lo como um recuo artístico vulgarizador que despreza aperfeiçoamento e afronta a atitude moderna com banalização conceptiva, exagero, figuralidade, musculação estrutural, grandeza tectônica, rudimento e rudeza. Assim, moralismo, retorno rústico e originalidade desqualificam a expressão International Style entendida como a culminação da arquitetura moderna do pós-guerra, ao depreciá-la como decadente, como produto imobiliário, comercial e corporativo a serviço do capital. Essa interpretação desvela uma crítica anti-industrial, portanto antimodernista e diversa da pós-modernidade, porém contestadora e realista para fornecer imagens à cultura e aos insensíveis à estrutura da forma moderna. Diverso da pós-modernidade pela dependência ao moderno e ausência de apelo popular. Tornada insignificante a configuração oportuna do artefato, o arquiteto tenta reter sua notabilidade artística, ou o prestígio que parece enfraquecer na aparência símile da especificação de catálogo, no rigor modular. Indispõe-se e repudia componentes, Standards e acabamentos impessoais da indústria da construção para insistir em autoria e inspiração, mas repete cacoetes estilísticos de época e o inexplicável uso intensivo de concreto bruto e aparente para sentir-se engajado e atualizado. Porém, é necessário distinguir obras de aparência severa concebidas pela atitude moderna mais autêntica das de concreto aparente em tipos ou configurações aberrantes. Para avançar na discussão do Brutalismo propõe-se entender este fenômeno com a substituição do juízo estético moderno de sentido visual postulado por Immanuel Kant (1724-1804) por um sentimento estético fácil e relacionado com a sensação da empatia, com a Einfühlung de Robert Vischer (1847-1933). Na época da cultura de massas, admite-se o rebaixamento das exigências no artefato e a adaptação brutalista com a transfiguração dos processos de arquitetura moderna. Assim, a forma é substituída pela figura ou pelo resumo material; a estrutura formal subjacente pelo ritmo e exposição da estrutura física; o reconhecimento visual pelo entusiasmo psicológico ou pelo impulso dionisíaco; a concepção substituída pelo partido, ou, ainda, pelo conceito; a sistematização e a ordem pela moldagem e a organização; a abstração e síntese pela originalidade e essencialidade, o sentido construtivo pela honestidade material; a identidade das partes pela fundição ou pela unicidade objetal e a residência pela cabana primitiva.
Resumo:
The assessment of the RAMS (Reliability, Availability, Maintainability and Safety) performances of system generally includes the evaluations of the “Importance” of its components and/or of the basic parameters of the model through the use of the Importance Measures. The analytical equations proposed in this study allow the estimation of the first order Differential Importance Measure on the basis of the Birnbaum measures of components, under the hypothesis of uniform percentage changes of parameters. The aging phenomena are introduced into the model by assuming exponential-linear or Weibull distributions for the failure probabilities. An algorithm based on a combination of MonteCarlo simulation and Cellular Automata is applied in order to evaluate the performance of a networked system, made up of source nodes, user nodes and directed edges subjected to failure and repair. Importance Sampling techniques are used for the estimation of the first and total order Differential Importance Measures through only one simulation of the system “operational life”. All the output variables are computed contemporaneously on the basis of the same sequence of the involved components, event types (failure or repair) and transition times. The failure/repair probabilities are forced to be the same for all components; the transition times are sampled from the unbiased probability distributions or it can be also forced, for instance, by assuring the occurrence of at least a failure within the system operational life. The algorithm allows considering different types of maintenance actions: corrective maintenance that can be performed either immediately upon the component failure or upon finding that the component has failed for hidden failures that are not detected until an inspection; and preventive maintenance, that can be performed upon a fixed interval. It is possible to use a restoration factor to determine the age of the component after a repair or any other maintenance action.
Resumo:
The objective of this study was to evaluate right ventricular function in patients with right ventricular volume overload in patients with (tetralogy of Fallot, and pulmonary atresia + VSD ) underwent corrective surgery; with echocardiography measure that can be easily applied; and to study the relationship between ProBNP and the contractile function of the right ventricle, dilated right atrium, and the consequences of pulmonary insufficiency . Methods: The study included 50 patients (50% males, mean age 30.64 ± 13.30 years) with prior cardiac surgical intervention of TDF (90%) or pulmonary atresia + VSD (10%). (49 pz) have performed a cardiac MRI and clinical evaluation, (47 pz) echocardiogram, (48 pz) ECG, (34 pz) a cardiopulmonary exercise testing, (29 pz) a dosage of ProBNP. Results: The S-wave velocity (p <0.0001), the TAPSE (p <0.0001) correlated significantly with RVEF estimated by cardiac MRI. The VO2 max was 27.93 ± 12.91 ml / kg / min, 15% of patients had VE/VCO2 The peak> 35. ProBNP correlated positively and significantly with the area of the right atrium (p = 0.0001), and negative and significant with VO2 max (p = 0.04). Those who have increased pulmonary insufficiency (PVR fraction> 30%) have a significantly increased RVED volume (p = 0.01), reduced VO2 max (p = 0.04), and lower ejection fraction of LV (p = 0.02) than the group of patients with PVR ≤ 30. Conclusion: The TAPSE and S-wave velocity are fundamental and may become the technique of choice for routine assessment of RV systolic function in adult patients with TOF. The monitoring of the Pro BNP is probably a choice, given the simplicity and their information that correlate with the test cardiopulmonary. In view of the ventricular-ventricular interaction, so measures to maintain or restore the functioning of the pulmonary valve could preserve biventricular function.
Resumo:
This report elaborates on the master degree thesis developed by the candidate within the company Superjet International. The performed activity focuses on the study and design of VAMP (Virtual Aircraft Multipurpose Platform). VAMP is a new interactive platform, not necessarily limited to the Aeronautical sector, aimed to analyse technical failures, identify risk and recommend the most appropriate corrective actions for maintenance cost reduction, taking into account reliability, availability, maintainability and safety.
Resumo:
Die vorliegende Arbeit beschäftigt sich mit rechtlichen Fragestellungen rund um Bewertungs-portale im Internet. Zentrale Themen der Arbeit sind dabei die Zulässigkeit der Veröffentlichung der von den Nutzern abgegebenen Bewertungen vor dem Hintergrund möglicherweise entgegenstehender datenschutzrechtlicher Bestimmungen und der Persönlichkeitsrechte der Betroffenen. Des weiteren wird der Rechtsschutz der Betroffenen erörtert und in diesem Zusammenhang die haftungsrechtlichen Risiken der Forenbetreiber untersucht. Gegenstand der Arbeit sind dabei sowohl Online-Marktplätze wie eBay, auf denen sowohl der Bewertende als auch der Bewertete registriert und mit dem Bewertungsverfahren grundsätz-lich einverstanden sind (geschlossene Portale), als auch Portale, auf denen – oftmals unter einem Pseudonym und ohne vorherige Anmeldung – eine freie Bewertungsabgabe, zu Pro-dukteigenschaften, Dienstleistungen bis hinzu Persönlichkeitsmerkmalen des Bewerteten möglich ist (offene Portale). Einleitung und Erster Teil Nach einer Einleitung und Einführung in die Problematik werden im ersten Teil die verschie-denen Arten der Bewertungsportale kurz vorgestellt. Die Arbeit unterscheidet dabei zwischen so genannten geschlossenen Portalen (transaktionsbegleitende Portale wie eBay oder Ama-zon) auf der einen Seite und offenen Portalen (Produktbewertungsportale, Hotelbewertungs-portale und Dienstleistungsbewertungsportale) auf der anderen Seite. Zweiter Teil Im zweiten Teil geht die Arbeit der Frage nach, ob die Veröffentlichung der durch die Nutzer abgegebenen Bewertungen auf den offenen Portalen überhaupt erlaubt ist oder ob hier mögli-cherweise das Persönlichkeitsrecht der Betroffenen und hier insbesondere das Recht auf in-formationelle Selbstbestimmung in Form der datenschutzrechtlichen Bestimmungen die freie Bewertungsabgabe unzulässig werden lässt. Untersucht werden in diesem Zusammenhang im einzelnen Löschungs- bzw. Beseitigungsan-sprüche der Betroffenen aus § 35 Abs. 2 Satz 2 Nr. 1 BDSG bzw. §§ 1004 i. V. m. 823 Abs. 1 BGB (allgemeines Persönlichkeitsrecht). Die Arbeit kommt in datenschutzrechtlicher Hinsicht zu dem Schluss, dass die Bewertungen personenbezogene Daten darstellen, die den datenschutzrechtlichen Bestimmungen unterlie-gen und eine Veröffentlichung der Bewertungen nach dem im deutschen Recht geltenden da-tenschutzrechtlichen Erlaubnisvorbehalt grundsätzlich nicht in Betracht kommt. Vor dem Hintergrund dieser den tatsächlichen Gegebenheiten und Interessenlagen im Internet nicht mehr gerecht werdenden Gesetzeslage diskutiert der Autor sodann die Frage, ob die datenschutzrechtlichen Bestimmungen in diesen Fällen eine Einschränkung durch die grund-gesetzlich garantierten Informationsfreiheiten erfahren müssen. Nach einer ausführlichen Diskussion der Rechtslage, in der auf die Besonderheiten der ein-zelnen Portale eingegangen wird, kommt die Arbeit zu dem Schluss, dass die Frage der Zuläs-sigkeit der Veröffentlichung der Bewertungen von einer Interessenabwägung im Einzelfall abhängt. Als Grundsatz kann jedoch gelten: Ist die bewertete Tätigkeit oder Person in Bezug auf die bewertete Eigenschaft ohnehin einer breiten Öffentlichkeit zugänglich, erscheint eine Veröffentlichung der Daten nicht bedenklich. Dagegen wird man einen Löschungs- bzw. Be-seitigungsanspruch bejahen müssen für die Bewertungen, die Tätigkeiten oder Eigenschaften des Bewerteten, die in keinem Zusammenhang mit ihm als öffentlicher Person stehen, betref-fen. Anschließend geht die Arbeit auf die Persönlichkeitsrechte der Betroffenen und der sich hier-aus ergebenden Beseitigungs- und Unterlassungsansprüchen gemäß der §§ 1004 Abs. 1, 823 Abs. 1 BGB ein, verneint jedoch wegen dem Vorrang der spezialgesetzlichen Bestimmungen aus dem Bundesdatenschutzgesetz letztlich eine Anwendbarkeit der Anspruchsgrundlagen. Schließlich wird in diesem Teil noch kurz auf die Zulässigkeit der Bewertung juristischer Per-sonen eingegangen, die im Grundsatz bejaht wird. Dritter Teil Sofern der zweite Teil der Arbeit zu dem Schluss kommt, dass die Veröffentlichung der Be-wertungen zulässig ist, stellt sich im dritten Teil die Frage, welche Möglichkeiten das Recht dem Bewerteten bietet, gegen negative Bewertungen vorzugehen. Untersucht werden, dabei datenschutzrechtliche, deliktsrechtliche, vertragliche und wettbe-werbsrechtliche Ansprüche. Ein Schwerpunkt dieses Teils liegt in der Darstellung der aktuellen Rechtsprechung zu der Frage wann eine Bewertung eine Tatsachenbehauptung bzw. ein Werturteil darstellt und den sich hieraus ergebenden unterschiedlichen Konsequenzen für den Unterlassungsanspruch des Betroffenen. Diejenigen Bewertungen, die eine Meinungsäußerung darstellen, unterstehen dem starken Schutz der Meinungsäußerungsfreiheit. Grenze der Zulässigkeit sind hier im wesentlichen nur die Schmähkritik und Beleidigung. An Tatsachenbehautpungen dagegen sind schärfere Maßstäbe anzulegen. In diesem Zusammenhang wird der Frage nachgegangen, ob vertragliche Beziehungen zwischen den Beteiligten (Bewertenden, Bewertete und Portalbetreiber) die Meinungsäußerungsfreiheit einschränkt, was jedenfalls für die geschlossenen Portale bejaht wird. Vierter Teil Der vierte Teil der Arbeit beschäftigt sich mit den „Zu-gut-Bewertungen“. Es geht dabei um wettbewerbsrechtliche Ansprüche im Falle verdeckter Eigenbewertungen. Solche Eigenbewertungen, die unter dem Deckmantel der Pseudonymität als Werbemittel zur Imageverbesserung in entsprechenden Bewertungsportale verbreitet werden ohne den wahren Autor erkennen zu lassen, sind in wettbewerbsrechtlicher Hinsicht grundsätzlich unzulässig. Fünfter Teil Im letzten Teil der Arbeit wird schließlich der Frage nach der Verantwortlichkeit der Portal-betreiber für rechtswidrige Bewertungen nachgegangen. Zunächst wird die Feststellung getroffen, dass es sich bei den von den Nutzern abgegebenen Bewertungen um fremde Inhalte handelt und somit die Haftungsprivilegierungen der § 11 Abs. 1 TDG, § 9 Abs. 1 MDStV eingreifen, wonach die Forenbetreiber für die rechtswidrigen Bewertungen jedenfalls so lange nicht verantwortlich sind, solange sie hiervon keine Kenntnis haben. Da von dieser Haftungsprivilegierung nach der Rechtsprechung des Bundesgerichtshofs die Störerhaftung nicht umfasst ist, wird die Reichweite die Forenbetreiber aus der Störerhaftung treffenden Überwachungspflichten diskutiert. Die Arbeit kommt hier zu dem Ergebnis, dass in den Fällen, in denen dem Adressaten der Bewertung die Identität des Verfassers bekannt ist, sich die Verpflichtungen der Forenbetrei-ber auf die Beseitigung bzw. Sperrung der rechtswidrigen Bewertung beschränken. Sofern die Identität des Bewertenden unbekannt ist, haften die Forenbetreiber als Mitstörer und dem Be-troffenen stehen Unterlassungsansprüche auch gegen die Forenbetreiber zu.
Resumo:
Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.