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' expe...
详细信息
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
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 lea...
详细信息
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.
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 Pa...
详细信息
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.
The object-oriented programming (OOP) technique is nowadays the most popular programming technique among tertiary education institutions. However, learning OOP is a cognitively demanding task for undergraduate student...
详细信息
The object-oriented programming (OOP) technique is nowadays the most popular programming technique among tertiary education institutions. However, learning OOP is a cognitively demanding task for undergraduate students. Several difficulties and misconceptions have been recorded in the literature for both OOP concepts and languages, mainly Java. This article focuses on reviewing and advancing research on the most fundamental OOP concepts, namely, the concepts of "object" and "class" and their role during program execution. The results of a long-term investigation on the subject are presented, focusing on a study exploring undergraduate students' conceptions on "objects" and "classes." The study advances related research on categories of conceptions on "objects" and "classes" by providing quantitative results, in addition to qualitative results, regarding the frequency of the recorded conceptions. Nearly half the students seem to comprehend the modeling and static/dynamic aspects of the concepts "object" and "class." Implications for achieving a deep conceptual understanding of text, action, and modeling aspects of these fundamental concepts are also discussed. Information regarding the programming environments utilized in the course and key features of the applied teaching approach are presented, in order to facilitate both a better understanding of the context and a better employment of the results of the presented study. Finally, proposals for enhancing the contribution of this and similar studies are made.
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 ...
详细信息
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.
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 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.
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 mi...
详细信息
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.
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 mo...
详细信息
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.
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-a...
详细信息
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.
This study introduces a novel topology optimization approach by employing power law-based material interpolation and adaptive filtering in the framework of the unstructured grids. As an extension of the established So...
详细信息
This study introduces a novel topology optimization approach by employing power law-based material interpolation and adaptive filtering in the framework of the unstructured grids. As an extension of the established Solid Isotropic Material with Penalization (SIMP) method that utilizes the fixed structured mesh, the proposed Colored Body-Fitted Optimization (CBFO) method adopts the body-fitted grids to enhance efficiency, accuracy, and adaptability for diverse engineering applications. Notably, incorporating body-fitted meshes with intermediate density profiles enables improved flexibility in the numerical simulations and eliminates the need for re-meshing in each iteration. The dual re-meshing strategy drastically reduces computational costs, with only two re-meshing procedures required throughout the optimization process. This approach facilitates the generation of dense mesh regions around critical boundaries to augment solution accuracy while enabling sparse mesh configurations in the low-sensitivity regions, thereby boosting computational efficiency without compromising performance. The effectiveness, robustness, and efficiency of the CBFO method are validated through testing on multiple standard minimum compliance and compliant mechanism problems. The proposed optimization method can converge in dozens of iterations, obtain better objective function values, and save computational costs by up to 69 % compared to the previous method using the body-fitted mesh. Additionally, a concise MATLAB script implementing the proposed method using an object-oriented programming (OOP) paradigm is provided in the appendix and the supplementary material, complete with annotations.
暂无评论