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

Analysis of converting -circuit into -circuit

EPJ Quantum Technology 2025年第1期12卷 1-14页

作者： Luo, Qing-bin Ding, Lang Yang, Guo-wu Li, Xiao-yu College of Intelligent Systems Science and Engineering Hubei Minzu University Enshi China School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China Big data research Center & School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

A $\mathfrak{C^{*}}$ -circuit, which was proposed in Asiacypt 2022 by Huang and Sun (Advances in cryptology – ASIACRYPT 2022, pp. 614–644, 2022), can directly perform calculations with the existing quantum states, thereby reducing the use of quantum resources in quantum logic synthesis. We theoretically prove how to convert a $\mathfrak{C^{0}}$ -circuit into the corresponding $\mathfrak{C^{*}}$ -circuit through two lemmas and one theorem. The first lemma proves the interchangeability of CNOT gates and NOT gates by using the equivalence of quantum circuits. The second lemma proves that adding CNOT gates to the front of a quantum circuit whose initial states are all $|0\rangle $ s will not change the output states of the circuit. The theorem is used to describe what kind of $\mathfrak{C^{0}}$ -circuit can be transformed into $\mathfrak{C^{*}}$ -circuit, and the correctness of this transformation is proved. Our work will provide a theoretical basis for converting $\mathfrak{C^{0}}$ -circuit to $\mathfrak{C^{*}}$ -circuit. Then applying the theoretical analysis results to the multiplication over $\text{GF}(2^{8})$ , the constructed quantum circuit needs 27 Toffoli gates and 118 CNOT gates, which is 15 fewer Toffoli gates and 43 CNOT gates than the current best result. This shows that the method of constructing quantum circuits by using the conversion of $\mathfrak{C^{0}}$ -circuit to $\mathfrak{C^{*}}$ -circuit is very efficient.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GraphInstruct: Empowering Large Language Models with Graph Understanding and Reasoning Capability

arXiv

引用

arXiv 2024年

作者： Luo, Zihan Song, Xiran Huang, Hong Lian, Jianxun Zhang, Chenhao Jiang, Jinqi Xie, Xing Huazhong University of Science and Technology Wuhan China Microsoft Research Asia Beijing China The National Engineering Research Center for Big Data Technology and System Service Computing Technology and Systems Laboratory Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China

Evaluating and enhancing the general capabilities of large language models (LLMs) has been an important research topic. Graph is a common data structure in the real world, and understanding graph data is a crucial part for advancing general intelligence. To evaluate and enhance the graph understanding abilities of LLMs, in this paper, we propose a benchmark named GraphInstruct, which comprehensively includes 21 classical graph reasoning tasks, providing diverse graph generation pipelines and detailed reasoning steps. Based on GraphInstruct, we further construct GraphLM through efficient instruction-tuning, which shows prominent graph understanding capability. In order to enhance the LLM with graph reasoning capability as well, we propose a step mask training strategy, and construct a model named GraphLM+. As one of the pioneering efforts to enhance the graph understanding and reasoning abilities of LLMs, extensive experiments have demonstrated the superiority of GraphLM and GraphLM+ over other LLMs. We look forward to more researchers exploring the potential of LLMs in the graph data mining domain through GraphInstruct. Our code for generating GraphInstruct is released publicly at: https://***/CGCL-codes/GraphInstruct. Copyright © 2024, The Authors. All rights reserved.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

Two-Stage OD Flow Prediction for Emergency in Urban Rail Transit

引用

IEEE Transactions on intelligent Transportation Systems 2024年第1期25卷 920-928页

作者： Zhu, Guangyu Ding, Jiacun Wei, Yun Yi, Yang Xu, Sendren Sheng-Dong Wu, Edmond Q. Beijing Jiaotong University Key Lab. of Transport Industry of Big Data Application Technologies for Comprehensive Transport The Beijing Research Center of Urban Traffic Information Sensing and Service Technologies Beijing100044 China Beijing Mass Transit Railway Operation Corporation Ltd. Beijing100014 China Yangzhou University College of Information Engineering Yangzhou225127 China National Taiwan University of Science and Technology Automation and Control Center The Graduate Institute of Automation and Control Taipei106335 Taiwan Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China The Shanghai Engineering Research Center of Intelligent Control and Management Department of Automation Shanghai200240 China

Urban rail transit (URT) is vulnerable to natural disasters and social emergencies including fire, storm and epidemic (such as COVID-19), and real-time origin-destination (OD) flow prediction provides URT operators with important information to ensure the safety of URT system. However, hindered by the high dimensionality of OD flow and the lack of supportive information reflecting the real-time passenger flow changes, study in this area is at the beginning stage. A novel model consisting of two stages is proposed for OD flow prediction. The first stage predicts the inflows of all stations by Long Short-Term Memory (LSTM) in real time, where the dimension is reduced compared with predicting OD flows directly. In the second stage, the notion of separation rate, namely, the proportion of inbound passengers bounding for another station, is estimated. Finally, The OD flow is predicted by multiplying the inflow and separation rate. Experiments based on Hangzhou Metro dataset show the proposed model outperforms the contrast model in weighted mean average error (WMAE) and weighted mean square error (WMSE). Results also suggest that the proposed prediction model performs better on weekdays than on weekends, and with greater accuracy on larger OD flows. © 2000-2011 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

引用

Design Automation Conference

作者： Jin Zhao Yu Zhang Jian Cheng Yiyang Wu Chuyue Ye Hui Yu Zhiying Huang Hai Jin Xiaofei Liao Lin Gu Haikun Liu National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab Huazhong University of Science and Technology Wuhan China Zhejiang-HUST Joint Research Center for Graph Processing Zhejiang Lab Hangzhou China

Temporal graph processing is used to handle the snapshots of the temporal graph, which concerns changes in graph over time. Although several software/hardware solutions have been designed for efficient temporal graph processing, they still suffer from serious irregular data access due to the uncoordinated graph traversal. To overcome these limitations, this paper proposes SaGraph, a domain-specific hardware accelerator to support the efficient processing of temporal graph. Specifically, temporal graph processing shows strong data access similarity, i.e., most graph accesses of the processing of different snapshots are the same and usually refer to a small fraction of vertices. SaGraph can dynamically coordinate the graph traversals and adaptively cache the vertex states to fully exploit the data access similarity for smaller data access overhead. We implemented and evaluated SaGraph on a Xilinx Alveo U280 FPGA card. Compared with the cutting-edge software and hardware solutions, SaGraph achieves 8.5×-157.3×, 4.2×-16.1× speedups and 34.7×-423.6×, 5.3×-14.7× energy savings, respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Container lifecycle-aware scheduling for serverless computing

Container lifecycle-aware scheduling for serverless computin...

引用

作者： Wu, Song Tao, Zhiheng Fan, Hao Huang, Zhuo Zhang, Xinmin Jin, Hai Yu, Chen Cao, Chun National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

Elastic scaling in response to changes on demand is a main benefit of serverless computing. When bursty workloads arrive, a serverless platform launches many new containers and initializes function environments (known as cold starts), which incurs significant startup latency. To reduce cold starts, platforms usually pause a container after it serves a request, and reuse this container for subsequent requests. However, this reuse strategy cannot efficiently reduce cold starts because the schedulers are agnostic of container lifecycle. For example, it may ignore soon available containers or evict soon needed containers. We propose a container lifecycle-aware scheduling strategy for serverless computing, CAS. The key idea is to control distribution of requests and determine creation or eviction of containers according to different lifecycle phases of containers. We implement a prototype of CAS on OpenWhisk. Our evaluation shows that CAS reduces 81% cold starts and therefore brings a 63% reduction at 95th percentile latency compared with native scheduling strategy in OpenWhisk when there is worker contention between workloads, and does not add significant performance overhead. © 2021 John Wiley & Sons Ltd.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

Collision-Aware MPCC Integrated with Neural Augmentation for Quadrotor Trajectory Tracking

Collision-Aware MPCC Integrated with Neural Augmentation for...

引用

2025 IEEE International Conference on Mechatronics, ICM 2025

作者： Hu, Chuanqi Wang, Jin Chen, Yikai Chen, Yonghang Zheng, Zhi Meng, Jun Lu, Guodong Zhejiang University State Key Laboratory of Fluid Power and Mechatronic Systems Hangzhou310058 China Zhejiang University Zhejiang Key Laboratory of Industrial Big Data and Robot Intelligent Systems Hangzhou310058 China Robotics Research Center of Yuyao City Ningbo315400 China National Elite Institute of Engineering Chongqing University Chongqing401135 China School of Mechanical Engineering Zhejiang University Hangzhou310058 China College of Electrical Engineering Zhejiang University Hangzhou310027 China Center for Data Mining and Systems Biology College of Electrical Engineering Zhejiang University Hangzhou310027 China

ISBN: (纸本)9798331533892

This paper presents a trajectory tracking algorithm designed for autonomous quadrotors to navigate complex dy-namic environments that is resilient to collision disturbances. Since it combines Model Predictive Contouring Control (MPCC) with the capabilities of neural networks, our method is named MPCC Integrated with Neural Augmentation (MINA). By equip-ping the quadrotor with PVDF piezoelectric sensors, we achieve real-time perception of collision forces and utilize S4D-Conv Adaptive Net Architecture (SANA) for state computation, a network that integrates the advantages of S4D and convolutional kernels to enhance the accuracy of state predictions. We incorporate the predicted results into the MPCC framework to optimize the thrust output of the quadrotor for the next time step, ensuring precise trajectory tracking. Experimental validation demonstrates the reliability and effectiveness of our algorithm, providing an innovative solution for autonomous flight and trajectory tracking of quadrotors in complex dynamic environments. © 2025 IEEE.

关键词： Flight paths

来源：评论

学校读者我要写书评

暂无评论

Attenuated niacin-induced skin flush response in individuals with clinical high risk for psychosis

引用

General Psychiatry 2022年第2期35卷 92-100页

作者： Ranpiao Gan Yanyan Wei Guisen Wu Jiahui Zeng Yegang Hu Lihua Xu Xiaochen Tang Xiaohua Liu Haichun Liu Tao Chen Jijun Wang Tianhong Zhang Shanghai Intelligent Psychological Evaluation and Intervention Engineering Technology Research Center Shanghai Key Laboratory of Psychotic DisordersShanghai Mental Health CenterShanghai Jiao Tong University School of MedicineShanghaiChina Department of Automation Shanghai Jiao Tong UniversityShanghaiChina Big Data Research Lab University of WaterlooWaterlooOntarioCanada Center for Excellence in Brain Science and Itelligence Technology(CEBSIT) Chinese Academy of ScienceShanghaiChina Brain Science and Technology Research Center Shanghai Jiao Tong UniversityShanghaiChina

Background Im paired sesitwity of he soin Mlush response bo miacin is one of the most rpicated findngs in patents with schizoprenia *** studies have usaly focused on postonset psychusis,and ll is knowm about the dinical high-risk(CHR)phase of niacin senstity in psychosis Aims To proftle and compare the miacin flush responsge among CHR individuals(converters and non-coverters)patients with frstepso schinophrenia(FES)and healty controls(HCs).Methods Sensivily 1o ftour concentralions (0.1-0001M)of aqueous methylnicotinate was tested in 105 CHR individuals,57 patients with FES and 52 *** individuals were further grouped as converters and non converters according to the 2-year follow-up *** flush response scores were rated on a 4-point *** Of the 105 CHR individuals,21 individuals were lost during the study,leaving 84 CHR individuals;16(19.0%)converted to full psychosis at 2 years of *** response scores identifed in the CHR samples were characterised as modest degree levels,intermediate between those of HC individuals and patients with *** flush responses in the CHR group mimicked the responses observed in the FES group at higher concentrations(0.01 M,0.1 M)and longer time points(15 min,20min);however,these became comparable vith the responses in the HC group at the shorter time points and at lower concentr *** converters exhibited lower mean flush response scores than the *** Attenuated niacin-induced flushing emerged during the early phase of *** devices should be developed and verified for objective quantification of skin responses in the CHR population.

关键词： Skin high shorter

来源：评论

学校读者我要写书评

暂无评论

Using machine learning and satellite data from multiple sources to analyze mining,water management,and preservation of cultural heritage

引用

地球空间信息科学学报（英文版） 2024年第3期27卷 552-571页

作者： Joaquim J.Sousa Jiahui Lin Qun Wang Guang Liu Jinghui Fan Shibiao Bai Hongli Zhao Hongyu Pan Wenjing Wei Vanessa Rittlinger Peter Mayrhofer Ruth Sonnenschein Stefan Steger Luís Paulo Reis School of Science and Technology University of Trás-Os-Montes E Alto DouroVila RealPortugal Centre for Robotics in Industry and Intelligent Systems(CRIIS) INESC Technology and SciencePortoPortugal Aerospace Information Research Institute Chinese Academy of SciencesBeijingChina International Research Center of Big Data for Sustainable Development Goals BeijingChina College of Resources and Environment University of Chinese Academy of SciencesBeijingChina Application system Department Ⅰ China Siwei Surveying and Mapping Technology Co.LtdBeijingChina China Aero Geophysical Survey and Remote Sensing Center for Natural Resources BeijingChina College of Marine Science and Engineering Nanjing Normal UniversityNanjingChina Institute of Mountain Hazards and Environment Chinese Academy of SciencesChengduChina College of Marine Science and Engineering Nanjing Normal UniversityNanjingChina Institute for Earth Observation Eurac ResearchBolzanoItaly Faculty of Engineering University of PortoPortoPortugal

Remote sensing,particularly satellite-based,can play a valuable role in monitoring areas prone to *** high spatial and temporal coverage provided by satellite data can be used to reconstruct past events and continuously monitor sensitive areas for potential *** paper presents a range of techniques and methods that were applied for in-depth analysis and utilization of Earth observation data,with a particular emphasis on:(1)detecting mining sub-sidence,where a novel approach is proposed by combining an improved U-Net model and Interferometry Synthetic Aperture Radar(InSAR)*** results showed that the Efficient Channel Attention(ECA)U-Net model performed better than the U-Net(baseline)model in terms of Mean Intersection over Union(MIoU)and Intersection over Union(loU)indicators;(2)monitor-ing water conservancy and hydropower *** Xiaolangdi multipurpose dam complex was monitored using Small BAsline Subsets(SBAS)InSAR method on Sentinel-1 time series data and four small regions with high deformation rates were identified on the slope of the reservoir bank on the north *** dam body also showed obvious deformation with a velocity exceeding 60 mm/a;(3)the evaluation of the potential of InSAR results to integrate monitoring and warning systems for valuable heritage and architectural *** overall outcome of these methods showed that the use of Artificial Intelligence(AI)techniques in combination with InSAR data leads to more efficient analysis and interpretation,resulting in improved accuracy and prompt identification of potential hazards;and(4)finally,this study also presents a method for detecting landslides in mountainous regions,using optical *** new temporal landslide detection method is evaluated over a 7-year analysis period and unlike conventional bi-temporal change detection methods,this approach does not depend on any prior-knowledge and can potentially detect landslides over extended periods of time

关键词： Landslide detection InSAR time series analysis machine learning heritage preservation mining subsidence water conservancy infrastructures

来源：评论

学校读者我要写书评

暂无评论

Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration

Effective Concurrency Testing for Go via Directional Primiti...

引用

IEEE International Conference on Automated Software Engineering (ASE)

作者： Zongze Jiang Ming Wen Yixin Yang Chao Peng Ping Yang Hai Jin School of Cyber Science and Engineering Huazhong University of Science and Technology China Hubei Key Laboratory of Distributed System Security Services Computing Technology and System Lab Cluster and Grid Computing Lab Hubei Engineering Research Center on Big Data Security National Engineering Research Center for Big Data Technology and System ByteDance Beijing China School of Computer Science and Technology Huazhong University of Science and Technology China

The Go language (Go/Golang) has been attracting increasing attention from the industry over recent years due to its strong concurrency support and ease of deployment. This programming language encourages developers to use channel-based concurrency, which simplifies the development of concurrent programs. Unfortunately, it also introduces new concurrency problems that differ from those caused by the mechanism of shared memory concurrency. However, there are only few works that aim to detect such Go-specific concurrency issues. Even state-of-the-art testing tools will miss critical concurrent bugs that require fine-grained and effective interleaving exploration. This paper presents GoPie, a novel testing approach for detecting Go concurrency bugs through primitive-constrained interleaving exploration. GoPie utilizes execution histories to identify new interleavings instead of relying on exhaustive exploration or random scheduling. To evaluate its performance, we applied GoPie to existing benchmarks and large-scale open-source projects. Results show that GoPie can effectively explore concurrent interleavings and detect significantly more bugs in the benchmark. Furthermore, it uncovered 11 unique previously unknown concurrent bugs, and 9 of which have been confirmed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient FPGA-based graph processing with hybrid pull-push computational model

引用

Frontiers of Computer Science 2020年第4期14卷 13-28页

作者： Chengbo YANG Long ZHENG Chuangyi GUI Hai JIN National Engineering Research Center for Big Data Technology and System/Service Computing Technology and System Lab/Cluster and Grid Computing Lab School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan430074China

Hybrid pull-push computational model can provide compelling results over either of single one for processing real-world *** and pipeline parallelism of FPGAs make it potential to process different stages of graph ***,considering the limited on-chip resources and streamline pipeline computation,the efficiency of hybrid model on FPGAs often suffers due to well-known random access feature of graph *** this paper,we present a hybrid graph processing system on FPGAs,which can achieve the best of both *** approach on FPGAs is unique and novel as ***,we propose to use edge block(consisting of edges with the same destination vertex set),which allows to sequentially access edges at block granularity for locality while still preserving the *** to the independence of blocks in the sense that all edges in an inactive block are associated with inactive vertices,this also enables to skip invalid blocks for reducing redundant ***,we consider a large number of vertices and their associated edge-blocks to maintain a predictable execution *** also present to switch models in advance with few stalls using their state *** evaluation on a wide variety of graph algorithms for many real-world graphs shows that our approach achieves up to 3.69x speedup over state-of-the-art FPGA-based graph processing systems.

关键词： graph processing efficiency computational model FPGAs

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：