Avaliação do conhecimento sobre periodicidade química em uma turma de química geral do ensino a distância

This work describes the software Quiptabela, suggests a teaching activity, and analyses responses of general chemistry students from the Biological Sciences distance course at the Federal University of Tocantins. The software was described according to its educational potential, featuring the creation of dozens of charts or tables correlating physicochemical properties of the elements, being Brazilian, and free distribution. The teaching activities suggested analyzed students' ability to create and analyze tables and charts correlating the properties of chemical elements. Some 41% of students tested could define the term "periodic", but failed to use the concept to explain and differentiate changes in mass or atomic radius with the atomic number of elements.

CHEMOSTAT, UM SOFTWARE GRATUITO PARA ANÁLISE EXPLORATÓRIA DE DADOS MULTIVARIADOS

The objective of this work was to develop a free access exploratory data analysis software application for academic use that is easy to install and can be handled without user-level programming due to extensive use of chemometrics and its association with applications that require purchased licenses or routines. The developed software, called Chemostat, employs Hierarchical Cluster Analysis (HCA), Principal Component Analysis (PCA), intervals Principal Component Analysis (iPCA), as well as correction methods, data transformation and outlier detection. The data can be imported from the clipboard, text files, ASCII or FT-IR Perkin-Elmer “.sp” files. It generates a variety of charts and tables that allow the analysis of results that can be exported in several formats. The main features of the software were tested using midinfrared and near-infrared spectra in vegetable oils and digital images obtained from different types of commercial diesel. In order to validate the software results, the same sets of data were analyzed using Matlab© and the results in both applications matched in various combinations. In addition to the desktop version, the reuse of algorithms allowed an online version to be provided that offers a unique experience on the web. Both applications are available in English.

Verkostomaisen asiantuntijayhteisön sopimusverkko

Tutkielmassa kartoitettiin avoimen innovoinnin menetelmin toimivan asiantuntijayhteisön keskeiset oikeudelliset ongelmakentät erään aloittavan yrityksen näkökulmasta. Näkökulmaa pyrittiin laajentamaan sovellettavaksi myös muihin avoimen innovoinnin hankkeisiin. Tutkimuksen tavoitteena on antaa verkoston avainhenkilöille riittävästi tietoa siitä, miten näitä osa-alueita voidaan hallita. Pakottavat työoikeudelliset normit voivat tulla vahingossa voimaan projektityössä ja synnyttää työsuhteen. Työsuhteen status vaikuttaa voimakkaasti myös patenttioikeuksien saamiseen verkostoyhteisön käyttöön. Yrityssalaisuuksien monitahoinen hallinta on myös keskeisessä asemassa verkoston toiminnassa. Työsuhteen syntyminen on hallittavissa oikein toimien, mutta aineettoman omaisuuden sekä yrityssalaisuuksien monimuotoisuuksien vuoksi ne on hyvin haastavaa ennakoivasti hallita.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Industrial solid waste (whitewash mud) use in forest road pavements

The objective of the present study was to evaluate the effects of industrial solid waste (whitewash mud) on geotechnical properties considering the following engineering parameters: California Bearing Ratio (CBR), Atterberg limits and Permeability test. Seven soil samples derived from Alagoinhas, Bahia - Brazil, were classified by the Transportation Research Board (TRB) system. Two were selected as having a great geotecnical potential classified as A-3 (0) and A-2-4 (0), whitewash mud contents 10%, 15%, 20% and 25% dry weight and medium compaction effort were studied in the laboratory testing program. The results indicated the soil denominated good gravel as being the most promising one, when stabilized with whitewash mud, reaching the best results with the dosage of 20 and 25% of whitewash mud.

Kinetic behavior of nitrification in the post-treatment of poultry wastewater in a sequential batch reactor

A sequential batch reactor with suspended biomass and useful volume of 5 L was used in the removal of nutrients and organic matter in workbench scale under optimal conditions obtained by central composite rotational design (CCRD), with cycle time (CT) of 16 h (10.15 h, aerobic phase, and 4.35 h, anoxic phase) and carbon: nitrogen ratio (COD/NO2--N+NO3--N) equal to 6. Complete cycles (20), nitrification followed by denitrification, were evaluated to investigate the kinetic behavior of degradation of organic (COD) and nitrogenated (NH4+-N, NO2--N and NO3--N) matter present in the effluent from a bird slaughterhouse and industrial processing facility, as well as to evaluate the stability of the reactor using Shewhart control charts of individual measures. The results indicate means total inorganic nitrogen (NH4+-N+NO2- -N+NO3--N) removal of 84.32±1.59% and organic matter (COD) of 53.65±8.48% in the complete process (nitrification-denitrification) with the process under statistical control. The nitrifying activity during the aerobic phase estimated from the determination of the kinetic parameters had mean K1 and K2 values of 0.00381±0.00043 min-1 and 0.00381±0.00043 min-1, respectively. The evaluation of the kinetic behavior of the conversion of nitrogen indicated a possible reduction of CT in the anoxic phase, since removals of NO2--N and NO3--N higher than 90% were obtained with only 1 h of denitrification.

Influence of the sample area in the variability of losses in the mechanical harvesting of soybeans

The mechanical harvesting is an important stage in the production process of soybeans and, in this process; the loss of a significant number of grains is common. Despite the existence of mechanisms to monitor these losses, it is still essential to use sampling methods to quantify them. Assuming that the size of the sample area affects the reliability and variability between samples in quantifying losses, this paper aimed to analyze the variability and feasibility of using different sizes of sample area (1, 2 and 3 m²) in quantifying losses in the mechanical harvesting of soybeans. Were sampled 36 sites and the cutting losses, losses by other mechanisms of the combine and total losses were evaluated, as well as the water content in seeds, straw distribution and crop productivity. Data were subjected to statistical analysis (descriptive statistics and analysis of variance) and Statistical Control Process (SCP). The coefficients of variation were similar for the three frames available. Combine losses showed stable behavior, whereas cutting losses and total losses showed unstable behavior. The frame size did not affect the quantification and variability of losses in the mechanical harvesting of soybeans, thus a frame of 1 m² can be used for determining losses.

Comparative analysis between identified injuries of victims of fall from height and other mechanisms of closed trauma

OBJECTIVE: To analyze the lesions diagnosed in victims of falls, comparing them with those diagnosed in other mechanisms of blunt trauma.METHODS: We conducted a retrospective study of trauma protocol charts (prospectively collected) from 2008 to 2010, including victims of trauma over 13 years of age admitted to the emergency room. The severity of injuries was stratified by the Abbreviated Injury Scale (AIS) and Injury Severity Score (ISS). Variables were compared between the group of victims of falls from height (Group 1) and the other victims of blunt trauma (Group 2). We used the Student t, chi-square and Fisher tests for comparison between groups, considering the value of p <0.05 as significant.RESULTS: The series comprised 4,532 cases of blunt trauma, of which 555 (12.2%) were victims of falls from height. Severe lesions (AISe"3) were observed in the extremities (17.5%), in the cephalic segment (8.4%), chest (5.5%) and the abdomen (2.9%). Victims of Group 1 had significantly higher mean age, AIS in extremities / pelvis, AIS in the thoracic segment and ISS (p <0.05). The group 1 had significantly (p <0.05) higher incidence of tracheal intubation on admission, pneumothorax, hemothorax, rib fractures, chest drainage, spinal trauma, pelvic fractures, complex pelvic fractures and fractures to the upper limbs.CONCLUSION: Victims of fall from height had greater anatomic injury severity, greater frequency and severity of lesions in the thoracic segment and extremities.

Open abdomen management: single institution experience

OBJECTIVE: to evaluate the outcome of abdominal wall integrity of both techniques. METHODS: a retrospective study was carried out at the Hospital das Clínicas, Faculdade de Medicina, Universidade de São Paulo, identifying the patients undergoing temporary abdominal closure (TAC) from January 2005 to December 2011. Data were collected through the review of clinical charts. Inclusion criteria were indication of TAC and survival to definitive abdominal closure. In the post-operative period only a group of three surgeons followed all patients and performed the reoperations. RESULTS: Twenty eightpatients were included. The difference in primary closure rates and mean time for fascial closure did not reach statistical significance (p=0.98 and p=0.23, respectively). CONCLUSION: VAC and Bogota Bag do not differ significantly regarding the outcome of abdominal wall integrity, due to the monitoring of a specific team and the adoption of progressive closure

Plastic surgery in chest wall reconstruction: relevant aspects - case series

Objective: to discuss the participation of Plastic Surgery in the reconstruction of the chest wall, highlighting relevant aspects of interdisciplinaryness. Methods: we analyzed charts from 20 patients who underwent extensive resection of the thoracic integument, between 2000 and 2014, recording the indication of resection, the extent and depth of the raw areas, types of reconstructions performed and complications. Results: among the 20 patients, averaging 55 years old, five were males and 15 females. They resections were: one squamous cell carcinoma, two basal cell carcinomas, five chondrosarcomas and 12 breast tumors. The extent of the bloody areas ranged from 4x9 cm to 25x40 cm. In 12 patients the resection included the muscular plane. In the remaining eight, the tumor removal achieved a total wall thickness. For reconstruction we used: one muscular flap associated with skin grafting, nine flaps and ten regional fasciocutaneous flaps. Two patients undergoing reconstruction with fasciocutaneous flaps had partially suffering of the flap, solved with employment of a myocutaneous flap. The other patients displayed no complications with the techniques used, requiring only one surgery. Conclusion: the proper assessment of local tissues and flaps available for reconstruction, in addition to the successful integration of Plastic Surgery with the specialties involved in the treatment, enable extensive resections of the chest wall and reconstructions that provide patient recovery.

Epidemiological evaluation of hepatic trauma victims undergoing surgery

Objective : to evaluate the epidemiological variables and diagnostic and therapeutic modalities related to hepatic trauma patients undergoing laparotomy in a public referral hospital in the metropolitan region of Vitória-ES. Methods : we conducted a retrospective study, reviewing charts of trauma patients with liver injuries, whether isolated or in association with other organs, who underwent exploratory laparotomy, from January 2011 to December 2013. Results : We studied 392 patients, 107 of these with liver injury. The male: female ratio was 6.6 : 1 and the mean age was 30.12 years. Penetrating liver trauma occurred in 78.5% of patients, mostly with firearms. Associated injuries occurred in 86% of cases and intra-abdominal injuries were more common in penetrating trauma (p <0.01). The most commonly used operative technique was hepatorrhaphy and damage control surgery was applied in 6.5% of patients. The average amounts of blood products used were 6.07 units of packed red blood cells and 3.01 units of fresh frozen plasma. The incidence of postoperative complications was 29.9%, the most frequent being infectious, including pneumonia, peritonitis and intra-abdominal abscess. The survival rate of patients suffering from blunt trauma was 60%, and penetrating trauma, 87.5% (p <0.05). Conclusion : despite technological advances in diagnosis and treatment, mortality rates in liver trauma remain high, especially in patients suffering from blunt trauma in relation to penetrating one.

Creating an open-books implementation framework for a maintenance-related value-based life-cycle model

This study is a qualitative action research by its nature with elements of personal design in the form of a tangible model implementation framework construction. Utilized empirical data has been gathered via two questionnaires in relation to the arranged four workshop events with twelve individual participants. Five of them represented maintenance customers, three maintenance service providers and four equipment providers respectively. Further, there are two main research objectives in proportion to the two complementary focusing areas of this thesis. Firstly, the value-based life-cycle model, which first version has already been developed prior to this thesis, requires updating in order to increase its real-life applicability as an inter-firm decision-making tool in industrial maintenance. This first research objective is fulfilled by improving appearance, intelligibility and usability of the above-mentioned model. In addition, certain new features are also added. The workshop participants from the collaborating companies were reasonably pleased with made changes, although further attention will be required in future on the model’s intelligibility in particular as main results, charts and values were all reckoned as slightly hard to understand. Moreover, upgraded model’s appearance and added new features satisfied them the most. Secondly and more importantly, the premises of the model’s possible inter-firm implementation process need to be considered. This second research objective is delivered in two consecutive steps. At first, a bipartite open-books supported implementation framework is created and its different characteristics discussed in theory. Afterwards, the prerequisites and the pitfalls of increasing inter-organizational information transparency are studied in empirical context. One of the main findings was that the organizations are not yet prepared for network-wide information disclosure as dyadic collaboration was favored instead. However, they would be willing to share information bilaterally at least. Another major result was that the present state of companies’ cost accounting systems will definitely need implementation-wise enhancing in future since accurate and sufficiently detailed maintenance data is not available. Further, it will also be crucial to create supporting and mutually agreed network infrastructure. There are hardly any collaborative models, methods or tools currently in usage. Lastly, the essential questions about mutual trust and predominant purchasing strategies are cooperation-wise important. If inter-organizational activities are expanded, a more relational approach should be favored in this regard. Mutual trust was also recognized as a significant cooperation factor, but it is hard to measure in reality.

Radar cross-section measurement using the Doppler effect

In this Master Thesis we discuss issues related to the measurement of the effective scattering surface, based on the Doppler Effect. Modeling of the detected signal was made. Narrowband signal filtering using low-frequency amplifier was observed. Parameters of the proposed horn antennas were studied; radar cross section charts for three different objects were received.

Bone mineral density in juvenile systemic lupus erythematosus

We evaluated spine bone mineral density (BMD) in Brazilian children with juvenile systemic lupus erythematosus (JSLE) in order to detect potential predictors of reduction in bone mass. A cross-sectional study of BMD at the lumbar spine level (L2-L4) was conducted on 16 female JSLE patients aged 6-17 years. Thirty-two age-matched healthy girls were used as control. BMD at the lumbar spine was measured by dual-energy X-ray absorptiometry. Weight, height and pubertal Tanner stage were determined in patients and controls. Disease duration, mean daily steroid doses, mean cumulative steroid doses and JSLE activity measured by the systemic lupus erythematosus disease activity index (SLEDAI) were determined for all JSLE patients based on their medical charts. All parameters were used as potential determinant factors for bone loss. Lumbar BMD tended to be lower in the JSLE patients, however, this difference was not statistically significant (P = 0.10). No significant correlation was observed in JSLE girls between BMD and age, height, Tanner stage, disease duration, corticosteroid use or disease activity. We found a weak correlation between BMD and weight (r = 0.672). In the JSLE group we found no significant parameters to correlate with reduced bone mass. Disease activity and mean cumulative steroid doses were not related to BMD values. We did not observe reduced bone mass in female JSLE.

Discrepancies between clinical diagnoses and autopsy findings

Autopsy examination is considered to be an essential element for medical auditing and teaching. Despite the significant progress in diagnostic procedures, autopsy has not always confirmed the clinical diagnosis. In the present study, we compared the diagnosis recorded on medical charts with reports of 96 autopsies performed at the University Teaching Hospital of the Faculdade de Medicina de Botucatu, Botucatu, SP, Brazil, between 1975 and 1982, and of 156 autopsies performed at the same institution between 1992 and 1996. The clinical diagnosis of the basic cause of death was confirmed at autopsy in 77% of cases. The percent confirmation fell to 60% when the immediate terminal cause of death was considered, and in 25% of cases, the terminal cause was only diagnosed at autopsy. The discrepancies between clinical and autopsy diagnosis were even larger for secondary diagnoses: 50% of them were not suspected upon clinical diagnosis. Among them, we emphasize the diagnosis of venous thromboses (83%), pulmonary embolisms (80%), bronchopneumonias (46%) and neoplasias (38%). Iatrogenic injuries were very frequent, and approximately 90% of them were not described in clinical reports. Our results suggest that highly sensitive and specific diagnostic tests are necessary but cannot substitute the clinical practice for the elaboration of correct diagnoses.