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

49th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Jordan, Kris Stein, Gabi Univ N Carolina Chapel Hill NC 27515 USA

ISBN: (纸本)9781450351034

This poster investigated the data from the past year of CS1 and found overwhelming evidence that students who have taken calculus are significantly more likely to succeed and less likely to fail that those who do not. On a Fall 2016 CS1 final exam, students who had not earned credit for a first course in college-level calculus were 2.8 times more likely to fail it than those who had (p=<0.0001,N=844). The mean final score for students with calculus was an 84, and those without was 61 (p=<0.0001). The result surprised the instructor, course staff, and faculty familiar with the course because the course itself does not emphasize mathematical or scientific computing. The course was Java-based, objects-early, and introduces both object-oriented and imperative programming fundamentals. The effect was evident across a range of problems, none seemingly requiring beyond basic algebra. In the Spring of 2017, the instructor and course staff set forth to explore these questions and close the math gap discovered in the Fall of 2016. This poster further proposes to develop interventions to aid those with a lower math maturity level through introducing a specialized CS1 to better accommodate those with a lower math maturity level by reducing the pace and installing prerequisites for the established CS1. Prospective Computer Science students at liberal arts colleges and universities enter with a wide range of mathematical backgrounds. Failing to acknowledge these disparities is demoralizing to students during their first course in CS and is counter-productive to inclusivity.

关键词： Math background Math programming CS1 object-oriented programming Imperative programming CS Education Inclusivity

来源：评论

学校读者我要写书评

暂无评论

NASA Technical Reports Server (Ntrs) 20050158730: Poetry in Programs: a Brief Examination of Software Aesthetics, Including Observations on the History of programming Styles and Speculations on Post-object programming

引用

2017年

NASA Technical Reports Server (Ntrs) 20050158730: Poetry in Programs: a Brief Examination of Software Aesthetics, Including Observations on the History of programming Styles and Speculations on Post-object programming... 详细信息

关键词： (ntrs) 20050158730: aesthetics, arts brief coding computer programming creativity filman, robert e. linguistics nasa technical reports server (ntrs) object-oriented programming programming programming languages

来源：评论

学校读者我要写书评

暂无评论

Research on Teaching of "object-oriented programming" Course for Bachelor Students

Research on Teaching of "Object-Oriented Programming" Course...

引用

International Conference on Advanced Research on Computer Education, Simulation and Modeling

作者： Chen, Zhaoxue Dai, Bei Shanghai Univ Sci & Technol Sch Med Instrument & Food Engn Shanghai 200093 Peoples R China

ISBN: (纸本)9783642217821

This paper is dedicated to teaching issues of the object-oriented programming course for bachelor students. It emphasizes specially on problems such as choosing C++ as programming language at the first stage of teaching, percentage-optimized hybrid bi-lingual teaching, careful choice of textbook and teaching materials, etc. It insists that the teachers ought to he careful and considerate in designing various phases of the delivery of the course and provide the right teaching or referencing materials according to the knowledge foundation of different students. Moreover, necessary regular teaching methods would turn out effective during the process of teaching, which has been proved by the author's five-year teaching practice.

关键词： C plus object-oriented programming hybrid bilingual teaching

来源：评论

学校读者我要写书评

暂无评论

Monte Carlo simulation of photon migration in turbid random media based on the object-oriented programming paradigm

Monte Carlo simulation of photon migration in turbid random ...

引用

Conference on Biomedical Applications of Light Scattering V

作者： Doronin, Alex Meglinski, Igor Univ Otago Dept Phys Dunedin New Zealand

ISBN: (纸本)9780819484444

The advantages of using method Monte Carlo for simulation of radiative transfer in complex turbid random media like biological tissues are well recognized. However, in most practical applications the wave nature of probing optical radiation is ignored, and its propagation is considered in terms of neutral particles, so-called photon packets. Nevertheless, when the interference, polarization or coherent effects of scattering of optical/laser radiation constitute the fundamental principle of a particular optical technique the wave nature of optical radiation must be considered and taken into account. In current report we present the state-of-the art and the development prospects for application of method Monte Carlo to the point of taking into account the wave properties of optical radiation. We also introduce a novel object-oriented programming (OOP) paradigm accelerated by Graphics Processing Unit that provides an opportunity to escalate the performance of standard Monte Carlo simulation up to 100 times.

关键词： Monte Carlo photon migration object-oriented programming Graphics Processing GPU CUDA NVIDEA

来源：评论

学校读者我要写书评

暂无评论

Automatic Reformulation of ODEs to Systems of First-Order Equations

引用

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 2018年第3期44卷 31-31页

作者： Birkisson, Asgeir Univ Oxford Math Inst Andrew Wiles BldgWoodstock Rd Oxford OX2 6GG England

Most numerical ODE solvers require problems to be written as systems of first-order differential equations. This normally requires the user to rewrite higher-order differential equations as coupled first-order systems. Here, we introduce the treeVar class, written in object-oriented Matlab, which is capable of algorithmically reformulating higher-order ODEs to equivalent systems of first-order equations. This allows users to specify problems using a more natural syntax and saves them from having to manually derive the first-order reformulation. The technique works by using operator overloading to build up syntax trees of expressions as mathematical programs are evaluated. It then applies a set of rules to the resulting trees to obtain the first-order reformulation, which is returned as another program. This technique has connections with algorithmic/automatic differentiation. We present how treeVar has been incorporated in Chebfun, greatly improving the ODE capabilities of the system.

关键词： Analysis of mathematical functions automatic differentiation automatic reformulation initial value problems object-oriented programming operator overloading ordinary differential equations syntax trees

来源：评论

学校读者我要写书评

暂无评论

Imposition of Dirichlet Boundary Conditions in Element Free Galerkin Method through an object-oriented Implementation

引用

LATIN AMERICAN JOURNAL OF SOLIDS AND STRUCTURES 2017年第6期14卷 1017-1039页

作者： Hosseini, Samira Malekan, Mohammad Pitangueira, Roque L. S. Silva, Ramon P. Univ Fed Minas Gerais Sch Engn Grad Program Struct Engn PROPEEs Belo Horizonte MG Brazil

One of the main drawbacks of Element Free Galerkin (EFG) method is its dependence on moving least square shape functions which don't satisfy the Kronecker Delta property, so in this method it's not possible to apply Dirichlet boundary conditions directly. The aim of the present paper is to discuss different aspects of three widely used methods of applying Dirichlet boundary conditions in EFG method, called Lagrange multipliers, penalty method, and coupling with finite element method. Numerical simulations are presented to compare the results of these methods form the perspective of accuracy, convergence and computational expense. These methods have been implemented in an object oriented programing environment, called INSANE, and the results are presented and compared with the analytical solutions.

关键词： Element Free Galerkin method EFG-FE Coupling Lagrange Multipliers Penalty Method object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

On the correlation between size and metric validity

引用

EMPIRICAL SOFTWARE ENGINEERING 2017年第5期22卷 2585-2611页

作者： Gil, Yossi Lalouche, Gal Technion Israel Inst Technol Dept Comp Sci IL-3200003 Haifa Israel

Empirical validation of code metrics has a long history of success. Many metrics have been shown to be good predictors of external features, such as correlation to bugs. Our study provides an alternative explanation to such validation, attributing it to the confounding effect of size. In contradiction to received wisdom, we argue that the validity of a metric can be explained by its correlation to the size of the code artifact. In fact, this work came about in view of our failure in the quest of finding a metric that is both valid and free of this confounding effect. Our main discovery is that, with the appropriate (non-parametric) transformations, the validity of a metric can be accurately (with R-squared values being at times as high as 0.97) predicted from its correlation with size. The reported results are with respect to a suite of 26 metrics, that includes the famous Chidamber and Kemerer metrics. Concretely, it is shown that the more a metric is correlated with size, the more able it is to predict external features values, and vice-versa. We consider two methods for controlling for size, by linear transformations. As it turns out, metrics controlled for size, tend to eliminate their predictive capabilities. We also show that the famous Chidamber and Kemerer metrics are no better than other metrics in our suite. Overall, our results suggest code size is the only "unique" valid metric.

关键词： Software engineering object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A simulation model for public bike-sharing systems

引用

Transportation Research Procedia 2018年 33卷 139-146页

作者： Francesc Soriguera Víctor Casado Enrique Jiménez BIT – UPC – Barcelona Tech Jordi Girona 1-3 Building B1 Office 114 08034 Barcelona (Spain)

Urban areas are in need of efficient and sustainable mobility services. Public bicycle sharing systems stand out as a promising alternative and many cities have invested in their deployment. This has led to a continuous and fast implementation of these systems around the world, while at the same time, research works devoted to understand the system dynamics and deriving optimal designs are being developed. In spite of this, many promoting agencies have faced the impossibility of evaluating a system design in advance, increasing the uncertainty on its performance and the risks of failure. This paper describes the development of an agent-based simulation model to emulate a bike-sharing system. The goal is to obtain a tool to evaluate and compare different alternatives for the system design before their implementation. This tool will support the decision-making process in all the stages of implementation, from the strategical planning to the daily operation. The main behavioral patterns and schemes for all agents involved are designed and implemented into a Matlab programming code. The model is validated against real data compiled from the Barcelona’s Bicing system showing good accuracy.

关键词： bike-sharing simulation agent-based object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A hybrid data fusion approach to the hierarchical mapping of land-cover types in the urban core

引用

INTERNATIONAL JOURNAL OF REMOTE SENSING 2017年第19期38卷 5338-5356页

作者： Kokje, Amit Gao, Jay de Freitas, C. R. Univ Auckland Sch Environm 23 Symonds St Auckland 1142 New Zealand

It is difficult to map land covers in the urban core due to the close proximity of high-rise buildings. This difficulty is overcome with a proposed hybrid, the hierarchical method via fusing PAN-sharpened WorldView-2 imagery with light detection and ranging (lidar) data for central Auckland, New Zealand, in two stages. After all features were categorized into 'ground' and 'above-ground' using lidar data, ground features were classified from the satellite data using the object-oriented method. Above-ground covers were grouped into four types from lidar-derived digital surface model (nDSM) based on rules. Ground and above-ground features were classified at an accuracy of 94.1% (kappa coefficient or kappa = 0.913) and 93.7% (kappa = 0.873), respectively. After the two results were merged, the nine covers achieved an overall accuracy of 93.7% (kappa = 0.902). This accuracy is highly comparable to those reported in the literature, but was achieved at much less computational expense and complexity owing to the hybrid workflow that optimizes the efficiency of the respective classifiers. This hybrid method of classification is robust and applicable to other scenes without modification as the required parameters are derived automatically from the data to be classified. It is also flexible in incorporating user-defined rules targeting hard-to-discriminate covers. Mapping accuracy from the fused complementary data sets was adversely affected by shadows in the satellite image and the differential acquisition time of imagery and lidar data.

关键词： Accuracy Satellite data object oriented High rise buildings object-oriented programming Buildings Optical radar Satellite imagery Image detection Workflow Shadows Land use Lidar Mapping Parameter modification Parameter robustness Proximity Data integration Image acquisition Complexity Land cover Multisensor fusion Satellites Imagery Acquisition Data Methodology Detection

来源：评论

学校读者我要写书评

暂无评论

Dynamic Rebinding for Concurrent object Groups: Theory and practice

引用

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2017年第1期86卷 349-390页

作者： Bravetti, Mario Giachino, Elena Lienhardt, Michael Wong, Peter Y. H. Univ Bologna I-40126 Bologna Italy INRIA Focus Team Rocquencourt France SDL Amsterdam Netherlands

In this paper we propose a new mechanism for Dynamic Rebinding, a particular kind of Dynamic Software Updating that focuses on modifying the workflow of a program. This mechanism is built upon the concurrency model of Concurrent object Groups that is adopted in programming languages like Coboxes, Creol or ABS. Using this model, which extends and solves some of the limitations of Active objects, it becomes possible for an update to wait for the program to reach a local quiescent state and then perform the update without creating any inconsistency in the program's state. We validate our mechanism by formally proving that i) no updates are performed when the program has not reached a local quiescent state, ii) an update is guaranteed to be applied if we first wait for the program to reach a local quiescent state, and iii) it is possible to perform different updates atomically. We also provide a type system that checks the good usage of the rebinding operator. We implemented a prototype supporting our mechanism in the toolchain of the ABS language, and we tested the implementation by supporting dynamic changes in the server policy of an industrial case study from the eCommerce Fredhopper platform, offered by SDL. Without our rebinding mechanism, supporting such dynamic changes in a provably correct manner would not have been so simple. Finally, we developed an implementation of type checking for the ABS language extended with our rebinding primitives, and successfully tested it for the case study discussed in the paper. (C) 2016 Elsevier Inc. All rights reserved.

关键词： object-oriented programming Dynamic Software Updating Consistency Concurrency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：