ISE-SPL: Uma abordagem baseada em linha de produtos de software aplicada à geração automática de sistemas para educação médica na plataforma E-learning

E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare

Sistema especialista para detecção de falhas em comandos elétricos

This work consists of the creation of a Specialist System which utilizes production rules to detect inadequacies in the command circuits of an operation system and commands of electric engines known as Direct Start. Jointly, three other modules are developed: one for the simulation of the commands diagram, one for the simulation of faults and another one for the correction of defects in the diagram, with the objective of making it possible to train the professionals aiming a better qualification for the operation and maintenance. The development is carried through in such a way that the structure of the task allows the extending of the system and a succeeding promotion of other bigger and more complex typical systems. The computational environment LabView is employed to enable the system

Classificação Automática de Modulação Digital com uso de Correntropia para Ambientes de Rádio Cognitivo

Modern wireless systems employ adaptive techniques to provide high throughput while observing desired coverage, Quality of Service (QoS) and capacity. An alternative to further enhance data rate is to apply cognitive radio concepts, where a system is able to exploit unused spectrum on existing licensed bands by sensing the spectrum and opportunistically access unused portions. Techniques like Automatic Modulation Classification (AMC) could help or be vital for such scenarios. Usually, AMC implementations rely on some form of signal pre-processing, which may introduce a high computational cost or make assumptions about the received signal which may not hold (e.g. Gaussianity of noise). This work proposes a new method to perform AMC which uses a similarity measure from the Information Theoretic Learning (ITL) framework, known as correntropy coefficient. It is capable of extracting similarity measurements over a pair of random processes using higher order statistics, yielding in better similarity estimations than by using e.g. correlation coefficient. Experiments carried out by means of computer simulation show that the technique proposed in this paper presents a high rate success in classification of digital modulation, even in the presence of additive white gaussian noise (AWGN)

Identificação de modelos polinomiais narx utilizando algoritmos combinados de detecção de estrutura e estimação de parâmetros com aplicações práticas

A modelagem de processos industriais tem auxiliado na produção e minimização de custos, permitindo a previsão dos comportamentos futuros do sistema, supervisão de processos e projeto de controladores. Ao observar os benefícios proporcionados pela modelagem, objetiva-se primeiramente, nesta dissertação, apresentar uma metodologia de identificação de modelos não-lineares com estrutura NARX, a partir da implementação de algoritmos combinados de detecção de estrutura e estimação de parâmetros. Inicialmente, será ressaltada a importância da identificação de sistemas na otimização de processos industriais, especificamente a escolha do modelo para representar adequadamente as dinâmicas do sistema. Em seguida, será apresentada uma breve revisão das etapas que compõem a identificação de sistemas. Na sequência, serão apresentados os métodos fundamentais para detecção de estrutura (Modificado Gram- Schmidt) e estimação de parâmetros (Método dos Mínimos Quadrados e Método dos Mínimos Quadrados Estendido) de modelos. No trabalho será também realizada, através dos algoritmos implementados, a identificação de dois processos industriais distintos representados por uma planta de nível didática, que possibilita o controle de nível e vazão, e uma planta de processamento primário de petróleo simulada, que tem como objetivo representar um tratamento primário do petróleo que ocorre em plataformas petrolíferas. A dissertação é finalizada com uma avaliação dos desempenhos dos modelos obtidos, quando comparados com o sistema. A partir desta avaliação, será possível observar se os modelos identificados são capazes de representar as características estáticas e dinâmicas dos sistemas apresentados nesta dissertação

Arquiteturas eficientes para sensoriamento espectral e classificação automática de modulações usando características cicloestacionárias

The increasing demand for high performance wireless communication systems has shown the inefficiency of the current model of fixed allocation of the radio spectrum. In this context, cognitive radio appears as a more efficient alternative, by providing opportunistic spectrum access, with the maximum bandwidth possible. To ensure these requirements, it is necessary that the transmitter identify opportunities for transmission and the receiver recognizes the parameters defined for the communication signal. The techniques that use cyclostationary analysis can be applied to problems in either spectrum sensing and modulation classification, even in low signal-to-noise ratio (SNR) environments. However, despite the robustness, one of the main disadvantages of cyclostationarity is the high computational cost for calculating its functions. This work proposes efficient architectures for obtaining cyclostationary features to be employed in either spectrum sensing and automatic modulation classification (AMC). In the context of spectrum sensing, a parallelized algorithm for extracting cyclostationary features of communication signals is presented. The performance of this features extractor parallelization is evaluated by speedup and parallel eficiency metrics. The architecture for spectrum sensing is analyzed for several configuration of false alarm probability, SNR levels and observation time for BPSK and QPSK modulations. In the context of AMC, the reduced alpha-profile is proposed as as a cyclostationary signature calculated for a reduced cyclic frequencies set. This signature is validated by a modulation classification architecture based on pattern matching. The architecture for AMC is investigated for correct classification rates of AM, BPSK, QPSK, MSK and FSK modulations, considering several scenarios of observation length and SNR levels. The numerical results of performance obtained in this work show the eficiency of the proposed architectures

Sistema inteligente para detecção de manchas de óleo na superfície marinha através de imagens de SAR

Oil spill on the sea, accidental or not, generates enormous negative consequences for the affected area. The damages are ambient and economic, mainly with the proximity of these spots of preservation areas and/or coastal zones. The development of automatic techniques for identification of oil spots on the sea surface, captured through Radar images, assist in a complete monitoring of the oceans and seas. However spots of different origins can be visualized in this type of imaging, which is a very difficult task. The system proposed in this work, based on techniques of digital image processing and artificial neural network, has the objective to identify the analyzed spot and to discern between oil and other generating phenomena of spot. Tests in functional blocks that compose the proposed system allow the implementation of different algorithms, as well as its detailed and prompt analysis. The algorithms of digital image processing (speckle filtering and gradient), as well as classifier algorithms (Multilayer Perceptron, Radial Basis Function, Support Vector Machine and Committe Machine) are presented and commented.The final performance of the system, with different kind of classifiers, is presented by ROC curve. The true positive rates are considered agreed with the literature about oil slick detection through SAR images presents

Estudo de propriedades críticas em sistemas complexos: método de procura automática em sistemas tipo Ising e percolação de longo alcance

The new technique for automatic search of the order parameters and critical properties is applied to several well-know physical systems, testing the efficiency of such a procedure, in order to apply it for complex systems in general. The automatic-search method is combined with Monte Carlo simulations, which makes use of a given dynamical rule for the time evolution of the system. In the problems inves¬tigated, the Metropolis and Glauber dynamics produced essentially equivalent results. We present a brief introduction to critical phenomena and phase transitions. We describe the automatic-search method and discuss some previous works, where the method has been applied successfully. We apply the method for the ferromagnetic fsing model, computing the critical fron¬tiers and the magnetization exponent (3 for several geometric lattices. We also apply the method for the site-diluted ferromagnetic Ising model on a square lattice, computing its critical frontier, as well as the magnetization exponent f3 and the susceptibility exponent 7. We verify that the universality class of the system remains unchanged when the site dilution is introduced. We study the problem of long-range bond percolation in a diluted linear chain and discuss the non-extensivity questions inherent to long-range-interaction systems. Finally we present our conclusions and possible extensions of this work

Indicadores de cálcio e de voltagem codificados geneticamente na detecção de potenciais de ação e inputs sinápticos em cultura de neurônios hipocampais

Recently, genetically encoded optical indicators have emerged as noninvasive tools of high spatial and temporal resolution utilized to monitor the activity of individual neurons and specific neuronal populations. The increasing number of new optogenetic indicators, together with the absence of comparisons under identical conditions, has generated difficulty in choosing the most appropriate protein, depending on the experimental design. Therefore, the purpose of our study was to compare three recently developed reporter proteins: the calcium indicators GCaMP3 and R-GECO1, and the voltage indicator VSFP butterfly1.2. These probes were expressed in hippocampal neurons in culture, which were subjected to patchclamp recordings and optical imaging. The three groups (each one expressing a protein) exhibited similar values of membrane potential (in mV, GCaMP3: -56 ±8.0, R-GECO1: -57 ±2.5; VSFP: -60 ±3.9, p = 0.86); however, the group of neurons expressing VSFP showed a lower average of input resistance than the other groups (in Mohms, GCaMP3: 161 ±18.3; GECO1-R: 128 ±15.3; VSFP: 94 ±14.0, p = 0.02). Each neuron was submitted to current injections at different frequencies (10 Hz, 5 Hz, 3 Hz, 1.5 Hz, and 0.7 Hz) and their fluorescence responses were recorded in time. In our study, only 26.7% (4/15) of the neurons expressing VSFP showed detectable fluorescence signal in response to action potentials (APs). The average signal-to-noise ratio (SNR) obtained in response to five spikes (at 10 Hz) was small (1.3 ± 0.21), however the rapid kinetics of the VSFP allowed discrimination of APs as individual peaks, with detection of 53% of the evoked APs. Frequencies below 5 Hz and subthreshold signals were undetectable due to high noise. On the other hand, calcium indicators showed the greatest change in fluorescence following the same protocol (five APs at 10 Hz). Among the GCaMP3 expressing neurons, 80% (8/10) exhibited signal, with an average SNR value of 21 ±6.69 (soma), while for the R-GECO1 neurons, 50% (2/4) of the neurons had signal, with a mean SNR value of 52 ±19.7 (soma). For protocols at 10 Hz, 54% of the evoked APs were detected with GCaMP3 and 85% with R-GECO1. APs were detectable in all the analyzed frequencies and fluorescence signals were detected from subthreshold depolarizations as well. Because GCaMP3 is the most likely to yield fluorescence signal and with high SNR, some experiments were performed only with this probe. We demonstrate that GCaMP3 is effective in detecting synaptic inputs (involving Ca2+ influx), with high spatial and temporal resolution. Differences were also observed between the SNR values resulting from evoked APs, compared to spontaneous APs. In recordings of groups of cells, GCaMP3 showed clear discrimination between activated and silent cells, and reveals itself as a potential tool in studies of neuronal synchronization. Thus, our results indicate that the presently available calcium indicators allow detailed studies on neuronal communication, ranging from individual dendritic spines to the investigation of events of synchrony in neuronal networks genetically defined. In contrast, studies employing VSFPs represent a promising technology for monitoring neural activity and, although still to be improved, they may become more appropriate than calcium indicators, since neurons work on a time scale faster than events of calcium may foresee

Detecção de bactérias periodontopatogênicas cultiváveis e não cultiváveis em placas ateromatosas

Periodontal infections consist of a group of inflammatory conditions caused by microorganisms that colonize the tooth surface through the formation of dental biofilm. Chronic infections such as periodontitis have been associated to the development and progression of atherosclerosis. AIM: Detect cultivatable and non-cultivatable periodontopathogenic bacteria in atheromatous plaques; search for factors associated to the presence of these bacteria in the atheromatous plaques and characterize the presence of cultivatable and non-cultivatable bacteria in these plaques. METHODOLOGY: A cross-sectional study was performed with a sample of 30 patients diagnosed with atherosclerosis in the carotid, coronary or femoral arteries and surgically treated with angioplasty and stent implant, bypass or endarterectomy. The plaques were collected during surgery and analyzed using the PCR molecular technique for the presence of the DNA of the cultivatable bacteria Aggregatibacter actinomycetemcomitans, Porphyromonas gingivalis and Treponema denticola and of the non-cultivatable Synergistes phylotypes. The patients were examined in the infirmary, after the surgery, where they also responded to a questionnaire aimed at determining factors associated to the presence of periodontopathogenic bacteria in the atheromatous plaques. RESULTS: All patients with tooth (66,7%) possessed disease periodontal, being 95% severe and 65% widespread. No periodontopathogenic bacteria were found in the atheromatous plaques. However, four samples (13.3%) were positive for the presence of bacteria. Of these, three participants were dentate, being two carriers of widespread severe chronic periodontite and one of located severe chronic periodontitis. None of them told the accomplishment of procedures associated to possible bacteremia episodes, as treatment endodontic, extraction the last six months or some procedure surgical dental. CONCLUSION: The periodontopathogenic bacteria studied were not found in the atheromatous plaques, making it impossible to establish the prevalence of these pathogens or the factors associated to their presence in plaques, the detection of positive samples for bacteria suggests that other periodontal and non-periodontal pathogens be studied in an attempt at discovering the association or not between periodontal disease and/or others infections and atherosclerosis, from the presence of these bacteria in atheromas

Estudo da detecção do DNA do papiloma vírus humano (HPV) e da expressão imuno-histoquímica de proteína do ciclo celular no carcinoma epidermóide oral

Oral squamous cell carcinoma (OSCC) is the most common malignancy in oral cavity and human papillomavirus (HPV) may have an important role in its development. The aim of this experiment was to investigate the HPV DNA and viral types in 90 cases of OSCC. Moreover, a comparative analysis between the cases of OSSC with and without HPV DNA was performed by using cell cycle markers p21 and pRb in order to detect a possible correlation of these proteins and HPV infection. DNA was extracted from paraffin embedded tissue and amplified by PCR (polymerase chain reaction) with primers PCO3+ e PCO4+ for a fragment of human β-globin gene. After this procedure, PCR for HPV DNA detection was realized using a pair of generic primers GP5+ e GP6+. Immunohistochemical study was performed by streptoavidin-biotin technique and antibodies against p21 and pRb proteins were employed. Eighty-eight cases were positive for human β-globin gene and HPV DNA was found in 26 (29.5%) of then. It could not be detected significant correlation between HPV and age, sex and anatomical sites of the lesion. The most prevalent viral type was HPV 18 (80.8%). Regarding the immunohistochemical analysis, it was detected significant association between HPV presence and pRb immunoexpression (p=0,044), nevertheless, the same was not observed in relation to p21 protein (p =0,416). It can be concluded that the low detection of HPV DNA in OSCC by the present experiment suggests a possible role of the virus in the development and progression in just a subset of this disease

Detecção de cor e forma por Callithrix jacchus em cativeiro

Callithrix jacchus studies involving differences between the sexes regarding the performance on tasks food still offers room for the investigation of some factors, among them there is the differences in color vision, which can directly influence the detection of visual clues on food items. This study aimed to analyze the performance of C. jacchus in tasks involving detection of food items. Some factors were analyzed such as the differences in performance between the sexes and behavioral categories present during the task. There were no differences in performance between the animals in carrying out the task, for all situations presented, examining the behavioral categories observed. The fact of the task to be very simple might have influenced the results, and it was not possible to observe differences in performance. Males and females showed the same performance in all analyzed situations. The sex differences were not found possibly due to the influence of external factors, such as the structure of the experimental apparatus. The animals are more efficient in carrying out the task during the morning, in comparison to the afternoon. The light may have been one of the factors that influenced these results. Due to the influence of other factors that probably contributed to these results, we believe that different results can be found in future work

Detecção de predadores por dicromatas e tricromatas humanos e a sua implicação na evolução da visão de cores em primatas

Among placental mammals, primates are the only ones to present trichromatic color vision. However, the distribution of trichromacy among primates is not homogeneous: Old World primates shows an uniform trichromacy (with all individuals being trichromats) and New World primates exhibit a color vision polymorphism (with dichromatic males and dichromatic or trichromatic females). Visual ecology studies have investigated which selective pressures may have been responsible for the evolution of trichromacy in primates, diverging from the dichromat standard found in other mammals. Cues associated with foraging and the socio-reproductive status were analyzed, indicating a trichromatic advantage for the rapid detection of visually conspicuous objects against a green background. However, dichromats are characterized by an efficient capture of cryptic and camouflaged stimuli. These advantages regarding phenotype may be responsible for the maintenance of the visual polymorphism in New World primates and for the high incidence of color blindness in humans (standing around 8% in Caucasian men). An important factor that has not yet been experimentally taken into account is the predation risk and its effect on the evolution of trichromacy in primates. To answer this question, we prepared and edited pictures of animals with different coats: oncillas (Leopardus spp.), puma (Puma concolor) and ferret (Galictis cuja). The specimens were taxidermized and the photographs were taken in three different vegetation scenarios (dense forest, cerrado and grassland). The images of the predators were manipulated so that they fit into two categories of stimulus size (small or large). After color calibration and photo editing, these were presented to 40 humans (20 dichromats and 20 trichromats) by a computer program, which presented a set of four photos at a time (one picture containing the taxidermized animal amid the background vegetation and three depicting only the background vegetation) and recorded the response latency and success rate of the subjects. The results show a trichromatic advantage in detecting potential predators. The predator detection was influenced by the background, the predator species, the dimension of the stimulus and the observer s visual phenotype. As humans have a high rate of dyschromatopsias, when compared to wild Catarrhini or human tribal populations, it is possible that the increased rate of dichromats is a result of reduced pressure for rapid predator detection. Since our species came to live in more cohesive groups and resistant to attack by predators, with the advent of agriculture and the formation of villages, it is possible that the lower risk of predation has reduced the selection in favor of trichromats

Detecção de metamidofós em solos por métodos ecotoxicológico e cromatografia líquida acoplada à espectrometria de massas sequencial (LC-MS/MS)

Soil contamination by pesticides is an environmental problem that needs to be monitored and avoided. However, the lack of fast, accurate and low cost analytical methods for discovering residual pesticide in complex matrices, such as soil, is a problem still unresolved. This problem needs to be solved before we are able to assess the quality of environmental samples. The intensive use of pesticides has increased since the 60s, because the dependence of their use, causing biological imbalances and promoting resistance and recurrence of high populations of pests and pathogens (upwelling). This has contributed to the appearance of new pests that were previously under natural control. To develop analytical methods that are able to quantify residues pesticide in complex environment. It is still a challenge for many laboratories. The integration of two analytical methods one ecotoxicological and another chemical demonstrates the potential for environmental analysis of methamidophos. The aim of this study was to evaluate an ecotoxicological method as "screening" analytical methamidophos in the soil and perform analytical confirmation in the samples of the concentration of the analyte by chemical method LC-MS/MS In this work we tested two soils: a clayey and sandy, both in contact with the kinetic methamidophos model followed pseudo-second order. The clay soil showed higher absorption of methamidophos and followed the Freundlich model, while the sandy, the Langmuir model. The chemical method was validated LC-MS/MS satisfactory, showing all parameters of linearity, range, precision, accuracy, and sensitivity adequate. In chronic ecotoxicological tests with C. dubia, the NOEC was 4.93 and 3.24 for ng L-1 of methamidophos to elutriate assays of sandy and clay soils, respectively. The method for ecotoxicological levels was more sensitive than LC-MS/MS detection of methamidophos, loamy and sandy soils. However, decreasing the concentration of the standard for analytical methamidophos and adjusting for the validation conditions chemical acquires a limit of quantification (LOQ) in ng L-1, consistent with the provisions of ecotoxicological test. The methods described should be used as an analytical tool for methamidophos in soil, and the ecotoxicological analysis can be used as a "screening" and LC-MS/MS as confirmatory analysis of the analyte molecule, confirming the objectives of this work

Sistema de agentes poligínicos para esteganálise de imagens digitais

In this work, we propose a multi agent system for digital image steganalysis, based on the poliginic bees model. Such approach aims to solve the problem of automatic steganalysis for digital media, with a case study on digital images. The system architecture was designed not only to detect if a file is suspicious of covering a hidden message, as well to extract the hidden message or information regarding it. Several experiments were performed whose results confirm a substantial enhancement (from 67% to 82% success rate) by using the multi-agent approach, fact not observed in traditional systems. An ongoing application using the technique is the detection of anomalies in digital data produced by sensors that capture brain emissions in little animals. The detection of such anomalies can be used to prove theories and evidences of imagery completion during sleep provided by the brain in visual cortex areas

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B