As contribuições do software Graphmatica na construção do conhecimento matemático de função

Pós-graduação em Educação para a Ciência - FC

O software MAXIMA aplicado ao cálculo diferencial

Pós-graduação em Matemática Universitária - IGCE

Machine Translation: Translators' Friend or Foe?

This paper discusses the impact of machine translation on the language industry, specifically addressing its effect on translators. It summarizes the history of the development of machine translation, explains the underlying theory that ties machine translation to its practical applications, and describes the different types of machine translation as well as other tools familiar to translators. There are arguments for and against its use, as well as evaluation methods for testing it. Internet and real-time communication are featured for their role in the increase of machine translation use. The potential that this technology has in the future of professional translation is examined. This paper shows that machine translation will continue to be increasingly used whether translators like it or not.

A software audit framework for spyware risk mitigation

Our research described in this paper identifies a three part premise relating to the spyware paradigm. Firstly the data suggests spyware is proliferating at an exponential rate. Secondly ongoing research confirms that spyware produces many security risks – including that of privacy/confidentiality breaches via illicit data collection and reporting. Thirdly, anti-spyware controls are improving but are still considered problematic for several reasons. Our research then concludes that control measures to counter this very significant challenge should merit compliance auditing – and this auditing may effectively target the vital message passing performed by all illicit data collection spyware. Our research then evolves into an experiment involving the design and implementation of a software audit tool to conduct the desired compliance auditing. The software audit tool is positioned at the protected network’s gateway. The software audit tool uses ‘phone-home’ IP addresses as spyware signatures to detect the presence of the offending software. The audit tool also has the capability to differentiate legitimate message passing software from that produced by spyware – and ‘learn’ both new spyware signatures and new legitimate message passing profiles. The testing stage of the software has proven successful – albeit using very limited levels of network message passing variety and frequency.

Automated Software Reengineering Model and Framework

Тодор П. Чолаков, Димитър Й. Биров - Тази статия представя цялостен модел за автоматизиран реинженеринг на наследени системи. Тя описва в детайли процесите на превод на софтуера и на рефакторинг и степента, до която могат да се автоматизират тези процеси. По отношение на превода на код се представя модел за автоматизирано превеждане на код, съдържащ указатели и работа с адресна аритметика. Също така се дефинира рамка за процеса на реинженеринг и се набелязват възможности за по-нататъшно развитие на концепции, инструменти и алгоритми.

Creating Structured PDF Files Using XML Templates

This paper describes a tool for recombining the logical structure from an XML document with the typeset appearance of the corresponding PDF document. The tool uses the XML representation as a template for the insertion of the logical structure into the existing PDF document, thereby creating a Structured/Tagged PDF. The addition of logical structure adds value to the PDF in three ways: the accessibility is improved (PDF screen readers for visually impaired users perform better), media options are enhanced (the ability to reflow PDF documents, using structure as a guide, makes PDF viable for use on hand-held devices) and the re-usability of the PDF documents benefits greatly from the presence of an XML-like structure tree to guide the process of text retrieval in reading order (e.g. when interfacing to XML applications and databases).

Insulin and leptin relations in obesity: a multimedia approach

Obesity has been recognized as a worldwide public health problem. It significantly increases the chances of developing several diseases, including Type II diabetes. The roles of insulin and leptin in obesity involve reactions that can be better understood when they are presented step by step. The aim of this work was to design software with data from some of the most recent publications on obesity, especially those concerning the roles of insulin and leptin in this metabolic disturbance. The most notable characteristic of this software is the use of animations representing the cellular response together with the presentation of recently discovered mechanisms on the participation of insulin and leptin in processes leading to obesity. The software was field tested in the Biochemistry of Nutrition web-based course. After using the software and discussing its contents in chatrooms, students were asked to answer an evaluation survey about the whole activity and the usefulness of the software within the learning process. The teaching assistants (TA) evaluated the software as a tool to help in the teaching process. The students' and TAs' satisfaction was very evident and encouraged us to move forward with the software development and to improve the use of this kind of educational tool in biochemistry classes.

Influence of Artificial Accelerated Aging on Dimensional Stability of Acrylic Resins Submitted to Different Storage Protocols

Purpose: The aim of this study was to evaluate the influence of artificial accelerated aging on dimensional stability of two types of acrylic resins (thermally and chemically activated) submitted to different protocols of storage. Materials and Methods: One hundred specimens were made using a Teflon matrix (1.5cmx0.5mm) with four imprint marks, following the lost-wax casting method. The specimens were divided into ten groups, according to the type of acrylic resin, aging procedure, and storage protocol (30 days). GI: acrylic resins thermally activated, aging, storage in artificial saliva for 16 hours, distilled water for 8 hours; GII: thermal, aging, artificial saliva for 16 hours, dry for 8 hours; GIII: thermal, no aging, artificial saliva for 16 hours, distilled water for 8 hours, GIV: thermal, no aging, artificial saliva for 16 hours, dry for 8 hours; GV: acrylic resins chemically activated, aging, artificial saliva for 16 hours, distilled water for 8 hours; GVI: chemical, aging, artificial saliva for 16 hours, dry for 8 hours; GVII: chemical, no aging, artificial saliva for 16 hours, distilled water for 8 hours; GVIII: chemical, no aging, artificial saliva for 16 hours, dry for 8 hours GIX: thermal, dry for 24 hours; and GX: chemical, dry for 24 hours. All specimens were photographed before and after treatment, and the images were evaluated by software (UTHSCSA-Image Tool) that made distance measurements between the marks in the specimens (mm), calculating the dimensional stability. Data were submitted to statistical analysis (two-way ANOVA, Tukey test, p = 0.05). Results: Statistical analysis showed that the specimens submitted to storage in water presented the largest distance between both axes (major and minor), statistically different (p < 0.05) from control groups. Conclusions: All acrylic resins presented dimensional changes, and the artificial accelerated aging and storage period influenced these alterations.

Utilização do método Multicritério AHP, na aquisição de um sistema ERP

The selection of an Enterprise Resource Planning (ERP) system is one of the most sensitive and highest impact processes in the area of information systems and technologies, because it supports and integrates the whole business of an organization. Hence the importance of deciding the best solution in order to contribute to the organization's competitiveness in a global and increasingly demanding market. Therefore, it is essential to provide tools to support decision making, turning complex and often intangible decisions into simple and quantifiable scenarios. This study addressed the adoption of the Analytical Hierarchy Process (AHP) multicriteria decision method to support the selection of an ERP system. The literature review was the source used to obtain the set of the most relevant criteria to be considered in this decision, which were subsequently validated through systematic application of various surveys of experts and people related to the field of ERP systems. To support the application of AHP, according to the model obtained in the study, it was developed a web application that will be available to the general public. The responsible for the acquisition of ERP systems can use it to easily apply the AHP method based on validated decision model. On the other hand, the web application can be used as a validation tool, allowing collecting data for future developments of the decision model.

ePortfolios in translators’ training and assessment

Translator’s training and assessment has used more and more tools and innovative strategies over the years. The goals and results to achieve haven’t changed much, however: translation quality. In order to accomplish it, the translator and all the tasks and processes he develops appear as crucial, being pre-translation and post-translation processes equally important as the translation itself, namely as far as autonomy, reflexive and critical skills are concerned. Finally, the need and relevance of collaborative tasks and networks amongst virtual translation communities, led us to the decision of implementing ePortfolios as a tool to develop the requested skills and extend the use of Internet in translation. In this paper we describe a case-study of a pilot experiment on the using of e-portfolios as a translation training tool and discuss their role in the definition of a clear set of objectives and phases for the completion of each task, by helping students in the management of the projects deadlines, improving their knowledge on the construction and management of translation resources and deepening their awareness about the concepts related to the development of eportfolios.

Impacto da síncope na qualidade de vida: validação duma escala de avaliação em doentes submetidos a teste de inclinação em mesa basculante

Introdução e objetivos: A síncope recorrente tem um impacto significativo na qualidade de vida. O desenvolvimento de escalas de medida de fácil aplicabilidade clínica para avaliar este impacto é fundamental. O objetivo do presente estudo é a validação preliminar da escala Impact of Syncope on Quality of Life, para a população portuguesa. Métodos: O instrumento foi submetido a um processo de tradução, validação, adequação cultural e cognitive debriefing. Participaram 39 doentes com história de síncopes recorrentes (>1 ano de evolução), submetidos a teste de inclinação em mesa basculante (teste de tilt), que constitui uma amostra de conveniência, com idade de 52,1±16,4 anos (21-83; 43,5% do sexo masculino), a maioria com uma situação profissional ativa (n=18) ou reformados (n=13). A versão portuguesa resultou numa versão semelhante unidimensional à original com 12 itens agregados num único somatório, tendo passado por validação estatística, com avaliação da fidelidade, validade e estabilidade no tempo. Resultados: Em relação à fidelidade, a consistência interna da escala é de 0,9. Avaliámos a validade convergente, tendo obtido resultados estatisticamente significativos (p<0,01). Avaliámos a validade divergente tendo obtido resultados estatisticamente significativos. Relativamente à estabilidade no tempo foi efetuado um teste-reteste do instrumento aos seis meses após o teste de inclinação com 22 doentes desta amostra não submetidos a intervenção clínica, que não mostrou alterações estatisticamente significativas da qualidade de vida. Conclusões: Os resultados obtidos indicam a pertinência da utilização deste instrumento em contexto português na avaliação da qualidade de vida de doentes com síncope recorrente.

Modelação numérica do punçoamento de lajes fungiformes reforçadas com parafusos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Civil, Ramo de Estruturas

Avaliação do Desempenho Energético e da Qualidade do Ar Interior do Edifício Principal do Parque Biológico de Vila Nova de Gaia

A presente dissertação tem como principal propósito avaliar o desempenho energético e a qualidade do ar interior do edifício principal do Parque Biológico de Vila Nova de Gaia (PBG). Para esse efeito, este estudo relaciona os termos definidos na legislação nacional em vigor até à presente data, e referentes a esta área de atuação, em particular, os presentes no SCE, RSECE, RCCTE e RSECE-QAI. Para avaliar o desempenho energético, procedeu-se numa primeira fase ao processo de auditoria no local e posteriormente à realização de uma simulação dinâmica detalhada, cuja modelação do edifício foi feita com recurso ao software DesignBuilder. Após a validação do modelo simulado, por verificação do desvio entre os consumos energéticos registados nas faturas e os calculados na simulação, igual a 5,97%, foi possível efetuar a desagregação dos consumos em percentagem pelos diferentes tipos de utilizações. Foi também possível determinar os IEE real e nominal, correspondendo a 29,9 e 41.3 kgep/m2.ano, respetivamente, constatando-se através dos mesmos que o edifício ficaria dispensado de implementar um plano de racionalização energética (PRE) e que a classe energética a atribuir é a C. Contudo, foram apresentadas algumas medidas de poupança de energia, de modo a melhorar a eficiência energética do edifício e reduzir a fatura associada. Destas destacam-se duas propostas, a primeira propõe a alteração do sistema de iluminação interior e exterior do edifício, conduzindo a uma redução no consumo de eletricidade de 47,5 MWh/ano, com um período de retorno de investimento de 3,5 anos. A segunda está relacionada com a alteração do sistema de produção de água quente para o aquecimento central, através do incremento de uma caldeira a lenha ao sistema atual, que prevê uma redução de 50 MWh no consumo de gás natural e um período de retorno de investimento de cerca de 4 anos. Na análise realizada à qualidade do ar interior (QAI), os parâmetros quantificados foram os exigidos legalmente, excetuando os microbiológicos. Deste modo, para os parâmetros físicos, temperatura e humidade relativa, obtiveram-se os resultados médios de 19,7ºC e 66,9%, respetivamente, ligeiramente abaixo do previsto na legislação (20,0ºC no período em que foi feita a medição, inverno). No que diz respeito aos parâmetros químicos, os valores médios registados para as concentrações de dióxido de carbono (CO2), monóxido de carbono (CO), ozono (O3), formaldeído (HCHO), partículas em suspensão (PM10) e radão, foram iguais a 580 ppm, 0,2 ppm, 0,06 ppm, 0,01 ppm, 0,07 mg/m3 e 196 Bq/m3, respetivamente, verificando-se que estão abaixo dos valores máximos de referência presentes no regulamento (984 ppm, 10,7 ppm, 0,10 ppm, 0,08 ppm, 0,15 mg/m3 e 400 Bq/m3). No entanto, o parâmetro relativo aos compostos orgânicos voláteis (COV) teve um valor médio igual a 0,84 ppm, bastante acima do valor máximo de referência (0,26 ppm). Neste caso, terá que ser realizada uma nova série de medições utilizando meios cromatográficos, para avaliar qual(ais) são o(s) agente(s) poluidor(es), de modo a eliminar ou atenuar as fontes de emissão.

Proving the performance of a new revenue management system

Revenue management (RM) is a complicated business process that can best be described ascontrol of sales (using prices, restrictions, or capacity), usually using software as a tool to aiddecisions. RM software can play a mere informative role, supplying analysts with formatted andsummarized data who use it to make control decisions (setting a price or allocating capacity fora price point), or, play a deeper role, automating the decisions process completely, at the otherextreme. The RM models and algorithms in the academic literature by and large concentrateon the latter, completely automated, level of functionality.A firm considering using a new RM model or RM system needs to evaluate its performance.Academic papers justify the performance of their models using simulations, where customerbooking requests are simulated according to some process and model, and the revenue perfor-mance of the algorithm compared to an alternate set of algorithms. Such simulations, whilean accepted part of the academic literature, and indeed providing research insight, often lackcredibility with management. Even methodologically, they are usually awed, as the simula-tions only test \within-model" performance, and say nothing as to the appropriateness of themodel in the first place. Even simulations that test against alternate models or competition arelimited by their inherent necessity on fixing some model as the universe for their testing. Theseproblems are exacerbated with RM models that attempt to model customer purchase behav-ior or competition, as the right models for competitive actions or customer purchases remainsomewhat of a mystery, or at least with no consensus on their validity.How then to validate a model? Putting it another way, we want to show that a particularmodel or algorithm is the cause of a certain improvement to the RM process compared to theexisting process. We take care to emphasize that we want to prove the said model as the causeof performance, and to compare against a (incumbent) process rather than against an alternatemodel.In this paper we describe a \live" testing experiment that we conducted at Iberia Airlineson a set of flights. A set of competing algorithms control a set of flights during adjacentweeks, and their behavior and results are observed over a relatively long period of time (9months). In parallel, a group of control flights were managed using the traditional mix of manualand algorithmic control (incumbent system). Such \sandbox" testing, while common at manylarge internet search and e-commerce companies is relatively rare in the revenue managementarea. Sandbox testing has an undisputable model of customer behavior but the experimentaldesign and analysis of results is less clear. In this paper we describe the philosophy behind theexperiment, the organizational challenges, the design and setup of the experiment, and outlinethe analysis of the results. This paper is a complement to a (more technical) related paper thatdescribes the econometrics and statistical analysis of the results.

Konfiguraationhallintajärjestelmän näkymien hallinnan automatisointi

Työn tarkoituksena oli selvittää, miten näkymien hallintaa voidaanhelpottaa. Näkymien hallintaa lähestyttiin sekä organisaatiolle tärkeän tiedon hallinnan että konfiguraationhallintajärjestelmä ClearCasen ylläpidon kannalta. Työssä käytettiin menetelminä kirjallisuustutkimusta, mallinnusta ja konstruktiivista menetelmää. Työn alussa tutustuttiin ohjelmistojen konfiguraationhallintaan yleisesti ja työtilan hallintaan liittyviin termeihin. Työnaikana mallinnettiin ClearCasen dynaamisten näkymien hallintaprosessi ja sen pohjalta tehtiin näkymien hallintaa helpottava sovellus. Työssä kuvattiin sovelluksen muokkautuminen mallista sovellukseksi ja tarkasteltiin, miten sovelluksesta hyödytään käytännössä. Lopuksi pohdittiin näkymien hallinnan tulevaisuutta ja miten näkymien hallintaa voitaisiin jatkossa kehittää. Työn tuloksena syntyi näkymien hallintaan tarkoitettu tekstipohjainen sovellus, joka helpottaa näkymien hallintaan liittyviä ylläpitotoimia ja vuorovaikutusta ClearCasen käyttäjien kanssa. Työn aikana muodostui myös ajatuksia siitä, kuinka näkymien hallintaavoitaisiin jatkossa kehittää.