Página 37 dos resultados de 2566 itens digitais encontrados em 0.047 segundos

Modelo de engenharia de software para o desenvolvimento de jogos e simulações interactivas

Velasquez, Carlos Eduardo Lé
Fonte: [s.n.] Publicador: [s.n.]
Tipo: Dissertação de Mestrado
Publicado em //2009 Português
Relevância na Pesquisa
278.25133%
Dissertação apresentada à Universidade Fernando Pessoa como partes dos requisitos para a obtenção do grau de Mestre em Engenharia Informática, ramo de Computação Móvel; Portugal demonstra uma grande debilidade na indústria dos jogos de computador, pois detém poucas empresas dedicadas a este ramo. Assim, pergunta-se qual será a razão para este facto. A obtenção da resposta vai ao encontro do objectivo desta dissertação, sendo que faltam mais cursos dedicados ao ramo e, também, uma metodologia para ajudar ao desenvolvimento dos jogos. Recentemente foram criados dois cursos de desenvolvimento de jogos em Portugal, não sendo este número de todo estimulante. Por outro lado, existem infindáveis metodologias para a criação de Software, mas não existe uma mais específica, exclusivamente dedicada ao desenvolvimento de jogos. Esta dissertação apresentará uma possível metodologia de engenharia de software para o desenvolvimento de jogos de computador e fará um paralelismo entre jogos de computador e simulações interactivas, demonstrando que na realidade são duas áreas idênticas. O estudo empírico pretende demonstrar o interesse dos alunos do ensino superior do curso de Engenharia Informática pelo desenvolvimento de jogos de computador. A criação de uma metodologia de engenharia de software para o desenvolvimento de jogos será apenas um apoio para um curso da área e...

Proposta de extensões a métodos e ferramentas de desenvolvimento de sistemas de automação distribuídos baseados em modelos dados pela UML e pela IEC 61499.; Proposal for extensions of methods and tools aimed at the development of distributed automation systems based on UML and IEC 61499 models.

Ceschini, Gabriela Werner
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 23/04/2008 Português
Relevância na Pesquisa
272.22418%
A motivação para o presente trabalho foi o desejo de investigar métodos e ferramentas que fossem capazes de auxiliar engenheiros a desenvolver melhores projetos de sistemas de automação. Investigaram-se então quais seriam as contribuições da engenharia de software e da engenharia de controle para alcançar esse objetivo: a primeira destacou-se pelos métodos e ferramentas aplicáveis às fases de levantamento de requisitos e análise, em que os sistemas podem ser expressos através da UML; a segunda contribuiu com blocos funcionais, especialmente os orientados a eventos da norma IEC 61499, e ferramentas para implementação e testes. Diversos autores sugerem a unificação entre as técnicas de orientação a objetos expressas através da UML e o projeto de sistemas por meio de blocos funcionais orientados a eventos da norma IEC 61499, para que os engenheiros de cada uma das áreas citadas continuassem trabalhando com técnicas e ferramentas próprias no desenvolvimento de sistemas de automação, mas de maneira colaborativa. Nesta pesquisa estudou-se a maneira pela qual vêm sendo feitos os mapeamentos entre a UML e a norma IEC 61499 do ponto de vista teórico, embora com intenção de implementação de ferramentas para ajudar nessa conversão. Estudaram-se também as ferramentas criadas para automatizar essa transformação e para auxiliar no projeto de sistemas de automação distribuídos...

Plataforma de serviços de infra-estrutura para arquiteturas de mobilidade; Infrastructure services platform for mobility architectures

Tiago Marchetti Dolphine
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 27/08/2009 Português
Relevância na Pesquisa
274.66162%
Arquiteturas de micromobilidade vêm sendo propostas para atender ao crescente interesse por tecnologias de mobilidade IP. MPA (Mobility Plane Architecture), desenvolvida na FEEC/Unicamp, é uma solução de micromobilidade baseada em tunelamento de pacotes que emprega apenas protocolos bem estabelecidos. Quando estudou-se aplicações para melhoria de desempenho em handover e engenharia de tráfego na arquitetura MPA, verificou-se que estas aplicações necessitavam serviços comuns. Este trabalho descreve a plataforma MIS (Mobility Infrastructure Services) que fornece um conjunto de serviços para suporte ás funcionalidades básicas comuns de aplicações de gerência de rede, engenharia de tráfego e gerência de mobilidade. A plataforma proposta facilita o desenvolvimento de tais aplicações compartilhando soluções às necessidades encontradas na arquitetura de micromobilidade MPA e outras arquiteturas similares. São apresentados o projeto, implementação e testes da plataforma, juntamente com dois estudos de casos em gerência de mobilidade e engenharia de tráfego. Palavras-chave: redes IP móveis, micromobilidade, gerência de rede, engenharia de tráfego; Micro-mobility architectures have been proposed to meet the growing interest in technologies supporting mobility in IP networks. MPA (Mobility Plane Architecture)...

Reconstrução de modelos CAD 3D baseada em imagem fotográfica digital

Ferreira, Rui Manuel Freitas
Fonte: Universidade de Aveiro Publicador: Universidade de Aveiro
Tipo: Dissertação de Mestrado
Português
Relevância na Pesquisa
272.10809%
O processo de reconstrução de modelos computacionais tridimensionais (CAD3D) constitui uma importante área de investigação com variadas aplicações que incluem a engenharia inversa, assim como outras tecnologias assistidas por computador tais como: a engenharia assistida por computador, o fabrico assistido por computador e a prototipagem rápida. Tradicionalmente, as abordagens de reconstrução de geometrias 3D de peças técnicas são baseadas em informação bidimensional (2D) relativa a duas ou três projecções ortogonais (imagens ortográficas 2D). Adicionalmente, estas abordagens revelam pouca eficiência e flexibilidade em relação à reconstrução geométrica 3D de geometrias complexas. Refira-se igualmente que grande parte dos objectos usados em engenharia apresenta em regra geometrias complexas. Finalmente, as abordagens tradicionais estão limitadas à existência de desenhos 2D, o que pode inviabilizar a sua utilização em certas aplicações, nomeadamente onde esta informação ortográfica não exista. Este projecto de investigação pretende apresentar soluções para os referidos problemas. Tal passará pelo desenvolvimento de novas técnicas de reconstrução geométrica 3D que utilizem três, duas, ou apenas uma imagem bidimensional. Estas imagens em perspectiva serão obtidas através de uma câmara fotográfica digital de baixo custo...

Computer-Aided Protein Directed Evolution: a Review of Web Servers, Databases and other Computational Tools for Protein Engineering

Verma, Rajni; Schwaneberg, Ulrich; Roccatano, Danilo
Fonte: Research Network of Computational and Structural Biotechnology (RNCSB) Organization Publicador: Research Network of Computational and Structural Biotechnology (RNCSB) Organization
Tipo: Artigo de Revista Científica
Publicado em 22/10/2012 Português
Relevância na Pesquisa
272.79%
The combination of computational and directed evolution methods has proven a winning strategy for protein engineering. We refer to this approach as computer-aided protein directed evolution (CAPDE) and the review summarizes the recent developments in this rapidly growing field. We will restrict ourselves to overview the availability, usability and limitations of web servers, databases and other computational tools proposed in the last five years. The goal of this review is to provide concise information about currently available computational resources to assist the design of directed evolution based protein engineering experiment.

Interdigital dielectrometry sensor design and parameter estimation algorithms for non-destructive materials evaluation

Mamishev, Alexander V., 1974-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 2 v. (709 p.); 28339444 bytes; 28339161 bytes; application/pdf; application/pdf
Português
Relevância na Pesquisa
272.16004%
The major objective of this thesis is to develop instrumentation and parameter estimation algorithms for nondestructive measurement of non-homogeneous material property profiles with fringing electric field dielectrometry sensors. The instrumentation includes interdigital sensors and sensor arrays, other types of fringing field sensors, electronic circuit boards for measurement of sensor signals, and mechanical setups for specific applications. The parameter estimation algorithms require solving forward and inverse problems of material property estimation. The forward problem implies calculation of the sensor admittance matrix as a function of geometry and material properties. The inverse problem, inherently more difficult than the forward problem, implies estimation of unknown geometry and material properties based on known properties and measured entries of the sensor admittance matrix. The developed instrumentation and algorithms are applied to practical problems which include mo++; nitoring of moisture dynamics in transformer pressboard, evaluation of the saturation state of chemical garments, detection of flaws in fiberglass flywheels, and detection of buried metal and plastic landmines. The design strategy and fabrication practices are described for multiple penetration depth interdigital sensors designed for measurement of conductivity and permittivity of electrical insulation of power transformers. An extensive overview of interdigital electrode technology in other fields is given. A number of disturbance parameters that affect interdigital dielectrometry measurements is characterized and either eliminated or accounted for using empirical...

The Global Opportunity in IT-Based Services : Assessing and Enhancing Country Competitiveness

Sudan, Randeep; Ayers, Seth; Dongier, Philippe; Muente-Kunigami, Arturo; Qiang, Christine Zhen-Wei
Fonte: World Bank Publicador: World Bank
Português
Relevância na Pesquisa
276.74477%
This book aims to help policy makers take advantage of the opportunities presented by increased cross-border trade in information technology (IT) services and IT-enabled services (ITES). It begins by defining the two industries and estimating the potential global market opportunities for trade in each. Then it discusses economic and other benefits for countries that succeed in these areas, along with factors crucial to the competitiveness of a country or location, including skills, cost advantages, infrastructure, and a hospitable business environment, and examines the potential competitiveness of small countries and of least developed countries specifically. The volume also discusses policy options for enabling growth in the IT services and ITES industries. Appendix A introduces the Location Readiness Index (LRI), a modeling tool to help countries assess their IT and ITES industries. Finally, appendix B presents an analysis of the IT and ITES industries in Indonesia and Kenya as an illustrative application of the LRI.

Multipurpose portable system for environmental, industrial, and medical applications

Sierra, Abel Rolando
Fonte: FIU Digital Commons Publicador: FIU Digital Commons
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
274.66162%
This dissertation is about the research carried on developing an MPS (Multipurpose Portable System) which consists of an instrument and many accessories. The instrument is portable, hand-held, and rechargeable battery operated, and it measures temperature, absorbance, and concentration of samples by using optical principles. The system also performs auxiliary functions like incubation and mixing. This system can be used in environmental, industrial, and medical applications. ^ Research emphasis is on system modularity, easy configuration, accuracy of measurements, power management schemes, reliability, low cost, computer interface, and networking. The instrument can send the data to a computer for data analysis and presentation, or to a printer. ^ This dissertation includes the presentation of a full working system. This involved integration of hardware and firmware for the micro-controller in assembly language, software in C and other application modules. ^ The instrument contains the Optics, Transimpedance Amplifiers, Voltage-to-Frequency Converters, LCD display, Lamp Driver, Battery Charger, Battery Manager, Timer, Interface Port, and Micro-controller. ^ The accessories are a Printer, Data Acquisition Adapter (to transfer the measurements to a computer via the Printer Port and expand the Analog/Digital conversion capability)...

PLEX MPLS : analise, projeto e implementação de uma plataforma para experimentos com MPLS com suporte a QoS

Ricardo Sazima
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 15/10/2005 Português
Relevância na Pesquisa
274.16322%
Dados a banda de transmissão atualmente disponível, o protocolo (IP) utilizado para transmitir a maior parte de tráfego e a quantidade de tráfego e seus requisitos de aos, a Engenharia de Tráfego (TE, de Traffic Engineering) tomou-se um componente cada vez mais importante nas redes de comunicações. O padrão do IETF para enncaminhamento roteamento entitulado Multi-Protocol Label Switching (MPLS) preenche lacunas importantes neste cenário e é peça chave das metodologias de TE mais sofisticadas. Nesta dissertação é apresentado um modelo genérico de TE e uma proposta para uma Plataforma para Experimentos com MPLS (PLEX MPLS) que permite que o usuário defina, execute, e analise configurações de Engenharia de Tráfego com MPLS em uma rede IP. Os principais objetivos da PLEX MPLS são: . Estudo da tecnologia MPLS e suporte a outros trabalhos em andamento no contexto do grupo de estudos em MPLS do DCA . Experimentos com engenharia de tráfego com MPLS: validação das tecnologias e conceitos relacionados . Experimentos didáticos em disciplinas de laboratório de redes. Os principais conceitos de TE e MPLS são apresentados como referência, bem como uma descrição do NIST Switch, a plataforma MPLS escolhida para este trabalho. A análise...

A computational tool for the rapid design and prototyping of propellers for underwater vehicles

D'Epagnier, Kathryn Port
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 95 p.
Português
Relevância na Pesquisa
277.07336%
An open source, MATLABTM-based propeller design code MPVL was improved to include rapid prototyping capabilities as well as other upgrades as part of this effort. The resulting code, OpenPVL is described in this thesis. In addition, results from the development code BasicPVL are presented. An intermediate code, BasicPVL, was created by the author while OpenPVL was under development, and it provides guidance for initial propeller designs and propeller efficiency analysis. OpenPVL is part of the open source software suite of propeller design codes, OpenProp. OpenPVL is in the form of a Graphical User Interface (GUI) which features both a parametric design technique and a single propeller geometry generator. This code combines a user-friendly interface with a highly modifiable platform for advanced users. This tool offers graphical propeller design feedback while recording propeller input, output, geometry, and performance. OpenPVL features the ability to translate the propeller design geometry into a file readable by a Computer Aided Design (CAD) program and converted into a 3D-printable file. Efficient propellers reduce the overall power requirements for Autonomous Underwater Vehicles (AUVs), and other propulsion-powered vehicles. The focus of this study is based on the need of propeller users to have an open source computer-based engineering tool for the rapid design of propellers suited to a wide range of underwater vehicles. Propeller vortex lattice lifting line (PVL) code in combination with 2D foil theory optimizes propeller design for AUVs. Several case studies demonstrate the functionality of OpenPVL...

Implementation of lean processes at a high-mix low-volume aerospace manufacturing facility in France

Hurd, A.-P. (Annie-Pierre), 1974-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 104 p.; 7702228 bytes; 7714246 bytes; application/pdf; application/pdf
Português
Relevância na Pesquisa
272.79%
The theories of the Toyota Production System have been operational touchstones now for over twenty years in North America and Western Europe. In spite of this many companies, particularly those in high-mix low-volume manufacturing, continue to struggle with their implementation. The goal of this thesis is to openly examine the fit of the Lean tradition with the realities of complex high-mix low-volume processes and pave the way for improvements. This thesis explores the implementation of Lean processes at Jodd-Thonson's aerospace manufacturing facility, Daugy-Naudier, in France. The work is divided into two parts: 1. Implementation of Lean manufacturing principles in the Actuator assembly and machining department and benchmarking of challenges with other LFM Lean projects at other high-mix, low-volume manufacturers, 2. Implementation of a process to evaluate the cost and return on engineering changes as well as improvement to the change management process. Through the analysis of case studies, this thesis questions the relevance of some widely accepted Lean tools in the context of complex high-mix low-volume environments. I develop a set of hypotheses about risk factors and solutions particular to high-mix-low-volume Lean implementations. The combination of strategic and tactical projects examined in this thesis shows that implementing Lean in high-mix low-volume is necessarily an enterprise-wide process. Its success depends on developing a Lean culture that can successfully leverage distributed...

A Data-Driven Design Evaluation Tool for Handheld Device Soft Keyboards

Trudeau, Matthieu B.; Sunderland, Elsie M.; Jindrich, Devin L.; Dennerlein, Jack T.
Fonte: Public Library of Science Publicador: Public Library of Science
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
278.40754%
Thumb interaction is a primary technique used to operate small handheld devices such as smartphones. Despite the different techniques involved in operating a handheld device compared to a personal computer, the keyboard layouts for both devices are similar. A handheld device keyboard that considers the physical capabilities of the thumb may improve user experience. We developed and applied a design evaluation tool for different geometries of the QWERTY keyboard using a performance evaluation model. The model utilizes previously collected data on thumb motor performance and posture for different tap locations and thumb movement directions. We calculated a performance index (PITOT, 0 is worst and 2 is best) for 663 designs consisting in different combinations of three variables: the keyboard's radius of curvature (R) (mm), orientation (O) (°), and vertical location on the screen (L). The current standard keyboard performed poorly (PITOT = 0.28) compared to other designs considered. Keyboard location (L) contributed to the greatest variability in performance out of the three design variables, suggesting that designers should modify this variable first. Performance was greatest for designs in the middle keyboard location. In addition...

Examining the architecture of cellular computing through a comparative study with a computer

Wang, Degeng; Gribskov, Michael
Fonte: The Royal Society Publicador: The Royal Society
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
274.5045%
The computer and the cell both use information embedded in simple coding, the binary software code and the quadruple genomic code, respectively, to support system operations. A comparative examination of their system architecture as well as their information storage and utilization schemes is performed. On top of the code, both systems display a modular, multi-layered architecture, which, in the case of a computer, arises from human engineering efforts through a combination of hardware implementation and software abstraction. Using the computer as a reference system, a simplistic mapping of the architectural components between the two is easily detected. This comparison also reveals that a cell abolishes the software–hardware barrier through genomic encoding for the constituents of the biochemical network, a cell's ‘hardware’ equivalent to the computer central processing unit (CPU). The information loading (gene expression) process acts as a major determinant of the encoded constituent's abundance, which, in turn, often determines the ‘bandwidth’ of a biochemical pathway. Cellular processes are implemented in biochemical pathways in parallel manners. In a computer, on the other hand, the software provides only instructions and data for the CPU. A process represents just sequentially ordered actions by the CPU and only virtual parallelism can be implemented through CPU time-sharing. Whereas process management in a computer may simply mean job scheduling...

Multiple verification in computational modeling of bone pathologies

Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 07/09/2011 Português
Relevância na Pesquisa
278.68582%
We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded...

Automation of Prosthetic Upper Limbs for Transhumeral Amputees Using Switch-controlled Motors

Dar, Fahad Moazzam; Asgher, Umer; Malik, Daniyal; Adil, Emmad; Shahzad, Hassan; Ali, Anees
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 21/01/2014 Português
Relevância na Pesquisa
272.10809%
The issues of research required in the field of bio medical engineering and externally-powered prostheses are attracting attention of regulatory bodies and the common people in various parts of the globe. Today, 90 percent of prostheses used are conventional body powered cable-controlled ones which are very uncomfortable to the amputees as fairly large amount of forces and excursions have to be generated by the amputee. Additionally, its amount of rotation is limited. Alternatively, prosthetic limbs driven using electrical motors might deliver added functionality and improved control, accompanied by better cosmesis, however,it could be bulky and costly. Presently existing proposals usually require fewer bodily response and need additional upkeep than the cable operated prosthetic limbs. Due to the motives mentioned, proposal for mechanization of body-powered prostheses, with ease of maintenance and cost in mind, is presented in this paper. The prosthetic upper limb which is being automated is for Transhumeral type of amputees that is amputated from above elbow. The study consists of two main portions: one is lifting mechanism of the limb and the other is gripping mechanism for the hand using switch controls, which is the most cost effective and optimized solution...

Service-Oriented Architectures and Web Services: Course Tutorial Notes

Mokhov, Serguei A.; Chen, Min; Yan, Yuhong
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
274.24809%
This document presents a number of quick-step instructions to get started on writing mini-service-oriented web services-based applications using NetBeans 6.9.1, Tomcat 6, GlassFish 3.0.1, and Java 1.6 primarily in Scientific Linux 5.6 with user quota restrictions. While the tutorial notes are oriented towards the students taking the SOEN691A courses on service-oriented architectures (SOA) at Computer Science and Software Engineering (CSE) Department, Faculty of Engineering and Computer Science (ENCS), other may find some of it useful as well outside of CSE or Concordia. The notes are compiled mostly based on the students' needs and feedback.; Comment: v18 (updates to grading scheme): 37 pages, 21 figures, 1 listing; 6 tables; TOC; index; course tutorial notes (SOEN691A); ongoing updates for Fall 2011; NOTE: a copy these notes is also released at SourceForge: https://sourceforge.net/projects/atsm/files/SOEN%20WS/Fall%202011/

Model Validation in Ontology Based Transformations

Almendros-Jiménez, Jesús M.; Iribarne, Luis
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 22/10/2012 Português
Relevância na Pesquisa
272.10809%
Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been proposed as a profile for UML models of the Web Ontology Language (OWL). In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions) to properties of the transformation (invariants). The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER) to Relational Model (RM) transformation.; Comment: In Proceedings WWV 2012...

Supporting Finite Element Analysis with a Relational Database Backend, Part I: There is Life beyond Files

Heber, Gerd; Gray, Jim
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 25/01/2007 Português
Relevância na Pesquisa
272.11803%
In this paper, we show how to use a Relational Database Management System in support of Finite Element Analysis. We believe it is a new way of thinking about data management in well-understood applications to prepare them for two major challenges, - size and integration (globalization). Neither extreme size nor integration (with other applications over the Web) was a design concern 30 years ago when the paradigm for FEA implementation first was formed. On the other hand, database technology has come a long way since its inception and it is past time to highlight its usefulness to the field of scientific computing and computer based engineering. This series aims to widen the list of applications for database designers and for FEA users and application developers to reap some of the benefits of database development.

An Algebraic Programming Style for Numerical Software and its Optimization

Dinesh, T. B.; Haveraaen, M.; Heering, J.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 01/03/1999 Português
Relevância na Pesquisa
276.4368%
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the like, but these algebraic structures are hardly recognizable in actual PDE solvers. The general aim of the Sophus programming style is to bridge the gap between theory and practice in the domain of PDE solvers. Its main ingredients are a library of abstract datatypes corresponding to the algebraic structures used in the mathematical theory and an algebraic expression style similar to the expression style used in the mathematical theory. Because of its emphasis on abstract datatypes, Sophus is most naturally combined with object-oriented languages or other languages supporting abstract datatypes. The resulting source code patterns are beyond the scope of current compiler optimizations, but are sufficiently specific for a dedicated source-to-source optimizer. The limited, domain-specific, character of Sophus is the key to success here. This kind of optimization has been tested on computationally intensive Sophus style code with promising results. The general approach may be useful for other styles and in other application domains as well.; Comment: 19 pages. Submitted to Scientific Programming

Sincronització entre activitats d’aprenentatge i els recursos per a dur-les a terme

Ribas i Xirgo, Lluís; Pérez Billinghusrt, Magaly I.; Velasco González, Josep
Fonte: Universidade Autônoma de Barcelona Publicador: Universidade Autônoma de Barcelona
Tipo: Conferência ou Objeto de Conferência Formato: application/pdf
Publicado em //2007 Português
Relevância na Pesquisa
274.24809%
Amb la introducció de les metodologies docents basades en el treball de l’alumne s’han hagut d’adaptar les guies docents de les assignatures. En les titulacions d’Enginyeria Informàtica i d’Enginyeria Tècnica Informàtica, han d’incloure els objectius, les competències, el temari i el sistema d’avaluació. A més, s’ha de complementar aquesta informació amb d’altres com la càrrega de treball de cada activitat, el calendari de les activitats presencials, els professors i referències als materials que es posen a disposició dels alumnes. El treball que s’ha dut a terme és la d’aprofitar les guies docents per elaborar agendes de les activitats que han de dur a terme els alumnes. Les agendes han de facilitar el seguiment d’una assignatura per part de l’alumne i també servir-li d’ajuda per organitzar-se el temps. Els continguts de les guies docents es classifiquen entre aquells que són relatius a la docència i l’aprenentatge i aquells que tenen a veure amb els recursos (professors, espais i horaris, materials, etcètera). Així, es presenta una manera de sincronitzar les activitats amb els recursos per obtenir una agenda d’activitats per al curs corresponent. Durant el primer semestre d’aquest curs...