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

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

来源：评论

学校读者我要写书评

暂无评论

Scheduling Multiple Mobile Agents with Abilities of Sensing and Executing Simultaneously

Scheduling Multiple Mobile Agents with Abilities of Sensing ...

引用

2023 International Conference on Artificial Intelligence of Things and Systems, AIoTSys 2023

作者： Guo, Zhipeng Yu, Zhiyong Huang, Fangwan Tu, Chunyu Fuzhou University College of Computer and Data Science Fuzhou China Fuzhou University Fujian Key Laboratory of Network Computing and Intelligent Information Processing Fuzhou China

ISBN: (纸本)9798350312270

How to schedule public resources to maximize the coverage of crowds has always been a hot topic. There are mainly two types of research. One is the scheduling of static resources, whose coverage efficiency is lower because the resources cannot be moved;the other is the dynamic scheduling of movable public resources, but the existing methods require additional devices to collect crowd volume data. To address this issue, this article introduces a new category of mobile agents that can sense and execute simultaneously. This means that an agent can simultaneously perform crowd volume data collection tasks and crowds coverage tasks in its area. Taking these multi-ability agents as public resources, this article proposes a scheduling method called GE-STMC (Greedy Execute - Spatial and Temporal Monte-Carlo dropout). The method considers the spatiotemporal correlation between areas and evaluates the sensing value and the executing value of areas comprehensively to allocate the agents accordingly. Through the experimental on the real data of Beijing Happy Valley, this method can get 16% larger crowds volume coverage than other baseline methods with the same number of agents. © 2023 IEEE.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

A RIS-Aided MIMO Secure Communication Scheme Based on Subarray Partition 9

A RIS-Aided MIMO Secure Communication Scheme Based on Subarr...

引用

9th International Conference on Computer and Communications, ICCC 2023

作者： Wang, Suzhen Zhi, Hui Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education Hefei China Anhui University School of Electronic and Information Engineering Hefei China

ISBN: (纸本)9798350317251

Subarray partition of reconfigurable intelligent surface (RIS) can significantly reduce the computational complexity of solving optimal reflection coefficients. However, there is no research about the RIS subarray partition of RIS-aided multiple-input multiple-output (MIMO) communication for the eavesdropper scenario. In this paper, we intend to solve the optimization subarray partition problem for the eavesdropper scenario, design a RIS-aided MIMO secure communication scheme based on subarray partition (RSC-SP). We consider minimizing the number of subarrays while satisfying secrecy rate requirements. First, this problem is described as a nonconvex combinatorial optimization problem, then we solve it by combining alternating optimization and bisection. In this scheme, we derive the closed expressions of the optimal transmit covariance matrix and the optimal reflection coefficients of RIS. The alternating optimization algorithm is used to jointly optimize the transmit covariance matrix and the reflection coefficients of RIS, the bisection method is used to calculate the minimum number of subarrays. Simulation results show that compared with the traditional scheme without subarray partition, RSC-SP can significantly reduce the computational complexity while meeting secrecy rate requirements. © 2023 IEEE.

关键词： Covariance matrix

来源：评论

学校读者我要写书评

暂无评论

Dual-Control Reconfigurable intelligent Metasurface: Design and Realization 6

Dual-Control Reconfigurable Intelligent Metasurface: Design ...

引用

6th IEEE International Conference on Electronic Information and Communication Technology, ICEICT 2023

作者： Zheng, Kangtai Chung, Kwok L. Li, Yuzhong Lai, Guoming Wang, Jianhai Li, Yingsong School of Computer Science and Engineering Huizhou University Huizhou516007 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350399059

A dual-control reconfigurable intelligent metasurface (DC-RIMS) composed of 24× 22 symmetric cells in the 5G mid-band is proposed. The DC-RIMS of non-artificial-magnetic-conductor type provides a smaller phase resolution of 60° with 2 bits under normal incidence. Angular sensitivities of the RIMS under oblique incidence are investigated. Our results show that the reflection responses at elevation angles are more sensitive than the azimuth angles, whereas the maximum phase differences are differed from each polarization. The horizontal one increases to 220° whereas the vertical one reduces to 150° as compared with overlapped 180° under normal incidence. © 2023 IEEE.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

A Privacy-friendly sequential progressive framework for segmented decision making

A Privacy-friendly sequential progressive framework for segm...

引用

2023 International Conference on Artificial Intelligence of Things and Systems, AIoTSys 2023

作者： Liu, Peng Yu, Zhiyong Huang, Fangwan Fuzhou University College of Computer and Data Science Fuzhou China Fuzhou University Fujian Key Laboratory of Network Computing and Intelligent Information Processing Fuzhou China

ISBN: (纸本)9798350312270

To achieve progressive and accurate decision-making for long-term time series data while meeting the needs of privacy-friendly and early, this paper proposes a universal framework for sequential progressive decision-making (SPD). This framework first segments the data and sets up multiple columns of neural networks according to the number of segments. Each column can make segmented decisions based on the inputs for the period. Additionally, without sharing the original data, the framework leverages lateral hidden layer connections between preceding and succeeding columns to obtain useful features for subsequent decision-making, gradually improving accuracy while avoiding the risk of data leakage. SPD has the advantages of privacy friendliness, column model diversification, prior knowledge reuse, and easy scalability, making it an effective framework for continuous decision-making. The effectiveness of that was validated using various network models in handwritten digit recognition and electrocardiogram classification tasks. The obtained experimental results reveal that SPD not only enables early decision-making while ensuring accuracy but also achieves accuracy levels comparable to or even surpassing those obtained using complete data, with the added benefit of privacy protection. © 2023 IEEE.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Representation Purification for End-to-End Speech Translation 31

Representation Purification for End-to-End Speech Translatio...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Zhang, Chengwei Zhou, Yue Zhao, Rui Chen, Yidong Shi, Xiaodong School of Informatics Xiamen University China Key Laboratory of Digital Protection and Intelligent Processing of Intangible Cultural Heritage of Fujian and Taiwan Ministry of Culture and Tourism China Key Laboratory of Multimedia Trusted Perception and Efficient Computing Ministry of Education of China Xiamen University Xiamen China

ISBN: (纸本)9798891761964

Speech-to-text translation (ST) is a cross-modal task that involves converting spoken language into text in a different language. Previous research primarily focused on enhancing speech translation by facilitating knowledge transfer from machine translation, exploring various methods to bridge the gap between speech and text modalities. Despite substantial progress made, factors in speech that are not relevant to translation content, such as timbre and rhythm, often limit the efficiency of knowledge transfer. In this paper, we conceptualize speech representation as a combination of content-agnostic and content-relevant factors. We examine the impact of content-agnostic factors on translation performance through preliminary experiments and observe a significant performance deterioration when content-agnostic perturbations are introduced to speech signals. To address this issue, we propose a Speech Representation Purification with Supervision Enhancement (SRPSE) framework, which excludes the content-agnostic components within speech representations to mitigate their negative impact on ST. Experiments on MuST-C and CoVoST-2 datasets demonstrate that SRPSE significantly improves translation performance across all translation directions in three settings and achieves preeminent performance under a transcript-free setting. © 2025 Association for Computational Linguistics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DeepPointMap2: Accurate and Robust LiDAR-Visual SLAM with Neural Descriptors 24

DeepPointMap2: Accurate and Robust LiDAR-Visual SLAM with Ne...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： Zhang, Xiaze Ding, Ziheng Jing, Qi Cheng, Ying Ding, Wenchao Feng, Rui Fudan University Shanghai China The School of Computer Science Shanghai Key Laboratory of Intelligent Information Processing Fudan University China The Academy for Engineering and Technology Fudan University China The Shanghai Collaborative Innovation Center of Intelligent Visual Computing China

ISBN: (纸本)9798400706868

Simultaneous Localization and Mapping (SLAM) plays a pivotal role in autonomous driving and robotics. Existing methods often rely on hand-craft feature extraction and cross-modal fusion techniques, resulting in limited feature representation capability and reduced robustness. To address this challenge, we introduce DeepPointMap2, a novel learning-based LiDAR-Visual SLAM architecture that leverages neural descriptors to tackle multiple SLAM sub-tasks in a unified manner. Our approach employs neural networks to extract multi-modal tokens, which are then adaptively fused by the Visual-Point Fusion Module to generate sparse 3D neural descriptors, ensuring precise and robust performance. As a pioneering work, our method achieves state-of-the-art localization performance among various Visual-, LiDAR-, and Visual-LiDAR-based methods in widely-used benchmarks, as shown in the experiment results. Furthermore, the approach proves to be robust in scenarios involving camera failure and LiDAR obstruction. © 2024 ACM.

关键词： SLAM robotics

来源：评论

学校读者我要写书评

暂无评论

A Blockchain-Based Framework for Secure Storage and Sharing of Resumes

引用

Computers, Materials & Continua 2022年第9期72卷 5395-5413页

作者： Huanrong Tang Changlin Hu Tianming Liu Jianquan Ouyang Key Laboratory of Intelligent Computing and Information Processing Ministry of EducationComputer Science College of Xiangtan UniversityXiangtanHunan ProvinceChina Department of Computer Science The University of GeorgiaAthensGeorgiaUSA

In response to problems in the centralized storage of personal resumes on third-party recruitment platforms,such as inadequate privacy protection,inability of individuals to accurately authorize downloads,and inability to determine who downloaded the resume and when,this study proposes a blockchain-based framework for secure storage and sharing of *** can employ an authorized access mechanism to protect their privacy *** proposed framework uses smart contracts,interplanetary file system,symmetric encryption,and digital signatures to protect,verify,and share *** keys are split and stored in multiple depositories through secret-sharing technology to improve the security of these *** key escrow incentives are implemented using smart contracts to automatically verify the correctness of keys and encourage the active participation of honest key escrow *** framework combines blockchain and searchable symmetric encryption technology to realize multikeyword search using inverted indexing and Bloom filters and verify search results on the *** search service fees are charged through *** after the search results are verified can the search service provider obtain the search fee,thus ensuring fair and efficient search for encrypted *** framework is decentralized,secure,and tamper-evident,and achieves controlled sharing while protecting personal privacy and information security.

关键词： Resume blockchain interplanetary file system secret sharing searchable encryption

来源：评论

学校读者我要写书评

暂无评论

GDTNet: A Synergistic Dilated Transformer and CNN by Gate Attention for Abdominal Multi-organ Segmentation 30th

GDTNet: A Synergistic Dilated Transformer and CNN by Gate ...

引用

30th International Conference on MultiMedia Modeling, MMM 2024

作者： Zhang, Can Wang, Zhiqiang Zhang, Yuan Li, Xuanya Hu, Kai Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education Xiangtan University Xiangtan411105 China Key Laboratory of Medical Imaging and Artificial Intelligence of Hunan Province Xiangnan University Chenzhou423000 China Baidu Inc. Beijing100085 China

ISBN: (纸本)9783031533013

As one of the key problems in computer-aided medical image analysis, learning how to model global relationships and extract local details is crucial to improve the performance of abdominal multi-organ segmentation. While current techniques for Convolutional Neural Networks (CNNs) are quite mature, their limited receptive field makes it difficult to balance the ability to capture global relationships with local details, especially when stacked onto deeper networks. Thus, several recent works have proposed Vision Transformer based on a self-attentive mechanism and used it for abdominal multi-organ segmentation. However, Vision Transformer is computationally expensive by modeling long-range relationships on pairs of patches. To address these issues, we propose a novel multi-organ segmentation framework, named GDTNet, based on the synergy of CNN and Transformer for mining global relationships and local details. To achieve this goal, we innovatively design a Dilated Attention Module (DAM) that can efficiently capture global contextual features and construct global semantic information. Specifically, we employ a three-parallel branching structure to model the global semantic information of multiscale encoded features by Dilated Transformer, combined with global average pooling under the supervision of Gate Attention. In addition, we fuse each DAM with DAMs from all previous layers to further encode features between scales. Extensive experiments on the Synapse dataset show that our method outperforms ten other state-of-the-art segmentation methods, achieving accurate segmentation of multiple organs in the abdomen. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Computer aided analysis

来源：评论

学校读者我要写书评

暂无评论

A Unified Framework Integrating Knowledge and Data for Collaborative Root Cause Identification 5

A Unified Framework Integrating Knowledge and Data for Colla...

引用

5th International Conference on Sensing, Measurement and Data Analytics in the Era of Artificial Intelligence, ICSMD 2024

作者： Yu, Jiefei Cao, Zicheng He, Siyi Gu, Zuyi Xu, Yingcheng Zhong, Kai Institutes of Physical Science and Information Technology Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education Anhui China School of Big Data and Statistics Anhui University Anhui China

ISBN: (纸本)9798331529192

Capturing the root cause and propagation path of the fault is critical to ensuring the safety and efficiency of industrial processes, especially those that inadequately utilize process knowledge and data. To address this issue, a unified framework integrating knowledge and data for collaborative root cause identification is proposed. First, the knowledge causal graph (KCG) is constructed using expert knowledge and industrial flow charts, providing a preliminary reference for subsequent causality analysis. Next, by replacing the traditional vector autoregression (VAR) model in Granger Causality (GC) with the gated recurrent unit (GRU), a more reliable causal relationship between variables is obtained. Additionally, a causality fusion propagation path identification method (CF-PPI) is designed to identify the root cause and propagation path of the fault, so that the obtained fault propagation path has less redundancy and higher accuracy. Finally, the method is validated using data from the ASHRAE RP-1043 centrifugal chiller. © 2024 IEEE.

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：