检索结果-内蒙古大学图书馆

Parallelization of an object-oriented FEM dynamics code:: influence of the strategies on the Speedup

ADVANCES IN ENGINEERING SOFTWARE 2005年第6期36卷 361-373页

作者： Pantalé, O Ecole Natl Ingn CMAO LGP F-65016 Tarbes France

This paper presents an implementation in C + + of an explicit parallel finite element code dedicated to the simulation of impacts. We first present a brief overview of the kinematics and the explicit integration scheme with details concerning some particular points. Then we present the OpenMP parallelization toolkit used in order to parallelize our FEM code, and we focus on how the parallelization of the DynELA FEM code has been conducted for a shared memory system using OpenMP. Some examples are then presented to demonstrate the efficiency and accuracy of the proposed implementations concerning the Speedup of the code. Finally, an impact simulation application is presented and results are compared with the ones obtained by the commercial Abaqus explicit FEM code. (c) 2005 Elsevier Ltd. All rights reserved.

关键词： non-linear finite-element large deformations plasticity impact C plus object-oriented programming OpenMP parallel computing

来源：评论

学校读者我要写书评

暂无评论

Difunctorial Semantics of object Calculus

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年第2期138卷 79-94页

作者： Glimming, Johan Ghani, Neil Stockholm Univ Dept Numer Anal & Comp Sci Stockholm Sweden Univ Leicester Dept Math & Comp Sci Leicester Leics England

In this paper we give a denotational model for Abadi and Cardelli's first order object calculus FOb 1+x mu (without subtyping) in the category pCpo. The key novelty of our model is its extensive use of recursively defined types, supporting self-application, to model objects. At a technical level, this entails using some sophisticated techniques such as Freyd's algebraic compactness to guarantee the existence of the denotations of the object types. The last sections of the paper demonstrates that the canonical recursion operator inherent in our semantics is potentially useful in object-oriented programming. This is witnessed by giving a straightforward translation of algebraic datatypes into so called wrapper classes.

关键词： Category theory object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Integrated software suite for magnetocardiographic data analysis - A proposal based on an interactive programming environment

引用

METHODS OF INFORMATION IN MEDICINE 2005年第1期44卷 114-123页

作者： Comani, S Mantini, D Merlino, B Reale, M Di Luzio, S Romani, GL Univ G DAnnunzio Dipartimento Sci Clin & Bioimmagini I-66103 Chieti Italy Univ G dAnnunzio Sect Phys Sci Dept Clin Sci & Bioimaging Chieti Italy Univ G DAnnunzio Inst Adv Biomed Technol I-66103 Chieti Italy Marche Polytech Univ Dept Informat & Automat Engn Ancona Italy Catholic Univ Inst Radiol Rome Italy Univ G dAnnunzio Dept Oncol & Neurosci Chieti Italy

objectives: This paper describes an integrated software suite (ISS) dor the processing of magnetocardiographic (MCG) recordings obtained with super-conducting multi-channel systems having different characteristics. We aimed to develop a highly flexible suite including toolboxes for current MCG applicants, organizations, organized consistently with an open architecture that allows function integrations and upgrades with minimal modifications, the suite was designed for the compliance not only of physicists and engineers but also of physicians, who have a different professional profile and are accustomed to retrieved information in different ways. Methods: The MCG-ISS was designed to work with all common graphical user interface operative systems. MALTAB was chosen as the interactive programming environment (IPE), and the software was developed to achieve usability, interactivity, reliability, modularity, expanibility, interoperability, adaptability and graphics style tailoring. Three user, already experienced in MCG data analysis, have intensively tested MCG-ISS for six months. A great amount of MCG data on normal subject and patients was used to assess software performances in-term of user compliance and confidence and total analysis time. Results: The proposed suite is an all-in-one analysis tool that succeeded in speeding MCG data analysis up to about 55% with respect to standard reference routines;it consequently enhanced analysis performance and user compliance. Conclusions: Those results, together with the MCG-ISS advantage of being independent on the acquisition system, suggest that software suites like the proposed one could uphold a wider diffusion of MCG as a diagnostic tool in the clinical setting.

关键词： integrated software suite (ISS) interactive programming environment (IPE) object-oriented programming magnetocardiographic data analysis user-machine interaction

来源：评论

学校读者我要写书评

暂无评论

Merging genomic control networks and soil-plant-atmosphere-continuum models

引用

AGRICULTURAL SYSTEMS 2005年第3期86卷 243-274页

作者： Welch, SM Roe, JL Das, S Dong, Z He, R Kirkham, MB Kansas State Univ Dept Agron Manhattan KS 66506 USA Kansas State Univ Div Biol Manhattan KS 66506 USA Kansas State Univ Dept Elect & Comp Engn Manhattan KS 66506 USA Kansas State Univ Dept Comp & Informat Sci Manhattan KS 66506 USA

Advances in genomic science make it desirable to include genomic controls in soil-plant-atmosphere-continuum (SPAC) models by methods proposed in this paper. Molecular genetic concepts suggest that a differential equation similar to ones used in neural networks can be used to model single-gene elements of larger systems. Natural modifications to the equation incorporate temperature dependency. Multi-gene components based on this element function as Boolean logic gates, linear arithmetic units, delays, differentiators, integrators, oscillators, coincidence detectors, and bi-stable devices. Related genetic circuitry from real organisms is shown. Genomic integration with SPAC models entails whole-plant modeling with realistic morphology. Plants are networks of parts, iterated in time and space under genetic control, that induce and modulate conservative SPAC mass/energy flows. Network developmental rules can be stated as Lindenmayer grammars whose symbols represent plant parts programmed as software objects. A structure is presented for simulators based on these concepts. The discussion argues that prior object-oriented plant modeling approaches (i) do not reflect how plants actually develop morphologically and (ii) may represent processes in tactically unwise ways at a time when genomics is advancing knowledge of process interactions. Finally, genomics and expanding computing power redefine concepts of model "simplicity" and "complexity" to favor increased realism. (c) 2004 Elsevier Ltd. All rights reserved.

关键词： L-systems development simulation physiology environmental physics genetics object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Design for Type-Directed programming in

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2005年第2期138卷 117-136页

作者： Weirich, Stephanie Huang, Liang Univ Penn Philadelphia PA 19104 USA

Type-directed programming is an important and widely used paradigm in the design of software. With this form of programming, an application may analyze type information to determine its behavior. By analyzing the structure of data, many operations, such as serialization, cloning, adaptors and iterators may be defined once, for all types of data. That way, as the program evolves, these operations need not be updated-they will automatically adapt to new data forms. Otherwise, each of these operations must be individually redefined for each type of data, forcing programmers to revisit the same program logic many times during a program's lifetime. The Java language supports type directed programming with the instanceof operator and the Java Reflection API. These mechanisms allow Java programs to depend on the name and structure of the run-time classes of objects. However, the Java mechanisms for type-directed programming are difficult to use. They also do not integrate well with generics, an important new feature of the Java language. In this paper, we describe the design of several expressive new mechanisms for type-directed programming in Java, and show that these mechanisms are sound when included in a language similar to Featherweight Java. Basically, these new mechanisms pattern-match the name and structure of the type parameters of generic code, instead of the run-time classes of objects. Therefore, they naturally integrate with generics and provide strong guarantees about program correctness. As these mechanisms are based on pattern matching, they naturally and succinctly express many operations that depend on type information. Finally, they provide programmers with some degree of protection for their abstractions. Whereas instanceof and reflection can determine the exact run-time type of an object, our mechanisms allow any supertype to be supplied for analysis, hiding its precise structure.

关键词： Type-Directed programming object-oriented programming Reflection Generics Polytypism

来源：评论

学校读者我要写书评

暂无评论

Using interactive learning environments in the introductory computer science curriculum

Using interactive learning environments in the introductory ...

引用

International Conference on Frontiers in Education - Computer Science and Computer Engineering (FECS 05)

作者： El-Sheikh, E Taylor, L Digman, M Carff, C Univ W Florida Dept Comp Sci Pensacola FL 32514 USA

ISBN: (纸本)193241584X

In this paper, we describe the development of an interactive learning environment that can be used to improve educational outcomes by engaging users during the learning process. The system adopts a problem solving-based pedagogical technique and allows users to learn about a subject area by utilizing a concept map-based knowledge model. We also discuss the role of such a system in the introductory computer science curriculum and describe a plan for using this system in the introductory programming course at our institution.

关键词： interactive learning environments Computer Science curriculum development innovative classroom technology object-oriented programming educational software

来源：评论

学校读者我要写书评

暂无评论

Dynamic identification of MEMS by eigensensitivity and newmark simulation

引用

ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING 2005年第2期44卷 155-162页

作者： Filho, CJVP Gugliotta, A Somá, A Pavanello, R Politecn Torino Dipartimento Meccan I-10129 Turin Italy Univ Estadual Campinas Fac Mech Engn BR-13083970 Campinas SP Brazil

The study of dynamic behavior is essential for a large number of applications involving microelectromechanical systems (MEMS). Although solutions for static analysis are reaching maturity the simulation of dynamic behavior is still a demanding problem. As analytical solutions for coupled-field problems are hard to be obtained, numerical methods are preferred. In this work, three different numerical strategies for physical level dynamic analysis of MEMS are reported and evaluated. The first approach is based on the Newmark direct integration method, modified to consider the electromechanical coupled-field effects of MEMS. A second method describes the system dynamic behavior through the modal solution of an eigenvalue problem. The numerical algorithms for these two methods are inserted in the software MefLab++. MefLab++ is an object-oriented computer code (written in C++) for numerical simulation of physical problems. The third dynamic simulation is carried out with the ANSYS commercial software by using its transducer element TRANS126 to model the electrical field. The three methods are applied to simple beams and results are compared. The tested methods showed to be suitable for computing the natural frequencies of MEMS structures. Simulation with the ANSYS reduced order element TRANS126 was faster while MefLab++ displacements values were more precise.

关键词： dynamic analysis numerical simulation object-oriented programming electromechanical microsystems

来源：评论

学校读者我要写书评

暂无评论

A flexible and reusable software for real-time control applications at JET

引用

FUSION ENGINEERING AND DESIGN 2005年第1-4期74卷 515-520页

作者： De Tommasi, G Piccolo, F Sartori, F Assoc Euratom Enea Create Fus Dipartimento Informat & Sistemist I-80125 Naples Italy UKAEA Euratom Fus Assoc Culham Sci Ctr Abingdon OX14 3DB Oxon England

The fast growth of the JET real-time control network and the increasing demand for new systems have been the triggers that started the development of the JETRT software framework. This new architecture is designed for maximum reuse and is particularly suited for implementation of both real-time control and data acquisition systems in a complex experimental environment such as JET. Most of the software is the same in all applications independent of the platform. The varying part is the project specific algorithm, which is also compiled into a separate software component, in order to achieve a separation from the plant interface code. This design choice maximises the software reliability, reduces development costs and allows non-specialist programmers to contribute to the implementation of real-time projects. JETRT also provides an integrated set of debugging and testing tools, some of them well integrated with the Matlab environment. This feature besides the framework portability among different platforms allows to perform most of the test and validation phase on a desktop PC running Windows, significantly reducing the commissioning time of a new real-time system. (c) 2005 Elsevier B.V. All rights reserved.

关键词： JET real-time control object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

On the conditions necessary for removing abstraction penalties in OoLALA

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2005年第7-8期17卷 839-866页

作者： Luján, M Freeman, TL Gurd, JR Univ Manchester Ctr Novel Comp Manchester M13 9PL Lancs England

OoLALA is an object-oriented linear algebra library designed to reduce the effort of software development and maintenance. In contrast with traditional (Fortran-based) libraries, it provides two high abstraction levels that significantly reduce the number of implementations necessary for particular linear algebra operations. Initial performance evaluations of a Java implementation of OoLALA show that the two high abstraction levels are not competitive with the low abstraction level of traditional libraries. These initial performance results motivate the present contribution-the characterization of a set of storage formats (data structures) and matrix properties (special features) for which implementations at the two high abstraction levels can be transformed into implementations at the low (more efficient) abstraction level. Copyright (c) 2005 John Wiley & Sons, Ltd.

关键词： object-oriented programming numerical linear algebra Java abstraction penalty

来源：评论

学校读者我要写书评

暂无评论

A structured modeling technology

引用

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2005年第3期166卷 615-648页

作者： Makowski, M Int Inst Appl Syst Anal A-2361 Laxenburg Austria

This paper presents the methodological background and implementation of a structured modeling environment developed to meet the requirements of modeling activities undertaken to support intergovernmental negotiations aimed at improving European air quality. Although the motivation for the reported work came from the actual complex application presented in the paper, the actual scope of the paper covers a wide range of issues related to model-based decision-making support. The paper starts with a summary of the context of modeling composed of: the role of models in decision-making support;modeling paradigms;and state-of-the-art aspects of modeling complex problems. The modeling process is then characterized, and the requirement analysis for implementation of structured modeling is specified. The main part of the paper presents the structured modeling technology which was developed to support the implementation of the structured modeling principles for modeling complex problems. (c) 2004 Elsevier B.V. All rights reserved.

关键词： structured modeling decision support systems modeling systems and languages model management simulation large-scale optimization multiple-criterion optimization database management systems object-oriented programming Internet environment

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：