Game Design Document (GDD) - Versão 1

Documento componente do jogo “Digestower (http://www.loa.sead.ufscar.br/digestower.php)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

WISE-MUSE Mobile: aplicação móvel para monitorização ambiental de museus

Manter o património histórico, natural e artístico por muitos anos é de vital importância pois, sem este património, as gerações não poderiam ter conhecimento nem aprender todos os grandes acontecimentos que têm passado ao longo dos anos num determinado país. Para evitar que esse património se perca foi criado o projecto WISE-MUSE, que tem como objectivo principal a conservação preventiva de obras de arte através de monitorização ambiental, usando uma Rede de Sensores Sem Fios (RSSF) quer para recolher dados quer para transmiti-los. Apesar do projecto WISE-MUSE ser relevante para todos os museus, em geral, este foi aplicado ao caso específico do Museu da Baleia, localizado na Ilha da Madeira, em Portugal. Inicialmente, este projecto preocupava-se essencialmente com a monitorização ambiental das salas de exposição e das câmaras frigoríficas, usando uma rede de sensores sem fios distribuídos pelos espaços em questão. Uma RSSF permite obter dados essenciais à preservação das obras de arte num museu, de uma forma fácil e continua. Para tal, foram usados diferentes tipos de sensores para capturar parametros ambientais, tais como temperatura, humidade, luminosidade, CO e CO2. Um dos objectivos principais do projecto WISE-MUSE é conseguir visualizar as medições recebidas pelos sensores sem fios, de uma forma rápida e fiável, para que quando seja detectado algum problema, os responsáveis pelo museu possam actuar a tempo e resolver o problema sem danos maiores. Tendo em vista este objectivo, este trabalho de mestrado consistiu no desenvolvimento de uma aplicação móvel que permita a visualização e análise dos respectivos dados, em tempo real e independentemente do local onde os utilizadores se encontrem, enviando-lhes alertas caso seja detectado algum parâmetro com valores fora do normal. Esta aplicação foi implementada sobre o sistema operativo Android, por ser um dos mais usados por todo o mundo, assim como graças à sua facilidade de utilização quer por parte dos programadores quer por parte dos utilizadores finais.

A survey of control architectures for autonomous mobile robots

MEDEIROS, Adelardo A. D.A survey of control architectures for autonomous mobile robots. J. Braz. Comp. Soc., Campinas, v. 4, n. 3, abr. 1998 .Disponível em: Acesso: 27 set. 2010.

Desenvolvimento de um ambiente para projeto de controladores fuzzy para dispositivos móveis

Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to small devices such as digital cameras and cell phones being used primarily for dealing with the uncertainties in the modeling of real systems. However, commercial implementations of Fuzzy systems are not general purpose and do not have portability to different hardware platforms. Thinking about these issues this work presents the implementation of an open source development environment that consists of a desktop system capable of generate Graphically a general purpose Fuzzy controller and export these parameters for an embedded system with a Fuzzy controller written in Java Platform Micro Edition To (J2ME), whose modular design makes it portable to any mobile device that supports J2ME. Thus, the proposed development platform is capable of generating all the parameters of a Fuzzy controller and export it in XML file, and the code responsible for the control logic that is embedded in the mobile device is able to read this file and start the controller. All the parameters of a Fuzzy controller are configurable using the desktop system, since the membership functions and rule base, even the universe of discourse of the linguistic terms of output variables. This system generates Fuzzy controllers for the interpolation model of Takagi-Sugeno. As the validation process and testing of the proposed solution the Fuzzy controller was embedded on the mobile device Sun SPOT ® and used to control a plant-level Quanser®, and to compare the Fuzzy controller generated by the system with other types of controllers was implemented and embedded in sun spot a PID controller to control the same level plant of Quanser®

Análise preditiva a partir da caracterização das emissões gasosas e do óleo lubrificante em frotas com motorização a diesel

This work was motivated by the importance of conducting a study of vehicle emissions in captive fleets with diesel engine, coupled with the predictive maintenance plan. This type of maintenance includes techniques designed to meet the growing market demand to reduce maintenance costs by increasing the reliability of diagnoses, which has increased interest in automated predictive maintenance on diesel engines, preventing problems that might evolve into routine turn into serious situations, solved only with complex and costly repairs, the Reliability Centered Maintenance, will be the methodology that will make our goal is reached, beyond maintaining the vehicles regulated as fuel consumption and emissions. To Therefore, technical improvements were estimated capable of penetrating the automotive market and give the inshore fleet emission rates of opacity of the vehicles, being directly related to the conditions of the lubricating oil thus contributing to reducing maintenance costs by contributing significantly to emissions of pollutants and an improvement in the air in large cities. This criterion was adopted and implemented, em 241 buses and produced a diagnosis of possible failures by the correlation between the characterization of used lubricating oils and the analysis of opacity, with the objective of the aid the detection and solution of failures for the maintenance of sub-systems according to design criteria, and for this to be a deductive methodology to determine potential causes of failures, has been automated to implement a predictive maintenance system for this purpose was used in our study a mobile unit equipped with a opacimeter and a kit for collection and analysis of lubricating oil and the construction of the network diagnostics, we used a computer program in Microsoft Office Access 2007 platform tool is indispensable for creating a database data, this method is being used and successfully implemented in seven (7) bus companies from the city of Natal (RN) Brazil

Simulation Tools for Power Electronics Courses Based on Java Technologies

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

Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

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

Satellyptus: analysis and database of microsatellites from ESTs of Eucalyptus

The main goal of our research was to search for SSRs in the Eucalyptus EST FORESTs database (using a software for mining SSR-motifs). With this objective, we created a database for cataloging Eucalyptus EST-derived SSRs, and developed a bioinformatics tool, named Satellyptus, for finding and analyzing microsatellites in the Eucalyptus EST database. The search for microsatellites in the FORESTs database containing 71,115 Eucalyptus EST sequences (52.09 Mb) revealed 20,530 SSRs in 15,621 ESTs. The SSR abundance detected on the Eucalyptus ESTs database (29% or one microsatellite every four sequences) is considered very high for plants. Amongst the categories of SSR motifs, the dimeric (37%) and trimeric ones (33%) predominated. The AG/CT motif was the most frequent (35.15%) followed by the trimeric CCG/CGG (12.81%). From a random sample of 1,217 sequences, 343 microsatellites in 265 SSR-containing sequences were identified. Approximately 48% of these ESTs containing microsatellites were homologous to proteins with known biological function. Most of the microsatellites detected in Eucalyptus ESTs were positioned at either the 5 or 3 end. Our next priority involves the design of flanking primers for codominant SSR loci, which could lead to the development of a set of microsatellite-based markers suitable for marker-assisted Eucalyptus breeding programs.

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Integrating strategic and sustainable design approach for innovation process: a cement case study

Global society and technology have changed the relationships of the market. Quality and cost are not the main aspects of any industrial product. On the other hand, design, innovation and sustainability became significant requirements to company’s competitiveness. In this context, the design approach has shown evolutions, integrating social and environmental aspects beside traditional aspects such as technical and economic. Still, design has been becoming a strategic opportunity for companies, improving their competitiveness and increasing their market share. Thus, this research has analyzed the integration of both the Sustainable Design and Strategic Design Coaching (SDC) method in the making decision activities of companies. A cement company (BQMIL) was assigned as case study, in which the previous results have pointed out the significant hole of those concepts to generate Eco-innovation and Eco-Brand to increase its market share, corroborating the expectative of the design team

Molar Pregnancy in Adolescents

OBJECTIVE: To describe the clinical presentation of hydatidiform molar pregnancy in women under the age of 20 years. In addition, we sought to understand if this adolescent population manifests differences in clinical factors compared to an adult population that may affect outcome.STUDY DESIGN: We used a database from the New England Trophoblastic Disease Center to analyze clinical data from all women followed for molar pregnancy between 1970 and 2009 with complete follow-up information. This population was stratified by age and clinical parameters including presenting signs, molar histology and development of gestational trophoblastic neoplasia (GTN). Univariable and multivariable logistic regression was employed to discern clinical factors that associated with adolescent age. The Partners Human Research Committee approved this study.RESULTS: We identified 1,494 women diagnosed with hydatidiform mole (HM), of which 220 (14.7%) were adolescents defined as age <20 years. The most common presenting clinical signs were vaginal bleeding and an enlarged uterus compared to dates. Median gestational age at diagnosis was 13.4 weeks, not different from that in the adult population. Similarly, no difference in presenting human chorionic gonadotropin was observed between the adult and adolescent populations. Adolescents presented with a significant overrepresentation of complete mole (86% vs. 75%, p < 0.001) compared to adults. Complete mole was associated with a heightened risk of developing GTN (OR 2.6, 95% CI 1.9-3.5), and despite the association of complete mole with young maternal age, univariable analysis showed no difference in the rate of GTN observed between adolescents and adults (24% vs. 30%, p = 0.08). Multivariable analysis controlling for molar histology demonstrated that adolescent age was associated with a decreased risk of GTN (hazard ratio 0.67, 95% CI 0.48 0.93).CONCLUSION: Adolescents account for a substantial proportion of the population with HM. They commonly present with vaginal bleeding. Though this population develops a complete mole with a higher frequency than adults, adolescents appear to have a significantly decreased risk of developing GTN. (J Reprod Med 2012; 57:225-230)

Influence of Implant Design on the Biomechanical Environment of Immediately Placed Implants: Computed Tomography-Based Nonlinear Three-Dimensional Finite Element Analysis

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

Computer-aided design of a novel ligand for retinoic acid receptor in cancer chemotherapy

The isotypes of RAR and RXR are retinoic acid and retinoid X acid receptors, respectively, whose ligand-binding domain contains the ligand-dependent activation function, with distinct pharmacological targets for retinoids, involved in the treatment of various cancers and skin diseases. Due to the major challenge which cancer treatment and cure still imposes after many decades to the international scientific community, there is actually considerable interest in new ligands with increased bioactivity. We have focused on the retinoid acid receptor, which is considered an interesting target for drug design. In this work, we carried out density functional geometry optimizations, and different docking procedures. We performed screening in a large database (hundreds of thousands of molecules which we optimized at the AM1 level) yielding a set of potential bioactive ligands. A new ligand was selected and optimized at the B3LYP/6-31G* level. A flexible docking program was used to investigate the interactions between the receptor and the new ligand. The result of this work is compared with several crystallographic ligands of RAR. Our theoretically more bioactive new-ligand indicates stronger and more hydrogen bonds as well as hydrophobic interactions with the receptor. (c) 2005 Wiley Periodicals, Inc.