Formal Description Techniques
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. Diagnóstico da sífilis auxiliado por computador: proposta de um método híbrido fuzzy neural para análise de imagem de fluorescência. / Diagnosis of syphilis computer aided: proposal of a fuzzy neural hybrid method for image analysis of fluorescence.
In this work we have developed a prototype to analyze fluorescence microscopy images obtained from the FTA-ABS. This test is used as confirmation of the diagnosis of syphilis by identifying the bacteria causing the disease. A considerable problem in the analysis of such images is the subjectivity in the interpretation of fluorescence intensity shown, because
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/08/2011
-
2. A essência dos aromas e o aroma das essências : por um protótipo de glossário terminológico da aromaterapia
The Communicative Theory of Terminology with its new possibilities proposed by Cabré since 1999, as an interdisciplinary field when terms starteded to be seen as lexical items activated in specific contents by a certain language, is the main foundation for this research. Therefore, the possibility of terminological variation, fully accepted by TCT, leaving
Publicado em: 2010
-
3. E-dart : um ambiente de especificação e-lotos / E-DART - an E-LOTOS specification environment
O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de técnicas de descrição formal não garante o eficiente emprego das mesmas na especificação dos sistemas. É necessária a existê
Publicado em: 2010
-
4. Padrões,cromatismos e douramentos na escultura sacra católica baiana nos séculos XVIII e XIX
This study analyses patterns, chromatics and gilding in Bahian Sacred Catholic sculpture and demonstrates variations in decorations and ornamentations achieved by saint sculptors during the 18th and 19th centuries. Forty-four religious images were selected for study, according to the criteria of good quality painting technique and minimum possible interventi
Publicado em: 2010
-
5. Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos. / An approach, based on framework and the formal description technique Estelle, for the development of distributed parallel file systems.
The constant increase of processing speed, mainly due to the use of a large number of processors, has allowed an improvement in the design and building of parallel computation systems. However, the performance of several types of applications is affected by the latency originated from Input/Output operations on data. In order to solve this problem parallel f
Publicado em: 2006
-
6. LINDAX: UMA LINGUAGEM DE DESCRIÇÃO DE SISTEMAS DE COMUNICAÇÃO ADAPTÁVEIS / LINDAX.: A LANGUAGE FOR DESCRIBING ADAPTABLE COMMUNICATION SYSTEMS
It is increasingly noticeable, in the current telecommunications market, a trend towards using communication systems that allow rapid and cheap deployment of new services. In pursuit of network architectures that keep up with such trend, significant research has been carried out on programmable networks. This field is set to gain further impetus from develop
Publicado em: 2005
-
7. StateWebCharts : a formal notation for navigation modelling of Web applications / StateWebCharts : une notation formelle pour la modélisation de la navigation des applications Web
In spite of the apparent facility of build Web pages given by current visual environments, the development over the Word Wide Web is complex due to many factors such as the evolving nature of applications, the multidisciplinary nature of development team, the competitive points of views for the application and complexity of user requirements, and the unreali
Publicado em: 2004
-
8. A timed Petri net methodology based on area estimator for hardware/software co-design systems environments / Uma metodologia para estimativa de Ãrea baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Most modern electronic systems consist of dedicated hardware and programmable components (called software components). Over the last few years, the number of methodologies that concurrently apply design techniques from different areas to develop mixed hardware/software system has been growing considerably. The concurrent design of mixed hardware/software sys
Publicado em: 2004
-
9. Reconhecimento de caracteres alfanumericos atraves de tecnicas de logica nebulosa
The Pattern Recognition problem is divided into classification and description of the patterns, in which are used Fuzzy Logic techniques, giving flexibility 1n the recogn1t1on process and a tolerance capability to the system. From the var10us dist1ncts mathematical techniques used in the solution of the pattern recogn1t10n problem, there 1s the so called lin
Publicado em: 1990