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

5th IEEE International Conference on Computer and Communications, ICCC 2019

作者： Wang, Chiheng Peng, Jianshan Wang, Qingxian Duan, Xiaoli State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China China United Network Communications Group Co. Ltd Shanxi Yuncheng Branch Yuncheng China

ISBN: (纸本)9781728147437

With the broad application of fuzzing, the efficiency of vulnerability discovery improves, result in a large number of crashes generating more and more rapidly. However, the analysis of the crashes is a highly repetitive manual work. Here, to identify vulnerability features and de-duplicate crashes, a new technology was proposed which we called Vulnerability Fingerprint. We defined the basic vulnerability features of the Vulnerability Fingerprint, and used the multi-level classification method to establish the Vulnerability Fingerprint feature model. Finally, based on the Linux operating system, we designed and implemented the Vulnerability Fingerprint extraction tool, and tested the crashes obtained by fuzzing of real software. The results showed that there was a more than 90% reduction of crashes workload with the Vulnerability Fingerprint. And in the de-duplicated crashes, the vulnerability coverage rate even could reach nearly 100%. © 2019 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Current progress in corrosion of multi principal element alloys

arXiv

引用

arXiv 2024年

作者： Ghorbani, M. Li, Z. Qiu, Y. Marcus, P. Scully, J.R. Gharbi, O. Luo, H. Gupta, R.K. Zeng, Z.R. Fraser, H.L. Taheri, M.L. Birbilis, N. Faculty of Science Engineering and the Built Environment Deakin University VIC Australia College of Engineering Computing and Cybernetics Australian National University ACT Australia Faculty of Materials Wuhan University of Science and Technology Wuhan China PSL University CNRS Chimie ParisTech Institut de Recherche de Chimie Paris Physical Chemistry of Surfaces Group Paris France Department of Materials Science and Engineering University of Virginia VA United States CNRS Sorbonne Université Laboratoire de Réactivité de Surface LRS Paris France National Materials Corrosion and Protection Data Center Institute for Advanced Materials and Technology University of Science and Technology Beijing Beijing China Department of Materials Science and Engineering North Carolina State University RaleighNC United States State Key Laboratory of Advanced Design and Manufacturing Technology for Vehicle Hunan University Changsha China Department of Materials Science and Engineering The Ohio State University ColumbusOH United States Department of Materials Science and Engineering Johns Hopkins University BaltimoreMD United States

Whilst multi-principal element alloys (MPEAs) remain a promising class of materials owing to several attractive mechanical properties, their corrosion performance is also unique. In this concise review, we present an emerging overview of some of the general features related to MPEA corrosion, following a decade of work in the field. This includes highlighting some of the key aspects related to the electrochemical phenomena in MPEA corrosion, and the relevant future works required for a holistic mechanistic understanding. In addition, a comprehensive database of the reported corrosion performance of MPEAs is presented – based on works reported to date. The database is assembled to also allow users to undertake machine learning or their own data analysis, with a parsed representation of alloy composition, test electrolyte, and corrosion related parameters. © 2024, CC BY-NC-ND.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Unveiling the Precipitate Evolutions and Relationships between the Nano-Precipitates and Mechanical Properties in Ph13-8mo Stainless Steel

SSRN

引用

SSRN 2022年

作者： Cui, Puchang Yu, Shifan Zhou, Fei Wang, Hongli Bai, Qingqing Zhang, Zhihong Zheng, Huaibei Lai, Zhonghong Liu, Yong Zhu, Jingchuan School of Materials Science and Engineering Harbin Institute of Technology Harbin150001 China National Key Laboratory for Precision Hot Processing of Metals Harbin Institute of Technology Harbin150001 China Center for Analysis Measurement and Computing Harbin Institute of Technology Harbin150001 China State Key Laboratory for Environment-friendly Energy Materials School of Materials Science and Engineering Southwest University of Science and Technology Mianyang621010 China Chengdu Advanced Metal Materials Industrial Technology Institute Co. Ltd. Chengdu610300 China State Key Laboratory of Metal Material for Marine Equipment and Application Anshan114009 China

Precipitation hardening maraging steels possess of great importance with attractive properties in various industrial applications. However, a major confusion about the fine precipitate evolutions and the relationships between the strengthened particles and mechanical properties of PH13-8Mo steels under various heat treatment conditions remains to be further investigated. To shed light on the direct relationships between the fine nano-phase and mechanical properties, a combination of thermodynamics predictions and experimental measurements were carried out to model the issues. The investigation results reveal that the coherent NiAl nano-precipitates distributed on the lath-like martensite matrix firstly presented a steady growth and then a significant coarsening of approximately 9 nm at 593 °C for 5 h. The acicular or block-like diffusion-controlled reverted austenite enriched in Ni element with a tendency of growth was clarified, which maintains the K-S orientation relationship with martensite matrix after diverse aging treatments. The current studied PH13-8Mo steel displays comparable mechanical properties despite over-aging conditions, and the sharp drops in hardness and the steady increment in impact energy were systematically examined. The excellent work hardening behaviors of the present steel were modeled, which indicates that the modified Ludwik model displays significantly improved agreement with the experimental data than the widely accepted Hollomon model. The five strengthening mechanism models are discussed and the C-O-M model exhibits high consistency with the experimental data with a value of 652 MPa. The growth of nano-precipitates maybe prohibits the dislocations from cutting the particles, which promotes the hardening behaviors. This work offers a valuable reference for further quantitively experimental illustrates. © 2022, The Authors. All rights reserved.

关键词： Coarsening

来源：评论

学校读者我要写书评

暂无评论

A Large-Scale Study of Failures on Petascale Supercomputers

引用

Journal of Computer Science & Technology 2018年第1期33卷 24-41页

作者： Rui-Tao Liu Zuo-Ning Chen State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 213215 China National Research Center of Parallel Computer Engineering and Technology Beijing 100190 China

With the rapid development of supercomputers, the scale and complexity are ever increasing, and the reliability and resilience are faced with larger challenges. There are many important technologies in fault tolerance, such as proacrive failure avoidance technologies based on fault prediction, reactive fault tolerance based on checkpoint, and scheduling technologies to improve reliability. Both qualitative and quantitative descriptions on characteristics of system faults are very critical for these technologies, This study analyzes the source of failures on two typical petascale supercomputers called Sunway BlueLight （based on multi-core CPUs） and Sunway TaihuLight （based on heterogeneous manycore CPUs）. It uncovers some interesting fault characteristics and finds unknown correlation relationship among main components＇ faults. Finally the paper analyzes the failure time of the two supercomputers in various grains of resource and different time spans, and builds a uniform multi-dimensional failure time model for petascale supereomputers.

关键词： petascale supercomputer fault characteristic correlation relationship multi-dimension failure time model

来源：评论

学校读者我要写书评

暂无评论

Accurate ECG Data Generation with a Simple Generative Adversarial Network

Accurate ECG Data Generation with a Simple Generative Advers...

引用

作者： Haiyan Wang Zhaoyang Ge Zongmin Wang Collaborative Innovation Centre for Internet Healthcare Zhengzhou University State Key Laboratory of Mathematical Engineering and Advanced Computing Simulation Experiment Centre Zhengzhou University of Aeronautics School of Information Engineering Zhengzhou University

Since ECG data is highly sensitive medical data, the acquisition of ECG data is highly restricted. However, with the increasing demand for ECG big data research, the improvement of computer computing capabilities, and the development of deep learning, the direction of ECG intelligent analysis is facing a serious lack of standard clinical data. In order to generate more precise ECG data, this paper proposes a GAN architecture for generating ECG heartbeat data. The network structure is simple and does not require any domain knowledge. In this paper, the MIT-BIH Arrhythmia database is selected, from which all left bundle branch block heartbeats are selected to form a training dataset. The training process shows that the proposed GAN structure is effective and accurate, and the generated results show that not only the generated simulated ECG heartbeat data is diverse, but also highly similar to the real data.

关键词： ECG data generation heartbeat left bundle branch block deep learning model GAN

来源：评论

学校读者我要写书评

暂无评论

INSTRCR: Lightweight instrumentation optimization based on coverage-guided fuzz testing

INSTRCR: Lightweight instrumentation optimization based on c...

引用

IEEE International Conference on Computer and Communication engineering Technology (CCET)

作者： Cao Zhang Wei Yu Dong Yu Zhu Ren State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

In Fuzzing facing binary coverage, the main role of instrumentation is feedback code coverage (in the case of Fuzz for binary, instrumentation can provide coverage information, which plays an important role in guiding the operation of seeds in Fuzz) . The current instrumentation optimization technique mainly relies on the control flow graph (CFG) to select key basic blocks at the basic block level, but the accuracy of this method is not high enough. Considering that the actual path in the actual operation of the binary may be different from the CFG generated in advance, this paper is based on the indirect jump that cannot be accurately analyzed in the CFG, and some of the basic blocks that can be optimized for high-frequency interpolation. According to the algorithm proposed in this paper, The combination of static analysis and dynamic analysis is used to continuously adjust and select key basic block nodes for instrumentation. It is verified by experiments that this kind of instrumentation method can effectively improve the coverage rate and reduce the overhead, and provide effective guidance for Fuzzing, which can effectively reduce the Fuzzer's false negatives.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Building Smart Classroom of Combinatorial Mathematics Based on PBL Teaching Model

Building Smart Classroom of Combinatorial Mathematics Based ...

引用

IEEE International Symposium on Information (IT) in Medicine and Education, ITME

作者： Benchao Yang Guang Zeng Gang Yu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

With the prevalence of artificial intelligence and the continuous development of information-based teaching, the emergence of smart classrooms has provided a new teaching environment for classroom teaching. As a new and efficient teaching mode, smart classroom has entered schools. Based on the classical PBL teaching method, this paper attempts to construct the question-driven smart classroom of combinatorial mathematics, and shares some teaching experience and experience from the aspects of teaching preparation, teaching implementation and teaching evaluation.

关键词： Education Data analysis Task analysis Information technology Combinatorial mathematics mathematical model

来源：评论

学校读者我要写书评

暂无评论

The Stacked Seq2seq-attention Model for Protocol Fuzzing

The Stacked Seq2seq-attention Model for Protocol Fuzzing

引用

International Conference on Computer Science and Network Technology (ICCSNT)

作者： Zicong Gao Weiyu Dong Rui Chang Chengwei Ai State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781728133003

Fuzzing is an effective approach to discover vulnerabilities in software by generating the amount of unexcepted data as inputs to a program. It is difficult to fuzz the protocol automatically because it is necessary to manually construct a template that satisfies the protocol specification to generate test cases. In this paper, we establish stacked seq2seq-attention models to generate protocol test cases automatically. Seq2seq-attention is a machine learning technique which has an encoder-decoder structure to output text sequences based on context. We evaluate the training effect of seq2seq-attention models with different layers of LSTM and point out that the highest correctness of test cases is achieved by 3 layers LSTM. Besides, we implement a fuzzer based on stacked seq2seq attention model and compare with grammar-based fuzzer, which result indicates the test cases generated by our fuzzer discover more unique basic blocks.

关键词： Protocols Fuzzing Training Decoding Security Machine learning Cyberspace

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Variable Precision Algorithm for Transcendental Functions

Design and Implementation of Variable Precision Algorithm fo...

引用

作者： 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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：