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

Mumott – a Python package for the analysis of multi-modal tensor tomography data

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Nielsen, Leonard C. Carlsen, Mads Wang, Sici Baroni, Arthur Tänzer, Torne Liebi, Marianne Erhart, Paul Department of Physics Chalmers University of Technology Gothenburg Sweden Photon Science Division Paul Scherrer Institute Villigen Switzerland Institute of Materials Ècole Polytechnique Fèdèrale de Lausanne Lausanne Switzerland

Small and wide angle x-ray scattering tensor tomography are powerful methods for studying anisotropic nanostructures in a volume-resolved manner, and are becoming increasingly available to users of synchrotron facilities. The analysis of such experiments requires, however, advanced procedures and algorithms, which creates a barrier for the wider adoption of these techniques. Here, in response to this challenge, we introduce the Mumott package. It is written in Python with computationally demanding tasks handled via just-in-time compilation using both CPU and GPU resources. The package is being developed with a focus on usability and extensibility, while achieving a high computational efficiency. Following a short introduction to the common workflow, we review key features, outline the underlying object-oriented framework, and demonstrate the computational performance. By developing the Mumott package and making it generally available, we hope to lower the threshold for the adoption of tensor tomography and to make these techniques accessible to a larger research community. Copyright © 2025, The Authors. All rights reserved.

关键词： object oriented programming

BrahMap: A scalable and modular map-making framework for the CMB experiments 33

学校读者我要写书评

暂无评论

BrahMap: A scalable and modular map-making framework for the...

33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2025

作者： Anand, Avinash Puglisi, Giuseppe Università di Roma Tor Vergata Dipartimento di Fisica Via della Ricerca Scientifica 1 Roma00133 Italy Università di Roma Tor Vergata INFN Sezione di Roma2 Via della Ricerca Scientifica 1 Roma00133 Italy Università degli Studi di Catania Dipartimento di Fisica e Astronomia Via S. Sofia 64 Catania95123 Italy Osservatorio Astrofisico di Catania INAF Via S.Sofia 78 CataniaI-95123 Italy Sezione di Catania INFN Via S.Sofia 64 CataniaI-95123 Italy

ISBN: (纸本)9798331524937

The cosmic microwave background (CMB) experiments have reached an era of unprecedented precision and complexity. Aiming to detect the primordial B-mode polarization signal, these experiments will soon be equipped with $10^{4}$ to $10^{5}$ detectors. Consequently, future CMB missions will face the substantial challenge of efficiently processing vast amounts of raw data to produce the initial scientific outputs - the sky maps - within a reasonable time frame and with available computational resources. To address this, we introduce BrahMap, a new map-making framework that will be scalable across both CPU and GPU platforms. Implemented in C++ with a user-friendly Python interface for handling sparse linear systems, BrahMap employs advanced numerical analysis and high-performance computing techniques to maximize the use of super-computing infrastructure. This work features an overview of the BrahMap's capabilities and preliminary performance scaling results, with application to a generic CMB polarization experiment. © 2025 IEEE.

关键词： object oriented programming

A Study of Guide Documentation for Introductory Flutter programming Learning with Exercises

学校读者我要写书评

暂无评论

A Study of Guide Documentation for Introductory Flutter Prog...

Consumer Technology (ICCT-Pacific), International Conference on

作者： Safira Adine Kinari Nobuo Funabiki Soe Thandar Aung Mustika Mentari Pradini Puspitaningayu Dept. of Information and Communication Systems Okayama University Okayama Japan Department of Electrical Engineering Universitas Negeri Surabaya Surabaya Indonesia

ISBN: (数字)9798331504120

ISBN: (纸本)9798331504137

Dart is a programming language designed to facilitate cross-platform app development under Flutter environment. It has its own distinct format and structure that allow developers to write responsive codes while maintaining high performances across various platforms. Learning Flutter/Dart is easy for students who have been proficient in object oriented programming (OOP) concepts in as Java, JavaScript, or C. However, as a new language for mobile cross-platform programming, Flutter/Dart has different features that must be understood. In this paper, we present a comprehensive guide documentation that outlines key elements and advantages of Flutter/Dart programming for its independent learning. It helps learners navigate through foundational knowledge and practical exercises. As next studies, we will complete the guide documentation to cover the features, make proper exercises to review it, and evaluate the proposal through applications to students.

关键词： Java Computer languages Codes Reviews Navigation Documentation Proposals object oriented programming

AirRoom: objects Matter in Room Reidentification

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Yao, Runmao Du, Yi Chen, Zhuoqun Zheng, Haoze Wang, Chen Lab University at Buffalo United States

Room reidentification (ReID) is a challenging yet essential task with numerous applications in fields such as augmented reality (AR) and homecare robotics. Existing visual place recognition (VPR) methods, which typically rely on global descriptors or aggregate local features, often struggle in cluttered indoor environments densely populated with man-made objects. These methods tend to overlook the crucial role of object-oriented information. To address this, we propose AirRoom, an object-aware pipeline that integrates multi-level object-oriented information—from global context to object patches, object segmentation, and keypoints—utilizing a coarse-to-fine retrieval approach. Extensive experiments on four newly constructed datasets—MPReID, HMReID, GibsonReID, and ReplicaReID—demonstrate that AirRoom outperforms state-of-the-art (SOTA) models across nearly all evaluation metrics, with improvements ranging from 6% to 80%. Moreover, AirRoom exhibits significant flexibility, allowing various modules within the pipeline to be substituted with different alternatives without compromising overall performance. It also shows robust and consistent performance under diverse viewpoint variations. Project website: https://***/airroom/. Copyright © 2025, The Authors. All rights reserved.

关键词： object oriented programming

Imperative vs. Declarative programming Paradigms for Open-Universe Scene Generation

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Gumin, Maxim Han, Do Heon Yoo, Seung Jean Ganeshan, Aditya Jones, R Kenn Aguina-Kang, Rio Morris, Stewart Ritchie, Daniel Brown University United States UC San Diego United States

Synthesizing 3D scenes from open-vocabulary text descriptions is a challenging, important, and recently-popular application. One of its critical subproblems is layout generation: given a set of objects, lay them out to produce a scene matching the input description. Nearly all recent work adopts a declarative paradigm for this problem: using LLM to generate specification of constraints between objects, then solving those constraints to produce the final layout. In contrast, we explore an alternative imperative paradigm, in which an LLM iteratively places objects, with each object’s position and orientation computed as a function of previously-placed objects. The imperative approach allows for a simpler scene specification language while also handling a wider variety and larger complexity of scenes. We further improve the robustness of our imperative scheme by developing an error correction mechanism that iteratively improves the scene’s validity while staying as close as possible the original layout generated by the LLM. In forced-choice perceptual studies, participants preferred layouts generated by our imperative approach 82% and 94% of the time, respectively, when compared against two declarative layout generation methods. We also present a simple, automated evaluation metric for 3D scene layout generation that aligns well with human preferences. © 2025, CC BY.

关键词： object oriented programming

BrahMap: A scalable and modular map-making framework for the CMB experiments

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Anand, Avinash Puglisi, Giuseppe Dipartimento di Fisica Università di Roma Tor Vergata Via della Ricerca Scientifica 1 Roma00133 Italy INFN Sezione di Roma2 Università di Roma Tor Vergata Via della Ricerca Scientifica 1 Roma00133 Italy Dipartimento di Fisica e Astronomia Università degli Studi di Catania Via S. Sofia 64 Catania95123 Italy INAF Osservatorio Astrofisico di Catania Via S.Sofia 78 CataniaI-95123 Italy INFN Sezione di Catania Via S.Sofia 64 CataniaI-95123 Italy

The cosmic microwave background (CMB) experiments have reached an era of unprecedented precision and complexity. Aiming to detect the primordial B-mode polarization signal, these experiments will soon be equipped with 104 to 105 detectors. Consequently, future CMB missions will face the substantial challenge of efficiently processing vast amounts of raw data to produce the initial scientific outputs - the sky maps - within a reasonable time frame and with available computational resources. To address this, we introduce BrahMap, a new map-making framework that will be scalable across both CPU and GPU platforms. Implemented in C++ with a user-friendly Python interface for handling sparse linear systems, BrahMap employs advanced numerical analysis and high-performance computing techniques to maximize the use of super-computing infrastructure. This work features an overview of the BrahMap's capabilities and preliminary performance scaling results, with application to a generic CMB polarization experiment. © 2025, CC BY.

关键词： object oriented programming

ECS-Grid: Data-oriented Real-Time Simulation Platform for Cyber-Physical Power Systems

学校读者我要写书评

暂无评论

ECS-Grid: Data-Oriented Real-Time Simulation Platform for Cy...

IEEE General Meeting Power& Energy Society

作者： Tianshi Cheng Tong Duan Venkata Dinavahi University of Alberta National Digital Switching System Engineering and Technological Research Center

ISBN: (数字)9798350381832

ISBN: (纸本)9798350381849

ECS-Grid is the first data-oriented real-time electromagnetic transient simulation platform for cyber-physical power systems (CPPS). Traditional simulation tools are constrained by object-oriented programming (OOP) architecture, which is now a significant obstruction to creating a comprehensive cyber-physical simulation. Therefore, the proposed ECS-Grid platform follows a new data-oriented paradigm based on an entity-component-system (ECS) framework, which delivers higher flexibility, extensibility, scalability, and performance to support cyber-physical system research. ECS-Grid proposes a layer of virtual intelligent electronic devices (vIEDs) to model IEDs in CPPSs. The vIEDs directly talk to physical components and communicate asynchronously with cyber services via the proposed high-performance JSON-like binary protocol. Tests with the islanding and the man-in-the-middle cyberattack scenarios on a 711-node ac–dc microgrid cluster based on a modified CIGRE 15-Bus system are performed and give accurate results. A faster-than-real-time performance is achieved on the 10th Gen Intel Core TM i7 computer, and real-time performance is achieved on distributed embedded NVIDIA Jetson platform. The ECS-Grid design and test results demonstrate the potential of the ECS data-oriented paradigm and may inspire the renovation of industrial simulation software.

关键词： Performance evaluation Protocols Scalability object oriented modeling Microgrids Real-time systems Software Extensibility Power systems object oriented programming

OmniPaint: Mastering object-oriented Editing via Disentangled Insertion-Removal Inpainting

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Yu, Yongsheng Zeng, Ziyun Zheng, Haitian Luo, Jiebo University of Rochester United States Adobe Research United States

Diffusion-based generative models have revolutionized object-oriented image editing, yet their deployment in realistic object removal and insertion remains hampered by challenges such as the intricate interplay of physical effects and insufficient paired training data. In this work, we introduce OmniPaint, a unified framework that re-conceptualizes object removal and insertion as interdependent processes rather than isolated tasks. Leveraging a pre-trained diffusion prior along with a progressive training pipeline comprising initial paired sample optimization and subsequent large-scale unpaired refinement via CycleFlow, OmniPaint achieves precise foreground elimination and seamless object insertion while faithfully preserving scene geometry and intrinsic properties. Furthermore, our novel CFD metric offers a robust, reference-free evaluation of context consistency and object hallucination, establishing a new benchmark for high-fidelity image editing. Project page: https://***/OmniPaint-Page/. Copyright © 2025, The Authors. All rights reserved.

关键词： object oriented programming

Can Proof Assistants Verify Multi-Agent Systems?

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Mendez, Julian Alfredo Kampik, Timotheus Umeå University Sweden

This paper presents the Soda language for verifying multiagent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability. © 2025, CC BY.

关键词： object oriented programming