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

作者： Wang, Wei Li, Guangsong Gai, Keke Tang, Yazhe Yang, Benchao Si, Xueming State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou China School of Computer Science and Technology Beijing Institute of Technology Beijing China School of Computer Science and Technology Xi'an Jiaotong University Xi'an China Shanghai Key Laboratory of Data Science Fudan University Shanghai China

With the development and popularization of Internet technology, network security has become the focus of attention. Vulnerabilities and back doors are regarded as two of the main reasons of network security problems. Dynamic heterogeneous redundant (DHR) architecture is a typical framework of cyberspace mimic defense. It can make use of untrusted hardware and software components to construct a high reliable and high security information system. In this article, a mathematical model is set up for the DHR architecture, and the system security is characterized by vulnerability consistency rate and success rate of system attack. The antiattack ability of the DHR system is analyzed using the mathematical model. © 2020 John Wiley & Sons, Ltd.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Lightweight DCT-Like Domain Forensics Model for Adversarial Example 19th

Lightweight DCT-Like Domain Forensics Model for Adversarial ...

引用

19th International Workshop on Digital Forensics and Watermarking, IWDW 2020

作者： Zhao, Junjie Wang, Jinwei Nanjing University of Information Science and Technology Jiangsu210044 China State Key Laboratory of Mathematical Engineering and Advanced Computing Henan450001 China

ISBN: (纸本)9783030694487

Since the emergence of adversarial examples brings great security threat to deep neural network which is widely used in various fields, their forensics become very important. In this paper, a lightweight model for the forensics of adversarial example based on DCT-like domain is proposed. The DCT-like layer realizes the block conversion of data from the spatial domain to the frequency domain. Together with the color space transformation layer and the residual layer, the DCT-like layer realizes the simulation of JPEG quantization error. The feature statistical layer is used to obtain the statistical feature values of the feature map output by the frequency-division convolution, and at the same time, it also contains learnable hyperparameters. The group BN strategy ensures the effectiveness of the DCT-like layer and the feature statistical layer and promotes the accuracy of forensics. Experiments show that the proposed model not only reaches the highest accuracy we know, but also it only needs to train for one epoch to get a high-performance. © 2021, Springer Nature Switzerland AG.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

A Binary Function Name Prediction Method Based on Variable Alignment and Translation Model 23

A Binary Function Name Prediction Method Based on Variable A...

引用

Proceedings of the 2023 4th International Conference on Machine Learning and Computer Application

作者： Bing Xia Jiabin Yin Yunxiang Ge Ruinan Yang Key Laboratory of Mathematical Engineering and Advanced Computing ZhongYuan University of Technology China Henan Key Laboratory on Public Opinion Intelligent Analysis ZhongYuan University of Technology China ZhongYuan University of Technology China

ISBN: (纸本)9798400709449

Binary function naming is a code analysis task that generates functional descriptions of functions, and its results can be applied in the fields of malicious code analysis, vulnerability causation analysis, and algorithm governance. Aiming at the shortcomings of the pseudocode abstract syntax tree being difficult to extract and the binary function naming scheme having low accuracy rate, a binary function naming prediction model A2N based on variable alignment and sequence translation model is proposed. First, A2N extracts the function variable features of binary files from debugging information and performs variable alignment with the pseudocode obtained from decompiling; then, it obtains the hierarchical structure of the binary functions and designs the node extraction rules to generate an abstract syntax tree AST for each function; then, extract the paths between the leaf nodes of the AST and serialize the tree structure to represent it; finally, with the help of the neural network translation model, establish a mapping between the AST and the binary function names to realize the prediction function. The experimental results show that compared with Dire, Nero and XFL models, the F1 value of A2N is improved by 84%, 44% and 14% on file-level isolation experiments respectively, and the F1 value reaches 80.94% on function-level isolation experiments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Breaking Limitation of Convergence in Continuous Optimization: Predefined-Time Gradient Flows 63

Breaking Limitation of Convergence in Continuous Optimizatio...

引用

63rd IEEE Conference on Decision and Control, CDC 2024

作者： Zhang, Renyongkang Guo, Ge Gao, Zhenyu Yu, Miao Zhang, Lu Wang, Zhengsong Han, Meng Yin, Yanyan Northeastern University College of Information Science and Engineering Shenyang110819 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110819 China Northeastern University at Qinhuangdao School of Control Engineering Qinhuangdao066004 China Curtin University School of Electrical Engineering Computing and Mathematical Sciences PerthWA6102 Australia

ISBN: (纸本)9798350316339

This paper investigates the continuous-time unconstrained optimization via dynamical gradient flow systems. For strongly convex objective functions, a gradient flow with predefined time convergence is proposed, which is suitable for relaxing the objective function to only satisfy the PolyakLojasiewicz (P-L) condition. A predefined-time convergent Newton's flow is designed for the minimization of strictly convex functions. The proposed result is extended for strongly convex objective functions with time-varying parameters. In our schemes, the upper bound of convergence time can be used as a prior choice without involving system initialization and complex parameter calculations. The convergence of algorithms is rigorously proved by using the Lyapunov method. Numerical simulation illustrates the effectiveness of the proposed methods. © 2024 IEEE.

关键词： Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Prepartition: Load Balancing Approach for Virtual Machine Reservations in a Cloud Data Center

引用

Journal of Computer Science & Technology 2023年第4期38卷 773-792页

作者：田文洪徐敏贤周光耀吴逵须成忠 Rajkumar Buyya School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu 610054China Yangtze Delta Region Institute(Huzhou) University of Electronic Science and Technology of ChinaHuzhou 313001China Institute of Advanced Computing and Digital Engineering Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055China Department of Computer Science University of VictoriaVictoriaBCV8W 3P6Canada State Key Laboratory of Internet of Things for Smart City University of MacaoMacao 999078China School of Computing and Information Systems University of MelbourneMelbourne 3010Australia

Load balancing is vital for the efficient and long-term operation of cloud data *** virtualization,post(reactive)migration of virtual machines(VMs)after allocation is the traditional way for load balancing and consoli***,it is not easy for reactive migration to obtain predefined load balance objectives and it may interrupt services and bring ***,we provide a new approach,called Prepartition,for load *** partitions a VM request into a few sub-requests sequentially with start time,end time and capacity demands,and treats each sub-request as a regular VM *** this way,it can proactively set a bound for each VM request on each physical machine and makes the scheduler get ready before VM migration to obtain the predefined load balancing goal,which supports the resource allocation in a fine-grained *** with real-world trace and synthetic data show that our proposed approach with offline version(PrepartitionOff)scheduling has 10%–20%better performance than the existing load balancing baselines under several metrics,including average utilization,imbalance degree,makespan and Capacity_*** also extend Prepartition to online load *** results show that our proposed approach also outperforms state-of-the-art online algorithms.

关键词： cloud computing physical machine(PM) virtual machine(VM) reservation load balancing Prepartition

来源：评论

学校读者我要写书评

暂无评论

Brillouin Klein space and half-turn space in three-dimensional acoustic crystals

引用

Science Bulletin 2024年第13期69卷 2050-2058页

作者： Zhenxiao Zhu Linyun Yang Jien Wu Yan Meng Xiang Xi Bei Yan Jingming Chen Jiuyang Lu Xueqin Huang Weiyin Deng Ce Shang Perry Ping Shum Yihao Yang Hongsheng Chen Kexin Xiang Gui-Geng Liu Zhengyou Liu Zhen Gao State Key Laboratory of Optical Fiber and Cable Manufacture Technology Department of Electronic and Electrical EngineeringSouthern University of Science and TechnologyShenzhen 518055China School of Physics and Optoelectronics South China University of TechnologyGuangzhou 510640China Key Laboratory of Artificial Micro-and Nanostructures of Ministry of Education and School of Physics and Technology Wuhan UniversityWuhan 430072China King Abdullah University of Science and Technology(KAUST) Physical Science and Engineering Division(PSE)Thuwal 23955-6900Saudi Arabia Interdisciplinary Center for Quantum Information State Key Laboratory of Modern Optical InstrumentationZJU-Hangzhou Global Science and Technology Innovation CenterCollege of Information Science and Electronic EngineeringZJU-UIUC InstituteZhejiang UniversityHangzhou 310027China Division of Physics and Applied Physics School of Physical and Mathematical SciencesNanyang Technological UniversitySingapore 637371Singapore Institute for Advanced Studies Wuhan UniversityWuhan 430072China

The Bloch band theory and Brillouin zone(BZ)that characterize wave-like behaviors in periodic mediums are two cornerstones of contemporary physics,ranging from condensed matter to topological *** theoretical breakthrough revealed that,under the projective symmetry algebra enforced by artificial gauge fields,the usual two-dimensional(2D)BZ(orientable Brillouin two-torus)can be fundamentally modified to a non-orientable Brillouin Klein bottle with radically distinct manifold ***,the physical consequence of artificial gauge fields on the more general three-dimensional(3D)BZ(orientable Brillouin three-torus)was so far ***,we theoretically discovered and experimentally observed that the fundamental domain and topology of the usual 3D BZ can be reduced to a non-orientable Brillouin Klein space or an orientable Brillouin half-turn space in a 3D acoustic crystal with artificial gauge *** experimentally identify peculiar 3D momentum-space non-symmorphic screw rotation and glide reflection symmetries in the measured band ***,we experimentally demonstrate a novel stacked weak Klein bottle insulator featuring a nonzero Z2 topological invariant and self-collimated topological surface states at two opposite surfaces related by a nonlocal twist,radically distinct from all previous 3D topological *** discovery not only fundamentally modifies the fundamental domain and topology of 3D BZ,but also opens the door towards a wealth of previously overlooked momentum-space multidimensional manifold topologies and novel gaugesymmetry-enriched topological physics and robust acoustic wave manipulations beyond the existing paradigms.

关键词： Momentum-space non-symmorphic symmetry Brillouin Klein space and half-turn space Acoustic Klein bottle insulator Self-collimated topological surface states

来源：评论

学校读者我要写书评

暂无评论

RDGFuzz: A directed greybox fuzzing optimization method based on Rich-Branch nodes 22

RDGFuzz: A directed greybox fuzzing optimization method base...

引用

Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer engineering

作者： Zejun Wu Li Lu Qiong Jia Zhihao Chen State Key Laboratory of Mathematical Engineering and advanced Computing China National Local Joint Engineering Laboratory of Network Space Security Technology China Beijing Institute of Computer Technology and Application China

ISBN: (纸本)9781450397148

Directed fuzzing technology is one of the key technologies to quickly reach a specific location of software, and to conduct targeted testing or bug recurrence. However, directed fuzzing technology has some problems, such as unreasonable seed energy allocation, low code coverage and incomplete testing. To solve the above problems, this paper proposes an optimization method of directed fuzzing based on Rich-Branch nodes. In this method, the concept of Rich-Branch nodes is defined and the algorithm of extracting Rich-Branch nodes is given. The optimization method collects the coverage information of the target program in the running process, calculates the weights of covered functions and nodes in real time by combining CG and CFG of the target program, and generates a list of Rich-Branch nodes. According to the weights of Rich-Branch nodes, the seed energy allocation algorithm of AFLGo is optimized and improved. Compared with AFLGo, this optimization method improves the average code coverage of each targeted point by 56.79%, and has the same target reaching ability as AFLGo.

关键词： Rich-Branch nodes Directed fuzzing Code coverage rate Vulnerability discovery

来源：评论

学校读者我要写书评

暂无评论

A Note on "Constructing Bent Functions Outside the Maiorana-McFarland Class Using a General Form of Rothaus"

arXiv

引用

arXiv 2025年

作者： Guo, Fei Wang, Zilong Gong, Guang State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou450001 China State Key Laboratory of Integrated Service Networks Xidian University Xi’an710071 China Department of Electrical and Computer Engineering University of Waterloo WaterlooONN2L 3G1 Canada

In 2017, Zhang et al. proposed a question (not open problem) and two open problems in [IEEE TIT 63 (8): 5336–5349, 2017] about constructing bent functions by using Rothaus’ construction. In this note, we prove that the sufficient conditions of Rothaus’ construction are also necessary, which answers their question. Besides, we demonstrate that the second open problem, which considers the iterative method of constructing bent functions by using Rothaus’ construction, has only a trivial solution. It indicates that all bent functions obtained by using Rothaus’ construction iteratively can be generated from the direct sum of an initial bent function and a quadratic bent function. This directly means that Zhang et al.’s construction idea makes no contribution to the construction of bent functions. To compensate the weakness of their work, we propose an iterative construction of bent functions by using a secondary construction in [DCC 88: 2007–2035, 2020]. © 2025, CC BY-NC-ND.

关键词： Hadamard transforms

来源：评论

学校读者我要写书评

暂无评论

Metalenses phase characterization by multidistance phase retrieval

引用

Light(Science & Applications) 2024年第9期13卷 1898-1907页

作者： Bowen Liu Jialuo Cheng Maoxiong Zhao Jin Yao Xiaoyuan Liu Shaohu Chen Lei Shi Din Ping Tsai Zihan Geng Mu Ku Chen State Key Laboratory of Surface Physics Key Laboratory of Micro-and Nano-Photonic Structures(Ministry of Education)and Department of PhysicsFudan University200433 ShanghaiChina Department of Electrical Engineering City University of Hong KongKowloonHong Kong SARChina State Key Laboratory of Terahertz and Millimeter Waves City University of Hong KongKowloonHong Kong SARChina Institute for Nanoelectronic Devices and Quantum Computing Fudan University200438 ShanghaiChina Collaborative Innovation Center of Advanced Microstructures Nanjing University210093 NanjingJiangsuChina Shanghai Research Center for Quantum Sciences 201315 ShanghaiChina Centre for Biosystems Neuroscienceand NanotechnologyCity University of Hong KongKowloonHong Kong SARChina Institute of Data and Information Tsinghua Shenzhen International Graduate SchoolTsinghua University518071 ShenzhenGuangdongChina

Metalens,characterized by their unique functions and distinctive physical properties,have gained significant attention for their potential *** further optimize the performance of metalens,it is necessary to characterize the phase modulation of the *** this study,we present a multi-distance phase retrieval system based on optical field scanning and discuss its convergence and *** findings indicate that the system is capable of retrieving the phase distribution of the metalens as long as the measurement noise is low and the total length of the scanned light field is sufficiently *** system enables the analysis of focal length and aberration by utilizing the computed phase *** extend our investigation to measure the phase distribution of the metalens operating in the near-infrared(NIR)spectrum and identify the impact of defects in the sample on the ***,we conduct a comparative analysis of the phase distribution of the metalens in air and ethanol and observe the variations in the phase modulation of the metalens in different working *** system provides a straightforward method for the phase characterization of metalens,aiding in optimizing the metalens design and functionality.

关键词： phase system distribution

来源：评论

学校读者我要写书评

暂无评论

Adaptive energy-preserving algorithms for guiding center system

引用

Plasma Science and Technology 2023年第4期25卷 11-22页

作者：朱贝贝刘健张嘉炜祝爱卿唐贻发 Department of Applied Mathematics School of Mathematics and PhysicsUniversity of Science and Technology BeijingBeijing 100083Peopleʼs Republic of China School of Nuclear Science and Technology University of Science and Technology of ChinaHefei 230026Peopleʼs Republic of China Advanced algorithm Joint Lab Shandong Computer Science CenterQilu University of TechnologyJinan 250014Peopleʼs Republic of China The State Key Laboratory of Scientific and Engineering Computing The Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190Peopleʼs Republic of China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049Peopleʼs Republic of China

We develop two types of adaptive energy preserving algorithms based on the averaged vector field for the guiding center dynamics,which plays a key role in magnetized *** adaptive scheme is applied to the Gauss Legendre’s quadrature rules and time stepsize respectively to overcome the energy drift problem in traditional energy-preserving *** new adaptive algorithms are second order,and their algebraic order is carefully *** results show that the global energy errors are bounded to the machine precision over long time using these adaptive algorithms without massive extra computation cost.

关键词： guiding center system energy-preserving methods adaptive energy conservation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：