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

作者： Hao Jiangwei Xu Jinchen Guo Shaozhong Xia Yuanyuan Liu Dan State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University

mathematical function is an essential part of numerical program, and it is also the key factor that affects the precision and performance of a program. In the design of mathematical functions, in order to satisfy most application scenarios, it is necessary to correctly round and cover the calculated interval as much as possible. But in certain applications, correct rounding and full coverage of definition domain may not be ***, mathematical functions can be customized according to application requirements to avoid precision waste as well as improve performance. However, manually implementing mathematical functions is a time-consuming and error-prone task. Tools like Metalibm is designed to automatically generate mathematical function code, which is difficult to take advantage of all the mathematical properties of a function and results in the generated code performing slowly than the corresponding mathematical library function. A method of generating variable precision code based on mathematical properties is proposed for the transcendental function in this work. Experiments showed the performance of the proposed method is comparable to Glibc mathematical function.

关键词： Taylor Design and Implementation of Variable Precision Algorithm for Transcendental Functions

来源：评论

学校读者我要写书评

暂无评论

Coherence fraction in Grover's search algorithm

引用

Physical Review A 2024年第6期110卷 062429-062429页

作者： Si-Qi Zhou Hai Jin Jin-Min Liang Shao-Ming Fei Yunlong Xiao Zhihao Ma School of Mathematical Sciences MOE-LSC Shanghai Jiao Tong University Shanghai 200240 China Shanghai Seres Information Technology Co. Ltd Shanghai 200040 China Shenzhen Institute for Quantum Science and Engineering Southern University of Science and Technology Shenzhen 518055 China State Key Laboratory for Mesoscopic Physics School of Physics Frontiers Science Center for Nano-Optoelectronics Peking University Beijing 100871 China School of Mathematical Sciences Capital Normal University Beijing 100048 China Max Planck Institute for Mathematics in the Sciences - 04103 Leipzig Germany Quantum Innovation Centre (Q.InC) Agency for Science Technology and Research (ASTAR) 2 Fusionopolis Way Innovis #08-03 Singapore 138634 Republic of Singapore Institute of High Performance Computing (IHPC) Agency for Science Technology and Research (ASTAR) 1 Fusionopolis Way #16-16 Connexis Singapore 138632 Republic of Singapore

The question of which resources drive the advantages in quantum algorithms has long been a fundamental challenge. While entanglement and coherence are critical to many quantum algorithms, our results indicate that they do not fully explain the quantum advantage achieved by the Grover search algorithm. By introducing a generalized Grover search algorithm, we demonstrate that the success probability depends not only on the querying number of oracles but also on the coherence fraction, which quantifies the fidelity between an arbitrary initial quantum state and the equal superposition state. Additionally, we explore the role of the coherence fraction in the quantum minimization algorithm, which offers a framework for solving complex problems in quantum machine learning. These findings offer insights into the origins of quantum advantage and open pathways for the development of new quantum algorithms.

关键词： Quantum entanglement

来源：评论

学校读者我要写书评

暂无评论

A survey of industrial control system testbeds 2

A survey of industrial control system testbeds

引用

2019 2nd International Conference on advanced Materials, Intelligent Manufacturing and Automation, AMIMA 2019

作者： Geng, Yangyang Wang, Yi Liu, Wenwen Wei, Qiang Liu, Ke Wu, Haolan State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Department of Research and Development Center Beijing Sifang Automation Co. Ltd Beijing100085 China

Industrial Control System(ICS) testbed is the basis of ICS safety research. In order to build an ICS testbed, it is necessary to have a deep understanding of the current research status. This paper introduced the structure and composition of the typical ICS system. Then it simply analyzed the technical characteristics, system framework and advantages and disadvantages of four types of typical ICS testbeds. Finally, it summarized application scenarios of ICS testbed and pointed out some problems in testbed construction and the development direction of ICS testbed with the fusion of cyber and physical. © Published under licence by IOP Publishing Ltd.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

Highly Stable Zinc Anodes Enabled by a Dual-Function Additive of In-Situ Film Formation and Electrostatic Shielding

SSRN

引用

SSRN 2024年

作者： Ji, Rui-Han Fu, Hao Wen, Qing Li, Pei-Yao Yang, Pei Chen, Yu-Jing Chen, He-Zhang Zhang, Jia-Feng Li, Ling-Jun Wang, Jie-Xi Wu, Qing Zhang, Xia-Hui Zheng, Jun-Chao Washington State University United States School of Metallurgy and Environment Central South University Hunan Changsha410083 China Engineering Research Center of the Ministry of Education for Advanced Battery Materials Central South University Hunan Changsha410083 China National Energy Metal Resources and New Materials Key Laboratory Central South University Hunan Changsha410083 China School of Chemistry and Chemical Engineering Hunan University of Science and Technology Hunan Xiangtan411201 China School of Materials Science and Engineering Changsha University of Science and Technology Changsha410114 China National Engineering Research Centre of Advanced Energy Storage Materials Changsha410205 China School of Information and Network Center Central South University Hunan Changsha410083 China Center for High-Performance Computing United States

The practical application of aqueous Zn-ion batteries (AZIBs) is significantly hindered by the short lifespan and low utilization of zinc metal anodes caused by the notorious hydrogen evolution reaction (HER), corrosion, and dendritic growth. The in-situ formation of a dense Zn-ion conducting solid electrolyte interphase (SEI) is an ideal approach to handle these problems. Herein, we present a twofold-protective strategy involving the dense in-situ SEI layer and the electrostatic shielding layer by incorporating 0.01 M yttrium nitrate (YN) additive into 2 M zinc sulfate electrolyte. The robust oxidizing characteristic of the nitrate induces rapid passivation on the surface of Zn anodes, by which these inevitable passivation byproducts are utilized for in-situ fabricating a dense SEI protection layer with excellent wettability. Besides, the infusion of high-valence rare-earth Y3+ forms a durable, dynamic electrostatic shielding layer around the growth tip of the protuberances. This can regulate Zn2+ deposition and aid in rectifying the irregular and sharp surface on zinc anodes. Benefiting from the synergistic effect of the static film protection and the dynamic electrostatic rectification, zinc anodes exhibit outstanding stability, as evidenced by remarkable cycling lifespan of exceeding 2000 h at 1 mAh cm-2 and 600 h at 10 mAh cm-2 in Zn symmetric cells and the preeminent CE of 99.83% with stably cycling over 2200 times in half-cells at 4 mA cm-2. This study reveals a straightforward yet pragmatic avenue of synergistic dual-protection effect to achieve anti-corrosion and dendrite-free Zn anodes. © 2024, The Authors. All rights reserved.

关键词： Passivation

来源：评论

学校读者我要写书评

暂无评论

DSA-NIE: Double Static Attributes Based Node Importance Evaluation of Inter-Domain Routing System

DSA-NIE: Double Static Attributes Based Node Importance Eval...

引用

International Conference on Computer and Communications (ICCC)

作者： Huihu Zhu Han Qiu Junhu Zhu Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728147437

ISBN: (纸本)9781728147444

Assessing the importance of AS nodes is important for the protection of inter-domain routing system security. However, the existing literature on node importance evaluation methods based on static attributes are difficult to accurately characterize nodes. And which based on dynamic attributes have high time complexity. To address these problems, we analyze the relationship between static structural attributes and dynamic attributes after node failure. It is found that the degree can indirectly reflect the impact of the UPDATE packet propagation and the number of routing paths can reflect the impact caused by load redistribution. And then, we build static attribute characterization model of node failure effect. After that an evaluation method DSA-NIE is put forward. Given the two static attributes, DSA-NIE could effectively assessment of the importance of nodes. When compared with SD-KNI algorithm, the time complexity has been reduced to O(lmn). And the experiment result shows that the failure effect of the key nodes assessed by the DSA-NIE is 7.4% higher than the average, and up to 12.9% higher.

关键词： Routing Time complexity Kernel Power system faults Power system protection Security Load modeling

来源：评论

学校读者我要写书评

暂无评论

Field-aware Evolutionary Fuzzing Based on Input Specifications and Vulnerability Metrics

Field-aware Evolutionary Fuzzing Based on Input Specificatio...

引用

IEEE International Conference on Software engineering and Service Sciences (ICSESS)

作者： Yunchao Wang Zehui Wu Qiang Wei Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728109459

ISBN: (纸本)9781728109466

Evolutionary fuzzing technology based on genetic algorithm has become one of the most effective vulnerability discovery techniques due to its fast and scalable advantages. How to effectively mutate the seed input plays a crucial role in improving the efficiency of the fuzzing. A good mutation strategy can increase code coverage and vulnerability triggering probability. Existing fuzzing tools generally focus on how to mutate smartly to improve code coverage to find more vulnerabilities (such as passing the branch with magic bytes), but they still face two challenges which substantially reduces the efficiency of vulnerability discovery. First, the input space is huge and current fuzzers are not aware of the input format, resulting in many mutated inputs are invalid. Second, they believe all bytes are equal and mutate them sequentially, wasting lots of time testing some uninteresting bytes. To this end, this paper proposes a field-aware mutation strategy that can find more vulnerabilities by generating fewer but more effective inputs. Specifically, we extract the field and type information of the seed input through the existing input specifications to ensure that the mutation is performed in field level instead of byte level and the optimal mutation strategy is selected. At the same time, the input fields are scored by code assessment based on vulnerability metrics, thus the more important fields (i.e., fields that are more likely to trigger the vulnerability) are prioritized to be mutated. We implemented a prototype tool, FaFuzzer, and evaluated it on two different datasets consisting of a variety of real-world applications. Experiments show that our field-aware strategy can find more vulnerabilities with fewer inputs than existing tools, while maintaining high code coverage. We found many unknown bugs in five widely used real-world applications and reported them to the relevant vendors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Defense Strategy Selection Method for Stackelberg Security Game Based on Incomplete Information

Defense Strategy Selection Method for Stackelberg Security G...

引用

作者： Xiaoyue Ge Tianyang Zhou Yichao Zang State Key Laboratory of Mathematical Engineering and Advanced Computing Information & Engineering University

Network attack and defense confrontation is essentially a game process between unequal subjects on both sides of attack and *** are some defects in the prior hypothesis that the subject status of both sides of the attack and defense game is equal and the active defense ability is insufficient in the research of the existing network defense *** this paper,game theory unequal thought and defender active release incentive technology into network defense strategy generation model construction process,and a Stackelberg Security Game defense strategy generation method based on incomplete information is *** establishing the network model,the strong equilibrium strategy algorithm of Stackelberg Security Game with incomplete information is used to generate the optimal defense strategy of the *** defender can actively release the incentive strategy without reducing the accuracy of defense strategy *** experimental results provide a method for the selection of optimal defense strategy,and can strengthen the security of the system.

关键词： network attack and defense Stackelberg Security Game incentive strategy policy selection

来源：评论

学校读者我要写书评

暂无评论

BTI Aging Monitoring based on SRAM Start-up Behavior

BTI Aging Monitoring based on SRAM Start-up Behavior

引用

Asian Test Symposium (ATS)

作者： Shengyu Duan Peng Wang Gaole Sai School of Computer Engineering and Science Shanghai University Shanghai China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Guangdong Provincial Key Lab of Robotics and Intelligent System Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences China CAS Key Laboratory of Human-Machine Intelligence-Synergy Systems Shenzhen Institutes of Advanced Technology China

ISBN: (数字)9781728174679

ISBN: (纸本)9781728174686

Bias Temperature Instability (BTI) is one of the dominant CMOS aging mechanisms. It causes time-dependent variation, threatening circuit lifetime reliability. BTI-induced circuit errors are not detectable at the fabrication stage. On-line monitoring schemes are therefore necessary to capture the degradations during the operational time. Traditional aging monitoring techniques exhibit high implementation complexity and low stability. In this paper, we propose a BTI monitoring approach by simply tracking the start-up behavior of SRAM cells. SRAM is a widely used on-chip device in many applications. We study the impact of BTI for SRAM start-up values and age some cells in a manipulated manner. The BTI degradation is evaluated based on the number of SRAM cells starting with a certain value. This technique can be used to estimate the degradation for on-chip logic circuits without introducing additional circuitry, and thus has very low implementation complexity. We use an SRAM array with 1024 cells to estimate the degradations for multiple logic circuits, and show the average mean absolute percentage error as 8.48%. In addition, this technique is robust considering process, voltage and temperature variations.

关键词： Degradation Monitoring Logic circuits Transistors SRAM cells Aging System-on-chip

来源：评论

学校读者我要写书评

暂无评论

Modular parallel transport of multiple intervals in 1+1-dimensional free fermion theory

arXiv

引用

arXiv 2022年

作者： Chen, Bowen Czech, Bartlomiej Hung, Ling-Yan Wong, Gabriel Institute for Advanced Study Tsinghua University Beijing100084 China State Key Laboratory of Surface Physics Fudan University Shanghai200433 China Department of Physics Center for Field Theory and Particle Physics Fudan University Shanghai200433 China Institute for Nanoelectronic Devices and Quantum Computing Fudan University Shanghai200433 China Yau Mathematical Sciences Center Tsinghua University Beijing100084 China Harvard Center of Mathematical Sciences and Applications Harvard University CambridgeMA02138 United States

Modular parallel transport is a generalization of Berry phases, applied to modular (entanglement) Hamiltonians. Here we initiate the study of modular parallel transport for disjoint field theory regions. We study modular parallel transport in the kinematic space of multi-interval regions in the vacuum of 1+1-dimensional free fermion theory—one of the few theories for which modular Hamiltonians on disjoint regions are known. We compute explicitly the generators of modular parallel transport, and explain why their relatively simple form follows from a half-sided modular inclusion. We also compute explicitly the curvature two-form of modular parallel transport. We contrast all calculations with the expected behavior of modular parallel transport in holographic theories, emphasizing the role of non-local terms that couple distinct intervals. Copyright © 2022, The Authors. All rights reserved.

关键词： Hamiltonians

来源：评论

学校读者我要写书评

暂无评论

NIG-AP: a new method for automated penetration testing

引用

Frontiers of Information Technology & Electronic engineering 2019年第9期20卷 1277-1288页

作者： Tian-yang ZHOU Yi-chao ZANG Jun-hu ZHU Qing-xian WANG State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China China National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450001China

Penetration testing offers strong advantages in the discovery of hidden vulnerabilities in a network and assessing network ***,it can be carried out by only security analysts,which costs considerable time and *** natural way to deal with the above problem is automated penetration testing,the essential part of which is automated attack *** previous studies have explored various ways to discover attack paths,all of them require perfect network information beforehand,which is contradictory to realistic penetration testing *** vividly mimic intruders to find all possible attack paths hidden in a network from the perspective of hackers,we propose a network information gain based automated attack planning(NIG-AP)algorithm to achieve autonomous attack path *** algorithm formalizes penetration testing as a Markov decision process and uses network information to obtain the reward,which guides an agent to choose the best response actions to discover hidden attack paths from the intruder’s *** results reveal that the proposed algorithm demonstrates substantial improvement in training time and effectiveness when mining attack paths.

关键词： Penetration testing Reinforcement learning Classical planning Partially observable Markov decision process

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：