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

Iris: An extensible application for building and analyzing spectral energy distributions

ASTRONOMY AND COMPUTING 2014年 7-8卷 81-94页

作者： Laurino, O. Budynkiewicz, J. D'Abrusco, R. Bonaventura, N. Busko, I. Cresitello-Dittmar, M. Doe, S. M. Ebert, R. Evans, J. D. Norris, P. Pevunova, O. Refsdal, B. Thomas, B. Thompson, R. Smithsonian Astrophys Observ Cambridge MA 02138 USA Space Telescope Sci Inst Baltimore MD 21218 USA Infrared Proc & Anal Ctr Pasadena CA 91125 USA Natl Opt Astron Observ Tucson AZ 85719 USA

Iris is an extensible application that provides astronomers with a user-friendly interface capable of ingesting broad-band data from many different sources in order to build, explore, and model spectral energy distributions (SEDs). Iris takes advantage of the standards defined by the International Virtual Observatory Alliance, but hides the technicalities of such standards by implementing different layers of abstraction on top of them. Such intermediate layers provide hooks that users and developers can exploit in order to extend the capabilities provided by Iris. For instance, custom Python models can be combined in arbitrary ways with the Iris built-in models or with other custom functions. As such, Iris offers a platform for the development and integration of SED data, services, and applications, either from the user's system or from the web. In this paper we describe the built-in features provided by Iris for building and analyzing SEDs. We also explore in some detail the Iris framework and software development kit, showing how astronomers and software developers can plug their code into an integrated SED analysis environment. (C) 2014 Elsevier B.V. All rights reserved.

关键词： Data abstraction Method: data analysis object-oriented programming Software frameworks Spectral energy distribution Virtual observatory tools

来源：评论

学校读者我要写书评

暂无评论

An operational semantics for object-oriented concepts based on the class hierarchy

引用

FORMAL ASPECTS OF COMPUTING 2014年第3期26卷 491-535页

作者： Colvin, Robert J. Univ Queensland Queensland Brain Inst St Lucia Qld 4072 Australia

The formalisation of object-oriented languages is essential for describing the implementation details of specific programming languages or for developing program verification techniques. However there has been relatively little formalisation work aimed at abstractly describing the fundamental concepts of object-oriented programming, separate from specific language considerations or suitability for a particular verification style. In this paper we address this issue by formalising a language that includes the core object-oriented programming language concepts of field tests and updates, methods, constructors, subclassing, multithreading, and synchronisation, built on top of standard sequential programming constructs. The abstract syntax is relatively close to the core of typical object-oriented programming languages such as Java. A novel aspect of the syntax is that objects and classes are encapsulated within a single syntactic term, including their fields and methods. Furthermore, class terms are structured according to the class hierarchy, and objects appear as subterms of their class (and method instances as subterms of the relevant object). This helps to narrow the gap between how a programmer thinks about their code and the underlying mathematical objects in the semantics. The semantics is defined operationally, so that all actions a program may take, such as testing or setting local variables and fields, or invoking methods on other objects, appear on the labels of the transitions. A process-algebraic style of interprocess communication is used for object and class interactions. A benefit of this label-based approach to the semantics is that a separation of concerns can be made when defining the rules of the different constructs, and the rules tend to be more concise. The basic rules for individual commands may be composed into more powerful rules that operate at the level of classes and objects. The traces generated by the operational semantics are used as the

关键词： Operational semantics object-oriented programming Process algebra Class hierarchy

来源：评论

学校读者我要写书评

暂无评论

Numerical study on fatigue crack growth at a web-stiffener of ship structural details by an objected-oriented approach in conjunction with ABAQUS

引用

MARINE STRUCTURES 2014年第Jan.期35卷 45-69页

作者： He, Wentao Liu, Jingxi Xie, De Huazhong Univ Sci & Technol Sch Naval Architecture & Ocean Engn Wuhan 430074 Hubei Peoples R China Hubei Key Lab Naval Architecture & Ocean Engn HUS Wuhan 430074 Hubei Peoples R China

It is necessary to manage the fatigue crack growth (FCG) once those cracks are detected during in-service inspections. This is particular critical as high strength steels are being used increasingly in ship and offshore structures. In this paper, a simulation program (FCG-System) is developed utilizing the commercial software ABAQUS with its object-oriented programming interface to simulate the fatigue crack path and to compute the corresponding fatigue life. In order to apply FCG-System in large-scale marine structures, the substructure modeling technique is integrated in the system under the consideration of structural details and load shedding during crack growth. Based on the nodal forces and nodal displacements obtained from finite element analysis, a formula for shell elements to compute stress intensity factors is proposed in the view of virtual crack closure technique. Neither special singular elements nor the collapsed element technique is used at the crack tip. The established FCG-System cannot only treat problems with a single crack, but also handle problems with multiple cracks in case of simultaneous but uneven growth. The accuracy and the robustness of FCG-System are demonstrated by two illustrative examples. No stability and convergence difficulties have been encountered in these cases and meanwhile, insensitivity to the mesh size is confirmed. Therefore, the FCG-System developed by authors could be an efficient tool to perform fatigue crack growth analysis on marine structures. (C) 2013 Elsevier Ltd. All rights reserved.

关键词： Fatigue crack growth Marine structures FCG-System object-oriented programming Virtual crack closure technique

来源：评论

学校读者我要写书评

暂无评论

An Advanced Semiconductor Optical Device's Simulator Implemented by object-oriented programming

An Advanced Semiconductor Optical Device's Simulator Impleme...

引用

2nd International Conference on Information and Computing Science

作者： Wang, Li Wang, Zhi Beijing Jiaotong Univ Inst Lightwave Technol Beijing Peoples R China Beijing Jiaotong Univ Sch Sci Beijing Peoples R China

ISBN: (纸本)9780769536347

This paper presents a comprehensive semiconductor optical device (SOD) simulation tool produced by object-oriented programming (OOP). First, the SOD is assumed to be composed of the elementary cell which is abstracted from semiconductor optical amplifiers. Meanwhile, some auxiliary classes and inheritance hierarchies are defined. Besides, the numerical and transaction algorithms with high performance are developed. Thus, the OOP model with high efficiency has been established to analyze the static and dynamic device behaviors. The practice shows that the simulator which can be easily maintained is flexible and extensible.

关键词： simulation semiconductor optical device object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

OpenMp solvers for parallel finite element and meshless analyses

引用

ENGINEERING COMPUTATIONS 2014年第1期31卷 2-17页

作者： Ju, S. H. Natl Cheng Kung Univ Dept Civil Engn Tainan 70101 Taiwan

Purpose - This paper develops C++ and Fortran-90 solvers to establish parallel solution procedures in a finite element or meshless analysis program using shared memory computers. The paper aims to discuss these issues. Design/methodology/approach - The stiffness matrix can be symmetrical or unsymmetrical, and the solution schemes include sky-line Cholesky and parallel preconditioned conjugate gradient-like methods. Findings - By using the features of C++ or Fortran-90, the stiffness matrix and its auxiliary arrays can be encapsulated into a class or module as private arrays. This class or module will handle how to allocate, renumber, assemble, parallelize and solve these complicated arrays automatically. Practical implications - The source codes can be obtained online at http//***/similar to juju. The major advantage of the scheme is that it is simple and systematic, so an efficient parallel finite element or meshless program can be established easily. Originality/value - With the minimum requirement of computer memory, an object-oriented C++ class and a Fortran-90 module were established to allocate, renumber, assemble, parallel, and solve the global stiffness matrix, so that the programmer does not need to handle them directly.

关键词： Parallel Finite element method C plus Conjugate gradient method Fortran object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Abstract syntax driven approach for language composition

引用

OPEN COMPUTER SCIENCE 2014年第3期4卷 107-117页

作者： Chodarev, Sergej Lakatos, Dominik Porubaen, Jaroslav Kollar, Jan Tech Univ Kosice Dept Comp & Informat Letna 9 Kosice Slovakia

Popularity of domain-specific languages brings the problem of language components reuse. It should be possible to use parts of different languages in development of new one to lower costs and also allow incremental development. This problem could be solved using the composition of languages. In this paper we discuss the view of language composition from the perspective of concepts composition, where the role of concrete syntax is lowered. We present examples of language composition based on the principles of object composition implemented using YAJCo parser generator, that allows to specify the language based on its abstract syntax.

关键词： language composition concept composition object-oriented programming aspect-oriented programming parser generator

来源：评论

学校读者我要写书评

暂无评论

Fuel: a fast general purpose object graph serializer

引用

SOFTWARE-PRACTICE & EXPERIENCE 2014年第4期44卷 433-453页

作者： Dias, Martin Peck, Mariano Martinez Ducasse, Stephane Arevalo, Gabriela Univ Lille 1 RMoD Project Team Inria Lille Nord Europe Lille France Ecole Mines Douai Douai France Univ Buenos Aires Buenos Aires DF Argentina Univ Abierta Interamericana La Plata Buenos Aires Argentina Consejo Nacl Invest Cient & Tecn RA-1033 Buenos Aires DF Argentina

Because objects need to be stored and reloaded on different environments, serializing object graphs is a very important activity. There is a plethora of serialization frameworks with different requirements and design trade-offs. Most of them are based on recursive parsing of the object graphs, an approach which often is too slow. In addition, most of them prioritize a language-agnostic format instead of speed and language-specific object serialization. For the same reason, such serializers usually do not support features such as class-shape changes, global references or executing pre and post load actions. Looking for speed, some frameworks are partially implemented at Virtual Machine (VM) level, hampering code portability and making them difficult to understand, maintain and extend. In this paper, we present Fuel, a general-purpose object serializer based on these principles: (1) speed, through a compact binary format and a pickling algorithm which invests time in serialization for obtaining the best performance on materialization;(2) good object-oriented design, without special help at VM;and (3) serialize any object, thus have a full-featured language-specific format. We implement and validate this approach in Pharo, where we demonstrate that Fuel is faster than other serializers, even those with special VM support. The extensibility of Fuel made possible to successfully serialize various objects: classes in Newspeak, debugger stacks, and full content management system object graphs. Copyright (c) 2012 John Wiley & Sons, Ltd.

关键词： object-oriented programming pickle format object graphs serialization Smalltalk

来源：评论

学校读者我要写书评

暂无评论

Ontology-Based Type-System Integrated Tools to Infer Facts about Information objects for. NET Platform

引用

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS 2014年第2期48卷 51-59页

作者： Shapkin, P. A. Demchenko, A. P. Natl Res Nucl Univ MEPhI Kashirskoye Sh 31 Moscow 115409 Russia

Development of a logical inference tool on ontologies for Microsoft. NET is considered. The tool stands out since it allows using the classes and objects of the object-oriented programming environment as concepts and individuals, respectively. This helps to construct the reasoning directly over program objects and provides typesafe tools to construct ontological descriptions of information. Restrictions associated with the potential of the C# and F# type systems for providing logical constructions are considered.

关键词： ontologies object-oriented programming conceptual modeling metadata systems of abstract types

来源：评论

学校读者我要写书评

暂无评论

On-Device objective-C Application Optimization Framework for High-Performance Mobile Processors

On-Device Objective-C Application Optimization Framework for...

引用

Design, Automation and Test in Europe Conference and Exhibition (DATE)

作者： Bournoutian, Garo Orailoglu, Alex Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9783981537024

Smartphones provide applications that are increasingly similar to those of interactive desktop programs, providing rich graphics and animations. To simplify the creation of these interactive applications, mobile operating systems employ high-level object-oriented programming languages and shared libraries to manipulate the device's peripherals and provide common user-interface frameworks. The presence of dynamic dispatch and polymorphism allows for robust and extensible application coding. Unfortunately, the presence of dynamic dispatch also introduces significant overheads during method calls, which directly impact execution time. Furthermore, since these applications rely heavily on shared libraries and helper routines, the quantity of these method calls is higher than those found in typical desktop-based programs. Optimizing these method calls centrally before consumers download the application onto a given phone is exacerbated due to the large diversity of hardware and operating system versions that the application could run on. This paper proposes a methodology to tailor a given objective-C application and its associated device-specific shared library codebase using on-device post-compilation code optimization and transformation. In doing so, many polymorphic sites can be resolved statically, improving the overall application performance.

关键词： mobile computing object-oriented languages object-oriented programming optimisation smart phones objective-C application device-specific shared library codebase high-level object-oriented programming languages high-performance mobile processors mobile operating systems on-device post-compilation code optimization on-device post-compilation code transformation polymorphic sites smartphones Hardware Libraries Mobile communication Operating systems Optimization Program processors Sensors

来源：评论

学校读者我要写书评

暂无评论

Specific creation features of the hydro-technical sluice automated design system 9

Specific creation features of the hydro-technical sluice aut...

引用

9th International Conference on Environmental Engineering (ICEE)

作者： Sokas, Algirdas Juodagalviene, Birute Vilnius Gediminas Tech Univ Dept Engn Graph LT-10223 Vilnius Lithuania Vilnius Gediminas Tech Univ Dept Architectural Engn LT-10223 Vilnius Lithuania

ISBN: (纸本)9786094576409

This article analyzes specific creation features of automated design the hydro-technical sluice system. An engineer frequently designs the hydro-technical structures. This work is done faster if special programming procedures for calculating and visualizing graphical objects are used. The creation tasks of the hydro-technical sluice automated design system are solved with Unified Modeling Language. Modeling separates four types of models: use case, behavior, class and implementation. Every model is visualized by one or more types of diagrams. Graphical system can select pipes depending on the type of water flow, form the roadbed by the sluice parameters, calculate panels according to the option type and design two hydro-technical structures views. It discerns objects-classes: pipe, roadbed, panel, which have some properties and methods that ease programmer's work. The hydro-technical structures altitudes and water flow parameters are known. First, program selects diameter of pipe from standard pipes database by using ActiveX Data objects technology, which by programming method connects drawing and database. Drawing's graphical objects have additional data from which exchange of data between graphical system and database is executed. Second, roadbed geometry is calculated using programming object's properties and methods. Third, the program knowing pipes' and roadbed' geometry designs panels. Integrated CAD environment (AutoCAD) with Visual Basic Application programming language enlarges possibilities in engineering design. Design system and example of the hydrotechnical sluice project with specifications is presented. Specific creation features of automated design system are discussed and conclusions are made.

关键词： ActiveX Data objects technology object-oriented programming hydrotechnical sluice design Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：