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

Fortran... ok, and what’s next?

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Magnin, Vincent Alves, José Arnoud, Antoine Markus, Arjen Marzino, Michele Esposito IEMN UMR CNRS 8520 France Transvalor S.A. Sophia Antipolis France International Monetary Fund United States Deltares Research Institute Netherlands The University of Liège Belgium

Modern Fortran is a standardized language that includes object-oriented and parallel programming paradigms. The Fortran-lang community, created at the end of 2019, is actively working to modernize its ecosystem. New compilers are under development. And the fourth Fortran standard of the 21st century is due to be published in autumn 2023 1 Copyright © 2024, The Authors. All rights reserved.

关键词： object oriented programming

Mathematical Models for Energy and Resource-Efficient Management of Coke Ovens Considering Environmental Impact

学校读者我要写书评

暂无评论

Mathematical Models for Energy and Resource-Efficient Manage...

International Conference on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)

作者： Farida Zagidullina Tamara Chistyakova Oksana Boykova Saint Petersburg State Technological Institute (Technical University) St. Petersburg Russia

ISBN: (数字)9798331532178

ISBN: (纸本)9798331532185

The study analyzes the environmental aspects of the coking process, examines the current state of the coke-chemical industry, and formulates the problem of resource- and energy-efficient management of the coke oven battery considering environmental impact. A formalized description of the controlled obj ect and an algorithm for calculating the characteristics of the coking process have been developed. The paper presents a mathematical model of the static behavior of the coke oven battery, including calculations of material and thermal balances, hydraulic regime, and the amount of harmful emissions. An example of calculating gaseous emissions into the atmosphere is provided, implemented in the MS Visual Studio development environment using the object-oriented programming language C#.

关键词： Visualization Ovens Atmospheric modeling object oriented modeling Process control Hydraulic systems Mathematical models Energy efficiency Batteries object oriented programming

Tutorial: object as a Service (OaaS) Serverless Cloud Computing Paradigm

学校读者我要写书评

暂无评论

Tutorial: Object as a Service (OaaS) Serverless Cloud Comput...

International Conference on Distributed Computing Systems Workshop

作者： Pawissanutt Lertpongrujikorn Mohsen Amini Salehi High Performance Cloud Computing (HPCC) Lab University of North Texas

ISBN: (数字)9798350354713

ISBN: (纸本)9798350354720

While the first generation of cloud computing systems mitigated the job of system administrators, the next generation of cloud computing systems is emerging to mitigate the burden for cloud developers-facilitating the development of cloud-native applications. This paradigm shift is primarily happening by offering higher-level serverless abstractions, such as Function as a Service (FaaS). Although FaaS has successfully abstracted developers from the cloud resource management details, it falls short in abstracting the management of both data (i.e., state) and the non-functional aspects, such as Quality of Service (QOS) requirements. The lack of such abstractions implies developer intervention and is counterproductive to the objective of mitigating the burden of cloud-native application development. To further streamline cloud-native application development, we present object-as-a-Service (OaaS)-a serverless paradigm that borrows the object-oriented programming concepts to encapsulate application logic and data in addition to non-functional requirements into a single deployment package, thereby streamlining provider-agnostic cloud-native application development. We realized the OaaS paradigm through the development of an open-source platform called Oparaca. In this tutorial, we will present the concept and design of the OaaS paradigm and its implementation-the Oparaca platform. Then, we give a tutorial on developing and deploying the application on the Oparaca platform and discuss its benefits and its optimal configurations to avoid potential overheads.

关键词： Cloud computing Conferences Tutorials Quality of service Resource management Logic object oriented programming

Extended Polymorphism Semantics for fUML Models

学校读者我要写书评

暂无评论

Extended Polymorphism Semantics for fUML Models

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Maximilian Hammer Ralph Maschotta Armin Zimmermann Computer Science and Automation Department Systems and Software Engineering Group Technische Universitat Ilmenau Ilmenau Germany

ISBN: (数字)9798350380262

ISBN: (纸本)9798350380279

Polymorphism is a foundational concept within the object-oriented paradigm and is a feature of any mainstream object-oriented language that supports reusability and abstraction in software designs. With fUML being a standard specification of execution semantics of UML activity diagrams, it defines functionalities to simulate polymorphic behavior within such model executions. fUML only provides a simple standard implementation for simulating dynamic polymorphism at runtime. This default implementation does not meet the criteria of polymorphism as it is well-known and established by most mainstream object-oriented programming languages over the last decades, nor does it comply with the constraints for method overriding imposed by the original UML specification. However, fUML offers extension capabilities to add user-defined behavior for semantic variation points like polymorphism handling. This paper presents an extension of fUML execution semantics, enabling refined and more sophisticated simulation of polymorphism for executable UML models to comply with UML and the general understanding and functioning principles of polymorphic behavior within the object-oriented paradigm.

关键词： Hands Computer languages Runtime Software design object oriented modeling Unified modeling language Semantics object oriented programming Standards Software development management

A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Cipriano, Bruno Pereira Alves, Pedro Denny, Paul Lusófona University COPELABS Campo Grande Lisbon376 Portugal The University of Auckland Auckland New Zealand

Much research has highlighted the impressive capabilities of large language models (LLMs), like GPT and Bard, for solving introductory programming exercises. Recent work has shown that LLMs can effectively solve a range of more complex object-oriented programming (OOP) exercises with text-based specifications. This raises concerns about academic integrity, as students might use these models to complete assignments unethically, neglecting the development of important skills such as program design, problem-solving, and computational thinking. To address this, we propose an innovative approach to formulating OOP tasks using diagrams and videos, as a way to foster problem-solving and deter students from a copy-and-prompt approach in OOP courses. We introduce a novel notation system for specifying OOP assignments, encompassing structural and behavioral requirements, and assess its use in a classroom setting over a semester. Student perceptions of this approach are explored through a survey (n=56). Generally, students responded positively to diagrams and videos, with video-based projects being better received than diagram-based exercises. This notation appears to have several benefits, with students investing more effort in understanding the diagrams and feeling more motivated to engage with the video-based projects. Furthermore, students reported being less inclined to rely on LLM-based code generation tools for these diagram and video-based exercises. Experiments with GPT-4 and Bard’s vision abilities revealed that they currently fall short in interpreting these diagrams to generate accurate code solutions. © 2024, CC BY.

关键词： object oriented programming

Kotlin’s Type System is (Also) Unsound

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Kinsbruner, Elad Peleg, Hila Itzhaky, Shachar Technion Haifa Israel

Soundness of a type system is a fundemental property that guarantees that no operation that is not supported by a value will be performed on that value at run time. A type checker for a sound type system is expected to issue a warning on every type error. While soundness is a desirable property for many practical applications, in 2016, Amin and Tate presented the first unsoundness proof for two major industry languages: Java and Scala. This proof relied on use-site variance and implicit null values. We present an unsoundness proof for Kotlin, another emerging industry language, which relies on a previously unknown unsound combination of language features. Kotlin does not have implicit null values, meaning that the proof by Amin and Tate would not work for Kotlin. Our new proof, which is an infringing code snippet, utilizes Kotlin’s declaration-site variance specification and does not require implicit null values. We present this counterexample to soundness in full along with detailed explanations of every step. Finally, we present a thorough discussion on precisely which language features cause this issue, as well as how Kotlin’s compiler can be patched to fix it. © 2024, CC BY-SA.

关键词： object oriented programming

Modelling and Design of a Finite State Machine Based Elevator Control System for Efficient Vertical Transportation

学校读者我要写书评

暂无评论

Modelling and Design of a Finite State Machine Based Elevato...

Global Conference for Advancement in Technology (GCAT)

作者： Shanmukha Reddy Anreddy K. Sriram Charan N. Naga Sai Niharika Panda Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Bengaluru India

ISBN: (数字)9798350376685

ISBN: (纸本)9798350376692

The elevator control system serves as a crucial element in modern infrastructures, facilitating the vertical movement of individuals within buildings efficiently and securely. Finite State Machines (FSMs) offer a method to model the behavior of elevators, capturing transitions between distinct states such as stationary, ascending, descending, and door operations. This paper presents the design of a simplified elevator control system employing FSM principles, accompanied by python code for intuitive visualization of the elevator's status and functionalities. The FSM model encompasses states including Stopped, Moving Up, Moving Down, Opening Doors, and Closing Doors, each characterized by specific transitions triggered by user commands or operational requirements. Through this approach, the system achieves robustness, responsiveness, and adaptability to varying usage scenarios, ensuring safe and efficient elevator operations in diverse building environment.

关键词： Adaptation models object oriented modeling Buildings Transportation Automata Control systems Elevators Safety object oriented programming Python

ENHANCING PSYCHOMETRIC ANALYSIS WITH INTERACTIVE SHINYITEMANALYSIS MODULES

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Martinková, Patrícia Netík, Jan Hladká, Adéla Institute of Computer Science Czech Academy of Sciences Prague Czech Republic Faculty of Education Charles University Prague Czech Republic

ShinyItemAnalysis (SIA) is an R package and shiny application for an interactive presentation of psychometric methods and analysis of multi-item measurements in psychology, education, and social sciences in general. In this article, we present a new feature introduced in the recent version of the package, called "SIA modules", which allows researchers and practitioners to offer new analytical methods for broader use via add-on extensions. We describe how to build the add-on modules with the support of the new SIAtools package and demonstrate the concepts using sample modules from the newly introduced SIAmodules package. SIA modules are designed to integrate with and build upon the SIA interactive application, enabling them to leverage the existing infrastructure for tasks such as data uploading and processing. They can access a range of outputs from various analyses, including item response theory models, exploratory factor analysis, or differential item functioning models. Because SIA modules come in R packages (or extend the existing ones), they may come bundled with their datasets, use object-oriented systems, or even compiled code. We discuss the possibility of broader use of the concept of SIA modules in other areas and the importance of freely available interactive psychometric software for methods dissemination. © 2024, CC BY.

关键词： object oriented programming

Coding standard based object oriented programming course teaching reform

学校读者我要写书评

暂无评论

Coding standard based object oriented programming course tea...

2013 5th International Conference on Computational and Information Sciences, ICCIS 2013

作者： Jiang, Zuowen Zhao, Yiming Qin, Zhiping Lin, Xueming College of Science and Technology Ningbo University 315211 NingBo China

ISBN: (纸本)9780769550046

object oriented programming is an important subject for computer major students, this course not only delivers the expertise on how to write program in an OOP language, but also guides students to think in object oriented paradigm. Teachers always found themselves in confusion on which language should be used as the teaching tool. In this paper we present some reform measures took based on our own teaching experiences, by introducing the thinking in object oriented paradigm. We use C#, C++ and Java in parallel to deliver the course. By emphasizing the programming standard in coding, the students acquired the knowledge to distinguish the 3 languages in practice as well as the OOP itself. © 2013 IEEE.

关键词： object oriented programming