A influência da integração multissensorial na construção do espaço semântico no sistema Kansei de engenharia: um estudo de Design Ergonômico com barbeadores descartáveis

Pós-graduação em Design - FAAC

Double-objective economic statistical design of the VP T-2 control chart: Wald's identity approach

Research has shown that applying the T-2 control chart by using a variable parameters (VP) scheme yields rapid detection of out-of-control states. In this paper, the problem of economic statistical design of the VP T-2 control chart is considered as a double-objective minimization problem with the statistical objective being the adjusted average time to signal and the economic objective being expected cost per hour. We then find the Pareto-optimal designs in which the two objectives are met simultaneously by using a multi-objective genetic algorithm. Through an illustrative example, we show that relatively large benefits can be achieved by applying the VP scheme when compared with usual schemes, and in addition, the multi-objective approach provides the user with designs that are flexible and adaptive.

Archives information publishing new design in post-custodial regime: the national archives experience digital vaults

The uses of Information and Communication Technologies (ICT) and Web environments for creation, treatment and availability of information have supported the emergence of new social-cultural patterns represented by convergences in textual, image and audio languages. This paper describes and analyzes the National Archives Experience Digital Vaults as a digital publishing web environment and as a cultural heritage. It is a complex system - synthesizer of information design options at information setting, provides new aesthetic aspects, but specially enlarges the cognition of the subjects who interact with the environment. It also enlarges the institutional spaces that guard the collective memory beyond its role of keeping the physical patrimony collected there. Digital Vaults lies as a mix of guide and interactive catalogue to be dealt in a ludic way. The publishing design of the information held on the Archives is meant to facilitate access to knowledge. The documents are organized in a dynamic and not chronological way. They are not divided in fonds or distinct categories, but in controlled interaction of documents previously indexed and linked by the software. The software creates information design and view of documental content that can be considered a new paradigm in Information Science and are part of post-custodial regime, independent from physical spaces and institutions. Information professionals must be prepared to understand and work with the paradigmatic changes described and represented by the new hybrid digital environments; hence the importance of this paper. Cyberspace interactivity between user and the content provided by the environment design provide cooperation, collaboration and sharing knowledge actions, all features of networks, transforming culture globally.

Usabilidade, percepção estética e força de preensão manual: influência no design ergonômico de instrumentos manuais : um estudo com tesouras de poda

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Diretrizes projetuais e o emprego das tendências: o design de móveis residenciais no polo de Arapongas/PR

Constant social, cultural and political changes influence directly people’s life and define their needs and tastes. Trends have the role of signaling through these facts people’s preferences regarding to objects and can, therefore be connected with great design, as it works with project that is a planning activity for future. In this context, this study aimed to characterize trend jobs in Brazilians home designing methodology. For both: theoretical aspects were studied that led to reasoning, a field research in five Furniture industries Pole of Arapongas/PR was done, and a research for possible developmental reference of furniture in Brazil. Results indicated: misused and mistaken concepts of trend and ignorance on how they operate lack of knowledge about industries sector consumer profile, the concern about sales and not with consumer as “furniture user” and finally, the existence of Brazilian referential sources, but the lack of skilled professionals that could decode these sources.

Design de Relações entre tecnologias amigáveis e sociabilidades virtuais: um novo campo de investigação para o Design

The Digital Age, with its new interactive and converging technologies, stimulates original forms of sociability, which are interconnected, intercommunicating and virtualized through hyperscreens. Another kind of interaction arises from the digitization and new speeds of contemporary communicative process. With the new order of knowledge, it is now possible to transgress the limits of physical space and linear time sequence, through the collective development of content through such telematics networks. Youth gives voice to a new type of user, or a social actor, whose thinking is connected to other communication habits, consolidating singular cultural standards, demanding new languages and skills. Here, we address the nature of this Design of new relations, interactions, behaviors and social systems that emerge in the so called Information Society.

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.

Design de objetos de aprendizagem digital do ponto de vista da usabilidade

Technological resources and the media are contributing to socioeconomic development, including the education sector. Application of Digital Learning Objects support learning, serving as a tool for distance learning arrangements and classroom. The quality of design in instructional materials is one factor that implies the motivation of students and support their learning, within this context, the creation of educational interactive multimedia applications should excel the content and good usability, while facilitating user interaction. The aim of this paper was to establish parameters for the creation and management of Digital Learning Objects.

Design e inovação em contexto de ensino-aprendizagem

This paper presents part of the results of a post-doctoral research project which is called "Hypermedia Design involved with the User Experience". The discussion will be undertaken in this article assumes that the use of a hypermedia environment facing the field of Design can facilitate the process of teaching and learning in an undergraduate degree in Design. The theme that guides the paper of the following question: if the education and training in design does not allow access, involvement and knowledge of the technologies in its primary base that practitioners and researchers are forming for the near future? For both this study focuses on the use of a digital environment by reporting of an experiment of using hypermedia digital book "Design, Education and Technology" as a teaching tool in undergraduate courses in design, results and notes on issues involving interactivity and user experience. The methodology has a qualitative bias, developed along the lines of exploratory research in the form of a case study, lectures, and workshops for the dynamic observation, a questionnaire and analysis of results were applied

Design e semântica: investigação de técnicas estatísticas para auxílio no projeto de produto

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

Limites reais e impostos à criança com subvisão: a contribuição do design para o projeto de jogos inclusivos

Pós-graduação em Design - FAAC

A multiprojeção de ambientes virtuais gerados por motores de jogo: o histórico e o design de uma solução genérica aplicado no motor de jogo Unity

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

SNIIC: a plataforma digital de cultura brasileira sob a perspectiva das convergências entre o Design e a Ciência da Informação

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

SNIIC: a plataforma digital de cultura brasileira sob a perspectiva das convergências entre o Design e a Ciência da Informação

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

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.