Data Abstraction
Mostrando 13-24 de 58 artigos, teses e dissertações.
-
13. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
14. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
15. Compositional abstraction of CSP Z processes
Data abstraction is a powerful technique to overcome state explosion in model checking. For CSP Z (a formal integration of the well-known specification languages CSP and Z), current approaches can mechanically abstract infinite domains (types) as long as they are not used in communications. This work presents a compositional and systematic approach to data a
Journal of the Brazilian Computer Society. Publicado em: 2008
-
16. Ambiente de desenvolvimento de aplicações para robôs móveis / Environment for development applications for mobile robots
Recent advances in the technology of mobile robots have developed for a new type of robotic system which is named personal robot. These robots are able to realize domestic daily tasks, interact and help people with special cares. In order to perform such tasks, interaction and programming measurements between the robot and the human being are necessary. This
Publicado em: 2008
-
17. A gramaticalização do item "fora" no Português do Brasil: a unidirecionalidade do processo / Grammaticalization of lexical item "fora" in portuguese of Brazil: the unidirectionality of process
In a theoretical functionalist framework, which prioritizes the study of the language in constant change from its use (HALLIDAY, 1978), it is analyzed the grammatical and semantic alterations on a lexical item that suffers grammaticalization in the Portuguese from Brazil. The most general objective is to evaluate the existing difference among the models of a
Publicado em: 2008
-
18. Características da proposta de cuidado de enfermagem de Carraro a partir da avaliação de teorias de Meleis
It is an exploratory-descriptive qualitative study which objectified to identify characteristics in Carraro#s Nursing Care Proposal from the theoretical-methodological background of Meleis#s Theory Evaluation Model. Five stages were used, as follows: description, analysis, critique, testing and support which enabled to identify several characteristics in Car
Publicado em: 2008
-
19. Students algebraic thought and language manifestations: indicators for teaching organization. / Manifestações do pensamento e da linguagem algébrica de estudantes: indicadores para a organização do ensino.
This work deals with the students difficulties about algebraic knowledge, which could be related to the specificities of algebra, to educational methodology and didactical matters, and also to language and thought psychological processes. Therefore, the subject of study is the studentsthoughts and their algebraic language. We understand that thought and lang
Publicado em: 2008
-
20. GeraÃÃo mecanizada de abstraÃÃes seguras para especificaÃÃes CSP
Com a crescente demanda por diminuiÃÃo de custos no desenvolvimento de software, hà a necessidade de que os programas possam ser construÃdos de acordo com uma especificaÃÃo concordante com os requisitos do cliente. Nesse sentido, a especificaÃÃo formal pode ser utilizada para representar os requisitos do sistema.Uma vez que a especificaÃÃo formal f
Publicado em: 2008
-
21. Energética e mecanismos de processos iônicos em fase gasosa / Energetics and mechanisms of gas-phase ionic processes
The study of ionic reactivity in the gas-phase has been widely explored with mass spectrometry techniques. This thesis reports experimental and theoretical results in three different areas of gas-phase ion chemistry. The ionic processes were experimentally studied by Fourier transform mass spectrometry (FTMS or FT-ICR), a high resolution method that allows f
Publicado em: 2007
-
22. Um sistema de visão para navegação robusta de uma plataforma robótica semi-autônoma
Large efforts have been maden by the scientific community on tasks involving locomotion of mobile robots. To execute this kind of task, we must develop to the robot the ability of navigation through the environment in a safe way, that is, without collisions with the objects. In order to perform this, it is necessary to implement strategies that makes
Publicado em: 2007
-
23. Solução tecnológica para medição e avaliação de índices prognósticos
A technological solution for measurement and evaluation of prognostics indices (Metraton Project) consists in indices concept abstraction applied for therapy intensive units. Through the generation of scores, doctors can create metric to evaluate their patients and the efficiency of determined ICU indices. It was developed an indices factory witch the main o
Publicado em: 2005
-
24. Shot-boundary detection on video / "Segmentação automática de tomadas em vídeo"
Visual content based information retrieval is an area of increasing importance due to the large volume of available material (digital images and videos), shared and distributed mainly by the internet, and the processing power achieved by personal computer in the last ten years. New ways to consume digital video and to manipulate and explore its visual inform
Publicado em: 2004