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

Surveying concurrency bug detectors based on types of detected bugs

science China(Information sciences) 2017年第3期60卷 5-31页

作者： Zhendong WU Kai LU Xiaoping WANG Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology College of Computer National University of Defense Technology

Concurrency bugs widely exist in concurrent programs and have caused severe failures in the real world. Researchers have made significant progress in detecting concurrency bugs, which improves software reliability. In this paper, we survey the most up-to-date and well-known concurrency bug detectors. We categorize the existing detectors based on the types of concurrency bugs. Consequently, we analyze data race detectors, atomicity violation detectors, order violation detectors, and deadlock detectors, respectively. We also discuss some other techniques which are mostly related to concurrency bug detection, including schedule bounding techniques, interleaving optimizing techniques, path expanding techniques, and deterministic replay techniques. Additionally, we statistically analyze the reviewed detectors and get some interesting findings, for instance, nearly 86% of previous detectors focus on data races and atomicity violations, and dynamic approaches are popular(74%). We also discuss the limitations of previous detectors, finding that 91% of previous detectors suffer from false negatives and 64% of previous detectors suffer from runtime overhead. Based on the reviewed detectors and statistical analysis, we conclude some future research directions, including accuracy, performance,applicability, and integrality.

关键词： concurrency bug detection data race atomicity violation order violation deadlock

来源：评论

学校读者我要写书评

暂无评论

Detection of regions with the least impact on true and fake image classification through reinforcement learning

引用

Journal of Physics: Conference Series 2020年第1期1693卷

作者： Wei Li Peng Qiao Yong Dou Science and Technology on Parallel and Distributed Laboratory National University of Defense Technology Changsha 410005 China

With the development of artificial intelligence [1-3], convolutional neural networks (CNNs) have made significant progress in image generation and manipulation. The generated images using facial image synthesis methods, e.g., Faceswap [4], Deepfakes [5], Face2face [6], NeuralTextures [7], are very realistic and even difficult to distinguish by human eyes. It poses serious challenges to social and personal security. There are many methods that can detect synthetic facial images with an accuracy rate of over 99%. But the synthetic facial image classification model can only give a true or fake result, and it is impossible to know which part is the discordant area. Therefore, we propose and experimentally verify a method that using reinforcement learning to select the region in the image that has the least impact on the classification model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

TMDA: Task-Specific Multi-source Domain Adaptation via Clustering Embedded Adversarial Training

TMDA: Task-Specific Multi-source Domain Adaptation via Clust...

引用

IEEE International Conference on Data Mining (ICDM)

作者： Haotian Wang Wenjing Yang Zhipeng Lin Yue Yu State Key Laboratory of High Performance Computing (HPCL) National University of Defense Technology China National Laboratory for Parallel and Distributed Processing National University of Defense Technology China Peng Cheng Laboratory Shenzhen China

Beyond classical domain-specific adversarial training, a recently proposed task-specific framework has achieved a great success in single source domain adaptation by utilizing task-specific decision boundaries. However, compared to single-source-single-target setting, multi-source domain adaptation (MDA) shows more powerful capability to handle with most real-life cases. To align target domain with diverse multi-source domains using task-specific decision boundaries, we provide a deep insight of task-specific framework on MDA for the first time. Accordingly, we propose a novel task-specific multi-source domain adaptation method (TMDA) with a clustering embedded adversarial training process. Specifically, the proposed TMDA detects and refines less discriminative target representations through a max-min optimization over two adversarial task-specific classifiers. Moreover, our analysis implies that scattered multi-source representations disturb the adversarial training under the task-specific framework. To tight up the dispersed source representations, we embeds a relationship-based domain clustering into TMDA. Empirical results demonstrate that our TMDA outperforms state-of-the-art methods on toy dataset, sentiment analysis and digit classification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Unsupervised Learning-based Depth Estimation aided Visual SLAM Approach

arXiv

引用

arXiv 2019年

作者： Geng, Mingyang Shang, Suning Ding, Bo Wang, Huaimin Zhang, Pengfei Zhang, Lei National Key Laboratory of Parallel and Distributed Processing College of Computer National University of Defense Technology China National Key Laboratory of Integrated Automation of Process Industry Northeastern University China

Existing visual-based SLAM systems mainly utilize the three-dimensional environmental depth information from RGB-D cameras to complete the robotic synchronization localization and map construction task. However, the RGB-D camera maintains a limited range for working and is hard to accurately measure the depth information in a far distance. Besides, the RGB-D camera will easily be influenced by strong lighting and other external factors, which will lead to a poor accuracy on the acquired environmental depth information. Recently, deep learning technologies have achieved great success in the visual SLAM area, which can directly learn high-level features from the visual inputs and improve the estimation accuracy of the depth information. Therefore, deep learning technologies maintain the potential to extend the source of the depth information and improve the performance of the SLAM system. However, the existing deep learning-based methods are mainly supervised and require a large amount of ground-truth depth data, which is hard to acquire because of the realistic constraints. In this paper, we first present an unsupervised learning framework, which not only uses image reconstruction for supervising but also exploits the pose estimation method to enhance the supervised signal and add training constraints for the task of monocular depth and camera motion estimation. Furthermore, we successfully exploit our unsupervised learning framework to assist the traditional ORB-SLAM system when the initialization module of ORB-SLAM method could not match enough features. Qualitative and quantitative experiments have shown that our unsupervised learning framework performs the depth estimation task comparably to the supervised methods and outperforms the previous state-of-the-art approach by 13.5% on KITTI dataset. Besides, our unsupervised learning framework could significantly accelerate the initialization process of ORB-SLAM system and effectively improve the accuracy on environme

关键词： Unsupervised learning

来源：评论

学校读者我要写书评

暂无评论

MixedCache: Enabling Flow Directed Rule-Caching Scheme based on Heterogeneous Cache for OpenFlow

引用

Journal of Physics: Conference Series 2020年第1期1693卷

作者： Jialun Yang Yi Yang Jiahao Liu Rulin Liu Peng Qiao Baosheng Wang College of Computer Science and Technology National University of Defense Technology Changsha 410073 China Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha 410073 China

OpenFlow switches in SDN use Multiple Flow Tables (MFTs) for fine-grained flow control. Commodity switches integrate hardware storage resources such as SRAM and TCAM to store flow tables to achieve high-speed lookups. Many increased flow tables are rapidly exhausting these hardware storage resources, which makes the switches have to balance high-speed search and massive storage. The rule-caching scheme is a popular method to solve this problem, which caches the most commonly used rules into hardware storage resources. The existing rule-caching schemes are based on single hardware storage resources, and they cannot flexibly adjust the caching strategy according to the traffic characteristics. Simultaneously, the deployed commodity switches face the problem of difficulty in changing the size of SRAM and TCAM. This paper innovatively proposes the MixedCache scheme, which makes full use of the hardware storage resources in the switch according to the skewed characteristics of network traffic. MixedCache stores the large flows in SRAM by exact match and stores the small flows in the TCAM by wildcard match. MixedCache does not need to change the size of the deployed switch hardware storage resources, but makes full use of existing resources. Compared with the rule-caching scheme based on the exact match, the cache hit rate can increase by up to 15.61%. Compared with the rule-caching scheme based on the wildcard match, the cache hit rate can increase by up to 29.69%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Correction to: A compressed matrix sequence method for solving normal equations of bundle adjustment

引用

Machine Vision and Applications 2021年第4期32卷 1-1页

作者： Peng, Jiaxin Liu, Jie Wei, Hua Laboratory of Software Engineering for Complex Systems School of Computer Science National University of Defense Technology Changsha China Parallel and Distributed Processing Laboratory School of Computer Science National University of Defense Technology Changsha China Algorithm Lab Changsha Morale Network Technology Co. Ltd. Changsha China Water and Land Resources Research Center of the Middle Reaches of Yangtze River School of Resources Environment Science and Engineering Hubei University of Science and Technology Xianning China

A correction to this paper has been published: https://***/10.1007/s00138-021-01222-5

关键词：

来源：评论

学校读者我要写书评

暂无评论

Density-Attentive Head Detector for Crowd Counting

Density-Attentive Head Detector for Crowd Counting

引用

International Conference on Data science and Business Analytics (ICDSBA)

作者： Ziyu Zhao Xingyu Shen Long Lan Xiaoyao Yin Xiang Zhang Yonggang Che Zhigang Luo College of Computer National University of Defense Technology Changsha China Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China Science and Technology on Parallel and Distributed Processing National University of Defense Technology Changsha China

ISBN: (数字)9781728146447

ISBN: (纸本)9781728146454

In crowd counting, regression-based method shows better performance in extreme density scenes by introduces a density map. However, the regression-based method fails to locate the positions of each head, which significantly restricts its applications. Detection-based method counts each head with their accurate locations but works only in middle or low-level density scenes. In this paper, a joint learning method, named Density-attentive Head Detector (DAHD) is developed to overcome their respective shortcomings via a multi-task training procedure. Specifically, to guarantee the sensitivity of the detector to small or partially occluded heads, we carefully equip the detector with a density map which learned from regression module. Moreover, a novel Dilated Feature Pyramid Network (DFPN) is introduced to our method to enlarge the receptive field of convolutional kernel, bringing confirmative additional benefits to identify small heads. Experiments on the popular ShanghaiTech and Mall datasets confirm the improved performance of DAHD compared with the current detection-based approaches, and a comparable performance to regression-based approaches in term of counting.

关键词： Detectors Feature extraction Object detection Faces Kernel Training Task analysis

来源：评论

学校读者我要写书评

暂无评论

Attention-based fault-tolerant approach for multi-agent reinforcement learning systems

arXiv

引用

arXiv 2019年

作者： Geng, Mingyang Xu, Kele Li, Yiying Liu, Shuqi Ding, Bo Wang, Huaimin National Key Laboratory of Parallel and Distributed Processing College of Computer National University of Defense Technology Changsha410073 China National Key Laboratory of Big Data Management and Analysis Northeastern University Shenyang110000 China

The aim of multi-agent reinforcement learning systems is to provide interacting agents with the ability to collaboratively learn and adapt to the behavior of other agents. In many real-world applications, the agents can only acquire a partial view of the world. However, in realistic settings, one or more agents that show arbitrarily faulty or malicious behavior may suffice to let the current coordination mechanisms fail. In this paper, we study a practical scenario considering the security issues in the presence of agents with arbitrarily faulty or malicious behavior. Under these circumstances, learning an optimal policy becomes particularly challenging, even in the unrealistic case that an agent's policy can be made conditional upon all other agents' observations. To overcome these difficulties, we present an Attention-based Fault-Tolerant (FT-Attn) algorithm which selects correct and relevant information for each agent at every time-step. The multi-head attention mechanism enables the agents to learn effective communication policies through experience concurrently to the action policies. Empirical results have shown that FT-Attn beats previous state-of-the-art methods in some complex environments and can adapt to various kinds of noisy environments without tuning the complexity of the algorithm. Furthermore, FT-Attn can effectively deal with the complex situation where an agent needs to reach multiple agents' correct observation at the same time. Copyright © 2019, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Using Document Embedding Techniques for Similar Bug Reports Recommendation

Using Document Embedding Techniques for Similar Bug Reports ...

引用

IEEE International Conference on Software Engineering and Service sciences (ICSESS)

作者： Ming Chen Dongyang Hu Tao Wang Jun Long Gang Yin Yue Yu Yang Zhang Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China

ISBN: (纸本)9781538665664;9781538665657

In the software development, it is common to find that several bug reports are related to many common code files, i.e., similar bugs. Similar bug recommendation is a meaningful task that could assist developers in bug triaging and fixing. If developers can focus on fewer code files, they can fix similar bugs in less time with higher quality. Therefore, building a similar bug recommendation system is a meaningful task that can improve development efficiency. As the state of the art, Yang et al.'s work presented an approach that combines TF-IDF method with Word Embedding model and achieved a good result. To further improve the performance of their approach, in this paper, we propose a novel approach using Document Embedding model. In our preliminary evaluation, we conduct the experiment on the datasets of J dt, Birt and Eclipse platform. And the results show that our approach outperforms Yang et ale `s, with 2.67-9.50% of improvement.

关键词： Computer bugs Task analysis Predictive models Measurement Context modeling Training Software

来源：评论

学校读者我要写书评

暂无评论

引用

Asia-Pacific Conference on Software Engineering

作者： Dongyang Hu Ming Chen Tao Wang Junsheng Chang Gang Yin Yue Yu Yang Zhang Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China

ISBN: (纸本)9781728119717;9781728119700

In the software development, it is not uncommon to find that several bug reports are related to many common code files, i.e., similar bugs. Similar bug recommendation is a meaningful task which can assist developers in bug triaging and fixing. As the state of the art, Yang et al.'s work presented an approach that combines TF-IDF method with word embedding model and achieved a good result. To further improve the performance of their approach, in this paper, we propose a novel approach using Document Embedding model. In our preliminary evaluation, we conduct the experiment on 13,090 bug reports from the Eclipse platform and the results show that our approach outperforms Yang et al.'s, with 7.89-8.96% of improvement.

关键词： Computer bugs Software engineering Task analysis Measurement Software Information retrieval Natural language processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：