Fatores Humanos em Sistemas Computacionais

O vídeo apresenta a relação entre a área de Interação Humano-Computador e fatores humanos, como características físicas, cognitivas e emocionais. O vídeo apresenta o Modelo de Processamento de Informação Humano (MPIH) e alguns exemplos do funcionamento do corpo humano em relação às soluções computacionais.

Fatores Humanos em Sistemas Computacionais [Audiodescrição]

Versão acessível do vídeo com audiodescrição.

Reconfiguração dinâmica de estratégias distribuídas em dispositivos foundation fieldbus para a otimização de processos na indústria do petróleo

The petrochemical industry has as objective obtain, from crude oil, some products with a higher commercial value and a bigger industrial utility for energy purposes. These industrial processes are complex, commonly operating with large production volume and in restricted operation conditions. The operation control in optimized and stable conditions is important to keep obtained products quality and the industrial plant safety. Currently, industrial network has been attained evidence when there is a need to make the process control in a distributed way. The Foundation Fieldbus protocol for industrial network, for its interoperability feature and its user interface organized in simple configuration blocks, has great notoriety among industrial automation network group. This present work puts together some benefits brought by industrial network technology to petrochemical industrial processes inherent complexity. For this, a dynamic reconfiguration system for intelligent strategies (artificial neural networks, for example) based on the protocol user application layer is proposed which might allow different applications use in a particular process, without operators intervention and with necessary guarantees for the proper plant functioning

Uma arquitetura de referência para o desenvolvimento de sistemas interativos multiplataformas

It is increasingly common use of a single computer system using different devices - personal computers, telephones cellular and others - and software platforms - systems graphical user interfaces, Web and other systems. Depending on the technologies involved, different software architectures may be employed. For example, in Web systems, it utilizes architecture client-server - usually extended in three layers. In systems with graphical interfaces, it is common architecture with the style MVC. The use of architectures with different styles hinders the interoperability of systems with multiple platforms. Another aggravating is that often the user interface in each of the devices have structure, appearance and behaviour different on each device, which leads to a low usability. Finally, the user interfaces specific to each of the devices involved, with distinct features and technologies is a job that needs to be done individually and not allow scalability. This study sought to address some of these problems by presenting a reference architecture platform-independent and that allows the user interface can be built from an abstract specification described in the language in the specification of the user interface, the MML. This solution is designed to offer greater interoperability between different platforms, greater consistency between the user interfaces and greater flexibility and scalability for the incorporation of new devices

Uma ontologia para a descrição da semântica da IMML

This work presents an ontology to describe the semantics of IMML (Interactive Message Modeling Language) an XML-based User Interface Description Language. The ontology presents the description of all IMML elements including a natural language description and semantic rules and relationships. The ontology is implemented in OWL-DL, a standard language to ontology description that is recommended by W3C. Our main goal is to describe the semantic using languages and tools that can be processed by computers. As a consequence, we develop tools to the validation of a user interface specification and also to present the semantic description in different views

Estimulador elétrico funcional com utilização de ponte H e fonte de corrente no estágio de potência

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estimulador elétrico funcional com utilização de ponte H e fonte de corrente no estágio de potência

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Accessibility in Digital Television: Designing Remote Controls

Free to air television is still an important tool to provide information and communication in many countries. Therefore, the universal access to the television system is very important. This paper presents a set of Digital Television accessible remote control devices designed for the Brazilian Digital Television. A research was conducted, interviewing people with disabilities in Brazil. Three remote control models were proposed, consolidating the main identified requirements, being accessible for a diverse group of impairments.

Context-Based Customization of Routing Functions for Web GIS Applications

This poster presentation features three route planning applications developed by the Florida International University GIS Center and the Geomatics program at the University of Florida, and outlines their context based differences. The first route planner has been developed for cyclists in three Florida counties, i.e. Miami Dade County, Broward County, and Palm Beach County. The second route planner computes safe pedestrian routes to schools and has been developed for Miami Dade County. The third route planner combines pre-compiled cultural/eco routes and point-to-point route planning for the City of Coral Gables. This poster highlights the differences in design (user interface) and implementation (routing options) between the three route planners as a result of a different application context and target audience.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Reconfiguração dinâmica de estratégias distribuídas em dispositivos foundation fieldbus para a otimização de processos na indústria do petróleo

The petrochemical industry has as objective obtain, from crude oil, some products with a higher commercial value and a bigger industrial utility for energy purposes. These industrial processes are complex, commonly operating with large production volume and in restricted operation conditions. The operation control in optimized and stable conditions is important to keep obtained products quality and the industrial plant safety. Currently, industrial network has been attained evidence when there is a need to make the process control in a distributed way. The Foundation Fieldbus protocol for industrial network, for its interoperability feature and its user interface organized in simple configuration blocks, has great notoriety among industrial automation network group. This present work puts together some benefits brought by industrial network technology to petrochemical industrial processes inherent complexity. For this, a dynamic reconfiguration system for intelligent strategies (artificial neural networks, for example) based on the protocol user application layer is proposed which might allow different applications use in a particular process, without operators intervention and with necessary guarantees for the proper plant functioning

Uso do R-shiny para execução de modelos matemáticos via web: estudo de caso sobre a dinâmica de propagação do HLB do citros.

RESUMO - O Huanglongbing (HLB ou Greening) é a doença mais importante e destrutiva da citricultura mundial. Presente de forma endêmica nos continentes asiático e africano há várias décadas, essa doença foi constatada no Brasil em 2004, sendo transmitida pelo psilídeo Diaphorina citri e causada por bactérias de floema Candidatus Liberibacter spp. Para auxiliar o estudo da doença, foram desenvolvidos modelos matemáticos para avaliação da propagação do HLB Citros. Este trabalho tem por objetivo a criação de um sistema para execução via web de um destes modelos, permitindo aos profissionais de diversas formações, em especial os das áreas biológicas, que são os especialistas do domínio em estudo, acesso rápido aos resultados fornecidos pelo modelo matemático, eliminando ainda a necessidade de conhecimento prévio em alguma linguagem de programação ou de métodos de resolução de equações diferenciais. O sistema foi completamente implementado em R, tendo sido o pacote deSolve usado para solução do modelo matemático e o framework web Shiny para a interface com usuário, sendo todos open source.

Estudo da interface e aplicação dos materiais mimétricos ao design de produto e segurança do trabalho

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Características da interface dos sites de notícias: um estudo do design e da usabilidade de jornais impressos e eletrônicos

The paper presents an ergonomic analysis of reading usability of electronic journals and the comparison with newspapers. As a method, it was adopted an evaluation of the user perception, from a printed questionnaire applied to a group of 41 people. Overall, the results indicate that on the analyzed newspapers there is need for greater care concerning the aspects of visual representation, involving more design application, usability, ergonomics, technology and communication.

Ecological interface design for pasteurizer II: A process description of semantic mapping

Ecological interface design (EID) is proving to be a promising approach to the design of interfaces for complex dynamic systems. Although the principles of EID and examples of its effective use are widely available, few readily available examples exist of how the individual displays that constitute an ecological interface are developed. This paper presents the semantic mapping process within EID in the context of prior theoretical work in this area. The semantic mapping process that was used in developing an ecological interface for the Pasteurizer II microworld is outlined, and the results of an evaluation of the ecological interface against a more conventional interface are briefly presented. Subjective reports indicate features of the ecological interface that made it particularly valuable for participants. Finally, we outline the steps of an analytic process for using EID. The findings presented here can be applied in the design of ecological interfaces or of configural displays for dynamic processes.