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

Online Credibility Assessment of Equipment Digital Twin for Discrete Manufacturing

IEEE Transactions on Automation Science and Engineering 2025年 22卷 14763-14774页

作者： Lu, Han Zhang, Lin Deen, M. Jamal Wang, Kunyu Cheng, Hongbo Yang, Laurence T. Beihang University Hangzhou International Innovation Institute Zhejiang 311115 China Beihang University School of Automation Science and Electrical Engineering Beijing100191 China State Key Laboratory of Intelligent Manufacturing System Technology Beijing100854 China AI Atlas Inc Canada Zhengzhou University School of Computer and Artificial Intelligence School of Software Engineering Zhengzhou China St. Francis Xavier University Department of Computer Science Antigonish Canada

The equipment digital twins (EDTs) for discrete manufacturing should be calibrated quickly to avoid irreversible physical damage to the equipment caused by biased control commands. Therefore, an online credibility assessment method for EDTs is urgently needed. However, existing assessment approaches consume too much time, and thus could not reveal dynamic faults in time. In this paper, the dynamic relationship between online evolution and actual applications of EDTs is investigated. Then, two steps are proposed to accelerate the assessment process significantly. One involves pre-constructing a performance-deviation-agent (PDA), and the other involves dynamically fitting the application-time-window (ATW) probability distribution. The methodology is applicable to discrete manufacturing processes. The dynamic credibility of EDT evolution process can be updated after every iteration of the model evolution. Sorting manufacturing equipment was used as a case study to demonstrate the effectiveness of this method. The time consumption was reduced by 90% compared with traditional assessment methods in the case. © 2025 IEEE.

关键词： Fabrication

来源：评论

学校读者我要写书评

暂无评论

From an odd arity signature to a Holant dichotomy

arXiv

引用

arXiv 2025年

作者： Meng, Boning Wang, Juqiu Xia, Mingji Zheng, Jiayi Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software University of Chinese Academy of Sciences Beijing100080 China

Holant is an essential framework in the field of counting complexity. For over fifteen years, researchers have been clarifying the complexity classification for complex-valued Holant on the Boolean domain, a challenge that remains unresolved. In this article, we prove a complexity dichotomy for complex-valued Holant on Boolean domain when a non-trivial signature of odd arity exists. This dichotomy is based on the dichotomy for #EO, and consequently is an FPNP vs. #P dichotomy as well, stating that each problem is either in FPNP or #P-hard. Furthermore, we establish a generalized version of the decomposition lemma for complex-valued Holant on Boolean domain. It asserts that each signature can be derived from its tensor product with other signatures, or conversely, the problem itself is in FPNP. We believe that this result is a powerful method for building reductions in complex-valued Holant, as it is also employed as a pivotal technique in the proof of the aforementioned dichotomy in this article. Copyright © 2025, The Authors. All rights reserved.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation

引用

IEEE Transactions on computer-Aided Design of Integrated Circuits and systems 2025年

作者： Huang, Yunqi Gao, Dingchao Ying, Shenggang Li, Sanjiang Faculty of Engineering and Information Technology SydneyNSW2007 Australia Institute of Software Chinese Academy of Sciences Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science China

Neutral atom (NA) quantum systems are emerging as a leading platform for quantum computation, offering superior or competitive qubit count and gate fidelity compared to superconducting circuits and ion traps. However, the unique features of NA devices, such as long-range interactions, long qubit coherence time, and the ability to physically move qubits, present distinct challenges for quantum circuit compilation. In this paper, we introduce DasAtom, a novel divide-and-shuttle atom approach designed to optimise quantum circuit transformation for NA devices by leveraging these capabilities. DasAtom partitions circuits into subcircuits, each associated with a qubit mapping that allows all gates within the subcircuit to be directly executed. The algorithm then shuttles atoms to transition seamlessly from one mapping to the next, enhancing both execution efficiency and overall fidelity. For a 30-qubit Quantum Fourier Transform (QFT), DasAtom achieves a 415.8x improvement in fidelity over the move-based algorithm Enola and a 10.6x improvement over the SWAP-based algorithm Tetris. Notably, this improvement is expected to increase exponentially with the number of qubits, positioning DasAtom as a highly promising solution for scaling quantum computation on NA platforms. © 1982-2012 IEEE.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Low Chirp Dual-Racetrack Modulator for PAM-4 Modulation With Low Driving Voltage

引用

Journal of Lightwave Technology 2025年第10期43卷 4840-4847页

作者： Yu, Fuhao Zeng, Zhaobang Tang, Kaifei Yang, Shichong Ji, Xiang Xin, Yu Gu, Tingyi Jiang, Wei Nanjing University Key Laboratory of Intelligent Optical Sensing and Manipulation Engineering Research Center for Precision Photonics Integration & System Applications Ministry of Education The National Laboratory of Solid-State Microstructures The College of Engineering and Applied Sciences Institute of Optical Communication Engineering Nanjing210023 China Nanjing University of Information Science & Technology School of Physics and Optoelectronic Engineering Nanjing210044 China University of Delaware Department of Electrical and Computer Engineering NewarkDE19716 United States

Micro-ring modulators with a small footprint and energy consumption have been explored for densely integrated high throughput optical interconnects. However, their strong dispersive response results in frequency chirp and pulse broadening, which limits their signal transmission distance. Here we explore the low chirp operation of a dual-racetrack modulator symmetrically coupled to a bus waveguide. With opposite index changes in the two resonators, the coherent couplings of two resonators' optical fields with the bus waveguide and their interference can cancel out the output phase variation due to a single resonator. This allows the push-pull operation to achieve a lower chirp compared to the single-drive operation. The advantage of lower chirp operation is experimentally verified through open eye diagram with 100 Gbps PAM-4 transmitted over 2 km single-mode fiber (SMF), with a peak-to-peak driving voltage of 1.6 V. © 1983-2012 IEEE.

关键词： Single mode fibers

来源：评论

学校读者我要写书评

暂无评论

Supply and Demand Relationship of Fresh Retail Based on Accessibility: A Case Study of Guangzhou

Supply and Demand Relationship of Fresh Retail Based on Acce...

引用

2024 International Conference on Construction and Real Estate Management: ESG Development in the Construction Industry, ICCREM 2024

作者： Jiang, Rui Hu, Zilin Wei, Zongcai Wu, Kaixin Liang, Jing Liu, Ziye School of Architecture South China Univ. of Technology Guangzhou China State Key Laboratory of Subtropical Building and Urban Science South China Univ.of Technology Guangzhou China School of Computer Science and Engineering South China Univ. of Technology Guangzhou China

ISBN: (数字)9780784485910

ISBN: (纸本)9780784485910

Whether the supply-demand relationship of fresh food retail services matches is of great significance to urban planning and construction and residents' lives. This work takes four central districts in Guangzhou as an example to calculate the accessibility of fresh retail in different types of residential areas. In addition, this work explores the spatial clustering distribution relationship of fresh retail supply and demand. Results show that the frequency of purchasing fresh food in central areas is typically higher than that in border areas. However, the supply-demand matching is poor due to the large population size. The online accessibility of newly built urban areas, such as Tianhe District, is better, but offline fresh food retailing dominates. Offline fresh food retail supply and demand matching is better than online in the marginal area. The analysis of the accessibility of fresh food in residential areas is beneficial for providing a reference for urban spatial layout and planning and construction. © ASCE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fresh Retail Layout and Forecast Based on Multi-Source Big Data and Machine Learning: A Case Study of Guangzhou

Fresh Retail Layout and Forecast Based on Multi-Source Big D...

引用

2024 International Conference on Construction and Real Estate Management: ESG Development in the Construction Industry, ICCREM 2024

作者： Wu, Kaixin Liu, Ziye Wei, Zongcai Liang, Jing Jiang, Rui Hu, Zilin School of Architecture South China Univ. of Technology Guangzhou China School of Computer Science and Engineering South China Univ. of Technology Guangzhou China State Key Laboratory of Subtropical Building and Urban Science South China Univ. of Technology Guangzhou China

ISBN: (数字)9780784485910

ISBN: (纸本)9780784485910

Fresh retail is an important facility in the community life circle. Exploring its spatial distribution is essential for improving the allocation of life service resources. This paper introduces a method based on supply and demand matching and machine learning, designed to analyze and forecast the current state of supply and demand in offline fresh retail. Specifically, we take the four central districts of Guangzhou as the research object and apply the two-step mobile search method to filter the training set grid. Utilizing machine learning, we obtained the feature matrices of these grids and applied them to the supply prediction of the remaining grids. The results indicate that the Commercial Residential Density, Travel Convenience Index, and Food Service Density are the main factors affecting the location selection of offline fresh retail. The supply and demand in Yuexiu and Haizhu Districts show imbalance, and the construction of offline fresh retail facilities must be fortified. © ASCE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

arXiv

引用

arXiv 2025年

作者： Yu, Pian Li, Yong Parker, David Kwiatkowska, Marta United Kingdom Department of Computer Science University of Oxford United Kingdom Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China

This work studies the planning problem for robotic systems under both quantifiable and unquantifiable uncertainty. The objective is to enable the robotic systems to optimally fulfill high-level tasks specified by Linear Temporal Logic (LTL) formulas. To capture both types of uncertainty in a unified modelling framework, we utilise Markov Decision Processes with Set-valued Transitions (MDPSTs). We introduce a novel solution technique for the optimal robust strategy synthesis of MDPSTs with LTL specifications. To improve efficiency, our work leverages limit-deterministic Büchi automata (LDBAs) as the automaton representation for LTL to take advantage of their efficient constructions. To tackle the inherent nondeterminism in MDPSTs, which presents a significant challenge for reducing the LTL planning problem to a reachability problem, we introduce the concept of a Winning Region (WR) for MDPSTs. Additionally, we propose an algorithm for computing the WR over the product of the MDPST and the LDBA. Finally, a robust value iteration algorithm is invoked to solve the reachability problem. We validate the effectiveness of our approach through a case study involving a mobile robot operating in the hexagonal world, demonstrating promising efficiency gains. © 2025, CC BY.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Optimization Scheduling of Multi-Energy Microgrid Based on the QUBO Quantum Computing Model 19th

Optimization Scheduling of Multi-Energy Microgrid Based on t...

引用

19th Annual Conference of China Electrotechnical Society, ACCES 2024

作者： Wang, Baonan Wang, Hui Zhang, Dan College of Computer Science and Technology Shanghai University of Electric Power Shanghai China State Key Laboratory of Power System Operation and Control Dept. of Electrical Engineering Tsinghua University Beijing China Institute of Logistic Science and Engineering Shanghai Maritime University Shanghai China

ISBN: (纸本)9789819608966

Current optimization methods for microgrid scheduling face issues such as insufficient precision in energy distribution, high operational costs, and inefficiency. In response to these challenges, an optimization scheduling method for multi-energy microgrids based on the QUBO (Quadratic Unconstrained Binary Optimization) quantum computing model is proposed in this paper, alongside a discretization approach based on a grid partitioning strategy. To validate the feasibility of addressing microgrid optimization scheduling problems in a quantum computing environment, a QUBO model is constructed and simulation studies are conducted in the qbsolv environment provided by D-Wave. The results indicate that operational costs are significantly reduced with an increase in the number of grids, particularly a reduction of 4.52% when the number of grids increases from five to ten. This method not only effectively enhances the precision of electricity supply and energy utilization efficiency but also reduces unnecessary electrical waste and economic costs. © Beijing Paike Culture Commu. Co., Ltd. 2025.

关键词： Microgrids

来源：评论

学校读者我要写书评

暂无评论

Flight delay causes determination based on adversarial defense of TSVM 4

Flight delay causes determination based on adversarial defen...

引用

2024 4th International Conference on Intelligent Traffic systems and Smart City, ITSSC 2024

作者： Liu, Li Chen, Haiyan Zhou, Wei Zhou, Xinding College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China State Key Laboratory of Air Traffic Management System Nanjing China Operation Supervisory Center of CAAC Beijing China College of Civil Aviation Nanjing University of Aeronautics and Astronautics Nanjing China

ISBN: (纸本)9781510686304

With the rapid development of the aviation industry, flight delays have become a global issue, resulting in significant economic losses and passenger dissatisfaction. Accurately determining the causes of flight delays is crucial for airlines, air traffic management, and passengers. This study proposes an Adversarial Defense of the Transductive Support Vector Machine (ad-TSVM) algorithm to address the problem of flight delay causing determination. The ad-TSVM algorithm generates adversarial samples through adversarial training techniques and incorporates these samples into the Transductive Support Vector Machine (TSVM) to improve the model's classification accuracy and robustness. Compared to traditional methods, ad-TSVM can more precisely attribute the responsibility for flight delays to various stakeholders, such as airlines, air traffic control, weather, and air traffic flow, while resisting adversarial attacks. Experimental results demonstrate that the ad-TSVM algorithm significantly outperforms traditional TSVM and other standard machine-learning algorithms regarding classification accuracy on multiple real-world datasets. Additionally, the algorithm exhibits excellent performance in resisting adversarial attacks, effectively enhancing the model's robustness and reliability. This study addresses flight delay cause determination challenges, offering theoretical support for further research and practical applications in related fields. © 2025 SPIE ·

关键词： Air traffic control

来源：评论

学校读者我要写书评

暂无评论

Enhancing Routing Performance Through Trajectory Planning With DRL in UAV-Aided VANETs

IEEE Transactions on Machine Learning in Communications and ...

引用

IEEE Transactions on Machine Learning in Communications and Networking 2025年 3卷 517-533页

作者： Chen, Jingxuan Huang, Dianrun Wang, Yijie Yu, Ziping Zhao, Zhongliang Cao, Xianbin Liu, Yang Quek, Tony Q. S. Oliver Wu, Dapeng Beihang University School of Electronic and Information Engineering Beijing100191 China State Key Laboratory of CNS/ATM Beijing100191 China Nanyang Technological University School of Computer Science and Engineering Nanyang Avenue 639798 Singapore Singapore University of Technology and Design Information System Technology and Design Pillar Somapah Rd 487372 Singapore Yonsei University Yonsei Frontier Laboratory Seoul03722 Korea Republic of City University of Hong Kong Department of Computer Science Kowloon Hong Kong

Vehicular Ad-hoc Networks (VANETs) have gained significant attention as a key enabler for intelligent transportation systems, facilitating vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications. Despite their potential, VANETs face critical challenges in maintaining reliable end-to-end connectivity due to their highly dynamic topology and sparse node distribution, particularly in areas with limited infrastructure coverage. Addressing these limitations is crucial for advancing the reliability and scalability of VANETs. To bridge these gaps, this work introduces a heterogeneous UAV-aided VANET framework that leverages uncrewed aerial vehicles (UAVs), also known as autonomous aerial vehicles, to enhance data transmission. The key contributions of this paper include: 1) the design of a novel adaptive dual-model routing (ADMR) protocol that operates in two modes: direct vehicle clustering for intra-cluster communication and UAV/RSU-assisted routing for inter-cluster communication;2) the development of a modified density-based clustering algorithm (MDBSCAN) for dynamic vehicle node clustering;and 3) an improved UAV trajectory planning method based on a multi-agent soft actor-critic (MASAC) deep reinforcement learning algorithm, which optimizes network reachability. Simulation results reveal that the UAV trajectory optimization method achieves higher network reachability ratios compared to existing approaches. Also, the proposed ADMR protocol improves the packet delivery ratio (PDR) while maintaining low end-to-end latency. These findings demonstrate the potential to enhance VANET performance, while also providing valuable insights for the development of intelligent transportation systems and related fields. © 2025 The Authors.

关键词： Vehicular ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：