Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Uma solução para geração automática de trilhas em língua brasileira de sinais em conteúdos multimídia

Deaf people have serious difficulties to access information. The support for sign languages is rarely addressed in Information and Communication Technologies (ICT). Furthermore, in scientific literature, there is a lack of works related to machine translation for sign languages in real-time and open-domain scenarios, such as TV. To minimize these problems, in this work, we propose a solution for automatic generation of Brazilian Sign Language (LIBRAS) video tracks into captioned digital multimedia contents. These tracks are generated from a real-time machine translation strategy, which performs the translation from a Brazilian Portuguese subtitle stream (e.g., a movie subtitle or a closed caption stream). Furthermore, the proposed solution is open-domain and has a set of mechanisms that exploit human computation to generate and maintain their linguistic constructions. Some implementations of the proposed solution were developed for digital TV, Web and Digital Cinema platforms, and a set of experiments with deaf users was developed to evaluate the main aspects of the solution. The results showed that the proposed solution is efficient and able to generate and embed LIBRAS tracks in real-time scenarios and is a practical and feasible alternative to reduce barriers of deaf to access information, especially when human interpreters are not available

Tradução, adaptação e validação da versão brasileira do questionário utian quality of life (uqol) para avaliação da qualidade de vida no climatério

The present study had as objective translates, to do equivalence and validation of the Utian Quality of Life (UQOL) for the Brazilian population through methods internationally accepted, in which the original questionnaire was translated for the Portuguese by three teachers and the consensual version was translated back for English by two American teachers (back translation). A multidisciplinary committee evaluated all versions and the final version in Portuguese was applied to climacteric women for the process of adaptation. Validation of the instrument was performed by measuring the reliability and validity properties. Construct validity was examined through the comparison between UQOL and the general measuring scale of quality of life Short Form-36 (SF-36). The final version of translation process was easily recognized by the target population, that didn't tell understanding problems. The results obtained for the reliability intra and interobserver showed significant agreement in all of the subjects. The construct validity was obtained through correlations statistically significant among the domains occupational, health and emotional of UQOL with the SF-36 domains. For the exploratory factorial analysis, it was verified that three factors explain 60% of the total variance of the data, the present study allowed concluding that UQOL was appropriately translated and adapted for applicability in Brazil, presenting high reliability and validity. In that way, the executed project provided the involvement of different areas as gynecology, psychology and physiotherapy (interdisciplinary). Thus, this instrument can be included and used in Brazilian studies to assessment the quality of life during the climacteric years

Tradução, adaptação cultural e análise das propriedades psicométricas do activities of daily living questionnaire - ADLQ - para avaliação funcional de pacientes com a doença de alzheimer

O Activities daily living questionnaire - ADLQ foi elaborado para avaliar atividades básicas e instrumentais em pacientes com a doença de Alzheimer. O objetivo principal deste estudo consistiu em realizar a tradução do ADLQ para a língua portuguesa, adaptação transcultural e análise das suas propriedades psicométricas. A amostra foi composta por 60 pacientes e os respectivos 60 cuidadores. O estudo iniciou-se com a tradução do instrumento pela técnica de retrotradução associada ao método bilíngüe. A versão traduzida foi respondida pelo cuidador e o Mini Exame do Estado Mental (MEEM) aplicado ao paciente. A análise psicométrica foi realizada através da validade das medidas do instrumento. Os resultados verificaram uma correlação inversamente significativa (r=-0,793;p<0,05) entre os instrumentos avaliados, com uma explicação da variância total de 62%. A coerência interna do instrumento foi realizada através da correlação com os resultados do MEEM sugerindo uma versão condensada do ADLQ. Avaliando-se através do teste t para amostras correlacionadas, as médias do ADLQ-versão traduzida e versão condensada não apresentaram diferenças significativas, demonstrado assim que a simplificação do instrumento não alterou os valores do nível de dependência funcional observados. A análise fatorial realizada através da rotação Varimax indicou seis dimensões. Atividades como; comer, vestir-se, banho, necessidades fisiológicas, tomar comprimidos, participação em grupos, administrar finanças, manusear dinheiro, locomover pela vizinhança, usar telefone, compreensão, dentre outras, são os mais importantes preditores da capacidade funcional, no grupo estudado. Atividades com desempenho pouco comum a ambos os sexos, e no desempenho de papéis sociais enquanto gênero na sociedade brasileira (afazeres domésticos, consertos e manutenção em casa), na amostra estudada, não demonstraram ter importância na determinação da capacidade funcional com o paciente com a Doença de Alzheimer. O presente estudo disponibiliza uma nova ferramenta de avaliação funcional, visando contribuir para a mensuração mais cuidadosa do estado funcional do paciente por todos os profissionais da área da saúde

Satisfação do paciente com a fisioterapia :tradução, adequação cultura e validação de um instrumento de medida

The measurement of patient satisfaction can provide information about the success of the care provider in reaching the values and meeting the expectations of the patient. The purpose of this study was to translate into the Portuguese language and to culturally customize to the Brazilian population the instrument to measure patient satisfaction with physical therapy elaborated by Goldstein et al. The study sample was made up of 279 patients who were undergoing physical therapy treatment at 39 different private clinics in a middle-sized town in northeastern Brazil. For the translation of the survey instrument, the back-translation technique was employed, in association with the bilingual method. The reliability and validity of the Brazilian version of the instrument were both assessed. Reliability analysis, carried out with the computation of Cronbach alpha coefficients, showed that the measures obtained with the instrument have a high degree of internal consistency. The aspects dealing with the patient therapist relationship are the most important predictors of satisfaction, followed by those dealing with courtesy, privacy, and practical aspects such as efficiency of the facility in the patient admissions process, setting up of appointments, and waiting time in waiting room. Items dealing with aspects such as location of the facility and availability of parking facilities may underestimate the reliability of the instrument. This study translated, culturally customized, and validated an instrument to measure patient satisfaction with physical therapy originally developed in English. By so doing, this study has made this instrument available to the Brazilian society, and it has rendered it a useful parameter that can be utilized in our country in the field of physical therapy

Trendtv : uma arquitetura para mudança automática de canais de TV baseada em redes sociais virtuais com graus de amizade e suporte a múltiplos dispositivos no cenário da TV digital brasileira

Due to the large amount of television content, which emerged from the Digital TV, viewers are facing a new challenge, how to find interesting content intuitively and efficiently. The Personalized Electronic Programming Guides (pEPG) arise as an answer to this complex challenge. We propose TrendTV a layered architecture that allows the formation of social networks among viewers of Interactive Digital TV based on online microblogging. Associated with a pEPG, this social network allows the viewer to perform content filtering on a particular subject from the indications made by other viewers of his network. Allowing the viewer to create his own indications for a particular content when it is displayed, or to analyze the importance of a particular program online, based on these indications. This allows any user to perform filtering on content and generate or exchange information with other users in a flexible and transparent way, using several different devices (TVs, Smartphones, Tablets or PCs). Moreover, this architecture defines a mechanism to perform the automatic exchange of channels based on the best program that is showing at the moment, suggesting new components to be added to the middleware of the Brazilian Digital TV System (Ginga). The result is a constructed and dynamic database containing the classification of several TV programs as well as an application to automatically switch to the best channel of the moment

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

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)

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

Compressão Seletiva de Imagens Coloridas com Detecção Automática de Regiões de Interesse

There has been an increasing tendency on the use of selective image compression, since several applications make use of digital images and the loss of information in certain regions is not allowed in some cases. However, there are applications in which these images are captured and stored automatically making it impossible to the user to select the regions of interest to be compressed in a lossless manner. A possible solution for this matter would be the automatic selection of these regions, a very difficult problem to solve in general cases. Nevertheless, it is possible to use intelligent techniques to detect these regions in specific cases. This work proposes a selective color image compression method in which regions of interest, previously chosen, are compressed in a lossless manner. This method uses the wavelet transform to decorrelate the pixels of the image, competitive neural network to make a vectorial quantization, mathematical morphology, and Huffman adaptive coding. There are two options for automatic detection in addition to the manual one: a method of texture segmentation, in which the highest frequency texture is selected to be the region of interest, and a new face detection method where the region of the face will be lossless compressed. The results show that both can be successfully used with the compression method, giving the map of the region of interest as an input

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

Tradução e adaptação transcultural do instrumento de avaliação prenatal selfevaluation questionnaire

Introduction: The human gestation period is 40 weeks. This is the essential time for maternal psychosocial adaptation, in which there is the intense transformation of a life without offspring into a life with one or more children. The Pregnancy Self-Evaluation Questionnaire (PSEQ) has 79 items, subdivided into seven subcategories: acceptance of pregnancy, identification with the maternal role, well-being of mother and baby, preparing for labor, control in labor, relationship with the mother and the relationship with the partner. Objective: To translate and cross-culturally adapt the instrument PSEQ to be used with Brazilian women. Methods: It is a cross-sectional observational study. We followed some methodological steps to achieve the cross-cultural adaptation of this measuring instrument. They are: translation, synthesis, back translation, analysis of the committee of specialists and pre-test. Another questionnaire was applied to characterize the socio-demographic and clinical status of the pregnant women (n = 36). The descriptive statistics was gotten through the average, standard deviation (SD), absolute and relative frequency. The statistical test used for the analysis of the internal consistency was Cronbach's alpha coefficient, using SPSS version 17.0. Results: The volunteers had low socioeconomic status, average age of 25.1 years (± 5.52), and average gestational age of 25.9 weeks (± 8.11). 58.3% of these volunteers had not planned their current pregnancy. The pretest showed that 75% of pregnant women found the questionnaire easy to understand. There was an average of 76.9 (± 3.23) answered items among the participants. Regarding the instrument PSEQ, the identification with the maternal role was the subcategory which showed the highest average 24.8 (± 5.6), while the relationship with the mother had the lowest average 15.4 (± 7.7). The internal consistency ranged from 0.52-0.89. Conclusion: The translation and cross-cultural adaptation of the PSEQ to Portuguese language were carried out with methodological rigor and can be considered an instrument with good internal consistency

Tradução, adaptação cultural e avaliação psicométrica da prova cognitiva de leganés em uma população idosa brasileira com baixo nível de escolaridade

Introdução: The scales of cognitive screening are important tools for early detection of dementia, creating the possibility of developing measures to slow this process and assist in the management of the disease. Objective: To validate the Leganés Cognitive Test (Prueba Cognitive de Leganés) (PCL) for cognitive screening in low educated elderly Brazilians. Methods: The study sample was composed of 59 elderly residents from the city of Santa Cruz, Brazil with low schooling levels. Reliability was analyzed with a 2-day interval between assessments, and concurrent validity was assessed using the Mini Mental State Examination (MMSE). Results: According to the PCL, the prevalence of dementia was 11.8%. The scale items showed a moderate to strong correlation between domains (p <0.01), and inter-rater reliability exhibited ICC = 0.81, 95% CI (0.72-0.88). Factor analysis resulted in two factors: memory and orientation. Interscale agreement was considered poor (k = - 0.02), supporting the hypothesis of an educational impact on final MMSE scores. Conclusion: The results suggest that PCL has acceptable levels of reliability for use in low educated elderly Brazilians

Tradução, adaptação cultural e propriedades psicométricas da versão brasileira do Short-Form of the Mobility Assessment Tool (MAT-sf)

Objectives: to translate and assess the psychometric properties of the Brazilian short-form of the Mobility Assessment Tool (MAT-sf) in Brazilians community elderly. Methds: the 12 items MAT-sf went through the process of translation and back translation into Portuguese of the Brazil, considering the semantic and cultural adaptation. In a sample of 150 aged 65-74 years living in the community, the instrument's psychometric properties were evaluated by analysis of convergent and construct validity and test-retest reliability. The main outcomes measures used for validation included in the battery of tests of physical ability, self-repor measures of functional limitations, health, depression, cognitive and sex. The test-retest reliability of the instrument was assessed using the intra-class correlation coefficient (ICC), 40 subjects were reassessed after an interval of 14 days of assessment. Results: the concurrent validity for the MAT-sf was evidenced by significant correlations with SPPB (r = 0,53), number of functional limitations (r = -0,62) and depressive symptoms (r = -0,45). The construct validity of the instrument was measured by gradual and significant increase of the MAT-sf scores with high levels of physical performance and with positive self-reported health, also found that MAT-sf scores were statistically differents according to sex. The variation in MAT-sf scores (R2 = 0,41) was explained by SPPB, number of limitations for activities of daily life and depressive symptoms. High values for test-retest reliability was evidencend by ICC = 0,94, 95% CI = 0,90 0,97. Conclusions: the Brazilian version of the short-form of the Mobility Assessment Tool has values of validity and reliability to ensure its use in elderly populations living in communities