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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

TransCGAN-based Parameter Extraction Framework for SAR Image Simulation 2

TransCGAN-based Parameter Extraction Framework for SAR Image...

引用

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

作者： Deng, Sidan He, Jingfei Mao, Yongfei Zhao, Liangbo Chen, Liang Shi, Hao Beijing Institute of Technology National Key Laboratory of Science and Technology on Space-Born Intelligent Information Processing Chongqing Innovation Center Chongqing China Beijing Institute of Technology National Key Laboratory of Science and Technology on Space-Born Intelligent Information Processing Beijing China China Academy of Space Technology Institute of Remote Sensing Satellite Beijing China Beijing Institute of Technology National Key Laboratory of Science and Technology on Space-Born Intelligent Information Processing Chongqing Innovation Center Beijing China

ISBN: (纸本)9798331515669

Synthetic Aperture Radar (SAR) images have a wide range of applications due to their all-weather and all-day working conditions. However, SAR images with different scenarios and imaging conditions are insufficient or even rare, which is required in specific SAR image tasks. Fortunately, SAR image simulation technology can provide ample simulated images under these conditions at a low cost, addressing the scarcity of specific real SAR data. Accurate parameters are crucial for obtaining high-quality simulated images. However, it is time-consuming and labour-intensive to adjust parameters manually, and it often fails to achieve accurate simulation parameters. To tackle this problem, this paper proposes a TransCGAN-based SAR image simulation method that combines deep learning with traditional methods. By training TransCGAN, a conditional generative adversarial network (CGAN) integrated with Transformer architecture, a mapping between SAR images and simulation parameters is established. This enables the extraction of simulation parameters directly from the real SAR image, guided by the corresponding real SAR image. Ultimately, the parameters are subsequently converted into simulated SAR images via simulation software. Experimental results demonstrate that our TransCGAN-based method can effectively extract accurate simulation parameters from real SAR images, resulting in simulated images holding high similarity to real images. © 2024 IEEE.

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

A Dual-band Low-profile Quadrifilar-Helix Antenna for Satellite Navigation System

A Dual-band Low-profile Quadrifilar-Helix Antenna for Satell...

引用

2023 IEEE International Workshop on Electromagnetics: Applications and Student Innovation Competition, iWEM 2023

作者： Wang, Jiahong Qi, Junwei Li, Yingsong Harbin Engineering University College of Information and Communication Engineering Harbin150001 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350336740

A new dual-band low-profile quadrifilar-helical antenna (QHA) was presented. The spiral radiation arm of QHA is printed to three circular dielectric plates to reduce the antenna height. In this case, the radiation arm of the lower layer is connected to the feed, and the L-shaped branch is connected to the ground through a 50 ohm resistance. The radiation arm in the middle layer adds branches to realize dual frequency. The upper radiation arm rotates inward and folds, further realizing miniaturization. As a result, the height of QHA is only 20mm. Through CST simulation and optimization, The operating frequency bands of QHA are 1GHz - 1.45GHz and 1.54GHz - 1.74GHz. The beam width of QHA is more than 120°, which is to provide service for satellite navigating systems. The AR for the operation bands are less than 3dB. © 2023 IEEE.

关键词： Satellites

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Clustering Single-Cell Multi-Omics Data with Graph Contrastive Learning 23

Clustering Single-Cell Multi-Omics Data with Graph Contrasti...

引用

23rd International Conference on Machine Learning and Cybernetics, ICMLC 2024

作者： Li, Qi Su, Jian-Wei Wu, Wen-Hui College of Electronics and Information Engineering Shenzhen University Shenzhen518060 China Shenzhen University Guangdong Key Laboratory of Intelligent Information Processing Shenzhen518060 China

ISBN: (纸本)9798331528041

Single-cell multi-omics sequencing technology has made significant advances, which provides rich information for cell type identification. As a label-free data, clustering methods have been employed on multi-omics data to realize cell type identification. Although effectively integrating data from different omics facilitates the clustering tasks, most of existing methods designed for specific types of single-cell multi-omics data lack generalization capabilities. Therefore, this paper proposes a Graph Contrastive Learning framework for clustering single-cell multi-omics data (scGCL), which can be applied to various multi-omics datasets. Specifically, Our scGCL includes two modules, i.e., the Graph Generation (GG) module and the Graph Contrastive (GC) module. The GG module leverages k-nearest neighbors and random walk to build graphs based on omics data, capturing the global information and interactions among cell samples. The GC Module utilizes contrastive learning to extract discriminative feature-level and cluster-level representations. Moreover, considering the heterophily within single-cell multi-omics data, the backbone of GC module has been adjusted to enhance the representation learning. Experimental results on three single-cell multi-omics datasets demonstrate the superiority of our proposed scGCL. © 2024 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Adaptive Step-Size Sparse Millimeter Wave Imaging Algorithm Based on Approximate Observations 11

Adaptive Step-Size Sparse Millimeter Wave Imaging Algorithm ...

引用

11th IEEE International Conference on Computer Science and Network Technology, ICCSNT 2023

作者： Wang, Dianhao Huang, Xinqi Yu, Canping Mao, Qi Li, Yingsong College of Information and Communication Engineering Harbin Engineering University Harbin150001 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350311594

The currently constructed millimeter wave imaging system has the problems of long sampling time and more sampling points of antenna units, and the use of compressed perception algorithm can improve the imaging quality when the number of sampling points are much smaller than the Nyquist distance sampling. The traditional compressed perception algorithm can achieve better sparse recovery than the matched filter imaging algorithm, but there is a large dimension of the measurement matrix and high computational complexity. For the problems of difficult data processing and large dimensions of measurement matrix, a sparse imaging regularization model is constructed based on approximate observation, and an improved soft threshold iterative algorithm is used with adaptive step size, which improves the convergence performance, reduces the computational complexity of the sparse recovery dramatically and achieves a better quality of sparse imaging than the traditional compressed perception algorithm. © 2023 IEEE.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Affine-Projection Maximum Asymmetric Correntropy Criterion Algorithm Under System Identifications 11

Affine-Projection Maximum Asymmetric Correntropy Criterion A...

引用

11th IEEE International Conference on Computer Science and Network Technology, ICCSNT 2023

作者： Peng, Yan Huang, Xinqi Yu, Canping Mao, Qi Li, Yingsong College of Information and Communication Engineering Harbin Engineering University Harbin150001 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350311594

The Affine-Projection Maximum Asymmetric Correntropy Criterion (APMACC) is constructed, drawing upon the fundamental principles of the maximum asymmetric correntropy criterion and an affine-projection scheme. The APMACC algorithm incorporates the asymmetric Gaussian model as a kernel function within the Affine-Projection (AP) algorithm framework, thereby endowing it with robustness against asymmetrically distributed noise. Furthermore, the bound for step-size is established in the literature. Simulation results demonstrate that the APMACC has fast convergence and low steady-state. © 2023 IEEE.

关键词： Adaptive filtering

来源：评论

学校读者我要写书评

暂无评论

Detecting Social Robots Based on Multi-view Graph Transformer 1

引用

11th CCF Big Data Conference, BigData 2023

作者： Li, Mingyuan Ye, Zhonglin Zhao, Haixing Xiao, Yuzhi Cao, Shujuan College of Computer Qinghai Normal University Xining China The State Key Laboratory of Tibetan Intelligent Information Processing and Application Xining China Tibetan Information Processing and Machine Translation Key Laboratory of Qinghai Province Xining China Key Laboratory of Tibetan Information Processing Ministry of Education Xining China

ISBN: (数字)9789819989799

ISBN: (纸本)9789819989782

With the development of social media, social robots are increasingly interfering in political elections and economic issues, and detecting social robots has become a long-standing but unresolved problem. Traditional machine learning models or methods have gradually become ineffective with the evolution of social robots. In contrast, analyzing the social network structure where social robots are located has become a more effective method. However, at present, most of these methods are based on a single view, ignoring the importance of multi-view information in social networks. At the same time, existing methods have not considered the influence of potential topic structures. Therefore, to solve the above problems, this paper proposes a new framework based on multi-view (Multi-View Graph Transformer, MV-GT). Specifically, MV-GT includes a topic module, a graph enhancement module, a multi-view Graph Transformer module, and a multi-view attention module, which can explore the complementarity, consistency, and semantic relevance of multiple different views in online social networks. Experimental results show that MV-GT outperforms many existing methods and also demonstrates the effectiveness of multi-view and topic structures in detecting social robots. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Detecting Social Robots Graph Transformer Multi-View Topic Structures

来源：评论

学校读者我要写书评

暂无评论

Improving Fake News Video Detection by Correlating with Neighbors 61

Improving Fake News Video Detection by Correlating with Neig...

引用

Findings of the Association for Computational Linguistics, ACL 2023

作者： Qi, Peng Zhao, Yuyang Shen, Yufeng Ji, Wei Cao, Juan Chua, Tat-Seng Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences China University of Chinese Academy of Sciences China National University of Singapore Singapore

ISBN: (纸本)9781959429623

The prevalence of short video platforms has spawned a lot of fake news videos, which have stronger propagation ability than textual fake news. Thus, automatically detecting fake news videos has been an important countermeasure in practice. Previous works commonly verify each news video individually with multimodal information. Nevertheless, news videos from different perspectives regarding the same event are commonly posted together, which contain complementary or contradictory information and thus can be used to evaluate each other mutually. To this end, we introduce a new and practical paradigm, i.e., cross-sample fake news video detection, and propose a novel framework, Neighbor-Enhanced fakE news video Detection (NEED), which integrates the neighborhood relationship of new videos belonging to the same event. NEED can be readily combined with existing single-sample detectors and further enhance their performances with the proposed graph aggregation (GA) and debunking rectification (DR) modules. Specifically, given the feature representations obtained from single-sample detectors, GA aggregates the neighborhood information with the dynamic graph to enrich the features of independent samples. After that, DR explicitly leverages the relationship between debunking videos and fake news videos to refute the candidate videos via textual and visual consistency. Extensive experiments on the public benchmark demonstrate that NEED greatly improves the performance of both single-modal (up to 8.34% in accuracy) and multimodal (up to 4.97% in accuracy) base detectors. Codes are available in https://***/ICTMCG/NEED. © 2023 Association for Computational Linguistics.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：