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

2024 international conference on Quantum computing and Engineering

作者： Alnas, Jude Dalvi, Aniket S. Brown, Kenneth R. Duke Univ Duke Quantum Ctr Durham NC 27706 USA Duke Univ Dept Elect & Comp Engn Durham NC 27706 USA Duke Univ Dept Phys Durham NC 27706 USA Duke Univ Dept Chem Durham NC 27706 USA

ISBN: (纸本)9798331541378

In this work, we introduce a framework for designing system-agnostic quantum experiments at the pulse level. Our framework uses pulselib, a Python package for system independent graphical representations of arbitrary pulses, as the domain-specific language for describing experiments. We bridge the gap between the abstract pulse representation in pulselib and the specifics of a target backend by defining a set of operations necessary to convert and synthesize pulses. By employing a handle-based architecture, we decouple experiment code from the underlying backend instruction set. We demonstrate the utility of this framework by enabling reusable quantum experiments using an ARTIQ platform equipped with direct digital synthesizers and recreating complex pulse modulation schemes relevant to trapped-ion experiments.

关键词： quantum system software quantum control software pulse-level quantum experiments ARTIQ

来源：评论

学校读者我要写书评

暂无评论

simulation Technology of Unmanned Surface Vehicle Cluster Based on Digital Modeling 1

引用

3rd international conference on Autonomous Unmanned systems, ICAUS 2023

作者： Xu, Fengchi Zhang, Kui Song, Shengnan Xie, Yangliu CSSC System Engineering Research Institute Beijing100094 China

ISBN: (数字)9789819710959

ISBN: (纸本)9789819710942

The Unmanned Surface Vehicle(USV) cluster system is an organization system which realizes the grouping of many unmanned Vehicle on demand under the support of marine information system, and realizes the integration of mission capability through integrated command and control and dynamic cooperation among them. In order to realize the high-efficiency and low-cost test of USV cluster system, the simulation technology of USV cluster based on digital modeling is proposed. The logic independent computing created by virtualization technology makes it have the same computing resources and network as the real vehicle, and can simulate the basic loads such as navigation and positioning, and typical task loads such as radar, photoelectric device, and sonar. The feasibility of the simulation technology of USV cluster based on digital modeling is verified by simulation test, and the correctness of the simulation technology of USV cluster based on digital modeling is obtained by comparing with the real Vehicle test. © Beijing HIWING scientific and Technological Information Institute 2024.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Mobile Infant Care Monitoring system Based on Virtual simulation Technology of Computer Service Programs

Design and Implementation of a Mobile Infant Care Monitoring...

引用

2024 international conference Optoelectronic Information and Optical Engineering, OIOE 2024

作者： Jun, Guobin School of Children's Welfare Changchun Humanities and Sciences College Changchun China

ISBN: (数字)9781510688209

ISBN: (纸本)9781510688193

With the changes in modern families and the needs of infants, traditional parenting methods are no longer able to meet the needs of parents. In order to provide a more advanced and convenient parenting method, this study designed and implemented a mobile parenting monitoring system based on virtual simulation technology of computer service programs. This system utilized virtual simulation technology, combined with mobile devices and cloud computing technology, to provide real-time remote monitoring and intelligent childcare services, providing greater convenience for parents and comprehensive care for infants. The real-time monitoring range of the mobile childcare monitoring system designed in this article was expanded to 100 meters compared to the traditional one, with the number of cameras increasing from 1 to 4, and the storage capacity also expanding to 50GB. The feasibility of the system also had advantages in terms of technical proficiency, economic cost, time cost, market competitiveness, and operational difficulty. The average score in terms of system stability was 85.71, which was also much higher than traditional childcare monitoring systems. The mobile childcare monitoring system designed in this article was significantly superior to traditional childcare monitoring systems and had broad application prospects. © 2025 SPIE.

关键词： Mobile applications

来源：评论

学校读者我要写书评

暂无评论

Devastator: A Scalable Parallel Discrete Event simulation Framework for Modern C plus 38

Devastator: A Scalable Parallel Discrete Event Simulation Fr...

引用

38th ACM SIGSIM international conference on Principles of Advanced Discrete simulation (ACM SIGSIM PADS)

作者： Bachan, John Nguyen, Tan Natarajan, Mahesh Bremer, Maximilian Chan, Cy Jiang, Xuan Ye, Jianlan Lawrence Berkeley Natl Lab Berkeley CA USA Univ Calif Berkeley Berkeley CA USA Arizona State Univ Tempe AZ USA

ISBN: (纸本)9798400703638

Parallel discrete event simulation is a fundamental simulation technology that is essential to the parallelization of event-based models including hardware and transportation systems. Parallelization is often difficult due to dynamic data-dependencies and limited computational work for hiding runtime overheads. We present Devastator, a scalable parallel discrete event simulation framework for modern C++. Devastator provides a productive API that leverages C++'s type system to eliminate boilerplate code. Devastator has been designed to specifically optimize performance on distributed many-core architectures with deepening memory hierarchies. Devastator relies on the GASNet-Ex communication runtime as well as lock-free message queues to achieve highly competitive performance. We perform strong and weak scaling studies on NERSC's Perlmutter up to 32,698 cores and demonstrate an up to 5x speed-up over the ROSS simulator for workloads with substantial locality.

关键词： High-performance computing parallel discrete event simulation Time Warp active messages GASNet

来源：评论

学校读者我要写书评

暂无评论

Embeddable parallel digital image of doubly-fed induction generator

引用

ENERGY REPORTS 2023年 9卷 388-397页

作者： Yang, Zheng Ye, Hua Pei, Wei Zheng, Chen Tang, Yuzheng Wang, Yi Chinese Acad Sci Inst Elect Engn Beijing 100190 Peoples R China China State Grid Henan Elect Power Res Inst Zhengzhou 450052 Peoples R China Univ Chinese Acad Sci Beijing 100049 Peoples R China

Due to the complexity of the structure of doubly-fed induction generator (DFIG), it is difficult to conduct real-time simulation. For this reason, this paper designs an embeddable parallel digital image IP of DFIG based on field programmable logic array (FPGA) to realize efficient electromagnetic simulation of DFIG. First, this paper proposes a virtual capacitor equivalent method for induction machine equivalent "T" circuit decoupling;Secondly, based on the principle of data independence and parallelism within the time step, a parallel algorithm for the internal components of DFIG is proposed;Finally, the FPGA-DFIG digital image constructed in this paper is connected to the RT-LAB/power grid, and hardware experiments are carried out under three working conditions: steady state, voltage sag and DC side fault. The experimental results are compared with the simulation results of DFIG grid connected system built in MATLAB/Simulink environment to verify the effectiveness and rapidity of the methods and models proposed in this paper.(C) 2023 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://***/licenses/by-nc-nd/4.0/). Peer-review under responsibility of the scientific committee of the 2nd international Joint conference on Energy and Environmental Engineering, CoEEE, 2022.

关键词： FPGA Virtual capacitor equivalent method Parallel computing DFIG Faster-than-real-time simulation

来源：评论

学校读者我要写书评

暂无评论

Formal Vs simulation based Verification on Receiver Training Sequence Block of USB3.2 Controller 15

Formal Vs Simulation based Verification on Receiver Training...

引用

15th international conference on Advances in computing, Control, and Telecommunication Technologies, ACT 2024

作者： Tabdil, Sai Asrith Sunkaria, Ramesh K. Ramaiah, Sakthivel Department of Electronics and Communication Engineering Dr. BR Ambedkar National Institute of Technology Punjab Jalandhar India

ISBN: (纸本)9798331300579

The constant evolution of high-speed digital inter- faces has created a demand for robust and reliable designs. As a key component in ensuring reliable data transfer, receiver training sequence modules play a critical role in high-speed serial communication protocols like USB (Universal Serial Bus). Formal verification and simulation based verification are two different methods for verifying the correctness of any digital design. The simulation based verification checks the correctness of the design through the simulation of the design. It includes building of test bench architecture using system Verilog (SV) and Universal Verification Methodology (UVM), whereas Formal verification is a mathematical approach of verifying the design exhaustively. This paper gives a comparative analysis of a design using the two different verification methods. The block subjected for the verification has been taken from the Universal Serial Bus 3.2 (USB) controller. Using formal verification two corner case bugs were found and fixed at the early stage of the project and 100% code coverage is achieved. © Grenze scientific Society, 2024.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Turbulence Data Sharing Platform for scientific Big Data 17

Design and Implementation of a Turbulence Data Sharing Platf...

引用

17th international conference on Networking, Architecture and Storage

作者： Zhao, Youjun Zhang, Xiao Cheng, Wendi Pan, Zhaohui Sun, Chenguang Shan, Xueqiang Northwestern Polytech Univ Sch Comp Sci Xian Peoples R China

ISBN: (纸本)9798331520519;9798331520502

Turbulence is a three-dimensional fluid motion state with multiple scales and mutual coupling in time and space. Studying turbulence phenomena is crucial for the design and drag reduction of aircraft and engines. In recent years, with the powerful computing power of computers, data-based turbulence research methods have become a hot topic, such as the Direct Numerical simulation (DNS) method, which is receiving attention. However, compared to Large Eddy simulation (LES), the amount of data generated by direct numerical simulation methods far exceeds that of traditional LES, which brings difficulties in data storage. Abroad, multiple research institutions in Europe, the United States, and Japan have established multiple turbulence data sharing platforms, but the construction of turbulence data sharing platforms in China is still in a blank stage. This article first analyzes the characteristics of turbulence science big data, and then starts from the practical problems faced by domestic research institutions when sharing and using data, designs and implements the first independently controllable turbulence data sharing platform in China. Currently, the platform has integrated 180TB of data from five domestic universities and research institutions, providing an important resource sharing platform and data research tool for turbulence researchers in China.

关键词： Data sharing platform Distributed file system Web application

来源：评论

学校读者我要写书评

暂无评论

Scalable Semantic Non-Markovian simulation Proxy for Reinforcement Learning

Scalable Semantic Non-Markovian Simulation Proxy for Reinfor...

引用

international conference on Semantic computing

作者： Kaustuv Mukherji Devendra Parkar Lahari Pokala Dyuman Aditya Paulo Shakarian Clark Dorman Arizona State University Tempe AZ USA Scientific Systems Company Inc Woburn MA USA

Recent advances in reinforcement learning (RL) have shown much promise across a variety of applications. However, issues such as scalability, explainability, and Markovian assumptions limit its applicability in certain domains. We observe that many of these shortcomings emanate from the simulator as opposed to the RL training algorithms themselves. As such, we propose a semantic proxy for simulation based on a temporal extension to annotated logic. In comparison with two high-fidelity simulators, we show up to three orders of magnitude speed-up while preserving the quality of policy learned. In addition, we show the ability to model and leverage non-Markovian dynamics and instantaneous actions while providing an explainable trace describing the outcomes of the agent actions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application of a New simulation Training system for Marine Oil Separators

Application of a New Simulation Training System for Marine O...

引用

2023 international conference on Applied Mathematics and Digital simulation, AMDS 2023

作者： Chen, Yahui Sun, Jianbo Ruan, Zhang Zuo, Chunkuan Marine Engineering College Dalian Maritime University Liaoning Dalian116026 China

Aiming at the problems of the old models of fuel oil and lube oil separators in the existing domestic and foreign marine engine simulators, which can not carry out fault checking training and can not meet the requirements of the existing seafarers' assessment standards, based on the composition and working principle of Alfa SU type separator, the mathematical models of fuel and Lube oil separator pipeline system, SU oil separator and EPC50 control unit are established by using modular modeling method By using VC + +, the calculation program and visual operation interface of the mathematical model are compiled, and the SU oil separator simulation training system is developed and applied to the evaluation training and assessment of seafarers organized by Liaoning Maritime Administration The simulation experiment and application practice show that the operating interface is the same as that of the real system, and the simulation model can accurately reflect the changing rule of the real system and reproduce the common fault phenomena, it meets the requirements of Seafarers' evaluation criterion. © Published under licence by IOP Publishing Ltd.

关键词： Separators

来源：评论

学校读者我要写书评

暂无评论

Modeling and simulation of Missile-target Rendezvous Model in Passive Millimeter Wave Detection system 8

Modeling and Simulation of Missile-target Rendezvous Model i...

引用

8th international conference on Intelligent computing and Signal Processing, ICSP 2023

作者： Feng, Jianli Gao, Linhong Xi'an Shiyou University School of Computer Science Shaanxi Xi'an China

ISBN: (纸本)9798350302455

Based on the detection process of the armored target by millimeter wave radiometer on bomb, the radiometer coordinate system, the armored target coordinate system, and the background coordinate system were established respectively, and the mutual conversion relationship between the three coordinate systems was deduced. According to the intersection condition, the calculation method of the intersection point coordinates was derived, and the simulation model of the missile-target rendezvous was established based on MATALB. © 2023 IEEE.

关键词： Missiles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：