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

Spectrum-based security bug localization by analyzing error propagation

International Journal of Performability engineering 2020年第8期16卷 1289-1298页

作者： Ji, Mengyu Huang, Song Hui, Zhanwei Command and Control Engineering Institute Army Engineering University Nanjing211101 China

Software security bug is one of the key threats to the security of software systems. Isolating security bugs that may be potential security bugs is important. We formalize a program error propagation based model (PEP), which used to be applied to locate integer bug and our contribution are as follows: We formulate a theory model based on the mechanism of how the security bug triggers the program error propagation and propose a security bug localization approach by applying spectrum-based fault-localization (SFL) technique, a novel method to locate software fault to alleviate false negative and false positive problem. Our experimental results show that: 1)Our model is more effective than present ones to locate nearly 97% integer bug and buffer overflow which are the main security bugs by examining 50% codes on average;2) Compared with the traditional techniques, SFL can find 100% of integer bugs and buffer overflow so it is a promising, technology roadmap to reduce false negative and false positive for locating security bugs. © 2020 Totem Publisher, Inc.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

High-Order Discontinuous Galerkin Schemes for Radiation Hydrodynamics Equations in the Equilibrium-Diffusion Limit

SSRN

引用

SSRN 2023年

作者： Peng, Gang Luo, Dongmi Qiu, Jianxian Chen, Yibing Command and Control Engineering College Army Engineering University of PLA Nanjing210007 China Institute of Applied Physics and Computational Mathematics National Key Laboratory of Computational Physics Beijing100088 China School of Mathematical Sciences Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific Computing Xiamen University Fujian Xiamen361005 China

In this paper, the high-order discontinuous Galerkin (DG) schemes are presented for radiation hydrodynamics equations in the equilibrium-diffusion limit. The governor equations contain two parts, one part is a hyperbolic system of conservation laws and another part is a radiative heat transfer term. The discrete schemes are constructed in three parts and possess characteristics of the high-order, oscillation-free and efficient. Firstly, the DG method and local DG (LDG) method are respectively used to discretize the hyperbolic system and radiative heat transfer term to achieve high-order spatial accuracy. Secondly, the combination of the KXRCF shock detector, Hermite WENO limiter, and positivity-preserving limiter is utilized to enhance the robustness of the discretization schemes. Finally, the implicit-explicit schemes are employed for time discretization to enable the schemes suitable for larger time steps. Numerical experiments have verified that the new schemes are high-order accuracy, oscillation-free and efficiency. © 2023, The Authors. All rights reserved.

关键词： Hydrodynamics

来源：评论

学校读者我要写书评

暂无评论

An Approach to Coordinated control of Structured Unmanned Swarm based on Evolutionary Game

An Approach to Coordinated Control of Structured Unmanned Sw...

引用

IEEE International Conference on Unmanned Systems (ICUS)

作者： Minggang Yu Ming He Dongge Zhang Ling Luo Jintao Liu Legui Zhang Institute of Command and Control Engineering Institute of Communication Engineering Army Engineering University of PLA Nanjing China Institute of Command and Control Engineering Army Engineering University of PLA Nanjing China

ISBN: (数字)9781728180250

ISBN: (纸本)9781728180267

To solve the problem of autonomous collaboration of unmanned cluster in military operations, an approach to coordinated control of structured unmanned swarm based on evolutionary game is proposed. It starts with the requirement analysis of task collaboration in unmanned cluster; and the collaboration model based on evolutionary game theory is established; Then the evolutionary dynamics and equilibrium is constructed by theoretical derivation, furthermore, the formation conditions of autonomous collaboration is obtained; Finally the strategy evolution process of swarm on regular lattice and general topology is simulated via case study, which proves the rationality and feasibility of the proposed model and method. The conclusion of this paper provides a preliminary and meaningful exploration for the transformation from theories to practical applications.

关键词： Programmable logic arrays command and control systems Games Zirconium Mathematical model Lattices

来源：评论

学校读者我要写书评

暂无评论

Statistical distribution of HI 21cm intervening absorbers as potential cosmic acceleration probes

arXiv

引用

arXiv 2022年

作者： Lu, Chang-Zhi Zhang, Tingting Zhang, Tong-Jie Institute for Frontiers in Astronomy and Astrophysics Beijing Normal University Beijing102206 China Department of Astronomy Beijing Normal University Beijing100875 China College of Command and Control Engineering PLA Army Engineering University Nanjing210017 China Institute for Astronomical Science Dezhou University Dezhou253023 China

Damped Lyman-α Absorber (DLA), or HI 21cm Absorber (H21A), is an important probe to model-independently measure the acceleration of spectroscopic velocity (vS) via the Sandage-Loeb (SL) effect. Confined by the shortage of DLAs and Background Radio Sources (BRSs) with adequate information, the detectable amount of DLAs is ambiguous in the bulk of previous work. After differing the acceleration of scale factor (ä) from the first order time derivative of spectroscopic velocity (v¤S), we make a statistical investigation of the amount of potential DLAs in the most of this paper. Using Kernel Density Estimation (KDE) to depict general redshift distributions of BRSs, observed DLAs and a DLA detection rate with different limitations (1.4GHz flux, HI column density and spin temperature), we provide fitted multi-Gaussian expressions of the three components and their 1σ regions by bootstrap, with a proportional constant of H21As in detected DLAs, leading to the measurable number predictions of H21As for FAST, ASKAP and SKA1-Mid in HI absorption blind survey. In our most optimistic condition (F1.4GHz>10mJy, NHI > 2 × 1020cm−2 and TS>500K), the FAST, AKSAP and SKA1-Mid would probe about 80, 500 and 600 H21As respectively. Copyright © 2022, The Authors. All rights reserved.

关键词： Cosmology

来源：评论

学校读者我要写书评

暂无评论

DeepBoundary: A Coverage Testing Method of Deep Learning Software based on Decision Boundary Representation

DeepBoundary: A Coverage Testing Method of Deep Learning Sof...

引用

IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)

作者： Yue Liu Lichao Feng Xingya Wang Shiyu Zhang College of Computer Science and Technology Nanjing Tech University Nanjing Jiangsu China Institute of Command and Control Engineering Army Engineering University of PLA Nanjing Jiangsu China State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China

With the increasing application of Deep Learning (DL) Software in safety-critical fields such as autonomous driving, we need adequate testing to ensure software quality. Observing the decision-making behavior of a Deep Neural Network (DNN) is an essential step in DL software testing. Taking Guiding Deep Learning System Testing Using Surprise Adequacy (SADL) as an example, it uses the independent neuron activation values in the DNN to represent the decision-making behavior. However, the behavior of the DNN needs to be jointly determined by the continuous outputs of all neurons. As a result, the coverage value of SADL constant volatility and lack of stability. To mitigate this problem, we propose a coverage testing method based on the decision boundary representation, DeepBoundary, for the decision-making behavior of DL software. Unlike SADL, DeepBoundary generates decision boundary data to represent the decision behavior of the DNN, which makes the testing results more stable. On this basis, we calculate the kernel density between the testing data and the decision boundary data. It measures the position of the testing data in the decision space and the distance from the decision boundary. Finally, as an adequacy indicator, we calculate the decision boundary density coverage (DBC) of the entire testing set. The experiment on the dataset MNIST and two DL software shows that DeepBoundary can generate actual decision boundary data. The average confidence error in the DNNs output layer is only 4.20E-05. Compared with SADL, DeepBoundary has a stronger correlation with the defect detection ratio, which can more accurately represent testing adequacy.

关键词： Deep learning Software testing System testing Correlation Decision making Neurons Software quality

来源：评论

学校读者我要写书评

暂无评论

Research on ldos attack detection and defense mechanism in software defined networks 6th

Research on ldos attack detection and defense mechanism in s...

引用

6th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2020

作者： Xie, Shengxu Xing, Changyou Zhang, Guomin Wei, Xianglin Hu, Guyu Command and Control Engineering College Army Engineering University of PLA Nanjing210007 China The 63rd Research Institute National University of Defense Technology Nanjing210007 China

ISBN: (纸本)9789811590306

The LDoS (Low rate Denial of Service) attack that aims at exhausting the limited SDN switch buffer resource is hard to detect and degrade network performance seriously. To solve such a problem, this paper proposes an SDN LDoS detection and defense mechanism ADAR (Attack-flow Detection and Attack-port Recognition), which can detect the attack flows based on the collected statistical data, and identify and suppress these attack flows. The experimental results show that ADAR can effectively detect the SDN switch buffer overflow LDoS attacks, and mitigate their impact by using the attack port suppression method. Meanwhile, it can also effectively alleviate the problem of switch buffer overflow caused by the normal traffic burst in the network. © Springer Nature Singapore Pte Ltd 2020.

关键词： Software defined networking

来源：评论

学校读者我要写书评

暂无评论

Corrections to “Fair Scheduling and Rate control for Service Function Chain in NFV-Enabled Data Center”

引用

IEEE Transactions on Network and Service Management 2022年第2期19卷 1937-1937页

作者： Jiachen Zu Guyu Hu Dongyang Peng Shengxu Xie Wenbin Gao Institute of Command and Control Engineering Army Engineering University Nanjing China

IN THE above article [1] , in (5) , the allocated bandwidth is corrected as

关键词： Service function chaining Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Overview of the Application of Knowledge Graph in Anomaly Detection and Fault Diagnosis

Overview of the Application of Knowledge Graph in Anomaly De...

引用

System Reliability and Safety engineering (SRSE), International Conference on

作者： Peizheng Huang Shulin Liu Kuan Zhang Tao Xu Xiaojian Yi Yangtze Delta Region Academy of Beijing Institute of Technology Jiaxing China School of Mechatronical Engineering Beijing Institute of Technology Beijing China Quality and Reliability Center Beijing China China Institute of Marine Technology and Economy Beijing China Beijing Aerospace Command Control Center Beijing China

Knowledge graph is a branch of artificial intelligence, which uses graph model to describe the relationship between knowledge and things. Using the technology of knowledge extraction, knowledge fusion and knowledge processing in knowledge graph, a large-scale knowledge base with semantic and open knowledge can be established quickly for a specific domain. Knowledge graph has gradually become an important means of knowledge management and application in various fields. This paper reviews the development history of knowledge graphs, introduces key technologies of knowledge graphs, and the application, rules and characteristics of knowledge graphs in anomaly detection and fault diagnosis. Furthermore, this paper summarizes the application of knowledge graph technology in anomaly detection and fault diagnosis in various industries, analyzes the applicability of knowledge graph in the field of anomaly detection and fault diagnosis, discusses the challenges faced in the application process, and proposes future development trends.

关键词： Fault diagnosis Knowledge engineering Industries Semantics Knowledge based systems Knowledge graphs Market research

来源：评论

学校读者我要写书评

暂无评论

Exploration and practice of the experiment teaching of web application security course 10

Exploration and practice of the experiment teaching of web a...

引用

10th International Conference on Information Technology in Medicine and Education, ITME 2019

作者： Chen, Ping Zhao, Min Wang, Jinshuang Yu, Han Command and Control Engineering Institute Army Engineering University of PLA Nanjing210007 China

ISBN: (纸本)9781728139173

In the experiment teaching of Web application security course, we introduce a teaching assistant system -DVWA, which is vulnerable to the most common types of web application. We design the experiment cases for each Web application vulnerability from two aspects of attack and defense based on DVWA, and apply the multi-round progressive attack-defense confrontation mode to organize the experiment teaching. Teaching practice shows that the method increases the interest of students' learning and improves their ability of Web attack-defense. © 2019 IEEE.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Camouflage people detection via strong semantic dilation network 19

Camouflage people detection via strong semantic dilation net...

引用

2019 ACM Turing Celebration Conference - China, ACM TURC 2019

作者： Fang, Zheng Cao, Tieyong Zhang, Xiongwei Zheng, Changyan Deng, Xiaotong Institute of Command and Control Engineering PLA Army Engineering University Nanjing Jiangsu China

ISBN: (纸本)9781450371582

Camouflage greatly reduces the probability of the target being discovered, detecting the camouflage object from background is very hard for former object detection methods because they are designed to detect the object in an ideal environment. It brings difficulties to subsequent applications such as battlefield information acquisition, precision guided weapons and object tracking. To deal with the problem, in this paper, a new complete camouflage people detection dataset is firstly constructed, then we propose strong semantic dilation network (SSDN), which is specially designed to detect camouflage people in an end-to-end architecture. SSDN makes full use of semantic information in CNN and dilated convolutions are also added to enlarge the receptive field to find camouflage people. Experiments demonstrate that SSDN perform well in camouflage people detection dataset compared with other object detection methods. © 2019 Copyright held by the owner/author(s).

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：