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

Proceeding of the 44th ACM technical symposium on Computer science education

作者： Roger West University of Illinois at Springfield Springfield USA

ISBN: (纸本)9781450318686

Simulations offer an engaging way to learn about decomposition of complex systems. Here I describe a project where the goal is to build a simulation of an ant colony consisting of five different ant behaviors in a 2D environment. Students design and build their simulations with no code provided except for the required GUI. Design issues include choice of appropriate data structures; traversal issues; and using inheritance to model ant behaviors. Students also learn about emergence, as characterized by the development of organized foraging trails by ants that respond only to their immediate surroundings. The visualization requirement enables students to quickly determine whether or not requirements have been met, and provides a way to rapidly grade a moderately large and complex assignment.

关键词： simulation algorithms grading object-oriented programming gui emergence data structures ant colony

来源：评论

学校读者我要写书评

暂无评论

What vs. how: comparing students' testing and coding skills 13

What vs. how: comparing students' testing and coding skills

引用

Proceedings of the Fifteenth Australasian Computing Education Conference - Volume 136

作者： Colin Fidge Jim Hogan Ray Lister Queensland University of Technology Brisbane QLD Australia University of Technology Sydney Sydney NSW Australia

ISBN: (纸本)9781921770210

The well-known difficulties students exhibit when learning to program are often characterised as either difficulties in understanding the problem to be solved or difficulties in devising and coding a computational solution. It would therefore be helpful to understand which of these gives students the greatest trouble. Unit testing is a mainstay of large-scale software development and maintenance. A unit test suite serves not only for acceptance testing, but is also a form of requirements specification, as exemplified by agile programming methodologies in which the tests are developed before the corresponding program code. In order to better understand students' conceptual difficulties with programming, we conducted a series of experiments in which students were required to write both unit tests and program code for non-trivial problems. Their code and tests were then assessed separately for correctness and 'coverage', respectively. The results allowed us to directly compare students' abilities to characterise a computational problem, as a unit test suite, and develop a corresponding solution, as executable code. Since understanding a problem is a pre-requisite to solving it, we expected students' unit testing skills to be a strong predictor of their ability to successfully implement the corresponding program. Instead, however, we found that students' testing abilities lag well behind their coding skills.

关键词： learning to program unit testing object-oriented programming program specification

来源：评论

学校读者我要写书评

暂无评论

pyOpt: a Python-based object-oriented framework for nonlinear constrained optimization

引用

STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION 2012年第1期45卷 101-118页

作者： Perez, Ruben E. Jansen, Peter W. Martins, Joaquim R. R. A. Royal Mil Coll Canada Dept Mech & Aerosp Engn Kingston ON K7K 7B4 Canada Univ Michigan Dept Aerosp Engn Ann Arbor MI 48109 USA

We present pyOpt, an object-oriented framework for formulating and solving nonlinear constrained optimization problems in an efficient, reusable and portable manner. The framework uses object-oriented concepts, such as class inheritance and operator overloading, to maintain a distinct separation between the problem formulation and the optimization approach used to solve the problem. This creates a common interface in a flexible environment where both practitioners and developers alike can solve their optimization problems or develop and benchmark their own optimization algorithms. The framework is developed in the Python programming language, which allows for easy integration of optimization software programmed in Fortran, C, C+ +, and other languages. A variety of optimization algorithms are integrated in pyOpt and are accessible through the common interface. We solve a number of problems of increasing complexity to demonstrate how a given problem is formulated using this framework, and how the framework can be used to benchmark the various optimization algorithms.

关键词： Optimization algorithms Constrained optimization Nonlinear programming object-oriented programming Python Aerostructural optimization

来源：评论

学校读者我要写书评

暂无评论

Identification and application of Extract Class refactorings in object-oriented systems

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2012年第10期85卷 2241-2260页

作者： Fokaefs, Marios Tsantalis, Nikolaos Stroulia, Eleni Chatzigeorgiou, Alexander Univ Alberta Dept Comp Sci Edmonton AB Canada Univ Macedonia Dept Appl Informat Thessaloniki Greece

Refactoring is recognized as an essential practice in the context of evolutionary and agile software development. Recognizing the importance of the practice, modern IDEs provide some support for low-level refactorings. A notable exception in the list of supported refactorings is the "Extract Class" refactoring. which is conceived to simplify large, complex, unwieldy and less cohesive classes. In this work, we describe a method and a tool, implemented as an Eclipse plugin, designed to fulfill exactly this need. Our method involves three steps: (a) recognition of Extract Class opportunities. (b) ranking of the identified opportunities in terms of the improvement each one is anticipated to bring about to the system design, and (c) fully automated application of the refactoring chosen by the developer. The first step relies on an agglomerative clustering algorithm, which identifies cohesive sets of class members within the system classes. The second step relies on the Entity Placement metric as a measure of design quality. Through a set of experiments we have shown that the tool is able to identify and extract new classes that developers recognize as "coherent concepts" and improve the design quality of the underlying system. (C) 2012 Elsevier Inc. All rights reserved.

关键词： Refactoring Software reengineering object-oriented programming Clustering

来源：评论

学校读者我要写书评

暂无评论

An object-oriented serial implementation of a DSMC simulation package

引用

COMPUTERS & FLUIDS 2012年 57卷 66-75页

作者： Liu, Hongli Cai, Chunper Zou, Chun New Mexico State Univ Dept Mech & Aerosp Engn Las Cruces NM 88003 USA

This paper reports a scalar implementation of a multi-dimensional direct simulation Monte Carlo (DSMC) package named "Generalized Rarefied gAs Simulation Package" (GRASP). This implementation adopts a concept of simulation engine and it utilizes many object-oriented programming features and software engineering design patterns. As a result, this implementation successfully resolves the problem of program functionality and interface conflictions for multi-dimensional DSMC implementations. The package has an open architecture which benefits further development and code maintenance. To reduce engineering time for three-dimensional simulations, one effective implementation is to adopt a hybrid grid scheme with a flexible data structure, which can automatically treat cubic cells adjacent to object surfaces. This package can utilize traditional structured, unstructured or hybrid grids to model multi-dimensional complex geometries and simulate rarefied non-equilibrium gas flows. Benchmark test cases indicate that this implementation has satisfactory accuracy for complex rarefied gas flow simulations. Published by Elsevier Ltd.

关键词： DSMC implementation Hybrid grid object-oriented programming Rarefied gas flow

来源：评论

学校读者我要写书评

暂无评论

Implementing a mobile virtual electromagnetics laboratory

引用

IET SCIENCE MEASUREMENT & TECHNOLOGY 2012年第5期6卷 398-402页

作者： Browne, D. R. Flint, J. A. Pomeroy, S. C. Univ Loughborough Sch Elect Elect & Syst Engn Loughborough LE11 3TU Leics England

Modern mobile devices are sufficiently powerful to execute computationally intensive mathematical problems. This study presents an implementation of a two-dimensional transmission line matrix method (TLM) solver executing on a Smartphone. Software development and architectural design are discussed, focusing on object-oriented strategies for modular and reusable code. Optimisation strategies are also discussed, with large variations in performance observed dependent on the data-caching method that is used. Swapping between data buffers using pointers was shown to be the most effective method, offering significant performance gains over the original software. It was shown for a mesh measuring 246 by 370 nodes running on an iPhone 4 that an update rate of 9.37 fps could be achieved.

关键词： pointer cache storage Optimisation techniques iPhone object-oriented strategy mobile computing architectural design mobile virtual electromagnetic laboratory Mobile radio systems optimisation computational electromagnetics Software engineering techniques smart phones Ubiquitous and pervasive computing Algebra data caching method Semiconductor storage Electrical engineering computing 2D transmission line matrix method data buffer software architecture smart phone software reusability transmission line matrix methods software development swapping reusable code mobile device modular code object-oriented programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Quality assessment of Landsat surface reflectance products using MODIS data

引用

COMPUTERS & GEOSCIENCES 2012年第1期38卷 9-22页

作者： Feng, Min Huang, Chengquan Channan, Saurabh Vermote, Eric F. Masek, Jeffrey G. Townshend, John R. Chinese Acad Sci State Key Lab Resources & Environm Informat Syst Inst Geog Sci & Nat Resources Res Beijing 100101 Peoples R China Univ Maryland Dept Geog Global Land Cover Facil College Pk MD 20742 USA NASA Goddard Space Flight Ctr Biospher Sci Branch Greenbelt MD 20771 USA

Surface reflectance adjusted for atmospheric effects is a primary input for land cover change detection and for developing many higher level surface geophysical parameters. With the development of automated atmospheric correction algorithms, it is now feasible to produce large quantities of surface reflectance products using Landsat images. Validation of these products requires in situ measurements, which either do not exist or are difficult to obtain for most Landsat images. The surface reflectance products derived using data acquired by the Moderate Resolution Imaging Spectroradiometer (MOD'S), however, have been validated more comprehensively. Because the MODIS on the Terra platform and the Landsat 7 are only half an hour apart following the same orbit, and each of the 6 Landsat spectral bands overlaps with a MODIS band, good agreements between MODIS and Landsat surface reflectance values can be considered indicators of the reliability of the Landsat products, while disagreements may suggest potential quality problems that need to be further investigated. Here we develop a system called Landsat-MODIS Consistency Checking System (LMCCS). This system automatically matches Landsat data with MODIS observations acquired on the same date over the same locations and uses them to calculate a set of agreement metrics. To maximize its portability, Java and open-source libraries were used in developing this system, and object-oriented programming (OOP) principles were followed to make it more flexible for future expansion. As a highly automated system designed to run as a stand-alone package or as a component of other Landsat data processing systems, this system can be used to assess the quality of essentially every Landsat surface reflectance image where spatially and temporally matching MODIS data are available. The effectiveness of this system was demonstrated using it to assess preliminary surface reflectance products derived using the Global Land Survey (GLS) Landsat i

关键词： Surface reflectance Landsat MODIS object-oriented programming Quality assessment

来源：评论

学校读者我要写书评

暂无评论

DOOLINES: an object-oriented framework for non-linear static and dynamic analyses of offshore lines

引用

ENGINEERING WITH COMPUTERS 2012年第2期28卷 149-159页

作者： da Silveira, Eduardo S. S. Lages, Eduardo N. Ferreira, Fabio M. G. Univ Fed Alagoas Lab Computacao Cient & Visualizacao BR-57072970 Maceio AL Brazil

We present an object-oriented framework, named DOOLINES , for non-linear static and dynamic analyses of slender marine structures which often appear in offshore structures employed in the petroleum and gas industries as, among others, flexible risers, steel catenary risers, umbilicals, floating hoses, and mooring lines. DOOLINES allows the rapid development of tailored, modular, reusable and extensible large-size systems, being itself extensible. These properties, along with the ease of use of our framework, are assessed by means of case studies. Code examples are provided.

关键词： Dynamic simulation Finite element method Framework object-oriented programming Offshore structures Software reuse

来源：评论

学校读者我要写书评

暂无评论

A complete development process of finite element software for body-in-white structure with semi-rigid beams in .NET framework

引用

ADVANCES IN ENGINEERING SOFTWARE 2012年第1期45卷 261-271页

作者： Zuo, Wenjie Li, Weiwei Xu, Tao Xuan, Shengyi Na, Jingxin Jilin Univ Coll Mech Sci & Engn Changchun 130025 Peoples R China Jilin Univ Coll Automobile Engn Changchun 130025 Peoples R China

At the conceptual design stage, simplified finite element (FE) model of body-in-white (BIW) structure focuses on its specific merit to provide early-stage predictions for detailed FE model of that. This paper exploits a semi-rigid beam element (SRBE) that consists of a beam element with two semi-rigid connections at the ends to simulate the flexibility of joint. Guyan reduction method condenses the SRBE as a super element. A special finite element software for structural modeling and analysis of BIW (SMAB) is developed in .NET framework. The Unified Modeling Language is employed to depict the classes and their relationship. The design patterns are identified and applied in the framework design to facilitate communication and system expansion. Microsoft DirectX and GDI+ implement graphics display of spatial BIW frame and planar thin-walled cross section. Based on multi-threaded technology in .NET, subspace iteration method is paralleled to speed up the mode analysis. As a result, the efficiency of the SRBE is demonstrated by a benchmarking automotive body. Multi-threaded parallel is effective and useful, especially for frequency optimization. (C) 2011 Elsevier Ltd. All rights reserved.

关键词： BIW structure Semi-rigid beam object-oriented programming Finite element analysis Multi-threaded parallel .NET framework

来源：评论

学校读者我要写书评

暂无评论

Transformation contracts in practice

引用

IET SOFTWARE 2012年第1期6卷 16-32页

作者： Braga, C. Menezes, R. Comicio, T. Santos, C. Landim, E. Univ Fed Fluminense Inst Computacao Niteroi RJ Brazil

Model-driven development (MDD) is a software engineering discipline which suggests that software development should be done at the modelling level and that applications should be generated from models. A key concept of MDD is a model transformation that generates software artifacts, such as code, from models. Since models are 'first-class' citizens in MDD, their verification and validation are important tasks and so are the model transformations. A transformation contract, which is also a model, is a specification of what a particular model transformation must implement and essentially specifies a relation between metamodels and properties that must hold on such a relation. The authors have defined a design pattern that enforces transformation contract correctness over model transformations implementations. This study reports on (i) the proposed design pattern, (ii) the design of the UMLtoEJB model transformation that generates application code, following the Enterprise Java Beans standard, from class diagrams described in the Unified Modelling Language, and (iii) a discussion on how the transformation contracts approach may help different actors, in an MDD software development process with transformation contracts, to identify erroneous situations.

关键词： Formal methods formal specification software artifacts software engineering discipline Unified Modeling Language design pattern metamodels UML to EJB model transformation Java transformation contracts Enterprise Java Beans standard object-oriented programming object-oriented programming software development model-driven development unified modelling language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：