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

Predictive analysis for race detection in software-defined networks

Science China(Information Sciences) 2019年第6期62卷 34-53页

作者： Gongzheng LU Lei XU Yibiao YANG Baowen XU State Key Laboratory of Novel Software Technology Nanjing University School of Computer Engineering Suzhou Vocational University

Race condition remains one kind of the most common concurrency bugs in software-defined networks(SDNs). The race conditions can be exploited to lead to security and reliability risks. However,the race conditions are notoriously difficult to detect. The existing race detectors for SDNs have limited detection capability. They can only detect the races in the original traces(observed traces) and cause false negatives. In this study, we present a predictive analysis framework called SDN-predict for race detection in SDNs. By encoding the order between the specified network events in SDNs as constraint, we formulate race detection as a constraint solving problem. In addition to detecting the races in the original trace, our framework can also detect the races in the feasible traces got from reordering the events in the original trace while satisfying the consistency requirements of trace. Moreover, we formally prove that our predictive analysis framework is sound and can achieve the maximal possible detection capability for any sound dynamic race detector with respect to the same trace. We evaluate our framework on a set of traces collected from three SDN controllers(POX, Floodlight, ONOS), running 5 representative applications including reactive and proactive applications in large networks, on three different network topologies. These experiments show that our framework has higher race detection capability than exisiting SDN race detector-SDNRacer, and detects more 1173 races. These 1173 races were previously undetected and confirmed by checking the race graphs.

关键词： constraint solving predictive analysis race detection software-defined networks

来源：评论

学校读者我要写书评

暂无评论

One-to-many authentication for access control in mobile pay-TV systems

引用

Science China(Information Sciences) 2016年第5期59卷 118-132页

作者： Debiao HE Neeraj KUMAR Han SHEN Jong-Hyouk LEE State Key Laboratory of Software Engineering Computer School Wuhan University Fujian Provincial Key Laboratory of Network Security and Cryptology Fujian Normal University Department of Computer Science and Engineering Thapar University Department of Computer Science and Engineering Sangmyung University

In traditional authentication schemes for access control in mobile pay-TV systems, one-to-one delivery is used, i.e., one authentication message per request is delivered from a head-end system(HES) to a subscriber. The performance of one-to-one delivery for authentication is not satisfactory as it requires frequent operations which results in high bandwidth consumption. To address this issue, one-to-many authentication for access control in mobile pay-TV systems was developed. It requires only one broadcasted authentication message from a HES to subscribers if there are many requests for the same service in a short period of ***, later it was revealed that the one-to-many authentication scheme was vulnerable to an impersonation attack, i.e., an attacker without any secret key could not only impersonate the mobile set(MS) to the HES but also impersonate the HES to the MS. Then, a new scheme has been recently introduced for secure operations of one-to-many authentication. However, as shown in this paper, the recent work for one-to-many authentication is still vulnerable to the impersonation attack. To mitigate this attack, in this paper, a new scheme for one-tomany authentication using bilinear pairing is proposed that eliminates security weaknesses in the previous *** obtained depict that the new improved scheme in this paper provides better performance in terms of computation and communication overheads.

关键词： authentication bilinear pairing conditional access system mobile pay-TV

来源：评论

学校读者我要写书评

暂无评论

Self-supervised representation learning for Bayesian quantum architecture search

引用

Physical Review A 2025年第3期111卷 032403-032403页

作者： Zhimin He Hongxiang Chen Yan Zhou Haozhen Situ Yongyao Li Lvzhou Li School of Electronic and Information Engineering Foshan University Foshan 528000 China School of Computer Science and Artificial Intelligence Foshan University Foshan 528000 China Guangdong Provincial Key Laboratory of Industrial Intelligent Inspection Technology Foshan University Foshan 528000 China College of Mathematics and Informatics South China Agricultural University Guangzhou 510642 China School of Physics and Optoelectronic Engineering Foshan University Foshan 528225 China Institute of Quantum Computing and Software School of Computer Science and Engineering Sun Yat-sen University Guangzhou 510006 China Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area (Guangdong) Shenzhen 518045 China

Quantum architecture search (QAS) has shown significant promise in automating quantum circuit design for variational quantum algorithms (VQAs). However, a central challenge remains in the high computational cost of evaluating the ground-truth performance of numerous circuit architectures during the search process. This challenge is further complicated by factors such as inefficient gradient computation, the barren plateau phenomenon, and frequent data exchange between classical and quantum systems within VQAs, all of which restrict the scalability of QAS for increasingly complex VQAs. In this study, we propose an enhanced QAS framework that integrates a performance predictor trained through self-supervised learning with Bayesian optimization to overcome these computational barriers. To address the challenges of circuit performance evaluation, we develop a graph-isomorphism-network-based predictor pretrained using expressibility prediction, an intrinsic measure of a circuit's capacity to explore the Hilbert space uniformly. This pretraining process creates a structured and smooth latent space, significantly improving the predictor's accuracy and generalizability with minimal labeled data. Furthermore, Bayesian optimization is integrated into the QAS framework to refine the predictor iteratively, concentrating the search on regions containing high-performance circuits and thus accelerating the search process. Simulation results for VQAs involving the variational quantum eigensolver and quantum approximate optimization algorithm demonstrate that the proposed framework achieves faster convergence to optimal circuits and substantially reduces computational costs compared to existing QAS methods.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

A Two-Stage Service Replica Strategy for Business Process Efficiency Optimization in Community Cloud

引用

Chinese Journal of Electronics 2017年第1期26卷 80-87页

作者： LUO Haoyu LIU Jin LIU Xiao State Key Laboratory of Software Engineering School of Computer Wuhan University School of Information Technology Deakin University

Business process that facilitates the organization cooperation and resource sharing plays an important role in Community cloud(Comc). The nature of applications and decentralized infrastructure in Comc make it a big challenge in ensuring the execution efficiency of business process, especially when the business requests are in high concurrency. We present a two-stage service replica strategy to improve the execution efficiency of business process by shortening the response time of request to single service and reducing interaction time among distributed services. We initially utilize the social network property of services to pre-allocate the replicas of key services. After that, queueing model is adopted to determine the required additional replicas according to the quantity and frequency of user requests, then schedule service replicas and requests dynamically. Experiments demonstrate the effectiveness of the proposed strategy.

关键词： Community cloud(Comc) Business process Execution efficiency Service replica Queueing theory

来源：评论

学校读者我要写书评

暂无评论

Delay and Capacity Trade-offs in Mobile Wireless Networks with Infrastructure Support

引用

Journal of computer Science & Technology 2012年第2期27卷 328-340页

作者：李卓李文中郭嵩陆桑璐陈道蓄 State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering The University of Aizu

In this paper,we investigate the trade-offs between delay and capacity in mobile wireless networks with infrastructure *** consider three different mobility models,independent and identically distributed （i.i.d） mobility model,random walk mobility model with constant speed and L＇evy flight mobility *** i.i.d mobility model and random walk mobility model with the speed θ（1/n～（1/2））,,we get the theoretical results of the average packet delay when capacityis θ（1）,θ（1/n～（1/2）） individually,where n is the number of *** find that the optimal average packet delay is achieved whencapacity λ（n）〈（1/（***_2（1/（（1-e）-（k/n））＋1））,where K is the number of *** is proved that average packet delay D（n） dividedby capacity λ（n） is bounded below by （n/（k·w））.When ω（n～（1/2））≤KO（n（（1-η）·（α＋1））/2）ln n） when K=o（n～η）（0≤η〈1）.We also provethat when ω（1/2）≤K）.

关键词： mobile wireless networks capacity delay

来源：评论

学校读者我要写书评

暂无评论

Cognitive Disentanglement for Referring Multi-Object Tracking

arXiv

引用

arXiv 2025年

作者： Liang, Shaofeng Guan, Runwei Lian, Wangwang Liu, Daizong Sun, Xiaolou Wu, Dongming Yue, Yutao Ding, Weiping Xiong, Hui Qingdao China Guangzhou China Shandong Key Laboratory of Intelligent Oil & Gas Industrial Software Qingdao China Wangxuan Institute of Computer Technology Peking University Beijing China School of Automation Southeast University Nanjing China School of Computer Science Beijing Institute of Technology Beijing China School of Artificial Intelligence and Computer Science Nantong University Nantong China Guangzhou China Department of Electrical Engineering and Electronics University of Liverpool Liverpool United Kingdom

As a significant application of multi-source information fusion in intelligent transportation perception systems, Referring Multi-Object Tracking (RMOT) involves localizing and tracking specific objects in video sequences based on language references. However, existing RMOT approaches often treat language descriptions as holistic embeddings and struggle to effectively integrate the rich semantic information contained in language expressions with visual features. This limitation is especially apparent in complex scenes requiring comprehensive understanding of both static object attributes and spatial motion information. In this paper, we propose a Cognitive Disentanglement for Referring Multi-Object Tracking (CDRMT) framework that addresses these challenges. It adapts the "what" and "where" pathways from human visual processing system to RMOT tasks. Specifically, our framework comprises three collaborative components: (1)The Bidirectional Interactive Fusion module first establishes cross-modal connections while preserving modality-specific characteristics;(2) Building upon this foundation, the Progressive Semantic-Decoupled Query Learning mechanism hierarchically injects complementary information into object queries, progressively refining object understanding from coarse to fine-grained semantic levels;(3) Finally, the Structural Consensus Constraint enforces bidirectional semantic consistency between visual features and language descriptions, ensuring that tracked objects faithfully reflect the referring expression. Extensive experiments on different benchmark datasets demonstrate that CDRMT achieves substantial improvements over state-of-the-art methods, with average gains of 6.0% in HOTA score on Refer-KITTI and 3.2% on Refer-KITTI-V2. Our approach advances the state-of-the-art in RMOT while simultaneously providing new insights into multi-source information fusion. Copyright © 2025, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Self-Adaptive Resource Management for Large-Scale Shared Clusters

引用

Journal of computer Science & Technology 2010年第5期25卷 945-957页

作者：李研陈峰宏孙熙周明辉焦文品曹东刚梅宏 Key Laboratory of High Confidence Software Technologies Ministry of EducationInstitute of Software School of Electronics Engineering and Computer SciencePeking University CCF

In a shared cluster,each application runs on a subset of nodes and these subsets can overlap with one another. Resource management in such a cluster should adaptively change the application placement and workload assignment to satisfy the dynamic applications workloads and optimize the resource *** becomes a challenging problem with the cluster scale and application amount growing *** paper proposes a novel self-adaptive resource management approach which is inspired from human market：the nodes trade their shares of applications＇ requests with others via auction and bidding to decide its own resource allocation and a global high-quality resource allocation is achieved as an emergent collective behavior of the *** results show that the proposed approach can ensure quick responsiveness, high scalability,and application prioritization in addition to managing the resources effectively.

关键词： distributed system resource management self-adaptation shared cluster

来源：评论

学校读者我要写书评

暂无评论

A formal semantics for debugging synchronous message passing-based concurrent programs

引用

Science China(Information Sciences) 2014年第12期57卷 198-215页

作者： LI He LUO Jie LI Wei State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang University

In this paper,we propose a semantic framework to debug synchronous message passing-based concurrent programs,which are increasingly useful as parallel computing and distributed systems become more and more *** first design a concurrent programming language model to uniformly represent existing concurrent programming *** to sequential programming languages,this model contains communication statements,i.e.,sending and receiving statements,and a concurrent structure to represent communication and *** then propose a debugging process consisting of a tracing and a locating *** tracing procedure re-executes a program with a failed test case and uses specially designed data structures to collect useful execution information for locating *** provide for the tracing procedure a structural operational semantics to represent synchronous communication and *** locating procedure backward locates the ill-designed statement by using information obtained in the tracing procedure,generates a fix equation,and tries to fix the bug by solving the fix *** also propose a structural operational semantics for the locating *** supply two examples to test our proposed operational semantics.

关键词： debugging synchronous message passing concurrent program operational semantics

来源：评论

学校读者我要写书评

暂无评论

Feedback Learning Based Dead Write Termination for Energy Efficient STT-RAM Caches

引用

Chinese Journal of Electronics 2017年第3期26卷 460-467页

作者： SHEN Fanfan HE Yanxiang ZHANG Jun JIANG Nan LI Qing'an LI Jianhua Computer School Wuhan University State Key Laboratory of Software Engineering Wuhan University School of Computer and Information Hefei University of Technology

Spin-torque transfer RAM(STT-RAM) is a promising candidate to replace SRAM for larger Last level cache(LLC). However, it has long write latency and high write energy which diminish the benefit of adopting STT-RAM caches. A common observation for LLC is that a large number of cache blocks have never been referenced again before they are evicted. The write operations for these blocks, which we call dead writes, can be eliminated without incurring subsequent cache misses. To address this issue, a quantitative scheme called Feedback learning based dead write termination(FLDWT) is proposed to improve energy efficiency and performance of STT-RAM based LLC. FLDWT dynamically learns the block access behavior by using data reuse distance and data access frequency, and then classifies the blocks into dead blocks and live blocks. FLDWT terminates dead write block requests and improves the estimation accuracy via feedback information. Compared with STT-RAM baseline in the lastlevel caches, experimental results show that our scheme achieves energy reduction by 44.6% and performance improvement by 12% on average with negligible overhead.

关键词： Dead blocks Energy efficiency Spintransfer torque RAM(STT-RAM) Last level cache(LLC)

来源：评论

学校读者我要写书评

暂无评论

Bringing Efficient Synthetic Transmit Aperture Imaging to Consumer Technology: IoT-Enabled Portable Ultrasound Systems

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Wang, Wenping He, Qiong Peng, Fan Feng, Ziliang Sichuan University National Key Laboratory of Fundamental Science on Synthetic Vision Chengdu 610065 China Tsinghua University School of Medicine Department of Biomedical Engineering Beijing 100084 China Chengdu University of Technology College of Computer Science and Cyber Security Pilot Software College Chengdu 610059 China

This work advances consumer technology in holographic visualization and medical imaging by introducing an effective synthetic transmit aperture (STA) imaging technique for Internet of Things (IoT)-enabled portable high-frequency ultrasound (HFUS) equipment. The technique drastically lowers data size and computing requirements while preserving good imaging performance by using sign coherence factor (SCF) compounding and phase rotation beamforming using in-phase/quadrature (IQ) data. Real-time deployment in resource-constrained IoT-based systems is made possible by experimental results that demonstrate a 42% decrease in computing complexity when compared to traditional STA-IQ imaging. For effective processing, baseband IQ data is subjected to intricate demodulation, downsampling, and phase correction, which is in line with contemporary consumer technology-driven healthcare solutions. Even at low sampling rates, SCF improves contrast performance, maintaining a lateral resolution of 150 lm and providing a contrast-to-noise ratio (CNR) enhancement of 3.5 dB, which is equivalent to typical STA-IQ methods. Its enhanced image quality is further supported by simulations and in-vivo studies that show a peak signal-to-noise ratio (PSNR) enhancement of 2.8 dB. Furthermore, by combining this method with real-time holographic ultrasound imaging, high-fidelity 3D reconstructions are made possible, enhancing depth accuracy and spatial coherence while reducing phase distortion aberrations by 30%. These improvements enable real-time holographic imaging for telemedicine and preclinical applications, as well as IoT-based remote diagnostics. Thus, the suggested approach offers a low-power, high-accuracy imaging solution that promotes innovation in holographic display and medical imaging technologies while also advancing consumer healthcare diagnostics. © 1975-2011 IEEE.

关键词： High-Frequency Ultrasound In-phase/Quadrature Data IoT-Portable System Sign Coherence Factor Synthetic Transmit Aperture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：