995 resultados para Chip-tool interfaces
Resumo:
Recent years have seen the introduction of new and varied designs of activated sludge plants. With increasing needs for higher efficiencies and lower costs, the possibility of a plant that operates more effectively has created the need for tools that can be used to evaluate and compare designs at the design stage. One such tool is the operating space diagram. It is the aim of this paper to present this tool and demonstrate its application and relevance to design using a simple case study. In the case study, use of the operating space diagram suggested changes in design that would improve the flexibility of the process. It also was useful for designing suitable control strategies.
Resumo:
The efficacy of psychological treatments emphasising a self-management approach to chronic pain has been demonstrated by substantial empirical research. Nevertheless, high drop-out and relapse rates and low or unsuccessful engagement in self-management pain rehabilitation programs have prompted the suggestion that people vary in their readiness to adopt a self-management approach to their pain. The Pain Stages of Change Questionnaire (PSOCQ) was developed to assess a patient's readiness to adopt a self-management approach to their chronic pain. Preliminary evidence has supported the PSOCQ's psychometric properties. The current study was designed to further examine the psychometric properties of the PSOCQ, including its reliability, factorial structure and predictive validity. A total of 107 patients with an average age of 36.2 years (SD = 10.63) attending a multi-disciplinary pain management program completed the PSOCQ, the Pain Self-Efficacy Questionnaire (PSEQ) and the West Haven-Yale Multidimensional Pain Inventory (WHYMPI) pre-admission and at discharge from the program. Initial data analysis found inadequate internal consistencies of the precontemplation and action scales of the PSOCQ and a high correlation (r = 0.66, P < 0.01) between the action and maintenance scales. Principal component analysis supported a two-factor structure: 'Contemplation' and 'Engagement'. Subsequent analyses revealed that the PSEQ was a better predictor of treatment outcome than the PSOCQ scales. Discussion centres upon the utility of the PSOCQ in a clinical pain setting in light of the above findings, and a need for further research. (C) 2002 International Association for the Study of Pain. Published by Elsevier Science B.V. All rights reserved.
Resumo:
Smart State is a Queensland Government initiative that recognises the central role of knowledge-based economic growth. In this context, the management of intellectual property (IP) within Queensland and Australian government research and development agencies has changed dramatically over recent years. Increasing expectations have been placed on utilising public sector IP to both underpin economic development and augment taxes by generating new revenues. Public sector research and development (R&D) management has come under greater scrutiny to commercialise and/or corporatise their activities. In a study of IP management issues in the Queensland Public Sector we developed a framework to facilitate a holistic audit of IP management in government agencies. In this paper we describe this framework as it pertains to one large public sector Agriculture R&D Agency, the Queensland Department of Primary Industries (QDPI). The four overlapping domains of the framework are: IP Generation; IP Rights; IP Uptake; and Corporate IP Support. The audit within QDPI, conducted in 2000 near the outset of Smart State, highlighted some well developed IP management practices within QDPI's traditional areas of focus of innovation (IP Generation) and IP ownership and licensing (IP Rights). However, further management practice developments are required to improve the domains of IP Uptake and Corporate IP Support.
Resumo:
In this paper we examine the effects of varying several experimental parameters in the Kane quantum computer architecture: A-gate voltage, the qubit depth below the silicon oxide barrier, and the back gate depth to explore how these variables affect the electron density of the donor electron. In particular, we calculate the resonance frequency of the donor nuclei as a function of these parameters. To do this we calculated the donor electron wave function variationally using an effective-mass Hamiltonian approach, using a basis of deformed hydrogenic orbitals. This approach was then extended to include the electric-field Hamiltonian and the silicon host geometry. We found that the phosphorous donor electron wave function was very sensitive to all the experimental variables studied in our work, and thus to optimize the operation of these devices it is necessary to control all parameters varied in this paper.
Resumo:
Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.
Resumo:
A review of spontaneous rupture in thin films with tangentially immobile interfaces is presented that emphasizes the theoretical developments of film drainage and corrugation growth through the linearization of lubrication theory in a cylindrical geometry. Spontaneous rupture occurs when corrugations from adjacent interfaces become unstable and grow to a critical thickness. A corrugated interface is composed of a number of waveforms and each waveform becomes unstable at a unique transition thickness. The onset of instability occurs at the maximum transition thickness, and it is shown that only upper and lower bounds of this thickness can be predicted from linear stability analysis. The upper bound is equivalent to the Freakel criterion and is obtained from the zeroth order approximation of the H-3 term in the evolution equation. This criterion is determined solely by the film radius, interfacial tension and Hamaker constant. The lower bound is obtained from the first order approximation of the H-3 term in the evolution equation and is dependent on the film thinning velocity A semi-empirical equation, referred to as the MTR equation, is obtained by combining the drainage theory of Manev et al. [J. Dispersion Sci. Technol., 18 (1997) 769] and the experimental measurements of Radoev et al. [J. Colloid Interface Sci. 95 (1983) 254] and is shown to provide accurate predictions of film thinning velocity near the critical thickness of rupture. The MTR equation permits the prediction of the lower bound of the maximum transition thickness based entirely on film radius, Plateau border radius, interfacial tension, temperature and Hamaker constant. The MTR equation extrapolates to Reynolds equation under conditions when the Plateau border pressure is small, which provides a lower bound for the maximum transition thickness that is equivalent to the criterion of Gumerman and Homsy [Chem. Eng. Commun. 2 (1975) 27]. The relative accuracy of either bound is thought to be dependent on the amplitude of the hydrodynamic corrugations, and a semiempirical correlation is also obtained that permits the amplitude to be calculated as a function of the upper and lower bound of the maximum transition thickness. The relationship between the evolving theoretical developments is demonstrated by three film thickness master curves, which reduce to simple analytical expressions under limiting conditions when the drainage pressure drop is controlled by either the Plateau border capillary pressure or the van der Waals disjoining pressure. The master curves simplify solution of the various theoretical predictions enormously over the entire range of the linear approximation. Finally, it is shown that when the Frenkel criterion is used to assess film stability, recent studies reach conclusions that are contrary to the relevance of spontaneous rupture as a cell-opening mechanism in foams. (C) 2003 Elsevier Science B.V. All rights reserved.
Resumo:
Recent observations from type Ia Supernovae and from cosmic microwave background (CMB) anisotropies have revealed that most of the matter of the Universe interacts in a repulsive manner, composing the so-called dark energy constituent of the Universe. Determining the properties of dark energy is one of the most important tasks of modern cosmology and this is the main motivation for this work. The analysis of cosmic gravitational waves (GW) represents, besides the CMB temperature and polarization anisotropies, an additional approach in the determination of parameters that may constrain the dark energy models and their consistence. In recent work, a generalized Chaplygin gas model was considered in a flat universe and the corresponding spectrum of gravitational waves was obtained. In the present work we have added a massless gas component to that model and the new spectrum has been compared to the previous one. The Chaplygin gas is also used to simulate a L-CDM model by means of a particular combination of parameters so that the Chaplygin gas and the L-CDM models can be easily distinguished in the theoretical scenarios here established. We find that the models are strongly degenerated in the range of frequencies studied. This degeneracy is in part expected since the models must converge to each other when some particular combinations of parameters are considered.
Resumo:
Com a Constituição da República Federativa do Brasil (1988), a intersetorialidade imprimiu nas políticas públicas de educação e seguridade social uma construção e uma operacionalidade mais articuladas e interdependentes. Entre as leis e portarias interministeriais, destaca-se o Programa Benefício de Prestação Continuada na Escola, que atende pessoas com deficiência de zero a dezoito anos de idade. Nesta pesquisa, questionam-se as interfaces entre as políticas públicas da educação especial e da seguridade social. São objetivos da pesquisa: analisar as interfaces das políticas públicas sociais – educação especial e seguridade social – no que se refere à garantia de direitos à educação de crianças com deficiência ou Transtornos Globais do Desenvolvimento, entre zero e cinco anos, no município de Vitória, Estado do Espírito Santo; identificar como se configuram as interdependências entre profissionais da educação especial e da seguridade social e os familiares (pais ou responsáveis) dessas crianças perante seus processos educacionais; compreender os diferentes movimentos entre as instituições de educação e da seguridade social e suas implicações para a inclusão escolar das crianças com deficiência ou Transtorno Global do Desenvolvimento; analisar como os profissionais da educação e da seguridade social lançam perspectivas para os processos de inclusão escolar e estabelecem diálogo com a família acerca da educação dessas crianças. Esta é uma pesquisa de natureza qualitativa, estudo de caso com coleta de dados empíricos e bibliográficos, na qual foram sujeitos: mães de três crianças de três Centros Municipais de Educação Infantil de Vitória; professoras da sala de atividades e de educação especial, pedagogas e diretoras; técnicos das Secretarias Municipais de Vitória: Educação, Saúde e Assistência Social e do Instituto Nacional do Seguro Social. As técnicas empregadas para coleta de dados foram a entrevista o grupo focal e o diário de itinerância. Foram procedimentos adotados para o registro dos dados a audiogravação de entrevistas e de grupos focais e anotações em diário de itinerância. Os dados foram organizados em cinco categorias de análise, produzidas por meio das narrativas dos familiares e dos profissionais participantes da pesquisa. Os conceitos de Norbert Elias, interdependência e configuração, relação de poder – estabelecidos e outsiders –, processos sociais e relação entre sociedade e Estado (balança do poder) contribuíram para compreender os dados, por serem observados nas categorias produzidas. Os resultados apontam para a fragilidade de Global do Desenvolvimento, no município de Vitória. Revelam, ainda, uma inconsistência de fluxos de referência e contrarreferência e lacunas na dimensão técnica e operativa para as interfaces das políticas públicas intersetoriais com práticas profissionais que cumpram o papel político conforme outorga a legislação federal e municipal. As considerações se ampliam para discussões entre o instituído e o instituinte – políticas públicas e práticas profissionais – que priorizem a efetivação da intersetorialidade diante das demandas do público investigado com vista à garantia dos direitos de acesso a uma educação de qualidade.
Resumo:
A presente tese de doutoramento em Educação aborda a cultura do Hip Hop e sua relação com o contexto educativo. Insere-se nas discussões da linha de pesquisa em Educação e Linguagens e problematiza o espaço escolar, enquanto espaço de reprodução da ideologia hegemônica, analisando o projeto “Escola de Rimas”, desenvolvido na Grande Vitória, como movimento de resistência e ressignificação cultural na escola. Parte da pergunta: Como as práticas discursivas do Hip Hop podem ressignificar o contexto escolar? A presente tese aborda a cultura do Hip Hop como campo discursivo singular de uma experiência narrativa (BENJAMIN, 1986; BONDÍA, 2001) e de uma subjetividade eticamente responsável (BAKHTIN, 1992a; 1992b; 2010), fundada no princípio da alteridade (PONZIO, 2009), e o analisa a partir de uma perspectiva crítica e dialógica (FREIRE, 1981; 1994; 1995; GIROUX, 1986; 1987; BRANDÃO, 1986; BAKHTIN, 1992a; 1992b; 2010). Desenvolve a pesquisa em um contexto limiar entre a escola e a cultura hip hop e dimensiona o debate das culturas marginais nos contextos educativos, voltando-se para os sujeitos e suas experiências narrativas, avaliando a interação de algumas de suas práticas discursivas com o processo de ensino-aprendizagem. Para isso, analisa o projeto cultural “Escola de Rimas”, criado pelos próprios ativistas do movimento hip hop da Grande Vitória e desenvolvido em uma escola da rede pública estadual de ensino do Espírito Santo, com o objetivo de discutir o seu papel em um processo de ressignificação educacional. Como hipótese de trabalho defende-se que o espaço escolar, como espaço de disputas, é ressignificado com a introdução de outras práticas discursivas e culturais, entre elas o hip hop, que aponta para a necessidade de ouvir responsiva e responsavelmente as narrativas dos educandos, contribuindo, assim, para a formação crítica desses sujeitos e enfrentando, ao mesmo tempo, práticas de exclusão historicamente instituídas.
Resumo:
Novas ferramentas de Tecnologias Assistivas (TAs) têm aparecido ultimamente. Um exemplo são os Ambientes Virtuais (AVs), os quais são importantes para o desenvolvimento de novas TAs, que podem ser direcionadas para promoverem uma melhor qualidade de vida de pessoas com mobilidade reduzida permanente ou promover a reabilitação de pessoas com deficiência motora temporária. Outras ferramentas, que surgiram há algumas décadas com o desenvolvimento dos computadores, também ajudam no tratamento de pessoas com deficiência motora, que são as Interfaces Humano-Máquina (IHM). Utilizando em conjunto com equipamentos que capturam sinais biológicos, como equipamentos de Eletromiografia (EMG) e Eletroencefalografia (EEG), essas ferramentas se configuram como canais de comunicações entre o ser humano e os computadores, diferentemente das comumente utilizadas. Isso abre uma gama de possibilidades para sua utilização no tratamento e na assistência de pessoas com deficiência motora, onde sinais EMG podem ser utilizados para controlar próteses robóticas; e sinais EEG, quando capturados da região do córtex motor, podem ser utilizados em neuroreabilitação. Por outro lado, quando capturados na região occipital, os sinais de EEG podem ser utilizados para gerar comandos e outras finalidades. Este trabalho apresenta o desenvolvimento de novas ferramentas para auxiliar em pesquisas de TAs envolvendo sinais biológicos. Três diferentes AVs foram desenvolvidos para auxiliar nesse tipo de pesquisa. Além deles, um equipamento EEG comercial foi adaptado para ser utilizado com uma IHM, o qual utiliza dois desses três AVs desenvolvidos. Como resultados, temos a utilização bem sucedida do equipamento EEG obtido com sua utilização com SSVEP e Imaginação motora, além da implementação com sucesso dos três AVs desenvolvidos, que estão disponíveis para download gratuito, e que podem ser utilizados em demais pesquisas envolvendo TAs.
Resumo:
O campo da Comunicação e Saúde engloba tanto os conhecimentos peculiares à Comunicação quanto os conhecimentos da área da Saúde, os quais tratados em conjunto e explorados as potencialidades de cada ciência, se interrelacionam, interagem e convergem para um amplo campo interdisciplinar. O objetivo deste trabalho foi compreender, discutir e problematizar, a partir da opinião dos sujeitos, a dinâmica da divulgação midiática da saúde/doenças na mídia impressa do Espírito Santo (ES) e identificar possíveis temáticas de saúde negligenciadas. Trata-se de um estudo qualitativo no qual foram realizadas entrevistas com os atores-chave envolvidos na discussão/veiculação da saúde/doenças nos dois principais jornais do estado: A Tribuna e A Gazeta, gestores da Secretaria de Estado as Saúde do ES (SESA), bem como integrantes da Assessoria de Comunicação da SESA e conselheiros de saúde representante dos usuários no Conselho Estadual de Saúde. O material empírico coletado foi analisado por meio da Análise de Conteúdo a partir da temática. A compreensão das relações que permeiam a mídia impressa e a divulgação midiática da saúde no Espírito Santo resultou em importantes apontamentos os quais podem auxiliar jornalistas e comunicadores na transmissão de informações pertinentes à Saúde Coletiva de forma clara, ética e política e que corresponda às necessidades de saúde da população. Nas interfaces das relações entre os atores entrevistados e a compreensão da dinâmica das notícias de saúde, foram identificadas Doenças Midiaticamente Negligenciadas e apontadas estratégias para lidar com esse silenciamento midiático. Conclui-se que dentre as interfaces do campo da Comunicação e Saúde se encontra as relações com o campo da Saúde Coletiva e por isso, as sugestões para o enfrentamento da negligência midiática de alguns temas incluem uma capacitação em Saúde Coletiva para repórteres dos jornais; a mobilização dos doentes; a gestão fomentar a pauta pública; e a participação social.
Resumo:
Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.
Resumo:
When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.