Numerical study of hydrogenic effective mass theory for an impurity P donor in Si in the presence of an electric field and interfaces

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.

Knowledge-based system on optimum design of liquid retaining structures with genetic algorithms

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.

A coupled knowledge-based expert system for design of liquid-retaining structures

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

A review of drainage and spontaneous rupture in free standing thin films with tangentially immobile interfaces

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.

Interfaces : educação especial & seguridade social

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.

A narratividade do Hip Hop e suas interfaces com o contexto educacional

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.

Interfaces da comunicação e saúde na mídia impressa

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.

GUI Inspection from Source Code Analysis

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.

GUI Behavior from Source Code Analysis

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.

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the 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 open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular 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.

Towards a Catalog of Usability Smells

This paper presents a catalog of smells in the context of interactive applications. These so-called usability smells are indicators of poor design on an application’s user interface, with the potential to hinder not only its usability but also its maintenance and evolution. To eliminate such usability smells we discuss a set of program/usability refactorings. In order to validate the presented usability smells catalog, and the associated refactorings, we present a preliminary empirical study with software developers in the context of a real open source hospital management application. Moreover, a tool that computes graphical user interface behavior models, giving the applications’ source code, is used to automatically detect usability smells at the model level.