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

Metamorphic testing of deep neural network-based autonomous driving systems using behavioural domain adequacy

Neural Computing and Applications 2025年第9期37卷 6677-6724页

作者： Kalaee, Akram Parsa, Saeed School of Computer Engineering Iran University of Science and Technology Tehran Iran

Deep neural networks (DNNs) are crucial in autonomous driving systems (ADSs) for tasks like steering control, but model inaccuracies, biased training data, and incorrect runtime parameters can compromise their reliability. Metamorphic testing (MT) enhances reliability by generating follow-up tests from mutated DNN source inputs, identifying inconsistencies as defects. Various MT techniques for ADSs include generative/transfer models, neuron-based coverage maximization, and adaptive test selection. Despite these efforts, significant challenges remain, including the ambiguity of neuron coverage’s correlation with misbehaviour detection, a lack of focus on DNN critical pathways, inadequate use of search-based methods, and the absence of an integrated method that effectively selects sources and generates follow-ups. This paper addresses such challenges by introducing DeepDomain, a grey-box multi-objective test generation approach for DNN models. It involves adaptively selecting diverse source inputs and generating domain-oriented follow-up tests. Such follow-ups explore critical pathways, extracted by neuron contribution, with broader coverage compared to their source tests (inter-behavioural domain) and attaining high neural boundary coverage of the misbehaviour regions detected in previous follow-ups (intra-behavioural domain). An empirical evaluation of the proposed approach on three DNN models used in the Udacity self-driving car challenge, and 18 different MRs demonstrates that relying on behavioural domain adequacy is a more reliable indicator than coverage criteria for effectively guiding the testing of DNNs. Additionally, DeepDomain significantly outperforms selected baselines in misbehaviour detection by up to 94 times, fault-revealing capability by up to 79%, output diversity by 71%, corner-case detection by up to 187 times, identification of robustness subdomains of MRs by up to 33 percentage points, and naturalness by two times. The results confirm that stat

关键词： Neurons

来源：评论

学校读者我要写书评

暂无评论

NeurDB: an AI-powered autonomous data system

引用

science China(Information sciences) 2024年第10期67卷 129-150页

作者： Beng Chin OOI Shaofeng CAI Gang CHEN Yanyan SHEN Kian-Lee TAN Yuncheng WU Xiaokui XIAO Naili XING Cong YUE Lingze ZENG Meihui ZHANG Zhanhao ZHAO School of Computing National University of Singapore College of Computer Science and Technology Zhejiang University Department of Computer Science and Engineering Shanghai Jiao Tong University School of Information Renmin University of China School of Computer Science and Technology Beijing Institute of Technology

In the wake of rapid advancements in artificial intelligence(AI), we stand on the brink of a transformative leap in data systems. The imminent fusion of AI and DB(AI×DB) promises a new generation of data systems, which will relieve the burden on end-users across all industry sectors by featuring AI-enhanced functionalities, such as personalized and automated in-database AI-powered analytics, and selfdriving capabilities for improved system performance. In this paper, we explore the evolution of data systems with a focus on deepening the fusion of AI and DB. We present NeurDB, an AI-powered autonomous data system designed to fully embrace AI design in each major system component and provide in-database AI-powered analytics. We outline the conceptual and architectural overview of NeurDB, discuss its design choices and key components, and report its current development and future plan.

关键词： AI$\times$DB in-database AI intelligent data system

来源：评论

学校读者我要写书评

暂无评论

Video Colorization:A Survey

引用

Journal of computer science & technology 2024年第3期39卷 487-508页

作者：彭中正杨艺新唐金辉潘金山 School of Computer Science and Engineering Nanjing University of Science and TechnologyNanjing210094China CCF IEEE ACM

Video colorization aims to add color to grayscale or monochrome *** existing methods have achieved substantial and noteworthy results in the field of image colorization,video colorization presents more formidable obstacles due to the additional necessity for temporal ***,there is rarely a systematic review of video colorization *** this paper,we aim to review existing state-of-the-art video colorization *** addition,maintaining spatial-temporal consistency is pivotal to the process of video *** gain deeper insight into the evolution of existing methods in terms of spatial-temporal consistency,we further review video colorization methods from a novel *** colorization methods can be categorized into four main categories:optical-flow based methods,scribble-based methods,exemplar-based methods,and fully automatic ***,optical-flow based methods rely heavily on accurate optical-flow estimation,scribble-based methods require extensive user interaction and modifications,exemplar-based methods face challenges in obtaining suitable reference images,and fully automatic methods often struggle to meet specific colorization *** also discuss the existing challenges and highlight several future research opportunities worth exploring.

关键词： video colorization deep convolutional neural network spatial-temporal consistency

来源：评论

学校读者我要写书评

暂无评论

Multi-label, Classification-based Prediction of Breast Cancer Metastasis Directions

IAENG International Journal of Computer Science

引用

IAENG International Journal of computer science 2025年第1期52卷 1-10页

作者： Wang, Tingting Fan, Qi Tan, Liang Zhang, Beier School of Computer and Software Engineering Anhui Institute of Information Technology China School of Computer Science and Technology Huaibei Normal University China School of Computer and Software Engineering Anhui Institute of Information Technology China School of Computer Science and Technology Huaibei Normal University China

Predicting the metastatic direction of primary breast cancer (BC), thus assisting physicians in precise treatment, strict follow-up, and effectively improving the prognosis. The clinical data of 293,946 patients with primary BC diagnosed between 2010 and 2015 were collected from the Surveillance, Epidemiology, and End Results database. Multiple interpolations and Multi-label Synthetic Minority Over-sampling Technique methods were used for data analysis, and machine learning model was established for multi-label classification. Finally, Surgical information, lymph node status, distant metastasis, tumor size, chemotherapy, histological type, and radiotherapy had significant influence as inputs. Compared with the k-nearest neighbor model, average accuracies of the decision tree and random forest (RF) models increased from 88.84% to 93.59% and 94.14%, respectively. Their average precision, recall rate, F1 score, area under the receiver operating characteristic curve and weighted-F1 increased from 87.24% to 95.85% and 94.74%, 87.73% to 90.40% and 91.76%, 87.07% to 92.16% and 93.45%, 97.11% to 99.53% and 99.95%, 82.13% to 89.44% and 90.48%, respectively. In conclusion, the RF model, which showed the best performance, can be used in multi-label prediction of BC metastasis directions, and can assist physicians in diagnosing and treating patients with primary BC. © (2025), (International Association of Engineers). All rights reserved.

关键词： Lung cancer

来源：评论

学校读者我要写书评

暂无评论

Customer Segmentation of E-commerce data using K-means Clustering Algorithm 13

Customer Segmentation of E-commerce data using K-means Clust...

引用

13th International Conference on Cloud Computing, Data science and engineering, Confluence 2023

作者： Rajput, Lucky Singh, Shailendra Narayan Amity University Amity School of Engineering and Technology Department of Computer Science and Engineering Noida India

ISBN: (纸本)9781665462631

Several data mining techniques, such as classification, clustering, regression, etc., are used to determine the purchasing behaviour of customers to create value for money in businesses. In this paper, clustering is implemented on a real-time data set of an e-commerce firm that aims to decide whether to focus on its website or mobile application. The K-means clustering algorithm is used to segment and cluster the users for the same purpose because of the scattered nature of the data and to find hidden patterns in the data set. To define the number of clusters, the elbow method is used, and customers are grouped with respect to different attributes. Based on the analysis, a decision is made about which set of customers to target. © 2023 IEEE.

关键词： K-means clustering

来源：评论

学校读者我要写书评

暂无评论

An efficient schedulability analysis based on worst-case interference time for real-time systems

引用

science China(Information sciences) 2024年第9期67卷 88-104页

作者： Hongbiao LIU Mengfei YANG Lei QIAO Xi CHEN Jian GONG School of Computer Science and Technology Xidian University China Academy of Space Technology Beijing Institute of Control Engineering

Real-time systems are widely implemented in the Internet of Things(IoT) and safety-critical systems, both of which have generated enormous social value. Aiming at the classic schedulability analysis problem in real-time systems, we proposed an exact Boolean analysis based on interference(EBAI) for schedulability analysis in real-time systems. EBAI is based on worst-case interference time(WCIT), which considers both the release jitter and blocking time of the task. We improved the efficiency of the three existing tests and provided a comprehensive summary of related research results in the field. Abundant experiments were conducted to compare EBAI with other related results. Our evaluation showed that in certain cases, the runtime gain achieved using our analysis method may exceed 73% compared to the stateof-the-art schedulability test. Furthermore, the benefits obtained from our tests grew with the number of tasks, reaching a level suitable for practical application. EBAI is oriented to the five-tuple real-time task model with stronger expression ability and possesses a low runtime overhead. These characteristics make it applicable in various real-time systems such as spacecraft, autonomous vehicles, industrial robots, and traffic command systems.

关键词： five-tuple real-time task model real-time system spacecraft Internet of Things exact schedulability analysis worst-case interference time

来源：评论

学校读者我要写书评

暂无评论

Augmented FCN: rethinking context modeling for semantic segmentation

引用

science China(Information sciences) 2023年第4期66卷 193-211页

作者： Dong ZHANG Liyan ZHANG Jinhui TANG School of Computer Science and Engineering Nanjing University of Science and Technology College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics

The effectiveness of modeling contextual information has been empirically shown in numerous computer vision tasks. In this paper, we propose a simple yet efficient augmented fully convolutional network(AugFCN) by aggregating content-and position-based object contexts for semantic ***, motivated because each deep feature map is a global, class-wise representation of the input,we first propose an augmented nonlocal interaction(AugNI) to aggregate the global content-based contexts through all feature map interactions. Compared to classical position-wise approaches, AugNI is more efficient. Moreover, to eliminate permutation equivariance and maintain translation equivariance, a learnable,relative position embedding branch is then supportably installed in AugNI to capture the global positionbased contexts. AugFCN is built on a fully convolutional network as the backbone by deploying AugNI before the segmentation head network. Experimental results on two challenging benchmarks verify that AugFCN can achieve a competitive 45.38% mIoU(standard mean intersection over union) and 81.9% mIoU on the ADE20K val set and Cityscapes test set, respectively, with little computational overhead. Additionally, the results of the joint implementation of AugNI and existing context modeling schemes show that AugFCN leads to continuous segmentation improvements in state-of-the-art context modeling. We finally achieve a top performance of 45.43% mIoU on the ADE20K val set and 83.0% mIoU on the Cityscapes test set.

关键词： semantic segmentation context modeling long-range dependencies attention mechanism

来源：评论

学校读者我要写书评

暂无评论

An AutoML Approach Integrated with Live Weather Data in Rain Forecasting System (RFS) 1

引用

8th International Conference on Inventive Communication and Computational Technologies, ICICCT 2024

作者： Mazahir Mehdi Zaidi, Syed Rizvi, Sheenu Arora, Deepak Tiwari, Shivam Department of Computer Science and Engineering Amity School of Engineering & Technology Lucknow Amity University Uttar Pradesh Lucknow India Department of Computer Science and Engineering Sharda University Greater Noida India

ISBN: (数字)9789819777105

ISBN: (纸本)9789819777099

The increasing climate unpredictability highlights the critical need for accurate rain prediction methods. Traditional approaches often struggle to adapt and accurately forecast rain across varied climatic conditions. This research work investigates the fusion of automated machine learning (AutoML) with real-time weather data to tackle these challenges. Previous methodologies have relied on manual algorithm selection and optimization, leading to inefficiencies and suboptimal outcomes. In contrast, the proposed AutoML-based approach automates algorithm selection and optimization, resulting in heightened accuracy and efficiency. Integration of diverse meteorological data streams and advanced preprocessing techniques enhances data quality for model training. Evaluation against traditional methods showcases significant enhancements in rain prediction accuracy, with scores ranging from 80.60 to 86.09% across distinct algorithms. Specifically, the Random Forest Classifier achieved an accuracy score of 85.43% and an AUC score of 0.88, Gaussian NB achieved 80.60% accuracy and 0.82 AUC, K Neighbors Classifier achieved 82.89% accuracy and 0.82 AUC, and XGBoost achieved 86.09% accuracy and 0.89 AUC. The developed approach not only advances rain forecasting but also offers potential applications in agricultural planning, urban water management, and disaster preparedness. Future research avenues may explore further enhancements to the AutoML framework and its extension to other environmental prediction domains. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Rain

来源：评论

学校读者我要写书评

暂无评论

Adaptive coupled-sliding-variable-based finite-time control of composite formation for multi-robot systems

引用

science China(Information sciences) 2024年第10期67卷 244-260页

作者： Xinru MA Hengyu LI Jun LIU Yueying WANG Shaorong XIE Jun LUO School of Mechatronic Engineering and Automation Shanghai University School of Mathematics and Computer Application Technology Jining University School of Computer Science Shanghai University College of Mechanical and Vehicle Engineering Chongqing University

This paper focuses on the finite-time control(FTC) of the composite formation consensus(CFC)problems for multi-robot systems(MRSs). The CFC problems are firstly proposed for MRSs under the complex network topology of cooperative or cooperative-competitive networks. Regarding the problems of FTC and CFC on multiple Lagrange systems(MLSs), coupled sliding variables are introduced to deal with the robustness and consistent convergence. Then, the adaptive finite-time protocols are given based on the displacement approaches. With the premised FTC, tender-tracking methods are further developed for the problems of tracking information disparity. Stability analyses of those MLSs mentioned above are clarified with Lyapunov candidates considering the coupled sliding vectors, which provide new verification for tender-tracking systems. Under the given coupled-sliding-variable-based finite-time protocols, MLSs distributively adjust the local formation error to achieve global CFC and perform uniform convergence in time-varying tracking. Finally, simulation experiments are conducted while providing practical solutions for the theoretical results.

关键词： composite formation time-vary tracking information disparity tender-tracking finite-time control nonlinear robots complex networks symmetry consensus

来源：评论

学校读者我要写书评

暂无评论

Sawtooth-enhanced bend sensor for gesture recognition

引用

science China(Technological sciences) 2024年第6期67卷 1727-1736页

作者： BAI YanRu ZHANG ZiHang WANG HaoYu GUO Rui LI XiSheng School of Automation and Electrical Engineering University of Science and Technology BeijingBeijing100083China School of Advanced Engineering University of Science and Technology BeijingBeijing100083China School of Precision Instrument and Opto-Electronics Engineering Tianjin UniversityTianjin300072China School of Computer and Communication Engineering University of Science and Technology BeijingBeijing100083China

Gesture recognition has diverse application prospects in the field of human-computer ***,gesture recognition devices based on strain sensors have achieved remarkable results,among which liquid metal materials have considerable advantages due to their high tensile strength and *** improve the detection sensitivity of liquid metal strain sensors,a sawtooth-enhanced bending sensor is proposed in this *** with the results from previous studies,the bending sensor shows enhanced resistance *** addition,combined with machine learning algorithms,a gesture recognition glove based on the sawtooth-enhanced bending sensor is also fabricated in this study,and various gestures are accurately *** the fields of human-computer interaction,wearable sensing,and medical health,the sawtooth-enhanced bending sensor shows great potential and can have wide application prospects.

关键词： liquid metal bending sensor gesture recognition machine learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：