Visual IMML: um perfil UML para a modelagem de interfaces de usuário

The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Interfaces cérebro-computador: estudo, design e desenvolvimento do jogo AdmiralMind Battleship

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

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Interfaces cultural, política e organizacional do projeto caminhos do frio rota cultural no contexto da regionalização do turismo no brejo paraibano

This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven

The application of preprocessing and cutting plane techniques for a class of production planning problems

This paper investigates properties of integer programming models for a class of production planning problems. The models are developed within a decision support system to advise a sales team of the products on which to focus their efforts in gaining new orders in the short term. The products generally require processing on several manufacturing cells and involve precedence relationships. The cells are already (partially) committed with products for stock and to satisfy existing orders and therefore only the residual capacities of each cell in each time period of the planning horizon are considered. The determination of production recommendations to the sales team that make use of residual capacities is a nontrivial optimization problem. Solving such models is computationally demanding and techniques for speeding up solution times are highly desirable. An integer programming model is developed and various preprocessing techniques are investigated and evaluated. In addition, a number of cutting plane approaches have been applied. The performance of these approaches which are both general and application specific is examined.

Programmable PFC based hybrid multipulse power rectifier for ultra clean power application

A novel hybrid three-phase rectifier is proposed. It is capable to achieve high input power factor (PF) and low total harmonic input currents distortion (THDI). The proposed hybrid high power rectifier is composed by a standard three-phase six-pulse diode rectifier (Graetz bridge) with a parallel connection of single-phase Sepic rectifiers in each three-phase rectifier leg. Such topology results in a structure capable of programming the input current waveform and providing conditions for obtaining high input power factor and low harmonic current distortion. In order to validate the proposed hybrid rectifier, this work describes its principles, with detailed operation, simulation, experimental results, and discussions on power rating of the required Sepic converters as related to the desired total harmonic current distortion. It is demonstrated that only a fraction of the output power is processed through the Sepic converters, making the proposed solution economically viable for very high power installations, with fast investment payback. Moreover, retrofitting to existing installations is also feasible since the parallel path can be easily controlled by integration with the existing dc-link. A prototype has been implemented in the laboratory and it was fully demonstrated to both operate with excellent performance and be feasibly implemented in higher power applications.

Towards an intelligent graphical interface for linear programming modelling

The increase of computing power of the microcomputers has stimulated the building of direct manipulation interfaces that allow graphical representation of Linear Programming (LP) models. This work discusses the components of such a graphical interface as the basis for a system to assist users in the process of formulating LP problems. In essence, this work proposes a methodology which considers the modelling task as divided into three stages which are specification of the Data Model, the Conceptual Model and the LP Model. The necessity for using Artificial Intelligence techniques in the problem conceptualisation and to help the model formulation task is illustrated.

Scalable distributed virtual environments using multicast application level

Most of architectures proposed for developing Distributed Virtual Environment (DVE) allow limited number of users. To support the development of applications using the internet infrastructure, with hundred or, perhaps, thousands users logged simultaneously on DVE, several techniques for managing resources, such as bandwidth and capability of processing, must be implemented. The strategy presented in this paper combines methods to attain the scalability required, In special the multicast protocol at application level.

An application of CHA to concurrent short-term transmission expansion & reactive power planning

In this paper a heuristic technique for solving simultaneous short-term transmission network expansion and reactive power planning problem (TEPRPP) via an AC model is presented. A constructive heuristic algorithm (CHA) aimed to obtaining a significant quality solution for such problem is employed. An interior point method (IPM) is applied to solve TEPRPP as a nonlinear programming (NLP) during the solution steps of the algorithm. For each proposed network topology, an indicator is deployed to identify the weak buses for reactive power sources placement. The objective function of NLP includes the costs of new transmission lines, real power losses as well as reactive power sources. By allocating reactive power sources at load buses, the circuit capacity may increase while the cost of new lines can be decreased. The proposed methodology is tested on Garver's system and the obtained results shows its capability and the viability of using AC model for solving such non-convex optimization problem. © 2011 IEEE.

NCAP embedded using structured programming

This paper presents a network node embedded based on IEEE 1451 standard developed using structured programming to access the transducers in the WTIM. The NCAP was developed using Nios II processor and uClinux, a embedded operating system developed to features restricted hardware. Both hardware and software have dynamics features and they can be configured based in the application features. Based in this features, the NCAP was developed using the minimum components of hardware and software to that being implemented in remote environment like central point of data request. Many NCAP works are implemented with an object oriented structure. This is different from the surrounding implementations. In this project the NCAP was developed using structured programming. The tests of the NCAP were made using a ZigBee interface between NCAP and WTIM and the system demonstrated in areas of difficult access for long period of time due to need for low power consumption. © 2012 IEEE.

Effect of different methods of cutting fluid application on turning of a difficult-to-machine steel (SAE EV-8)

In this study, different methods of cutting fluid application are used in turning of a difficult-to-machine steel (SAE EV-8). Initially, a semisynthetic cutting fluid was applied using a conventional method (i.e. overhead flood cooling), minimum quantity of cutting fluid, and pulverization. A lubricant of vegetable oil (minimum quantity of lubricant) was also applied using the minimum quantity method. Thereafter, a cutting fluid jet under high pressure (3.0 MPa) was singly applied in the following regions: chip-tool interface, top surface of the chip (between workpiece and chip) and tool-workpiece contact. Moreover, two other methods were used: an interflow between conventional application and chip-tool interface jet (combined method) and, finally, three jets simultaneously applied. In order to carry out these tests, it was necessary to set up a high-pressure system using a piston pump for generating a cutting fluid jet, a venturi for fluid application (minimum quantity of cutting fluid and minimum quantity of lubricant) and a nozzle for cutting fluid pulverization. The output variables analyzed included tool life, surface roughness, cutting tool temperature, cutting force, chip form, chip compression rate and machined specimen microstructure. Among the results, it can be observed that the tool life increases and the cutting force decreases with the application of cutting fluid jet, mainly when it is directed to the chip-tool interface. Excluding the methods involving jet fluid, the conventional method seems to be more efficient than other methods of low pressure, such as minimum quantity of volume and pulverization, when considering just the cutting tool wear. © 2013 IMechE.

Different methods of cutting fluid application on turning of a difficult-to-machine steel

Different methods of cutting fluid application are used on turning of a difficult-tomachine steel (SAE EV-8). A semi-synthetic cutting fluid was applied using a conventional method, minimum quantity of cutting fluid (MQCF), and pulverization. By the minimum quantity method was also applied a lubricant of vegetable oil (MQL). Thereafter, a cutting fluid jet under high pressure (3.0 MPa) was singly applied in the following regions: chip-tool interface; top surface of the chip; and tool-workpiece contact. Two other methods were used: an interflow between conventional application and chip-tool interface jet and, finally, three jets simultaneously applied. In order to carry out these tests, it was necessary to set up a high pressure system using a piston pump for generating a cutting fluid jet, a Venturi for fluid application (MQCF and MQL), and a nozzle for cutting fluid pulverization. The output variables analyzed included tool life, surface roughness, cutting tool temperature, cutting force, chip form, chip compression rate and machined specimen microstructure. It can be observed that the tool life increases and the cutting force decreases with the application of cutting fluid jet, mainly when it is directed to the chip-tool interface. Excluding the methods involving jet fluid, the conventional method seems to be more efficient than other methods of low pressure. © (2013) Trans Tech Publications, Switzerland.

Multi-choice mixed integer goal programming optimization for real problems in a sugar and ethanol milling company

Goal Programming (GP) is an important analytical approach devised to solve many realworld problems. The first GP model is known as Weighted Goal Programming (WGP). However, Multi-Choice Aspirations Level (MCAL) problems cannot be solved by current GP techniques. In this paper, we propose a Multi-Choice Mixed Integer Goal Programming model (MCMI-GP) for the aggregate production planning of a Brazilian sugar and ethanol milling company. The MC-MIGP model was based on traditional selection and process methods for the design of lots, representing the production system of sugar, alcohol, molasses and derivatives. The research covers decisions on the agricultural and cutting stages, sugarcane loading and transportation by suppliers and, especially, energy cogeneration decisions; that is, the choice of production process, including storage stages and distribution. The MCMIGP allows decision-makers to set multiple aspiration levels for their problems in which the more/higher, the better and the less/lower, the better in the aspiration levels are addressed. An application of the proposed model for real problems in a Brazilian sugar and ethanol mill was conducted; producing interesting results that are herein reported and commented upon. Also, it was made a comparison between MCMI GP and WGP models using these real cases. © 2013 Elsevier Inc.