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

An object-oriented framework for finite element analysis based on a compact topological data structure

ADVANCES IN ENGINEERING SOFTWARE 2014年 68卷 40-48页

作者： Beghini, Lauren L. Pereira, Anderson Espinha, Rodrigo Menezes, Ivan F. M. Celes, Waldemar Paulino, Glaucio H. Univ Illinois Dept Civil & Environm Engn Urbana IL 61801 USA Pontifical Catholic Univ Rio de Janeiro PUC Rio Tecgraf Rio De Janeiro Brazil

This paper describes an ongoing work in the development of a finite element analysis system, called TopFEM, based on the compact topological data structure, TopS [1,2]. This new framework was written to take advantage of the topological data structure together with object-oriented programming concepts to handle a variety of finite element problems, spanning from fracture mechanics to topology optimization, in an efficient, but generic fashion. The class organization of the TopFEM system is described and discussed within the context of other frameworks in the literature that share similar ideas, such as Get-FEM++, ***, FEMOOP and OpenSees. Numerical examples are given to illustrate the capabilities of TopS attached to a finite element framework in the context of fracture mechanics and to establish a benchmark with other implementations that do not make use of a topological data structure. (C) 2013 Elsevier Ltd. All rights reserved.

关键词： object-oriented programming Finite element method Topological data structure Adaptive simulations

来源：评论

学校读者我要写书评

暂无评论

NiHu: An open source C plus plus BEM library

引用

ADVANCES IN ENGINEERING SOFTWARE 2014年 75卷 101-112页

作者： Fiala, P. Rucz, P. Budapest Univ Technol & Econ Dept Networked Syst & Serv H-1117 Budapest Hungary

This paper introduces NiHu, a C++ template library for boundary element methods (BEM). The library is capable of computing the coefficients of discretised boundary integral operators in a generic way with arbitrarily defined kernels and function spaces. NiHu'S template core defines the workflow of a general BEM algorithm independent of the specific application. The core provides expressive syntax, based on the operator notation of the BEM, reflecting the mathematics behind boundary elements in the C++ source code. The customisable Component library contains elements specific to particular applications such as different numerical integration techniques and regularisation methods. The library can be used for creating a standalone C++ application using external open source libraries, or compiling a Matlab tool-box through the MEX interface. By massively exploiting C++ template metaprogramming, NiHu generates optimised codes for specific applications, including heterogeneous problems. The paper introduces the main concepts of the novel development, demonstrates its versatility and flexibility and compares the implementation's performance to that of other open source projects. (C) 2014 Elsevier Ltd. All rights reserved.

关键词： Generic BEM library C plus plus template metaprogramming Boundary element methods object-oriented programming Partial differential equations Acoustics

来源：评论

学校读者我要写书评

暂无评论

Introducing Adaptivity to eLessons on object-oriented programming

Introducing Adaptivity to eLessons on Object-oriented Progra...

引用

4th Balkan Conference in Informatics

作者： Komlenov, Zivana Budimac, Zoran Ivanovic, Mirjana Fac Sci Dept Math & Informat Novi Sad Serbia

ISBN: (纸本)9780769537832

The overall goal of this research was to determine how to improve online delivery of programming courses, with the objective of advancing student engagement and learning outcomes. In order to improve the learning process for students with different pre-knowledge and preferred learning styles, a certain degree of adaptability must be introduced to eCourses. In learning environments that support this kind of functionalities students can choose different paths through course contents or can be directed to different parts of the instructional material depending on the pace of their advancement. This paper presents the implementation of such an environment by extending an Open Source Learning Management System Moodie, as well as possibilities of its usage in a typical introductory university course on object-oriented programming in Java.

关键词： course management system student-centred approach learning preferences personalization object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

ModEM: A modular system for inversion of electromagnetic geophysical data

引用

COMPUTERS & GEOSCIENCES 2014年 66卷 40-53页

作者： Kelbert, Anna Meqbel, Naser Egbert, Gary D. Tandon, Kush Oregon State Univ Coll Earth Ocean & Atmospher Sci Corvallis OR 97331 USA Helmholtz Ctr Potsdam GEZ German Res Ctr Geosci Potsdam Germany Bluware Inc Houston TX 77063 USA

We describe implementation of a modular system of computer codes for inversion of electromagnetic geophysical data, referred to as ModEM. The system is constructed with a fine level of modular granularity, with basic components of the inversion - forward modeling, sensitivity computations, inversion search algorithms, model parametrization and regularization, data functionals - interchangeable, reusable and readily extensible. Modular sensitivity computations and generic interfaces to parallelized inversion algorithms provide a ready framework for rapid implementation of new applications or inversion algorithms. We illustrate the code's versatility and capabilities for code reuse through implementation of 3D magnetotelluric (MT) and controlled-source EM (CSEM) inversions, using essentially the same components. (C) 2014 Elsevier Ltd. All rights reserved.

关键词： Geophysics Numerical modeling Inversion Magnetotellurics Controlled-source electromagnetics Sensitivities Parallelization Code reuse object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Effective strategic programming for Java developers

引用

SOFTWARE-PRACTICE & EXPERIENCE 2014年第2期44卷 129-162页

作者： Balland, Emilie Moreau, Pierre-Etienne Reilles, Antoine INRIA Bordeaux France Univ Lorraine F-54600 Loria Villers Les Nan France Inria F-54600 Villers Les Nancy France Dassault Syst Paris France

In object programming languages, the Visitor design pattern allows separation of algorithms and data structures. When applying this pattern to tree-like structures, programmers are always confronted with the difficulty of making their code evolve. One reason is that the code implementing the algorithm is interwound with the code implementing the traversal inside the visitor. When implementing algorithms such as data analyses or transformations, encoding the traversal directly into the algorithm turns out to be cumbersome as this type of algorithm only focuses on a small part of the data-structure model (e.g., program optimization). Unfortunately, typed programming languages like Java do not offer simple solutions for expressing generic traversals. Rewrite-based languages like ELAN or Stratego have introduced the notion of strategies to express both generic traversal and rule application control in a declarative way. Starting from this approach, our goal was to make the notion of strategic programming available in a widely used language such as Java and thus to offer generic traversals in typed Java structures. In this paper, we present the strategy language SL that provides programming support for strategies in Java. Copyright (c) 2012 John Wiley & Sons, Ltd.

关键词： generic programming term rewriting tree traversal strategies object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Effects of incorporating special methods into cohesion measurement on class instantiation reuse-proneness prediction

引用

IET SOFTWARE 2014年第6期8卷 285-295页

作者： Al Dallal, Jehad Kuwait Univ Dept Informat Sci Kuwait 13060 Kuwait

The previously proposed class cohesion measures employ different approaches to assess the strength of the relations between the attributes and methods in a class. Access methods, constructors and destructors are special types of methods with special characteristics that can falsely alter the class cohesion measurement. In this study, the authors empirically explored the impact of considering special methods (SPs) on the cohesion measures' abilities to predict the classes that can be intensively reused via instantiation (IRI). They considered classes in the JHotDraw and Eclipse systems. For each class, they obtained cohesion results using 17 measures in four different scenarios of considering or ignoring SPs. They collected the instantiation reusability data and applied a statistical technique to build a prediction model using each measure in each considered scenario. They investigated the significance of the changes in the prediction results. The authors' results demonstrated that cohesion had a negative impact on class instantiation reuse-proneness and that SPs had significant impacts on cohesion values and the abilities of the cohesion measures to predict IRI classes. In practice, when applying cohesion measures to predict IRI classes, the results suggest that SPs must be included in cohesion measurement.

关键词： object-oriented programming object-oriented methods software reusability software metrics special method incorporation SPs class cohesion measurement class instantiation reuse-proneness prediction intensively reused via instantiation IRI JHotDraw system Eclipse system instantiation reusability data object-oriented systems

来源：评论

学校读者我要写书评

暂无评论

Formula translation in Blitz plus plus , NumPy and modern Fortran: A case study of the language choice tradeoffs

引用

SCIENTIFIC programming 2014年第3期22卷 201-222页

作者： Arabas, Sylwester Jarecka, Dorota Jaruga, Anna Fijalkowski, Maciej Univ Warsaw Fac Phys Inst Geophys Warsaw Poland

Three object-oriented implementations of a prototype solver of the advection equation are introduced. The programs are based on Blitz++ (C++), NumPy (Python) and Fortran's built-in array containers. The solvers constitute mentations of the Multidimensional Positive-Definite Advective Transport Algorithm (MPDATA). The introduced codes serve examples for how the application of object-oriented programming (OOP) techniques and new language constructs from C++ and Fortran 2008 allow to reproduce the mathematical notation used in the literature within the program code. A on the tradeoffs of the programming language choice is presented. The main angles of comparison are code brevity and clarity (and hence maintainability and auditability) as well as performance. All performance tests are carried out using free open-source compilers. In the case of Python, a significant performance gain is observed when switching from the standard terpreter (CPython) to the PyPy implementation of Python. Entire source code of all three implementations is embedded in text and is licensed under the terms of the GNU GPL license.

关键词： object-oriented programming advection equation MPDATA C plus Fortran Python

来源：评论

学校读者我要写书评

暂无评论

Coordinated Hydropower Plant Simulation for Multireservoir Systems

引用

JOURNAL OF WATER RESOURCES PLANNING AND MANAGEMENT 2014年第2期140卷 216-227页

作者： Latorre, Jesus M. Cerisola, Santiago Ramos, Andres Perea, Alejandro Bellido, Rafael ICAI Comillas Pontifical Univ Inst Res Technol Madrid 28015 Spain Iberdrola Generac Madrid 28033 Spain

Hydroreservoirs usually serve two main purposes: hydropower production and water consumption. The great flexibility, low operating costs, and low carbon impact of hydroturbines turns them into a desirable technology in the generator mix of power systems. In addition, sustainability and environmental concerns support their use in current power systems, along with other renewable energy sources like wind and solar energy. However, the stochastic nature of river inflows hinders their long-term use and hints at the need to use planning tools. Furthermore, it also requires the use of planning tools in order to balance present and future requirements. This work presents a simulation tool that is employed at Iberdrola to help in the preparation of medium-term hydroelectric production schedules. The main objective of the simulation is to follow the production guidelines given by a long-term hydrothermal problem, while avoiding spillages and failures to fulfill water release agreements. In order to achieve this, the simulation algorithm is structured around several phases that aim at coordinating the operation of all the elements in the basin. This way, the simulation tool provides the operator a way to evaluate the outcome from forecasts of either water inflows or future operation situations. Some of the potential applications of this simulation tool are shown in this work: general simulation in order to know in advance the consequences of possible inflow forecasts, and how to assess several maintenance schedules and different upgrade plans.

关键词： Simulation Hydro power Reservoirs Water use Simulation Hydropower production Multireservoir system object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Modeling Intelligent Decision-Making Command and Control Agents: An Application to Air Defense

引用

IEEE INTELLIGENT SYSTEMS 2014年第5期29卷 22-29页

作者： Das, Sumanta Kumar Inst Syst Studies & Anal Delhi India

The article is halfway between agent technology and the mathematical reasoning needed to model tactical decision-making tasks. These models are applied to the air defense domain for command and control (C2). The article also addresses the issues related to evaluating agents, which are designed and implemented using the agent-programming paradigm. The agents are deployed in a simulated environment for performing C2 tasks, such as electronic counter-countermeasures, threat assessment, and weapon allocation. The simulated defense system runs without any human intervention and represents a state-of-the-art model for C2 autonomy. The use of agents as autonomous decision-making entities is particularly useful in view of futuristic network-centric warfare.

关键词： command and control systems cooperative systems decision making electronic countermeasures mobile agents object-oriented programming weapons C2 autonomy agent technology agent-programming paradigm air defense domain autonomous decision-making entity electronic counter-countermeasures human intervention mathematical reasoning modeling intelligent decision-making command and control agents network-centric warfare simulated defense system simulated environment tactical decision-making task weapon allocation Computer hacking Decision making Radar tracking Radiation detectors Surveillance BDI architectures autonomous agent intelligent systems meta-level plan reasoning weapon-target assignment

来源：评论

学校读者我要写书评

暂无评论

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent object-oriented Software

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2014年第10期40卷 971-992页

作者： Araujo, Wladimir Briand, Lionel C. Labiche, Yvan Juniper Networks Sunnyvale CA 94089 USA Univ Luxembourg SnT Ctr L-1359 Luxembourg Luxembourg Carleton Univ Dept Syst & Comp Engn Ottawa ON K1S 5B6 Canada

Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software. Though there exists ample support for DbC for sequential programs, applying DbC to concurrent programs presents several challenges. Using Java as the target programming language, we tackle such challenges by augmenting the Java Modelling Language (JML) and modifying the JML compiler (jmlc) to generate runtime assertion checking code to support DbC in concurrent programs. We applied our solution in a carefully designed case study on a highly concurrent industrial software system from the telecommunications domain to assess the effectiveness of contracts as test oracles in detecting and diagnosing functional faults in concurrent software. Based on these results, clear and objective requirements are defined for contracts to be effective test oracles for concurrent programs whilst balancing the effort to design them. Effort is measured indirectly through the contract complexity measure (CCM), a measure we define. Main results include that contracts of a realistic level of completeness and complexity can detect around 76 percent of faults and reduce the diagnosis effort for such faults tenfold. We, therefore, show that DbC can be applied to concurrent software and can be a valuable tool to improve the economics of software engineering.

关键词： Software/Program Verification-programming by contract Software Quality/SQA-Measurement applied to SQA and V&V Concurrent programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：