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

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

来源：评论

学校读者我要写书评

暂无评论

Educational programming Environments for Enhancing Conceptual Design in the object-oriented Paradigm: A Systematic Mapping Study

引用

JOURNAL OF EDUCATIONAL COMPUTING RESEARCH 2024年第1期62卷 290-322页

作者： Tsichouridis, Alexandros Xinogalos, Stelios Ampatzoglou, Apostolos Univ Macedonia Dept Appl informat Thessaloniki Greece Univ Macedonia Dept Comp Sci Thessaloniki Greece Univ Macedonia Sch Informat Sci Dept Appl Informat 156 Egnatia St Thessaloniki 54636 Greece

Teaching and learning programming, and especially object-oriented programming (OOP), is a complicated and challenging task. Students have to comprehend various OOP concepts and utilize them for designing object-oriented programs. Various types of educational programming environments, such as microworlds and educational games, have been devised for supporting novices mainly in comprehending OOP concepts. However, such environments do not usually support students in the conceptual design of object-oriented programs of a considerable length and complexity. In this paper, we focus on a systematic mapping study (SMS) of educational programming environments for enhancing the conceptual design in OOP, which relies on modularity, abstraction and encapsulation. The research questions investigate the intended learning outcomes, the empirical evidence on the effectiveness, and the teaching/learning technologies used by educational programming environments for enhancing the conceptual design in OOP. The findings can support instructors in selecting appropriate tools for their courses and researchers in the field of educational programming environments for OOP.

关键词： object-oriented design object-oriented programming teaching education tools

来源：评论

学校读者我要写书评

暂无评论

Pattern-Based Test Suite Reduction Method for Smart Contracts

引用

APPLIED SCIENCES-BASEL 2025年第2期15卷 620-620页

作者： 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards Reactive programming for object-oriented Applications

Towards Reactive Programming for Object-Oriented Application...

引用

12th International Conference on Modularity and Aspect-oriented Software Development

作者： Salvaneschi, Guido Mezini, Mira Tech Univ Darmstadt Software Technol Grp Darmstadt Germany

ISBN: (纸本)9783642550997;9783642550980

Reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design. On the other hand, reactive approaches based on automatic updates of dependencies - like functional reactive programming and dataflow languages - provide undoubted advantages but do not fit well with mutable objects. In this paper, we provide a research roadmap to overcome the limitations of the current approaches and to support reactive applications in the OO setting. To establish a solid background for our investigation, we propose a conceptual framework to model the design space of reactive applications and we study the flaws of the existing solutions. Then we highlight how reactive languages have the potential to address those issues and we formulate our research plan.

关键词： Reactive programming Functional-reactive programming object-oriented programming Incremental Computation

来源：评论

学校读者我要写书评

暂无评论

Perceptions of computer programming students on interactive environments for teaching object-oriented concepts using Java

Perceptions of computer programming students on interactive ...

引用

作者： PATRICK MWANSA Cape Peninsula University of Technology

学位级别：硕士

The skill of programming necessitates knowing programming tools, problem solving and effective techniques of program design and implementation. Most students are incapable of fully understanding and utilising the feature set of Integrated Development Environments (IDEs). The feature set of certain IDEs comes with a lot of functionalities and students have to spend a lot of their time studying the features of the IDE without paying much attention to the syntax and semantics of the programming language. The main objective of this study was to examine the perceptions of students on interactive environments for teaching object-oriented concepts using the Java programming language in two integrated development environments. This was done by adopting the ISO 9126 model to select generic external system quality characteristics and sub-characteristics that might influence student evaluation of an IDE. The proposed model was applied on NetBeans and JCreator LE 5.0 as IDEs for teaching Java programming using OOP concepts. The study adopted a mixed method research approach using interviews and questionnaires. A single-case study was used for data collection and analysis. The approaches collected data from two groups of students using either NetBeans or JCreator and who were learning OOP concepts. The study further looked at the students' class tests and exam results in an effort to have an objective overview of how students performed. These groups of students were at two different campuses of the selected University. Each group had already been exposed to the Java syntax. The result from this study was general guidelines to establish an interactive OOP development environment for teaching and learning of Java programming that enhances OOP comprehension. This research study involved human subjects. It was, therefore, a requirement to seek ethics approval. Additionally, the objects involved were students of a selected University and as such a consent letter was sought from the U

关键词： object-oriented programming Java NetBeans JCreator 5.0 IDE

来源：评论

学校读者我要写书评

暂无评论

SYMBOLIC-NUMERICAL object-oriented FINITE ELEMENT programming

SYMBOLIC-NUMERICAL OBJECT-ORIENTED FINITE ELEMENT PROGRAMMIN...

引用

作者： PISITH SAM THAMMASAT UNIVERSITY

学位级别：硕士

There are times when closed-form analysis of solids and structures is needed. When only a structural member is considered, it is certainly possible to perform this type of analysis by hand. However, when a structure with several members is to be considered, manual calculation becomes practically impossible even when closed-form solutions are theoretically obtainable. A finite element (FE) program that can symbolically analyze elasticity problems of solids and structures can therefore be quite useful. Unfortunately, symbolic computations are usually difficult to perform when problems are complex. In these cases, numerical computations are still necessary. This study presents an object-oriented FE program that can perform both symbolic and numerical computations. The program is implemented in MATLAB. The object-oriented programming (OOP) technique is used to enhance the maintainability, extendibility, and reusability of the program. The proposed program is capable of performing symbolic and numerical finite element analysis depending on the input it receives. The obtained program is tested using some engineering problems in order to demonstrate its usefulness. The results obtained from the program are found to be satisfactory.

关键词： Finite element programming Closed-form analysis Linear elasticity Symbolic computation Numerical computation Symbolic-numerical computation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Live But Not Active: Minimal Effect with Passive Live Coding 2025

Live But Not Active: Minimal Effect with Passive Live Coding

引用

56th Technical Symposium on Computer Science Education

作者： Watkins, Andrea Settle, Amber Miller, Craig S. Schwabe, Eric J. Univ Illinois Urbana IL 61820 USA Depaul Univ Chicago IL USA

ISBN: (纸本)9798400705328

Background: Live coding, or the process of instructors writing code in real time in front of students, is an alternative teaching method to showing students static code examples. Variations of live coding tightly coupled with more active learning approaches are common, which can make it difficult to understand the contribution of live coding alone. Purpose: In this study, we aim to disentangle the benefits of live coding from live coding with explicit active learning approaches. We compare live coding with no added active learning components to presenting students with static code examples. Methods: We present a programming topic to over 100 students using either live coding or static code examples. To more closely parallel showing static code examples, our live coding process involves simply writing and discussing code. We compare student performance and engagement between the two session modes. Findings: Our results show no significant difference between the two presentation modes in terms of learning outcomes. This suggests that live coding in its most basic form may not be sufficiently different from showing static code examples to impact student performance. We also found that live coding students were much more likely to type code, but no more likely to display other engagement behaviors. However, of the engagement activities, only different levels of code typing corresponded with different learning outcomes. Contributions: This research highlights the need for more explicit differentiation and comparisons of live coding with and without active learning strategies.

关键词： engagement live coding object-oriented programming static code examples

来源：评论

学校读者我要写书评

暂无评论

Application of Robot programming to the Teaching of object-oriented Computer Languages

引用

INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION 2016年第4期32卷 1823-1832页

作者： Corral, J. M. Rodriguez Morgado-Estevez, A. Cabrera, D. Molina Perez-Pena, F. Rodriguez, C. A. Amaya Balcells, A. Civit Sch Engn Ave Univ Cadiz 10 Puerto Real 11519 Cadiz Spain Tech Sch Comp Engn Ave Reina Mercedes S-N Seville 41012 Spain

object-oriented programming (OOP) abstract concepts are often difficult to understand for students, since it is not easy to find the equivalence of such concepts in daily life. In this paper we will study if an interdisciplinary approach based on an introduction to robotics and robot programming helps the student in acquiring the OOP concepts. For our experiments, we selected a sample of thirty individuals among students with an adequate knowledge of procedural programming. This sample was divided into two groups of fifteen students each: for the first one we used a standard introductory approach to C#, whereas for the second one we developed an experimental course that included a demonstration program that illustrated OOP basic concepts using the features of a specific type of commercial ball-shaped robot with sensing, wireless communication and output capabilities. After the courses, both groups were evaluated by completing a multiple-choice exam and a C# programming exercise. Our results show that the student group that attended the course including the robot demo showed a higher interest level (i.e. they felt more motivated) than those students that attended the standard introductory C# course. Furthermore, the students from the experimental group also achieved an overall better mark.

关键词： interdisciplinary projects mobile robots object-oriented programming robot programming teaching-learning strategies

来源：评论

学校读者我要写书评

暂无评论

MODULES, objectS AND DISTRIBUTED-programming - ISSUES IN RPC AND REMOTE object INVOCATION

引用

SOFTWARE-PRACTICE & EXPERIENCE 1991年第1期21卷 77-90页

作者： LEVY, HM TEMPERO, ED Department of Computer Science and Engineering University of Washington Seattle WA 98195 U.S.A.

Distributed programming can be greatly simplified by language support for distributed communication, such as that provided by remote procedure call (RPC) or remote object invocation. This paper examines design and implementation issues in these systems, and focuses on the influence of the communication system on a distributed program. To make the discussion concrete, we introduce a single application as implemented in two environments: Modula-2+, an extension of Modula-2 with RPC, and Emerald, an object-based language that supports remote object invocation. We show that small differences in the implementation of the communication system can have a significant impact on how distributed applications are structured.

关键词： DISTRIBUTED programming object-oriented programming programming LANGUAGES ABSTRACT DATA TYPES REMOTE PROCEDURE CALL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：