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

Monotonicity and nonmonotonicity in L3-valued propositional logic

Frontiers of Computer Science 2022年第4期16卷 33-43页

作者： Wei Li Yuefei Sui State Key Laboratory of Software Development Environment Beihang UniversityBeijing100083China Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing100049China

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L_(3)-valued propositional logic, a multisequent is a triple Δ∣Θ∣Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. There is a sound, complete and monotonic Gentzen deduction system G for sequents. Dually, there is a sound, complete and nonmonotonic Gentzen deduction system G′ for co-sequents Δ: Θ: Γ. By taking different quantifiers some or every, there are 8 kinds of definitions of validity of multisequent Δ∣Θ∣Γ and 8 kinds of definitions of validity of co-multisequent Δ: Θ: Γ, and correspondingly there are 8 sound and complete Gentzen deduction systems for sequents and 8 sound and complete Gentzen deduction systems for co-sequents. Correspondingly their monotonicity is discussed.

关键词： sequent mulisequent gentzen deduction system monotonicity nonmonotonicity

来源：评论

学校读者我要写书评

暂无评论

Relation Reconstructive Binarization of word embeddings

引用

Frontiers of Computer Science 2022年第2期16卷 47-54页

作者： Feiyang PAN Shuokai LI Xiang AO Qing HE Key Lab of Intelligent Information Processing of Chinese Academy of Sciences(CAS) Institute of Computing TechnologyCASBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

Word-embedding acts as one of the backbones of modern natural language processing(NLP).Recently,with the need for deploying NLP models to low-resource devices,there has been a surge of interest to compress word embeddings into hash codes or binary vectors so as to save the storage and memory ***,existing work learns to encode an embedding into a compressed representation from which the original embedding can be *** these methods aim to preserve most information of every individual word,they often fail to retain the relation between words,thus can yield large loss on certain *** this end,this paper presents Relation Reconstructive Binarization(R2B)to transform word embeddings into binary codes that can preserve the relation between *** its heart,R2B trains an auto-encoder to generate binary codes that allow reconstructing the wordby-word relations in the original embedding *** showed that our method achieved significant improvements over previous methods on a number of tasks along with a space-saving of up to 98.4%.Specifically,our method reached even better results on word similarity evaluation than the uncompressed pre-trained embeddings,and was significantly better than previous compression methods that do not consider word relations.

关键词： embedding compression variational auto-encoder binary word embedding

来源：评论

学校读者我要写书评

暂无评论

A SAR Target Recognition Strategy Guided by Electromagnetic Scattering Feature 2

A SAR Target Recognition Strategy Guided by Electromagnetic ...

引用

2nd IEEE International Conference on Signal, information and Data processing, ICSIDP 2024

作者： Yin, Yifei Chen, Liang Liu, Lujiao Meng, Yufan Chen, Fan Shi, Hao National Key Laboratory of Science and Technology on Space-Born Intelligent Information Processing Beijing Institute of Technology Beijing China Chinese Academy of Sciences Aerospace Information Research Institute Beijing China

ISBN: (纸本)9798331515669

SAR target Automatic Target Recognition (ATR) is indispensable in SAR image interpretation. Recently, deep learning technology has been widely used in SAR target recognition tasks. Most networks achieve incremental improvements in target recognition by modifying their structures to extract visual features of targets. However, due to the unique imaging mechanism, relying solely on visual features often leads to the loss of target information. In contrast, the ASC model, which captures the electromagnetic scattering characteristics of the target, plays a crucial role in target recognition tasks. Unfortunately, traditional parameter estimation methods for extracting the ASC model are computationally expensive and time-consuming, making them impractical for real-world applications. To address these issues, we propose a novel target recognition method based on electromagnetic scattering features in this paper. First, a lightweight network-based feature extraction module is designed. Then, the target ASC image is used as the ground truth for guidance, with image intensity and target structure serving as the loss functions during training. Finally, an ASC model-guided feature fusion network is designed, utilizing the fused features for target recognition. On the MSTAR dataset, a visual assessment experiment demonstrated that the proposed feature extraction module effectively extracts electromagnetic scattering features under various operating conditions. Subsequently, in downstream classification tasks, the inclusion of the proposed module resulted in improved accuracy compared to other networks. Additionally, a visualization analysis of the classification network showed that, under the guidance of electromagnetic scattering features, the network achieved good interpretability. © 2024 IEEE.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Policy iteration-based adaptive optimal control for Markov jump systems: a transition-probability-free asynchronous approach

引用

Science China(information Sciences) 2024年第11期67卷 363-364页

作者： Weidi CHENG Chengcheng REN Shuping HE Changyin SUN Key Laboratory of Intelligent Computing and Signal Processing (Ministry of Education) School of Electrical Engineering and Automation Anhui University Anhui Engineering Laboratory of Human-Robot Integration System and Intelligent Equipment School of Electrical Engineering and Automation Anhui University Information Materials and Intelligent Sensing Laboratory of Anhui Province Engineering Research Center of Autonomous Unmanned System Technology (Ministry of Education) School of Artificial Intelligence Anhui University

The controller and filter design problems of Markov jump systems(MJSs) have gained significant attention over the past few decades. These studies include various aspects,including stochastic stabilization [1], optimal tracking control [2], and dissipative filter design [3]. Although numerous publications address the optimal controller design for MJSs, the issue of hidden MJSs, particularly those with mismatched jumping modes between the system and the controller, has rarely been explored.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

A Novel Approach for State of Health Estimation and Remaining Useful Life Prediction of Supercapacitors Using an Improved Honey Badger Algorithm Assisted Hybrid Neural Network

引用

Protection and Control of Modern Power Systems 2024年第6期9卷 1-18页

作者： Zhenxiao Yi Shi Wang Zhaoting Li Licheng Wang Kai Wang the School of Electrical Engineering Qingdao UniversityQingdao 266071Chinaand the State Key Laboratory of Reliability and Intelligence of Electrical EquipmentHebei University of TechnologyTianjin 300130China the Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China the School of Engineering Brown UniversityProvidenceRhode Island 02912USA the School of Information Engineering Zhejiang University of TechnologyHangzhou 310014China the School of Electrical Engineering Qingdao UniversityQingdao 266071China

Supercapacitors(SCs)are widely recognized as excellent clean energy storage *** state of health(SOH)estimation and remaining useful life(RUL)prediction are essential for ensuring their safe and reliable *** paper introduces a novel method for SOH estimation and RUL prediction,based on a hybrid neural network optimized by an improved honey badger algorithm(HBA).The method combines the advantages of convolutional neural network(CNN)and bidirectional long-short-term memory(BiLSTM)neural *** HBA optimizes the hyperparameters of the hybrid neural *** CNN automatically extracts deep features from time series data and reduces dimensionality,which are then used as input for the ***,recurrent dropout is introduced in the recurrent layer to reduce overfitting and facilitate the learning *** approach not only improves the accuracy of estimates and forecasts but also significantly reduces data processing *** under different working conditions are used to validate the proposed *** results show that the proposed hybrid model effectively extracts features,enriches local details,and enhances global perception *** proposed hybrid model outperforms single models,reducing the root mean square error to below 1%,and offers higher prediction accuracy and robustness compared to other methods.

关键词： Supercapacitors state of health remaining useful life honey badger algorithm recurrent dropout.

来源：评论

学校读者我要写书评

暂无评论

Cross-Domain Detection Transformer with Multi-view Adaptive Feature Alignment in Remote Sensing Imagery 2

Cross-Domain Detection Transformer with Multi-view Adaptive ...

引用

2nd IEEE International Conference on Signal, information and Data processing, ICSIDP 2024

作者： Wang, Shu Han, Jianhong Wang, Ying Hao, Xinyuan Luo, Zhaoyi Wang, Yupei Chen, Liang Beijing Institute of Technology National Key Laboratory for Science and Technology on Space-Born Intelligent Information Processing Beijing China Shanghai Academy of Spaceflight Technology Shanghai China

ISBN: (纸本)9798331515669

Unsupervised Domain Adaptation (UDA) techniques are crucial for remote sensing object detection, designed to address performance degradation caused by the domain gap between training and test data. These methods leverage unlabeled target domain data, thus alleviating the high costs associated with data annotation. Recent developments in Detection Transformers (DETR) have simplified the detection pipeline and attracted significant research interest. Building on this architecture, we introduce an unsupervised domain adaptation detector for remote sensing object detection. Specifically, we introduce a multi-view adaptive feature alignment module that initially captures domain-specific features in complex backgrounds by leveraging a cross-attention mechanism. Subsequently, we employ contrastive learning to enforce the aggregation of domain-specific features from various perspectives, thereby improving the accuracy of feature alignment. Moreover, we demonstrate that integrating the self-training framework into DETR-based detectors can significantly mitigate the domain gap by further utilizing unlabeled data in the target domain. We validated the effectiveness and generalizability of our method across two remote sensing cross-domain detection scenarios using four public datasets. © 2024 IEEE.

关键词： object detection remote sensing imagery Unsupervised domain adaptation

来源：评论

学校读者我要写书评

暂无评论

Data secure transmission intelligent prediction algorithm for mobile industrial IoT networks

引用

Digital Communications and Networks 2023年第2期9卷 400-410页

作者： Lingwei Xu Hao Yin Hong Jia Wenzhong Lin Xinpeng Zhou Yong Fu Xu Yu Department of Information Science and Technology Qingdao University of Science and TechnologyQingdao266061China Fujian Key Laboratory of Sensing and Computing for Smart Cities Xiamen UniversityXiamen361005China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control(Minjiang University) Fuzhou350121China Faculty of Information Science and Engineering Ocean University of ChinaQingdao266100China Shandong Provincial Key Laboratory of Computer Networks Shandong Computer Science Center(National Supercomputer Center in Jinan)JinanChina

Mobile Industrial Internet of Things(IIoT)applications have achieved the explosive growth in recent *** mobile IIoT has flourished and become the backbone of the industry,laying a solid foundation for the interconnection of all *** variety of application scenarios has brought serious challenges to mobile IIoT networks,which face complex and changeable communication *** data secure transmission is critical for mobile IIoT *** paper investigates the data secure transmission performance prediction of mobile IIoT *** cut down computational complexity,we propose a data secure transmission scheme employing Transmit Antenna Selection(TAS).The novel secrecy performance expressions are first ***,to realize real-time secrecy analysis,we design an improved Convolutional Neural Network(CNN)model,and propose an intelligent data secure transmission performance prediction *** mobile signals,the important features may be removed by the pooling *** will lead to negative effects on the secrecy performance prediction.A novel nine-layer improved CNN model is *** of the input and output layers,it removes the pooling layer and contains six convolution ***,Back-Propagation(BP)and LeNet methods are employed to compare with the proposed *** simulation analysis,good prediction accuracy is achieved by the CNN *** prediction accuracy obtains a 59%increase.

关键词： Mobile IIoT networks Data secure transmission Performance analysis intelligent prediction Improved CNN

来源：评论

学校读者我要写书评

暂无评论

Mitigating Shortcut Learning via Smart Data Augmentation based on Large Language Model 31

Mitigating Shortcut Learning via Smart Data Augmentation bas...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Sun, Xinyi Tan, Hongye Guo, Yaxin Qiang, Pengpeng Li, Ru Zhang, Hu School of Computer and Information Technology Shanxi University Taiyuan China Institute of Intelligent Information Processing Shanxi University Taiyuan China Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education Shanxi University Taiyuan China

ISBN: (纸本)9798891761964

Data-driven pre-trained language models typically perform shortcut learning wherein they rely on the spurious correlations between the data and the ground truth. This reliance can undermine the robustness and generalization of the model. To address this issue, data augmentation emerges as a promising solution. By integrating anti-shortcut data to the training set, the models' shortcut-induced biases can be mitigated. However, existing methods encounter three challenges: (1) Manual definition of shortcuts is tailored to particular datasets, restricting generalization. (2) The inherent confirmation bias during model training hampers the effectiveness of data augmentation. (3) Insufficient exploration of the relationship between the model performance and the augmented data quantity may result in excessive data consumption. To tackle these challenges, we propose a method of Smart Data Augmentation based on Large Language Models (SAug-LLM). It leverages the LLMs to autonomously identify shortcuts and generate their anti-shortcut counterparts. In addition, the dual validation is employed to mitigate the confirmation bias during the model retraining. Furthermore, the data augmentation process is optimized to effectively rectify model biases while minimizing data consumption. We validate the effectiveness and generalization of our method through extensive experiments across various natural language processing tasks, demonstrating an average performance improvement of 5.61%. © 2025 Association for Computational Linguistics.

关键词： Data assimilation

来源：评论

学校读者我要写书评

暂无评论

Design of Control Circuit for Active Metasurface Based on Varactor Diode

Design of Control Circuit for Active Metasurface Based on Va...

引用

2023 International Applied Computational Electromagnetics Society Symposium, ACES-China 2023

作者： Zhang, Yue Liu, Yuefei Yang, Guohui Zhang, Kuang Li, Yingsong School of Electronics and Information Engineering Harbin Institute of Technology Harbin China Ministry of Education Anhui University Key Laboratory of Intelligent Computing and Signal Processing Hefei China

ISBN: (纸本)9781733509657

A control circuit for active metasurface based on varactor diode is designed in this paper. By varying the reverse bias voltage on the varactor diode, the designed circuit can regulate the additional phase of the active meta-atoms. The circuit adopts a form of one master and multiple slaves, which can simultaneously control the bias voltage of 960 meta-atoms. Each slave can control up to 64 channels. The control accuracy is 0.04V. The power consumption of a single slave is 160mW. Though experiment verification, the circuit has a good effect in controlling the beam deflection of the metasurface and generating OAM beams. © 2023 Applied Computational Electromagnetics Society (ACES).

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Conditional selection with CNN augmented transformer for multimodal affective analysis

引用

CAAI Transactions on Intelligence technology 2024年第4期9卷 917-931页

作者： Jianwen Wang Shiping Wang Shunxin Xiao Renjie Lin Mianxiong Dong Wenzhong Guo College of Computer and Data Science Fuzhou UniversityFuzhouChina College of Computer and Cyber Security Fujian Normal UniversityFuzhouChina Key Laboratory of Network Computing and Intelligent Information Processing Fuzhou UniversityFuzhouChina Digital Fujian Institute of Big Data Security Technology Fujian Normal UniversityFuzhouChina Department of Sciences and Informatics Muroran Institute of TechnologyMuroranJapan

Attention mechanism has been a successful method for multimodal affective analysis in recent years. Despite the advances, several significant challenges remain in fusing language and its nonverbal context information. One is to generate sparse attention coefficients associated with acoustic and visual modalities, which helps locate critical emotional se-mantics. The other is fusing complementary cross‐modal representation to construct optimal salient feature combinations of multiple modalities. A Conditional Transformer Fusion Network is proposed to handle these problems. Firstly, the authors equip the transformer module with CNN layers to enhance the detection of subtle signal patterns in nonverbal sequences. Secondly, sentiment words are utilised as context conditions to guide the computation of cross‐modal attention. As a result, the located nonverbal fea-tures are not only salient but also complementary to sentiment words directly. Experi-mental results show that the authors’ method achieves state‐of‐the‐art performance on several multimodal affective analysis datasets.

关键词： affective computing data fusion information fusion multimodal approaches

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：