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

Design and evaluation of C plus plus open multi-methods

SCIENCE OF COMPUTER programming 2010年第7期75卷 638-667页

作者： Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A&M Univ College Stn TX 77843 USA

Multiple dispatch - the selection of a function to be invoked based on the dynamic type of two or more arguments - is a solution to several classical problems in object-oriented programming. Open multi-methods generalize multiple dispatch towards open-class extensions, which improve separation of concerns and provisions for retroactive design. We present the rationale, design, implementation, performance, programming guidelines, and experiences of working with a language feature, called open multi-methods, for C++. Our open multi-methods support both repeated and virtual inheritance. Our call resolution rules generalize both virtual function dispatch and overload resolution semantics. After using all information from argument types, these rules can resolve further ambiguities by using covariant return types. Care was taken to integrate open multi-methods with existing C++ language features and rules. We describe a model implementation and compare its performance and space requirements to existing open multi-method extensions and work-around techniques for C++. Compared to these techniques, our approach is simpler to use, catches more user mistakes, and resolves more ambiguities through link-time analysis, is comparable in memory usage, and runs significantly faster. In particular, the runtime cost of calling an open multi-method is constant and less than the cost of a double dispatch (two virtual function calls). Finally, we provide a sketch of a design for open multi-methods in the presence of dynamic loading and linking of libraries. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Multi-methods Open-methods Multiple dispatch Binary method problem Augmenting method problem object-oriented programming Generic programming C plus

来源：评论

学校读者我要写书评

暂无评论

Pseudostatic approach for seismic analysis of pile group

引用

COMPUTERS AND GEOTECHNICS 2010年第1-2期37卷 25-39页

作者： Elahi, H. Moradi, M. Pouios, H. G. Ghalandarzadeh, A. Univ Tehran Sch Civil Engn Tehran 113654563 Iran

This paper evaluates a simple approximate pseudostatic method for estimating the maximum internal forces and horizontal displacements of pile group subjected to lateral seismic excitation. The method involves two main steps: (1) computation of the free-field soil movements caused by the earthquake, and (2) the analysis of the response of the pile group based on the maximum free-field soil movements (considered as static movements) as well as a static loading at the pile head, which depends on the computed spectral acceleration of the structure being supported. The methodology takes into account the effects of group interaction and soil yielding at pile-soil interface. The applicability of this approach has been validated by a similar approach for single piles and then verified by both experimental centrifuge models of pile-supported structures and field measurements of Ohba-Ohashi Bridge in Japan. It is demonstrated that the proposed method yields reasonable estimates of the pile maximum moment, shear, and horizontal displacement for many practical cases despite of its simplicity. Limitations and reliability of the methodology are discussed and some practical conclusions on the performance of the proposed approach are presented. (C) 2009 Elsevier Ltd. All rights reserved.

关键词： Pseudostatic analysis Pile group Finite-difference method Simplified boundary element method Inertial and kinematic effects object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

MCNP Output Data Analysis with ROOT (MODAR)

引用

COMPUTER PHYSICS COMMUNICATIONS 2010年第6期181卷 1161-1166页

作者： Carasco, C. CEA DEN Nucl Measurement Lab F-13108 St Paul Les Durance France

MCNP Output Data Analysis with ROOT (MODAR) is a tool based on CERN's ROOT software MODAR has been designed to handle time-energy data issued by MCNP simulations of neutron inspection devices using the associated particle technique MODAR exploits ROOT's Graphical User Interface and functionalmes to visualize and process MCNP simulation results in a fast and user-friendly way MODAR allows to take into account the detection system time resolution (which is not possible with MCNP) as well as detectors energy response function and counting statistics in a straightforward way Program summary Program title MODAR Catalogue identifier. AEGA_v1_0 Program summary URL. http //cpc cs qub ac uk/summaries/AEGA_v1_0 h MI Program obtainable from CPC Program Library, Queen's University. Belfast, N Ireland Licensing provisions Standard CPC licence, http //cpc cs qub ac uk/licence/licence html No of lines in distributed program, including test data, etc 155 373 No of bytes m distributed program, including rest data, etc 14 815 461 Distribution format tar gz programming language C++ Computer Most Unix workstations and PC Operating system Most Unix systems. Linux and windows, provided the ROOT package has been installed Examples where tested under Suse Linux and Windows XP RAM Depends on the size of the MCNP output file The example presented in the article, which involves three two-dimensional 139 x 740 bins histograms, allocates about 60 MB These data are running under ROOT and include consumption by ROOT itself Classification 176 External routines ROOT version 5 24 00 (http //root cern ch/drupal/) Nature of problem The output of an MCNP simulation is an ASCII file. The data processing is usually performed by copying and pasting the relevant parts of the ASCII file into Microsoft Excel Such an approach is satisfactory when the quantity of data is small but is not efficient when the size of the simulated data is large, for example when time-energy correlations are studied in detail such

关键词： ROOT C plus object-oriented programming MCNP Data processing

来源：评论

学校读者我要写书评

暂无评论

Compositional verification for component-based systems and application

引用

IET SOFTWARE 2010年第3期4卷 181-193页

作者： Bensalem, S. Bozga, M. Nguyen, T. -H. Sifakis, J. Univ Joseph Fourier Grenoble Verimag Lab CNRS Ctr Equat F-38610 Gieres France

The authors present a compositional method for the veri. cation of component-based systems described in a subset of the behaviour-interaction-priority language encompassing multi-party interaction without data transfer. The method is based on the use of two kinds of invariants. Component invariants are over-approximations of components' reachability sets. Interaction invariants are global constraints on the states of components involved in interactions. The method has been implemented in the D-Finder tool and has been applied for checking deadlock-freedom. The experimental results on non-trivial examples show that this method allows either to prove deadlock-freedom or to identify very few deadlock configurations that can be analysed by using state-space exploration.

关键词： checking deadlock-freedom state-space exploration multiparty interaction D-Finder tool component invariants electronic data interchange interaction invariants component based systems compositional verification behaviour-interaction-priority language system recovery object-oriented programming object-oriented programming over approximation program verification component reachability sets Diagnostic, testing, debugging and evaluating systems global constraints

来源：评论

学校读者我要写书评

暂无评论

Modeling and implementation of a fully autonomous soccer robot based on omni-directional vision system

引用

INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION 2010年第3期37卷 279-286页

作者： Kasaei, S. Hamidreza Kasaei, S. Mohammadreza Kasaei, S. Alireza Monadjemi, S. Amir Hassan Taheri, Mohsen Islamic Azad Univ Khorasgan Dept Comp Engn Esfahan Iran

Purpose - The purpose of this paper is to design and implement a team of middle size soccer robots to conform RoboCup middle-size league. Design/methodology/approach - First, according to the rules of RoboCup, a middle size soccer robot was designed. The proposed autonomous soccer robot consists of the mechanical platform, motion control module, omni-directional vision module, front vision module, image processing and recognition module, investigated target object positioning and real coordinate reconstruction, robot path planning, competition strategies, and obstacle avoidance. This soccer robot equips the laptop computer system and interface circuits to make decisions. Findings - In fact, the omni-directional vision sensor of the vision system deals with the image processing and positioning for obstacle avoidance and target tracking. The boundary-following algorithm is applied to find the important features of the field. The sensor data fusion method is utilized in the control system parameters, self-localization, and world modeling. A vision-based self-localization, and the conventional odometry systems are fused for robust self-localization. The localization algorithm includes filtering, sharing, and integration of the data for different types of objects recognized in the environment. Originality/value - This paper presents results of research work in the field of autonomous robot-middle size soccer robot supported by IAU-Khorasgan Branch (Isfahan).

关键词： Robotics Football Image sensors object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

SAOSYS TOOLBOX AS MATLAB IMPLEMENTATION IN THE ELASTIC-PLASTIC ANALYSIS AND OPTIMAL DESIGN OF STEEL FRAME STRUCTURES

引用

JOURNAL OF CIVIL ENGINEERING AND MANAGEMENT 2010年第1期16卷 103-121页

作者： Jankovski, Valentinas Atkociunas, Juozas Vilnius Gediminas Tech Univ Dept Struct Mech LT-10223 Vilnius Lithuania

The improved mathematical model of steel frame structures' design is created. The loading is simple, and plastic strains are evaluated. Energy principles of deformable body mechanics and mathematical programming theory are employed. Equilibrium finite elements with interpolation functions of internal forces are used for discretization. The elements are designed using HE, IPE, RHS steel profile assortments and considering dispersion of geometrical characteristics of profile assortment sets. Optimal design of steel structures is realized by using the experimental tool system JWM SAOSYS Toolbox v0.42, which was created by the authors in MATLAB environment. SAOSYS architecture operates with object-oriented finite elements pseudo-polymorphously. The possibilities of this system are demonstrated by considering a numerical example of optimal design of industrial building frame with strength and stiffness constraints. The assumption of small displacements is adopted for computations.

关键词： optimal design energy principle mathematical programming steel structures finite element method object-oriented programming MATLAB

来源：评论

学校读者我要写书评

暂无评论

Multiparadigm programming in object-oriented Languages: Current Research Report on the Workshop MPOOL'08 at ECOOP 2008

引用

22nd European Conference on object-oriented programming (ECOOP 2008)

作者： Striegnitz, Joerg Davis, Kei Univ Appl Sci Regensburg D-93053 Regensburg Germany Los Alamos Natl Lab Los Alamos 87545 NM USA

ISBN: (纸本)9783642020469

While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Nevertheless, the choice of a programming paradigm is strongly influenced by the supporting programming language facilities. In turn, choice of programming language is usually highly constrained by practical considerations. We seek answers to the question of how to address the need for other programming paradigms, or even domain specific languages, in the general context of OO languages. It is clear that this field is active and fluid: novel, disparate approaches' and techniques are still being discovered or invented, And this very novelty adds a. significant element of intellectual entertainment. This article describes the cross section of research efforts reported at the, workshop on Multiparadigm programming in object-oriented Languages held at, the 2008 European Conference on object-oriented programming.

关键词： C# 3.0 CLOS Closures Delegates Design patterns Eiffel Extension methods Function objects Functional programming Java 7 Multiparadigm programming object-oriented programming OCaml Open classes Scala Smalltalk

来源：评论

学校读者我要写书评

暂无评论

Software for estimating reference evapotranspiration using limited weather data

引用

COMPUTERS AND ELECTRONICS IN AGRICULTURE 2010年第2期71卷 158-162页

作者： Gocic, Milan Trajkovic, Slavisa Coll Appl Studies Vranje 17500 Serbia Univ Nis Fac Civil Engn Nish 18000 Serbia

The FAO-56 Penman-Monteith combination equation (FAO-56 PM) has been recommended as the standard equation for estimating reference evapotranspiration (ET0). The FAO-56 PM equation requires the numerous weather data that are not available in the most of the stations. The main goal of this paper is to present the software for estimating reference evapotranspiration, focusing on the feature of using limited weather data. This is simple Windows-based and user-friendly software provides methods to estimate extra-terrestrial radiation, maximum sunshine hours, daily net radiation and daily/monthly ET0. The program is written in C# and includes comprehensive technical documentation. The software is available for free download. The weather data for this study were obtained from CIMIS for Davis weather station. The reduced-set FAO-56 PM approaches and adjusted Hargreaves equation were compared to the full-set FAO-56 PM equation. The FAO-56 reduced-set PM ET0 estimates were in closest agreement with FAO-56 full-set PM ET estimates. The adjusted Hargreaves equation (AHARG) was found to be in very good agreement with the full-set FAO-56 PM. This program is the first software facilitating calculation of ET only with air temperature parameter. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Evapotranspiration Weather data Software object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Lisp-Stat

引用

WILEY INTERDISCIPLINARY REVIEWS-COMPUTATIONAL STATISTICS 2010年第5期2卷 626-630页

作者： Tierney, Luke Univ Iowa Dept Stat & Actuarial Sci Iowa City IA 52242 USA

This article outlines a statistical system based on the Lisp language. The system consists of a set of functions for performing basic statistical computations and modifications to standard Lisp functions for basic arithmetic operations, such as addition, logarithms, etc., to allow them to operate on lists and arrays of numbers. An object-oriented programming system is used to allow the construction of custom data structures and to represent statistical structures such as linear and nonlinear regression models. The basic computing system is implemented in a subset of Common Lisp. A major feature is a dynamic graphics system for bitmapped graphics displays that includes histograms, scatterplots, rotatable plots, and scatterplot matrices. Plots are controlled by mouse actions, menus, and dialog boxes. The object-oriented programming system is used to allow the response to mouse actions, menus, and dialogs to be customized interactively by the user. (C) 2010 John Wiley & Sons, Inc.

关键词： statistical computing environment dynamic graphics object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Parkinson's disease: Before the motor symptoms and beyond

引用

JOURNAL OF THE NEUROLOGICAL SCIENCES 2010年第1-2期289卷 2-6页

作者： Korczyn, Amos D. Gurevich, Tanya Tel Aviv Univ Sch Med IL-69978 Ramat Aviv Israel Tel Aviv Med Ctr & Sch Med Movement Disorders Unit Tel Aviv Israel

The understanding of the biology of Parkinson's disease (PD) has advanced rapidly over the past 3 decades In particular, the early pathological changes described by Braak et al and the awareness of extensive and clinically relevant premotor manifestations are of diagnostic and therapeutic importance. We review those manifestations and their contribution to the clarification of the pathophysiologic processes of PD, and discuss the implications for treatment of the disease. (C) 2009 Published by Elsevier B.V

关键词： Connectivity Individual-based models object-oriented programming Landscape genetics Autocorrelation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：