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

Secure-by-Construction Synthesis for Control systems

IEEE Transactions on Automatic Control 2025年第6期70卷 4170-4177页

作者： Zhong, Bingzhuo Liu, Siyuan Caccamo, Marco Zamani, Majid Thrust of Artificial Intelligence Information Hub The Thrust of Intelligent Transportation System Hub China KTH Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Technical University of Munich TUM School of Engineering and Design Germany University of Colorado Boulder Department of Computer Science United States Ludwig Maximilian University Department of Computer Science Munich Germany

In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property called opacity, which characterizes the system's ability to maintain plausible deniability of its secret behavior in the presence of an intruder. These controllers are synthesized based on a concept of so-called (augmented) control barrier functions. We propose conditions that facilitate the construction of the desired (augmented) control barrier functions and their corresponding secure-by-construction controllers. To compute these functions, we propose an iterative scheme that leverages iterative sum-of-square programming techniques. This approach enables efficient computation of these functions, particularly for polynomial systems. Finally, we validate the effectiveness of our results through a case study of a vehicle. © 1963-2012 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

DD-Net: Dynamic Network Architecture for Optimized Curve Segmentation and Reduce Computational Redundancy 27th

DD-Net: Dynamic Network Architecture for Optimized Curve Seg...

引用

27th International Conference on Pattern Recognition, ICPR 2024

作者： Cao, Yunxiang Chen, Li Wang, Yubo Feng, Zhida Tian, Jing School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan University of Science and Technology Wuhan China Institute of Systems Science National University of Singapore Singapore Singapore

ISBN: (纸本)9783031783821

Curvilinear Structure segmentation has numerous applications in various fields, including providing a better understanding of defects such as cracks on roads or walls, thereby assessing the structural safety of buildings. Numerous curve segmentation methods based on Convolutional Neural Networks(CNN) have been developed in recent years. However, preserving feature integrity remains a challenge. To address this issue, this paper introduces a double dynamic network, called DD-Net, which consists of a dynamic structure for training and dynamic masking for inference. Firstly, to enhance the nonlinearity of the model, a paradigm to auto-adjust the CNN structure via a trainable module is formed for better fine-grained feature extraction. This dynamic structure (DS) paradigm enables a trade-off to extract or discard the feature data in the model training. Due to the data heterogeneity between the training and inference data, models may contain some useless nodes that are less effective during inference. The dynamic masking (DM) is proposed to omit the useless nodes based on the score difference between the train and inference feature statistics, thereby reducing redundant computations. To further improve the model’s performance on thin-curve segmentation and to preserve feature integrity, we introduce a non-curve suppression (NCS) module. This module focuses on background information while considering foreground prediction to address noisy conditions. The experimental results show that our DD-Net achieves promising results on three benchmark datasets and outperforms state-of-the-art curve segmentation models. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Variable-order fractional derivative rutting depth prediction of asphalt pavement based on the RIOHTrack full-scale track

引用

science China(information sciences) 2023年第5期66卷 196-214页

作者： Yu WANG Jiaojiao YAN Wei HUANG Leszek RUTKOWSKI Jinde CAO School of Mathematics Southeast University Jiangsu Provincial Key Laboratory of Networked Collective Intelligence Southeast University Intelligent Transportation System Research Center Southeast University Systems Research Institute of the Polish Academy of Sciences Institute of Computer Science AGH University of Science and Technology Information Technology Institute University of Social Sciences Yonsei Frontier Lab Yonsei University

Rutting deformation is typical damage to asphalt pavement and can be quantitatively described as the time-varying mechanical deformation feature of the asphalt mixture during the creep process. First,a nonlinear viscoelastic creep model is established based on the Caputo variable-order fractional *** fractional order in this model is not fixed and is defined as a time-varying function. The time-dependent mechanical properties of asphalt mixtures are efectively reflected. Based on the modified Burgers model, the variable-order function is revised to a linear form. Second, the variable-order fractional Burgers rutting model is obtained by fitting the test data of the RIOHTrack full-scale track. The Levenberg-Marquardt optimization algorithm is used to analyze the test data and the corresponding parameters to obtain more accurate and applicable variable-order fractional rutting mechanics and empirical models for diferent asphalt pavement structures. Finally, according to the classification of the pavement structure, structures III and VI are taken as examples. The rutting prediction and comparison results of several representative pavement structures are obtained to verify that the proposed rutting prediction model can also accurately predict all road sections of RIOHTrack. The new model is also compared with the rutting model of the mechanistic-empirical pavement design guide, the fractional-order Burgers rutting model, and the modified Burgers rutting model. The fitting results are evaluated using the determination coefficient R2. The results show that the variable-order fractional Burgers rutting model proposed in this study exhibits a better fit and is more applicable to describe the rutting deformation of asphalt pavement.

关键词： RIOHTrack full-scale track Caputo fractional derivative variable-order fractional modified Burgers model rutting prediction

来源：评论

学校读者我要写书评

暂无评论

MMM-RS: A Multi-modal, Multi-GSD, Multi-scene Remote Sensing Dataset and Benchmark for Text-to-Image Generation 38

MMM-RS: A Multi-modal, Multi-GSD, Multi-scene Remote Sensing...

引用

38th Conference on Neural information Processing systems, NeurIPS 2024

作者： Luo, Jialin Wang, Yuanzhi Gu, Ziqi Qiu, Yide Yao, Shuaizhen Wang, Fuyun Xu, Chunyan Zhang, Wenhua Wang, Dan Cui, Zhen PCA Lab Key Lab of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China Beijing Institute of Spacecraft System Engineering Beijing China

Recently, the diffusion-based generative paradigm has achieved impressive general image generation capabilities with text prompts due to its accurate distribution modeling and stable training process. However, generating diverse remote sensing (RS) images that are tremendously different from general images in terms of scale and perspective remains a formidable challenge due to the lack of a comprehensive remote sensing image generation dataset with various modalities, ground sample distances (GSD), and scenes. In this paper, we propose a Multi-modal, MultiGSD, Multi-scene Remote Sensing (MMM-RS) dataset and benchmark for text-to-image generation in diverse remote sensing scenarios. Specifically, we first collect nine publicly available RS datasets and conduct standardization for all samples. To bridge RS images to textual semantic information, we utilize a large-scale pretrained vision-language model to automatically output text prompts and perform hand-crafted rectification, resulting in information-rich text-image pairs (including multi-modal images). In particular, we design some methods to obtain the images with different GSD and various environments (e.g., low-light, foggy) in a single sample. With extensive manual screening and refining annotations, we ultimately obtain a MMM-RS dataset that comprises approximately 2.1 million text-image pairs. Extensive experimental results verify that our proposed MMM-RS dataset allows off-the-shelf diffusion models to generate diverse RS images across various modalities, scenes, weather conditions, and GSD. The dataset is available at https://***/ljl5261/MMM-RS. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

OSAP‐Loss:Efficient optimization of average precision via involving samples after positive ones towards remote sensing image retrieval

引用

CAAI Transactions on Intelligence Technology 2023年第4期8卷 1191-1212页

作者： Xin Yuan Xin Xu Xiao Wang Kai Zhang Liang Liao Zheng Wang Chia‐Wen Lin School of Computer Science and Technology Wuhan University of Science and TechnologyWuhanChina Hubei Province Key Laboratory of Intelligent Information Processing and Real‐time Industrial System Wuhan University of Science and TechnologyWuhanChina Nanyang Technological University SingaporeSingapore School of Computer Science Wuhan UniversityWuhanChina Department of Electrical Engineering Industrial Technology Research InstituteNational Tsing Hua UniversityHsinchuChina

In existing remote sensing image retrieval(RSIR)datasets,the number of images among different classes varies dramatically,which leads to a severe class imbalance *** studies propose to train the model with the ranking‐based metric(e.g.,average precision[AP]),because AP is robust to class ***,current AP‐based methods overlook an important issue:only optimising samples ranking before each positive sample,which is limited by the definition of AP and is prone to local *** achieve global optimisation of AP,a novel method,namely Optimising Samples after positive ones&AP loss(OSAP‐Loss)is proposed in this ***,a novel superior ranking function is designed to make the AP loss differentiable while providing a tighter upper ***,a novel loss called Optimising Samples after Positive ones(OSP)loss is proposed to involve all positive and negative samples ranking after each positive one and to provide a more flexible optimisation strategy for each ***,a graphics processing unit memory‐free mechanism is developed to thoroughly address the non‐decomposability of AP *** experimental results on RSIR as well as conventional image retrieval datasets show the superiority and competitive performance of OSAP‐Loss compared to the state‐of‐the‐art.

关键词： computer vision image retrieval metric learning

来源：评论

学校读者我要写书评

暂无评论

SelfCode: An Annotated Corpus and a Model for Automated Assessment of Self-explanation during Source Code Comprehension 36th

SelfCode: An Annotated Corpus and a Model for Automated Asse...

引用

36th International Florida Artificial Intelligence Research Society Conference, FLAIRS-36 2023

作者： Chapagain, Jeevan Risha, Zak Banjade, Rabin Oli, Priti Tamang, Lasang Jimba Brusilovsky, Peter Rus, Vasile Department of Computer Science Institute of Intelligent System University of Memphis MemphisTN United States School of Computing and Information University of Pittsburgh PittsburghPA United States

The ability to automatically assess learners’ activities is the key to user modeling and personalization in adaptive educational systems. The work presented in this paper opens an opportunity to expand the scope of automated assessment from traditional programming problems to code comprehension tasks where students are requested to explain the critical steps of a program. The ability to automatically assess these self-explanations offers a unique opportunity to understand the current state of student knowledge, recognize possible misconceptions, and provide feedback. Annotated datasets are needed to train Artificial Intelligence/Machine Learning approaches for the automated assessment of student explanations. To answer this need, we present a novel corpus called SelfCode which consists of 1,770 sentence pairs of student and expert self-explanations of Java code examples, along with semantic similarity judgments provided by experts. We also present a baseline automated assessment model that relies on textual features. The corpus is available at GitHub repository 1. © 2023 by the authors. All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Mobile Application Design for Solo Traveler: Travemate 1

Mobile Application Design for Solo Traveler: Travemate

引用

1st International Conference on Smart Technology, Applied Informatics, and Engineering, APICS 2022

作者： Indriani, Nyimas Muthia Arif, Azeli Carissa Arin, Ikrar Adinata School of Information Systems Bina Nusantara University Information System Department Jakarta Indonesia School of Information Systems Bina Nusantara University Computer Science Department Binus Graduate Program Computer Science Information System Department Jakarta Indonesia

ISBN: (数字)9781665489850

ISBN: (纸本)9781665489850

The advancement and application of information technology have provided significant benefits to society. Complete and quality information is needed to achieve efficiency and make it easier for people to find the right and trusted vacation partner. One way that can be done is to create an information system to find vacation companions or travel companions to travel to the same destination at the same time. This study aims to design and build a mobile application. Travemate is a mobile application that helps travelers find the right and trustworthy friends or partners to travel to the same destination. The development of this information system is expected to help the community, especially solo travelers, reduce the time spent looking for the right partner or traveler who meets their criteria. This application is built using a mobile apps platform that can be installed on devices connected to the internet via smartphones and also with the features available on travemate to facilitate and optimize user activities in finding partners for their travels so that with this application, all activities will be easy, fun, and efficient. In the long term, the application programs we create can touch people all over the world, making it easier for people to find friends to travel with. © 2022 IEEE.

关键词： information systems

来源：评论

学校读者我要写书评

暂无评论

Trend intelligent Tutoring system 2018-2022 : systematic Literature Review 3

Trend Intelligent Tutoring System 2018-2022 : Systematic Lit...

引用

3rd International Conference for Innovation in Technology, INOCON 2024

作者： Suwita, Jaka Prabowo, Harjanto Hendric Spits Warnars, Harco Leslie Meyliana, Meyliana Binus Graduate Program Computer Science Bina Nusantara University Departement of Computer Science Jakarta11480 Indonesia Stmik Insan Pembangunan Department of Information System Tangerang15810 Indonesia Binus Business School Undergraduate Program Bina Nusantara University Management Department Jakarta11480 Indonesia School of Information Systems Bina Nusantara University Information Systems Department Jakarta11480 Indonesia

ISBN: (纸本)9798350381931

ITS is a method of teaching that uses technology to give lessons without the need for an instructor to be there. A systematic literature review (SLR) was conducted in this research to identify the components of an intelligent tutoring system, and the results are presented. The method used in this literature review is the prism method. The steps in the prism method are slr protocol, search for literature, select literature, summarize evidence and disseminate results. The slr protocol stage, it consists of determining a research question, searching for scientific reference sources with the keyword intelligent tutoring system, then sorting out the appropriate articles and making final conclusions. This article gives a detailed look at how the intelligent tutoring system changed over time during the pandemic epoch. Our contribution is complete information on the components of ITS in times of epidemic at universities, with the goal of improving their learning and practical use of the technology. © 2024 IEEE.

关键词： Prisms

来源：评论

学校读者我要写书评

暂无评论

FaRo-PPF: Fast and Robust Point Pair Feature for 6D Pose Estimation in Industrial Stamping 8

FaRo-PPF: Fast and Robust Point Pair Feature for 6D Pose Est...

引用

8th IEEE International Conference on Advanced Robotics and Mechatronics, ICARM 2023

作者： He, Cheng Zhang, Xuebo Zhao, Zhenjie Institute of Robotics and Automatic Information System College of Artificial Intelligence Nankai University Tianjin Key Laboratory of Intelligent Robotics Tianjin300350 China School of Computer Science Nanjing University of Information Science and Technology Nanjing210044 China

ISBN: (纸本)9798350300178

Estimating 6D poses of targets efficiently is critical for industrial stamping tasks, in which the Point Pair Feature (PPF) method has been widely used. Based on PPF, this paper proposes Fast and Robust PPF, i.e. FaRo-PPF, which improves PPF in the following three key aspects: adaptive down-sampling based on surface features, point pair matching based on voting ball, and normal-based pose verification. The three designs alleviate existing problems of the local matching stage in PPF, and make FaRo-PPF a stronger method of 6D pose estimation in industrial stamping. To demonstrate the effectiveness of FaRo-PPF, we compare it with PPF on five publically available datasets. Experiment results showed that FaRo-PPF is able to significantly improve accuracy by about 15% and reduce the execution time by about 40% across all test data. We further conduct a grasping and assembly experiment on a physical robot arm, and similar improvement can be observed. FaRo-PPF achieves a higher success rate of assembly and reduces the execution time by about 50%. © 2023 IEEE.

关键词： Stamping

来源：评论

学校读者我要写书评

暂无评论

Financial Fraud Detection of Listed Companies Based on DNSAE Fusion and Improved Random Forest 7

Financial Fraud Detection of Listed Companies Based on DNSAE...

引用

7th International Conference on intelligent information Processing, ICIIP 2022

作者： Huang, Haibin Liu, Yarong Xie, Xiaolan School of Information Science and Engineering Guilin University of Technology China College of Information Science and Engineering Guangxi Key Laboratory of Embedded Technology and Intelligent System China

ISBN: (纸本)9781450396714

The falsification of financial data of listed companies is easy to mislead the market, causing investors to lose their investment and the personal economy is severely damaged. In view of the above problems, this paper proposes a financial fraud detection model of listed companies based on DNSAE fusion and improved random forest to detect the financial fraud of listed companies. The experimental results show that the model has a good detection effect in the financial fraud of listed companies. © 2022 Owner/Author.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：