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

13th International Conference on Reliability, Maintainability, and Safety, ICRMS 2022

作者： Hong, Jie Zhang, Jie Qiu, Qi Ma, Angang Li, Meng Yan, Shiyu Gong, Helin School of Computing University of South China Hunan Hengyang China Engineering and Technology Research Center Software Evaluation and Testing for Intellectual Equipment of Hunan Province Hunan Hengyang China CNNC Key Laboratory on High Trusted Computing Hunan Hengyang China Nuclear Power Institute of China Science and Technology on Reactor System Design Technology Laboratory Chengdu China

ISBN: (数字)9781665486903

ISBN: (纸本)9781665486903

Metamorphic testing is one of the effective methods to alleviate the test oracle problem. Metamorphic relation is the core of metamorphic testing, and there is no effective automatic identification technology. This paper transforms the metamorphic relation recognition issue into a symbolic expression regression problem. The test input pairs are generated using the preset input pattern, and the output pattern is mined by gene expression programming. After reduction and verification, a valid metamorphic relation is obtained. Experiments show that this method can identify the relation obtained by static analysis and a more significant number. At the same time, compared with existing technologies, it has apparent advantages in effectiveness, reliability, and performance. © 2022 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Sclabel: Finding performance Bugs Through Clone Detection Based on Labeled Code Templates

SSRN

引用

SSRN 2022年

作者： Deng, Zihan Wang, Wenjie Xue, Yinxing Xu, Yun School of Computer Science and Technology University of Science and Technology of China Hefei230027 China Key Laboratory on High Performance Computing of Anhui Province Hefei230027 China

performance bugs are defects in source code that slow down program execution, and produced causes of them are complex and diverse. Many tools have been proposed for detecting performance bugs, but they can only find certain types of results which having similar code patterns, and need dynamic analysis or control flow graph of the program. Therefore, conventional tools are lack of generality and high cost of space and time. As we know, many state-of-the-art clone detection techniques have been proposed for general similar code detection, but they can only detect highly similar code (e.g., tools based on text, token or AST) or rely on training dataset (e.g., tools based on machine learning), making them impractical for detecting performance bugs in real-world projects. © 2022, The Authors. All rights reserved.

关键词： Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Verifying Safety of Neural Networks from Topological Perspectives

arXiv

引用

arXiv 2023年

作者： Liang, Zhen Ren, Dejin Xue, Bai Wang, Ji Yang, Wenjing Liu, Wanwei National University of Defense Technology Institute for Quantum Information State Key Laboratory of High Performance Computing Hunan Changsha410073 China Chinese Academy of Sciences State Key Lab. of Computer Science BeijingBAI XUE China

Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their behaviors should undergo rigorous guarantees before deployment in practice. In this paper, we propose a set-boundary reachability method to investigate the safety verification problem of NNs from a topological perspective. Given an NN with an input set and a safe set, the safety verification problem is to determine whether all outputs of the NN resulting from the input set fall within the safe set. In our method, the homeomorphism property and the open map property of NNs are mainly exploited, which establish rigorous guarantees between the boundaries of the input set and the boundaries of the output set. The exploitation of these two properties facilitates reachability computations via extracting subsets of the input set rather than the entire input set, thus controlling the wrapping effect in reachability analysis and facilitating the reduction of computation burdens for safety verification. The homeomorphism property exists in some widely used NNs such as invertible residual networks (i-ResNets) and Neural ordinary differential equations (Neural ODEs), and the open map is a less strict property and easier to satisfy compared with the homeomorphism property. For NNs establishing either of these properties, our set-boundary reachability method only needs to perform reachability analysis on the boundary of the input set. Moreover, for NNs that do not feature these properties with respect to the input set, we explore subsets of the input set for establishing the local homeomorphism property and then abandon these subsets for reachability computations. Finally, some examples demonstrate the performance of the proposed *** Codes 68Q60, 68T07 Copyright © 2023, The Authors. All rights reserved.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

An Integration and accurate calibration method of 3D scanning system for in-situ shape measurement *

An Integration and accurate calibration method of 3D scannin...

引用

IEEE International Conference on Real-time computing and Robotics (RCAR)

作者： Weikang Zhao Wei Liu Yan Zheng Lingjun Li Yongkang Lu Yang Zhang Jizhi Yang Ke Wen State Key Laboratory of High-Performance Precision Manufacturing Dalian University of Technology Dalian China Beijing Spacecrafts China Academy of Space Technology Beijing China

In-situ automated measurement with industrial robot has become a core technology of large component inspection. This paper proposes an in-situ 3D scanning system by integrating laser sensor with dual linear rail and robot and simultaneously develops a accurate calibration method of systematic orientation parameters. Firstly, according to the mechanism analysis, 3D measurement model based on 2D scanning data are presented. Then, a calibration model of orientation parameters is established based on multiple geometric constraints without additional measurement device. In this model, the parallel constraints and distance constraints can be obtained by only scanning a single high-precision sphere from multiple perspectives. Then, the analytical solution of unknown orientation parameters is derived with consideration of redundant measurement data. Experimental results show that the root mean square error and the standard deviation are less than 15 μm and 7μm within 200 mm × 200 mm respectively, which verifies the accuracy and reliability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Local Dynamics of a New Four-Dimensional Quadratic Autonomous System

引用

Journal of Applied Mathematics and Physics 2022年第9期10卷 2632-2648页

作者： Sengen Hu Liangqiang Zhou School of Mathematics Nanjing University of Aeronautics and Astronautics Nanjing China Key Laboratory of Mathematical Modelling and High Performance Computing of Air Vehicles (NUAA) Nanjing China

In this manuscript, Local dynamic behaviors including stability and Hopf bifurcation of a new four-dimensional quadratic autonomous system are studied both analytically and numerically. Determining conditions of equilibrium points on different parameters are derived. Next, the stability conditions are investigated by using Routh-Hurwitz criterion and bifurcation conditions are investigated by using Hopf bifurcation theory, respectively. It is found that Hopf bifurcation on the initial point is supercritical in this four-dimensional autonomous system. The theoretical results are verified by numerical simulation. Besides, the new four-dimensional autonomous system under the parametric conditions of hyperchaos is studied in detail. It is also found that the system can enter hyperchaos, first through Hopf bifurcation and then through periodic bifurcation.

关键词： Four-Dimensional Autonomous System Routh-Hurwitz Criterion Hopf Bifurcation Hyperchaos

来源：评论

学校读者我要写书评

暂无评论

Comparison between Merrifield–Simmons Index and Wiener Index of Graphs

引用

Acta Mathematica Sinica,English Series 2022年第12期38卷 2220-2230页

作者： Ke Xiang XU Kinkar Chandra DAS Ivan GUTMAN Meng Lu WANG College of Mathematics Nanjing University of Aeronautics&AstronauticsNanjing 210016P.R.China MIIT Key Laboratory of Mathematical Modelling and High Performance Computing of Air Vehicles Nanjing 210016P.R.China Department of Mathematics Sungkyunkwan UniversitySuwon16419Republic of Korea Facultyof Science Universityof KragujevacP.O.Bor 6034000 KragujevacSerbia

The Merrifield–Simmons indexσis the total number of independent vertex sets(including the empty set)of the graph *** Wiener index W is the sum of distances in all unordered pairs of vertices of *** construct some new graphs satisfyingσ>W and W>σ,*** particular,infinite graphs satisfying W>σare invented with graphs with diameter 2 and infinite ones satisfyingσ>W are discovered with so-called universally diametrical graphs.

关键词： Merrifield–Simmons index Wiener index Cartesian product independence number Fibonacci number universally diametrical graph

来源：评论

学校读者我要写书评

暂无评论

Real-time monitoring method of global displacement for aircraft tooling positioner based on sparse displacement measurement

Real-time monitoring method of global displacement for aircr...

引用

IEEE International Conference on Real-time computing and Robotics (RCAR)

作者： Ruibin Ouyang Wei Liu Wenlong Zhang Xin Dong Qihang Chen Yajun Li Yang Zhang Ke Wen State Key Laboratory of High-Performance Precision Manufacturing Dalian University of Technology Dalian China Beijing Spacecrafts China Academy of Space Technology Beijing China

The aircraft tooling positioner serves as the reference for positioning during aircraft component assembly, and its global displacement state directly affects assembly accuracy. Thus, it is critical to monitor the global displacement state of the positioner in real-time to ensure efficient and accurate assembly. In this study, a real-time reconstruction method for the global displacement state of aircraft tooling positioner based on sparse point displacement measurement is proposed. Using only four displacement measurement points within a narrow and nearly enclosed space, high-precision online monitoring of the global displacement state of the positioner can be achieved. Firstly, based on the principle of modal superposition the real-time reconstruction model of the global displacement state of the positioner is established. Then, an optimization method for the layout of displacement measurement points is proposed by analyzing the error sources of the reconstruction model and the measurement conditions of the assembly site, improving the reconstruction accuracy of the model under sparse measurement point input conditions. Finally, numerical simulation and experimental verification are carried out to verify the effectiveness of the proposed method. The experimental results show that the maximum reconstruction error of the proposed method is better than 0.0548mm, and the reconstruction time is better than 0.02s, satisfying the real-time monitoring requirements of the global displacement state of tooling positioner in large aircraft assembly.

关键词：

来源：评论

学校读者我要写书评

暂无评论

high-rate discretely-modulated continuous-variable quantum key distribution using quantum machine learning

arXiv

引用

arXiv 2023年

作者： Liao, Qin Liu, Jieyu Huang, Anqi Huang, Lei Fei, Zhuoying Fu, Xiquan College of Computer Science and Electronic Engineering Hunan University Changsha410082 China Institute for Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha410073 China

We propose a high-rate scheme for discretely-modulated continuous-variable quantum key distribution (DM CVQKD) using quantum machine learning technologies, which divides the whole CVQKD system into three parts, i.e., the initialization part that is used for training and estimating quantum classifier, the prediction part that is used for generating highly correlated raw keys, and the data-postprocessing part that generates the final secret key string shared by Alice and Bob. To this end, a low-complexity quantum k-nearest neighbor (QkNN) classifier is designed for predicting the lossy discretely-modulated coherent states (DMCSs) at Bob's side. The performance of the proposed QkNN-based CVQKD especially in terms of machine learning metrics and complexity is analyzed, and its theoretical security is proved by using semi-definite program (SDP) method. Numerical simulation shows that the secret key rate of our proposed scheme is explicitly superior to the existing DM CVQKD protocols, and it can be further enhanced with the increase of modulation variance. Copyright © 2023, The Authors. All rights reserved.

关键词： Nearest neighbor search

来源：评论

学校读者我要写书评

暂无评论

A Geometrical Characterization on Feature Density of Image Datasets

A Geometrical Characterization on Feature Density of Image D...

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： Zhen Liang Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China Institute of Software Chinese Academy of Sciences Beijing China College of Computer Science and Technology National University of Defense Technology Changsha China

Recently, the interpretability and verification of deep learning have attracted enormous attention from both academic and industrial communities, aiming to gain users’ trust and ease their concerns. To guide learning procedures or data operations carried out in a more interpretable way, in this paper, we put a similar perspective on image datasets, the inputs of deep learning. Based on manifold learning, we work out an interpretable geometrical characterization on the curvity of manifolds to depict the feature density of datasets, which is represented with the ratio of the Euclidean distance and the geodesic distance. It is a noteworthy characteristic of image datasets and we take the dataset compression and enhancement problems as application instances via sample credit assignment with the geometrical information. Experiments on typical image datasets have justified the effectiveness and enormous prospect of the presented geometrical characteristic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SSP IMEX Runge-Kutta WENO Scheme for Generalized Rosenau-KdV-RLW Equation

引用

数学研究 2022年第1期55卷 1-21页

作者： Muyassar Ahmat Jianxian Qiu School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific Computing Xiamen UniversityXiamen 361005China

In this article,we present a third-order weighted essentially non-oscillatory(WENO)method for generalized Rosenau-KdV-RLW *** third order finite difference WENO reconstruction and central finite differences are applied to discrete advection terms and other terms,respectively,in spatial *** order to achieve the third order accuracy both in space and time,four stage third-order L-stable SSP Implicit-Explicit Runge-Kutta method(Third-order SSP EXRK method and third-order DIRK method)is applied to temporal *** high order accuracy and essentially non-oscillatory property of finite difference WENO reconstruction are shown for solitary wave and shock wave for Rosenau-KdV and Rosenau-KdV-RLW *** efficiency,reliability and excellent SSP property of the numerical scheme are demonstrated by several numerical experiments with large CFL number.

关键词： Rosenau-KdV-RLW equation WENO reconstruction finite difference method SSP implicit-explicit Runge-Kutta method

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：