检索结果-南通市图书馆

Troy: Efficient Service Deployment for Windows Systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 313-322页

作者： Deyu ZHANG Yu XIE Mucong XU En CHENG Xiaoyan KUI Bangwen HE Yunhao LI school of computer science and engineering Central South University

The modern university computer lab and kindergarden through 12th grade classrooms require a centralized solution to efficiently manage a large number of desktops. The existing solutions either bring virtualization overhead in runtime or requires loading a large image over 30 GB leading to an unacceptable network latency. In this work, we propose Troy which takes advantage of the differencing virtual hard disk techniques in Windows *** such, Troy only loads the modifications made on one machine to all other machines. Troy consists of two modules that are responsible to generate an initial image and merge a differencing image with its parent image, respectively. Specifically, we identify the key fields in the virtual hard disk image that links the differencing image and the parent image and find the modified blocks in the differencing images that should be used to replace the blocks in the parent image. We further design a lazy copy solution to reduce the I/O burden in image merging. We have implemented Troy on bare metal machines. The evaluation results show that the performance of Troy is comparable to the native implementation in Windows, without requiring the Windows environment.

关键词： Runtime Image synthesis Merging Loading Metals Hard disks Virtualization

同方期刊数据库

Meta label associated loss for fine-grained visual recognition

在线全文

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 230-247页

作者： Yanchao LI Fu XIAO Hao LI Qun LI Shui YU school of computer science Nanjing University of Posts and Telecommunications school of Network engineering Zhoukou Normal University school of computer science University of Technology Sydney

Recently, intensive attempts have been made to design robust models for fine-grained visual recognition, most notably are the impressive gains for training with noisy labels by incorporating a reweighting strategy into a meta-learning framework. However, it is limited to up or downweighting the contribution of an instance for label reweighting approaches in the learning process. To solve this issue, a novel noise-tolerant method with auxiliary web data is proposed. Specifically, first, the associations made from embeddings of well-labeled data with those of web data and back at the same class are measured. Next, its association probability is employed as a weighting fusion strategy into angular margin-based loss, which makes the trained model robust to noisy datasets. To reduce the influence of the gap between the well-labeled and noisy web data, a bridge schema is proposed via the corresponding loss that encourages the learned embeddings to be coherent. Lastly, the formulation is encapsulated into the meta-learning framework, which can reduce the overfitting of models and learn the network parameters to be noise-tolerant. Extensive experiments are performed on benchmark datasets, and the results clearly show the superiority of the proposed method over existing state-of-the-art approaches.

关键词： label associated loss weighting noisy samples fine-grained visual recognition noise-tolerant learning meta-learning

同方期刊数据库

HTDcr:a job execution framework for high-throughput computing on supercomputers

在线全文

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第1期67卷 69-85页

作者： Jiazhi JIANG Dan HUANG Hu CHEN Yutong LU Xiangke LIAO school of computer science and engineering Sun Yat-sen University school of Software engineering South China University of Technology

High-throughput computing(HTC) is a computing paradigm that aims to accomplish jobs by easily breaking them into smaller,independent ***,it requires a large amount of computing power for a long *** existing HTC frameworks are job-oriented without support for coscheduling with hardware architecture and task-level ***,most of the frameworks reach a limited scale,and their usability needs further ***,we present HTDcr,a job execution framework for the HTC on *** study aims to improve the throughput,task dispatching,and usability of the *** detail,the throughput optimizations include a sophisticated designed task management system,a hierarchical scheduler,and the co-optimization of the task-scheduling strategy with the application and hardware *** optimizations for usability include a programable execution workflow,mechanisms for more robust and reliable service qualities,and a fine-grained resource allocation system for the colocation of multiple *** to our evaluations,HTDcr can achieve outstanding scalability and high throughput on large-scale clusters for the HTC *** evaluate HTDcr with several microbenchmarks and real-world applications on Tianhe-2 and Sunway TaihuLight to demonstrate its effects on existing design *** instance,the task scheduling for two real-world applications integrated with the application and hardware characteristics achieves 1.7× and 1.9× speedups over the basic task-scheduling strategy.

关键词： high-throughput computing supercomputer task scheduling middleware password guessing

CToMP: a cycle-task-oriented memory protection scheme for unmanned systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 399-417页

作者： Chengyan MA Ning XI Di LU Yebo FENG Jianfeng MA school of Cyber engineering Xidian University school of computer science and Technology Xidian University Department of computer and Information science University of Oregon

Memory corruption attacks(MCAs) refer to malicious behaviors of system intruders that modify the contents of a memory location to disrupt the normal operation of computing systems, causing leakage of sensitive data or perturbations to ongoing processes. Unlike general-purpose systems, unmanned systems cannot deploy complete security protection schemes, due to their limitations in size, cost and *** in unmanned systems are particularly difficult to defend against. Furthermore, MCAs have diverse and unpredictable attack interfaces in unmanned systems, severely impacting digital and physical sectors. In this paper, we first generalize, model and taxonomize MCAs found in unmanned systems currently, laying the foundation for designing a portable and general defense approach. According to different attack mechanisms,we found that MCAs are mainly categorized into two types — return2libc and return2shellcode. To tackle return2libc attacks, we model the erratic operation of unmanned systems with cycles and then propose a cycle-task-oriented memory protection(CToMP) approach to protect control flows from tampering. To defend against return2shellcode attacks, we introduce a secure process stack with a randomized memory address by leveraging the memory pool to prevent Shellcode from being executed. Moreover, we discuss the mechanism by which CTo MP resists the return-oriented programming(ROP) attack, a novel variant of return2libc attacks. Finally, we implement CTo MP on CUAV V5+ with Ardupilot and Crazyflie. The evaluation and security analysis results demonstrate that the proposed approach CTo MP is resilient to various MCAs in unmanned systems with low footprints and system overhead.

关键词： unmanned system memory corruption attack memory protection system security randomized memory address

同方期刊数据库

Identifying influential spreaders in complex networks based on density entropy and community structure

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第5期33卷 765-774页

作者：苏湛陈磊艾均郑雨语别娜 school of Optical-Electrical and computer engineering University of Shanghai for Science and Technology

In recent years,exploring the relationship between community structure and node centrality in complex networks has gained significant attention from researchers,given its fundamental theoretical significance and practical *** address the impact of network communities on target nodes and effectively identify highly influential nodes with strong propagation capabilities,this paper proposes a novel influential spreaders identification algorithm based on density entropy and community structure(DECS).The proposed method initially integrates a community detection algorithm to obtain the community partition results of the *** then comprehensively considers the internal and external density entropies and degree centrality of the target node to evaluate its *** validation is conducted on eight networks of varying sizes through susceptible–infected–recovered(SIR)propagation experiments and network static attack *** experimental results demonstrate that the proposed method outperforms five other node centrality methods under the same comparative conditions,particularly in terms of information spreading capability,thereby enhancing the accurate identification of critical nodes in networks.

关键词： corrigendum electron impact ionization cross sections carbon monoxide

维普期刊数据库

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University school of computer and Artificial Intelligence Zhengzhou University school of computer science and Cyber engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Cloud computing Behavioral sciences Reliability Formal verification

SwiftTheft: A Time-Efficient Model Extraction Attack Framework Against Cloud-Based Deep Neural Networks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 90-100页

作者： Wenbin YANG Xueluan GONG Yanjiao CHEN Qian WANG Jianshuo DONG school of Cyber science and engineering Wuhan University school of computer science Wuhan University College of Electrical engineering Zhejiang University

With the rise of artificial intelligence and cloud computing, machine-learning-as-a-service platforms,such as Google, Amazon, and IBM, have emerged to provide sophisticated tasks for cloud applications. These proprietary models are vulnerable to model extraction attacks due to their commercial value. In this paper, we propose a time-efficient model extraction attack framework called Swift Theft that aims to steal the functionality of cloud-based deep neural network models. We distinguish Swift Theft from the existing works with a novel distribution estimation algorithm and reference model settings, finding the most informative query samples without querying the victim model. The selected query samples can be applied to various cloud models with a one-time selection. We evaluate our proposed method through extensive experiments on three victim models and six datasets, with up to 16 models for each dataset. Compared to the existing attacks, Swift Theft increases agreement(i.e., similarity) by 8% while consuming 98% less selecting time.

关键词： Performance evaluation Cloud computing Analytical models Computational modeling Estimation Artificial neural networks Artificial intelligence

A Deep Deterministic Policy Gradient-Based Method for Enforcing Service Fault-Tolerance in MEC

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第4期33卷 899-909页

作者： Tingyan LONG Peng CHEN Yunni XIA Yong MA Xiaoning SUN Jiale ZHAO Yifei LYU College of computer science Chongqing University school of computer and Software engineering Xihua University school of computer and Information engineering Jiangxi Normal University school of computer and Information science Chongqing Normal University

Mobile edge computing(MEC) provides edge services to users in a distributed and on-demand *** to the heterogeneity of edge applications, deploying latency and resource-intensive applications on resourceconstrained devices is a key challenge for service providers. This is especially true when underlying edge infrastructures are fault and error-prone. In this paper, we propose a fault tolerance approach named DFGP, for enforcing mobile service fault-tolerance in MEC. It synthesizes a generative optimization network(GON) model for predicting resource failure and a deep deterministic policy gradient(DDPG) model for yielding preemptive migration *** show through extensive simulation experiments that DFGP is more effective in fault detection and guaranteeing quality of service, in terms of fault detection accuracy, migration efficiency, task migration time, task scheduling time,and energy consumption than other existing methods.

关键词： Fault tolerance Multi-access edge computing Processor scheduling Fault detection Image edge detection Fault tolerant systems Quality of service

Hybrid concurrency control protocol for data sharing among heterogeneous blockchains

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of computer science 2024年第3期18卷 1-12页

作者： Tiezheng GUO Zhiwei ZHANG Ye YUAN Xiaochun YANG Guoren WANG school of computer science and Technology Beijing Institute of TechnologyBeijing 100029China school of computer science and engineering Northeastern UniversityShenyang 110167China

With the development of information technology and cloud computing,data sharing has become an important part of scientific *** traditional data sharing,data is stored on a third-party storage platform,which causes the owner to lose control of the *** a result,there are issues of intentional data leakage and tampering by third parties,and the private information contained in the data may lead to more significant ***,data is frequently maintained on multiple storage platforms,posing significant hurdles in terms of enlisting multiple parties to engage in data sharing while maintaining *** this work,we propose a new architecture for applying blockchains to data sharing and achieve efficient and reliable data sharing among heterogeneous *** design a new data sharing transaction mechanism based on the system architecture to protect the security of the raw data and the processing *** also design and implement a hybrid concurrency control protocol to overcome issues caused by the large differences in blockchain performance in our system and to improve the success rate of data sharing *** took Ethereum and Hyperledger Fabric as examples to conduct crossblockchain data sharing *** results show that our system achieves data sharing across heterogeneous blockchains with reasonable performance and has high scalability.

关键词： data sharing blockchain concurrency control protocol crosschain