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

2015 2nd International Conference on Creative Education(ICCE 2015)

作者： Li Zhang School of Information Qilu University of Technology Engineering Research Center of Digital Media Technology Ministry of Education

In recent years, object-oriented programming has become the most influential programming paradigm. But teaching and learning object-oriented(OO) programming are both difficult. There has been debate about problems of teaching OO at university. In this paper, we focus the teaching OO issues on the student of Internet of Things(Io T) major. By analyzing the situation of major and students propose the specific strategies to the existing problems.

关键词： Internet of Things object-oriented programming Teaching

来源：评论

学校读者我要写书评

暂无评论

Teaching object-oriented programming with AEIOU

引用

COMPUTER APPLICATIONS IN ENGINEERING EDUCATION 2014年第2期22卷 309-319页

作者： Licea, Guillermo Juarez-Ramirez, Reyes Gaxiola, Carelia Aguilar, Leocundo Martinez, Luis G. Univ Baja California Tijuana Baja California Mexico

AEIOU is an integrated programming environment developed to support the teaching-learning process of object-oriented programming in a gradual way. AEIOU includes three modules, one for each level of students' expertise: novice, intermediate, and advanced. This article describes the features of each module of AEIOU and the experiences and results obtained using this programming environment to support the sequence of programming courses in two Mexican engineering schools. (c) 2011 Wiley Periodicals, Inc. Comput Appl Eng Educ 22:309-319, 2014;View this article online at;DOI

关键词： teaching programming programming environment object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Use computer game to learn object-oriented programming in computer science courses

Use computer game to learn Object-Oriented Programming in co...

引用

IEEE Global Engineering Education Conference

作者： Wong, Yoke Seng Yatim, Maizatul Hayati Mohamad Tan, Wee Hoe KDU Univ Coll Sch Comp & Creat Media Damansara Selangor Malaysia Sultan Idris Educ Univ Falculty Art Comp & Creat Ind Perak PQ Malaysia

ISBN: (纸本)9781479931903

The purpose of this study is to identify and evaluate how a computer game could be applied as a tool for learning object-oriented programming in computer science courses. The study aims to reduce the complexity of learning object-oriented programming for the students and provide efficient object-oriented design learning environment for them.

关键词： computer game higher education learning object-oriented programming teaching

来源：评论

学校读者我要写书评

暂无评论

Creating an Expandable Test Executive for Automated Testing with LabVIEW object-oriented programming (LVOOP) 50

Creating an Expandable Test Executive for Automated Testing ...

引用

50th Anniversary of IEEE AUTOTEST Conference

作者： Coons, Daniel R. Technol Serv Corp Bloomington IN 47401 USA

ISBN: (纸本)9781479930050

Designing a test platform that provides automated test capability for multiple Units Under Test (UUTs) presents many unique challenges. Using LabVIEW object-oriented programming (LVOOP) design principles along with Packed Project Libraries, TSC has designed a modular Test Executive (TE) architecture that allows us to easily add capability as test requirements change or expand. This is achieved by following a simple set of rules without recompiling the executable. As a result this flexibility provides long term supportability, improves operational readiness, and reduces total cost of ownership. The highly configurable TE was designed to run as a standalone application. It performs various tasks for maintaining the equipment and files on the Test Bench. The TE contains all equipment calibration information so that a user can be warned if a piece of equipment is coming due for calibration. It allows users to create, edit, and save sequences of tests to perform for a selected UUT. It provides report writing and viewing capability as well as error handling. The TE also provides safety monitoring functionality at a Test Bench level and will call specific modules for monitoring a UUT specifically. Additionally users can run sequences of tests or select individual tests to run standalone. The software design for the UUT code is implemented as a plug-in to the TE. UUT code is designed and compiled and only needs to be placed in the correct folder alongside the TE executable for the TE to utilize it for automated testing. The TE does not need to be recompiled in order to run the code for the UUT, providing a consistent and managed executable interface for the users. To assist in supportability and enforcement of the UUT code standardization, we created several UUT wizards for test developers to use to ensure that the rules were followed. These wizards were essential to reduce test development time and cost of ownership.

关键词： automated testing LabVIEW object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Domain-Theoretic Model Of Nominally-Typed object-oriented programming

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2014年 301卷 3-19页

作者： AbdelGawad, Moez A. Rice Univ Dept Comp Sci Houston TX 77005 USA

The majority of contemporary mainstream object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss crucial features of these mainstream OO languages, such as nominality. This paper summarizes the construction of NOOP as a domain-theoretic model of OOP that includes nominal information found in nominally-typed mainstream OO software. Inclusion of nominal type information and asserting that type inheritance in statically-typed OO programming languages is an inherently nominal notion allow readily proving that inheritance and subtyping are completely identified in these languages. This conclusion is in full agreement with intuitions of OO developers using these languages, and contrary to the belief that "inheritance is not subtyping", which came from assuming non-nominal structural models of OO type systems. NOOP, thus, provides a firmer semantic foundation for analyzing and progressing nominallytyped mainstream OO programming languages.

关键词： object-oriented programming Denotational Semantics Nominative Type Systems Structural Type Systems NOOP Type Names Inheritance Subtyping OOP Java C#

来源：评论

学校读者我要写书评

暂无评论

A Two-Stage Energy-Efficiency Optimization Approach for Conflict-Free Dispatching in Open-Pit Mines

引用

IET INTELLIGENT TRANSPORT SYSTEMS 2025年第1期19卷

作者： Wang, Zhichao Yang, Jue Feng, Yanbiao Kang, Yiting Li, Yong Univ Sci & Technol Beijing Sch Mech Engn Beijing Peoples R China

The objective of this paper is to present a novel energy-efficiency conflict-free dispatching algorithm for autonomous mining fleets. In lieu of halting or decelerating the trucks at intersections when conflicts arise, the algorithm facilitates conflict-free dispatching for trucks to operate with the optimal speed trajectory, thereby achieving minimum fuel consumption and mining cost. This work first develops reference speed trajectories for mining trucks, considering their drivetrain characteristics, load status and geographic information pertaining to the path. Second, the total production determination model is based on the MILP model, which determines the total production of each path while taking the travel time into account with the objective of maximizing fleet production. Next, in the fleet allocation model and conflict-free scheduling model, the objectives are to reduce the fleet make span and fleet queuing time, respectively. Finally, a fleet operation timetable is eventually derived. Therefore, all trucks can operate intact according to the speed trajectory, thus minimizing fleet energy consumption and maximizing production efficiency. To verify the advantages of the model in this work, we selected DISPATCH and a multi-objective dispatching model developed by other researchers for comparison on the basis of the historical production data from an open pit coal mine. The results indicated that the proposed model exhibited the capacity to decrease the fleet size by 22.2%, thereby attaining equivalent production levels to those of a real open-pit coal mining fleet. Moreover, the model proposed in this paper can improve the production by about 36.11% to 49.75% compared to DISPATCH under the optimal speed trajectory, whereas the multi-objective dispatching model's improvement is only 9.84% to 21.89%. It also has significant advantages in terms of fleet productivity and fleet profit.

关键词： collision avoidance mining object-oriented programming road traffic control traffic management and control

来源：评论

学校读者我要写书评

暂无评论

Pattern-Based Test Suite Reduction Method for Smart Contracts

引用

APPLIED SCIENCES-BASEL 2025年第2期15卷

作者： Gorski, Tomasz Gdynia Maritime Univ Fac Comp Sci Morska 81-87 PL-81225 Gdynia Poland

Testing in the software development process is one of the crucial disciplines. The immutability of deployed smart contracts makes tests particularly important in their design and implementation. The objective is to minimize the costs of smart contract testing by reducing the number of test cases. The article presents the test suite reduction method for smart contracts, which exploits the knowledge of their design manner. In particular, the design of a mechanism for evaluating the list of verification rules controlling the execution of transactions was used. The proposed method defines a minimum set of test cases for smart contracts designed according to a specific design pattern. The test case reduction level was shown using analytical formulas enclosed in the paper. Compared to full coverage, the method reduces over 96% of test cases for a smart contract with at least eight verification rules. The performance tests were conducted and the analysis of the results was enclosed as well. Both the smart contract evaluation time and the test suite execution time are less than 0.01 of a millisecond. Besides, the method reduces the number of test data for smart contracts by over 79%. Therefore, the method can be especially useful in continuous software integration and delivery.

关键词： blockchain smart contract test suite reduction software design pattern object-oriented programming functional programming

来源：评论

学校读者我要写书评

暂无评论

A didactic object-oriented, prototype-based visual programming environment

引用

SCIENCE OF COMPUTER programming 2019年 176卷 1-13页

作者： Garcia Perez-Schofield, Baltasar Ortin, Francisco

object-oriented programming is widely used in both the industry and the education areas. The most-common model of object-oriented programming is the class-based one. However, popular languages not implementing this model are gaining traction as time goes by. This alternative model is the prototype-based one, with one key characteristic: there are no classes. In this paper, a visual tool is proposed as a vehicle for learning the prototype-based object-oriented programming, present, for instance, in Self, Lua, or JavaScript. This software has been in use for three years in a subject of the Computer Science Engineering degree, at the University of Vigo. (C) 2019 Elsevier B.V. All rights reserved.

关键词： Visual programming object-oriented programming Prototype-based model Education

来源：评论

学校读者我要写书评

暂无评论

Flow in filopodia: re-organization and the representation of biological entities as computational objects

引用

COMPUTATIONAL & APPLIED MATHEMATICS 2025年第1期44卷 1-27页

作者： Leal, Thiago Franco de Moura, Carlos Antonio Kritz, Mauricio Vieira Prokop, Andreas Rio de Janeiro Fed Inst Rio De Janeiro Brazil Univ Estado Rio De Janeiro Rio De Janeiro Brazil Natl Lab Sci Comp Petropolis Brazil Univ Manchester Manchester England

Actin is the most abundant protein in eukaryotic cells. They form filamentous polymers that are organized in different ways within the cell to perform various functions. For instance, prominent parallel bundles of F-actins mediate the formation and dynamics of filopodia that are long, finger-like protrusions of cell membrane occurring in certain cells, like growing neurons. Understanding actin organization dynamics and its regulation is a crucial problem for biologists that cannot be solved exclusively by biological methods, requiring the support of mathematical and computational modelling. In this work, grounded on a previous hypothesis of ours about the cytosol flow within filopodia, we address several modelling challenges posed by the growth of filopodia in neurons. We use alternative stochastic models and particle-centered numerical methods for transport and elongations, as well as an innovative object-oriented modelling-strategy to represent chemical transformations, polymerization, and their regulation. These modelling strategies allowed for simulating elongations 20 times longer than the typical ranges attained by commonly used filopodia diffusion models, and show that our hypothesis is feasible, acting as a proof-of-concept about the importance of considering organization as a key element in biological explanations.

关键词： Filopodia Actin dynamics Transport phenomena Stochastic model object-oriented programming 70-10 Mathematical modeling orsimulation for problems pertaining to mechanics of particles and systems 92-10Mathematical modeling or simulation for problems pertaining to biology

来源：评论

学校读者我要写书评

暂无评论

Range Space and Similarity Transformation Using Symbolic Mathematics in Python

引用

IEEE ACCESS 2024年 12卷 182788-182798页

作者： Wisassakwichai, Chainarong Phaochoo, Prasert Rajamangala Univ Technol Krungthep Fac Engn Div Elect Engn Bangkok 10120 Thailand Rajamangala Univ Technol Krungthep Fac Sci & Technol Div Math Bangkok 10120 Thailand

Linear systems involved in engineering and scientific calculations can be more easily analyzed using similarity transformation. However, understanding the numerous abstract linear algebra theorems associated with this transformation can be challenging. This paper proposes a systematic approach to organizing these theorems using SymPy, a symbolic mathematics library in Python, and develops an innovative Python module that leverages SymPy. It covers important theorems, including vector space basis, range space, null space, rank and nullity, eigenvalues, generalized eigenvectors, eigenspaces, and diagonal-Jordan canonical form transformations. These theorems are transformed into abstract data models and represented as programmatic objects using object-oriented programming to process input and output data. Two classes, 'rangeSpace' and 'similarTrnsfrm,' were created to handle computations related to range space and similarity transformation, respectively. The effectiveness of these classes has been validated through numerical results, which, when compared to MATLAB functions (null(), pinv(), sym(), and jordan()), demonstrate that the exact symbolic solutions from both classes significantly improve numerical precision for selected application examples from numerical algorithms, power systems and linear algebra. These classes have been uploaded to GitHub as open-source code, providing a versatile Python module that can be used for programming both offline on PCs and online through the web application "SymPy Live," producing satisfactory results even on mobile devices. This user-friendly module enables electrical engineering students and professionals to easily apply abstract linear algebra theorems to practical problems, facilitating computer-based solutions for linear systems that are consistent with analytical results.

关键词： Null space Vectors Eigenvalues and eigenfunctions Covariance matrices Python Mathematical models programming profession Principal component analysis Mobile handsets Linear systems Similarity transformation linear algebra symbolic mathematics SymPy object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：