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

Variant quantifiers in L_(3)-valued first-order logic

Frontiers of Computer Science 2021年第5期15卷 151-159页

作者： Wei LI Yuefei SUI State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100083China Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 100049China

Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential *** L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.

关键词： L_(3)-valued(three-valued)first-order logic sequent quantifier soundness theorem completeness theorem

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Nested relation extraction with iterative neural network

引用

Frontiers of Computer Science 2021年第3期15卷 109-122页

作者： Yixuan CAO Dian CHEN Zhengqi XU Hongwei LI Ping LUO 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

Most existing researches on relation extraction focus on binary flat relations like Bomln relation between a Person and a *** a large portion of objective facts de-scribed in natural language are complex,especially in professional documents in fields such as finance and biomedicine that require precise *** example,“the GDP of the United States in 2018 grew 2.9%compared with 2017”describes a growth rate relation between two other relations about the economic index,which is beyond the expressive power of binary flat ***,we propose the nested relation extraction problem and formulate it as a directed acyclic graph(DAG)structure extraction ***,we propose a solution using the Iterative Neural Network which extracts relations layer by *** proposed solution achieves 78.98 and 97.89 FI scores on two nested relation extraction tasks,namely semantic cause-and-efFect relation extraction and formula ***,we observe that nested relations are usually expressed in long sentences where entities are mentioned repetitively,which makes the annotation difficult and ***,we extend our model to incorporate a mention-insensitive mode that only requires annotations of relations on entity concepts(instead of exact mentions)while preserving most of its *** mention-insensitive model performs better than the mention sensitive model when the random level in mention selection is higher than 0.3.

关键词： nested relation extraction mention insensitive relation iterative neural network

来源：评论

学校读者我要写书评

暂无评论

A New Method for Predefined-Time Synchronization Control of Memristive Cohen-Grossberg Neural Networks

A New Method for Predefined-Time Synchronization Control of ...

引用

2023 IEEE International Conference on Memristive computing and Applications, ICMCA 2023

作者： Liu, Aidi Yu, Wenyue Huang, Lili Guo, Jian Lei, Tengfei Zhao, Hui School of Computer and Information Engineering Qilu Institute of Technology Jinan China School of Computer and Information Engineering Qilu Institute of Technology China Collaborative Innovation Center of Memristive Computing Application School of Computer and Information Engineering Qilu Institute of Technology China School of Information Science and Engineering University of Jinan Shandong Provincial Key Laboratory of Network Based Intelligent Computing Jinan China

ISBN: (纸本)9798350316230

This article mainly conducts a series of research on the synchronization control of Cohen-Grossberg neural networks. Firstly, a memristive Cohen-Grossberg neural network model with time-varying delay was constructed, and an equivalent system was obtained by combining inverse function theory, differential inclusion, and set-valued mapping. Secondly, a new predefined-time stability theorem was proposed, and sufficient conditions were obtained to ensure that the drive-response system achieves predefined-time synchronization by designing appropriate control strategy. The simulation results show that the stability time of the error system can be adjusted by the user, verifying the correctness and of the theory. © 2023 IEEE.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

Facial StO2-based Stress Recognition using Automatic Graph Generation and Dual-Stream GNN

Facial StO2-based Stress Recognition using Automatic Graph G...

引用

2024 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Jia, Yingjuan Wang, Hanpu Liu, Xinyu Chen, Tong Southwest University College of Electronic and Information Engineering 400715 China Southwest University Chongqing Key Laboratory of Generic Technology and System of Service Robots China Southwest University Institute of Legal Psychology and Intelligent Computing 400715 China

ISBN: (纸本)9798350386226

The recognition of stress responses in health, resilience, and psychopathology holds significant scientific importance. The biological information carried by the facial tissue oxygen saturation (StO2) is a useful indicator for stress recognition. Although graph-based methods have achieved state-of-the-art (SOTA), there is room for improvement. This study proposes an automatic graph generation method for facial StO2, replacing manual methods and enhancing the information of graphs. To further enhance the capability of graphs' representation, a dimensionality reduction strategy for nodes is proposed. The strategy is implemented based on an novel objective function that can increase the inter-class distance and reduce the intra-class distance. After obtaining highly representative graphs, a dual-stream network integrating GAT and GCN is designed to extract stress-related features from the graphs, ultimately achieving the SOTA recognition accuracy. © 2024 IEEE.

关键词： Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

A Fractional-Order Logarithmic Adaptive Filtering Algorithm Under α-Stable Noise 6

A Fractional-Order Logarithmic Adaptive Filtering Algorithm ...

引用

6th IEEE International Conference on Electronic information and Communication technology, ICEICT 2023

作者： Sun, Dazhi Yu, Canping Li, Li Li, Yingsong Xiao, Wudang Chen, Yong Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China Aircraft Airworthiness Institute China Academy of Civil Aviation Science and Technology Center of Aviation Safety Technology Cast Beijing101399 China

ISBN: (纸本)9798350399059

In practical applications, noise is more appropriately modelled as an a-stable random process than as a Gaussian process. To cope with a-stable noise, a fractional-order stochastic gradient descent (SGD) method is invented to adaptive filtering (AF) algorithms. When both input signal and noise follow α-stable random processes, the AF algorithms based on mean square error (MSE) criteria can be affected. Nevertheless, the fractional-order AF (FoAF) algorithm can effectively address this issue. For the purpose of better stability performance of the FoAF algorithm, different cost functions (CFs) are introduced into fractional-order SGD method. Based on the fractional-order derivative of a logarithmic CF (LCF), a fractional-order logarithmic adaptive filtering (FoLAF) algorithm is formed in this condition. Trials show that the FoLAF algorithm achieves faster convergence, excellent steady-state performance and superior tracking performance. © 2023 IEEE.

关键词： Adaptive filtering

来源：评论

学校读者我要写书评

暂无评论

Learning Hierarchical Robot Skills Represented by Behavior Trees from Natural Language 29th

Learning Hierarchical Robot Skills Represented by Behavior ...

引用

29th International Conference on Cooperative information Systems, CoopIS 2023

作者： Wang, Kaiyi Zhao, Yongjia Dai, Shuling Yang, Minghao He, Yichen Zhang, Ning State Key Laboratory of Virtual Reality Technology and Systems Beihang University Beijing China Jiangxi Research Institute Beihang University Jiangxi China Institute of Automation Chinese Academy of Sciences Beijing China Institute of Intelligent Information Processing Beihang University Beijing China

ISBN: (纸本)9783031468452

Learning from natural language is a programming-free and user friendly teaching method that allows users without programming knowledge or demonstration capabilities to instruct robots, which has great value in industry and daily life. The manipulation skills of robots are often hierarchical skills composed of low-level primitive skills, so they can be conveniently represented by behavior trees (BTs). Based on this idea, we propose NL2BT, a framework for generating behavior trees from natural language and controlling robots to complete hierarchical tasks in real time. The framework consists of two language processing stages, an initial behavior tree library composed of primitive skill subtrees, and a BT-Generation algorithm. To validate the effectiveness of NL2BT, we use it to build a Chinese natural language system for instructing robots in performing 3C assembly tasks, which is a significant application of Industry 4.0. We also discuss the positive impact of real-time teaching, visual student models, and the synonymous skill module in the framework. In addition to the demonstrated application, NL2BT can be easily migrated to other languages and hierarchical task learning scenarios. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

A Category Agnostic Model for Visual Rearrangment

A Category Agnostic Model for Visual Rearrangment

引用

Conference on Computer Vision and Pattern Recognition (CVPR)

作者： Yuyi Liu Xinhang Song Weijie Li Xiaohan Wang Shuqiang Jiang Key Lab of Intelligent Information Processing Laboratory of the Chinese Academy of Sciences (CAS) Institute of Computing Technology Beijing University of Chinese Academy of Sciences Beijing

ISBN: (数字)9798350353006

ISBN: (纸本)9798350353013

This paper presents a novel category agnostic model for visual rearrangement task, which can help an embodied agent to physically recover the shuffled scene configuration without any category concepts to the goal configuration. Previous methods usually follow a similar architecture, completing the rearrangement task by aligning the scene changes of the goal and shuffled configuration, according to the semantic scene graphs. However, constructing scene graphs requires the inference of category labels, which not only causes the accuracy drop of the entire task but also limits the application in real world scenario. In this paper, we delve deep into the essence of visual re-arrangement task and focus on the two most essential issues, scene change detection and scene change matching. We utilize the movement and the protrusion of point cloud to accurately identify the scene changes and match these changes depending on the similarity of category agnostic appearance feature. Moreover, to assist the agent to explore the environment more efficiently and comprehensively, we propose a closer-aligned-retrace exploration policy, aiming to observe more details of the scene at a closer distance. We conduct extensive experiments onAI2THOR Rearrangement Challenge based on RoomR dataset and a new multi-room multi-instance dataset MrMiR collected by us. The experimental results demonstrate the effectiveness of our proposed method.

关键词： Point cloud compression Visualization Computer vision Accuracy Semantics Feature extraction Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

Multi-attribute wearable pressure sensor based on multilayered modulation with high constant sensitivity over a wide range

引用

Nano Research 2023年第5期16卷 7583-7592页

作者： Ning Li Song Gao Yang Li Jianwen Liu Wenhao Song Guozhen Shen School of Information Science and Engineering University of JinanJinan 250022China Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of JinanJinan 250022China School of Integrated Circuits and Electronics Beijing Institute of TechnologyBeijing 100081China School of Aeronautical and Astronautical Engineering Purdue University West LafayetteIN 47907USA

Flexible pressure sensors capable of monitoring diverse physiological signals and body movements have garnered tremendous attention in wearable electronic ***,high constant sensitivity over a wide pressure range combined with breathability,biocompatibility,biodegradability is pivotal for manufacturing of reliable pressure sensors in practical sensing *** this work,inspired by the multilayered structure of skin epidermis,we propose and demonstrate a multi-attribute wearable piezoresistive pressure sensor consisting of multilayered gradient conductive poly(ε-caprolactone)nanofiber membranes *** response to externally applied pressure,a layer-by-layer current path is activated inside the multilayered membranes composites,leading to the most salient sensing performance of high constant sensitivity of 33.955 kPa^(−1) within the pressure range of 0–80 *** proposed pressure sensor also exhibits a fast response–relaxation time,a low detection limit,excellent stability,which can be successfully used to measure human physiological ***,an integrated sensor array system that can locate objects’positions is constructed and applied to simulate sitting posture *** results indicate that the proposed pressure sensor holds great potential in health monitoring and wearable electronic devices.

关键词： wearable pressure sensors multilayer structure high constant sensitivity multi-attribute physiological signals monitoring

来源：评论

学校读者我要写书评

暂无评论

A Weighted Ensemble Causal Discovery Method for Effective Connectivity Estimation 9

A Weighted Ensemble Causal Discovery Method for Effective Co...

引用

9th IEEE Smart World Congress, SWC 2023

作者： Zhang, Qiqi Zhang, Yingwei Ding, Yanhui Chen, Yiqiang Song, Shuchao Wu, Shuang Shandong Normal University School of Information Science and Engineering Jinan China Shandong Academy of Intelligent Computing Technology Jinan China Chinese Academy of Sciences Institute of Computing Technology Beijing China Beijing Key Laboratory of Mobile Computing and Pervasive Device Beijing China

ISBN: (纸本)9798350319804

Exploring and explaining the effective connectivity (EC) between brain regions can help us understand the mechanisms behind neurodegenerative diseases such as Alzheimer's disease, thus helping us to diagnose patients better. Causal discovery techniques have been widely used in this domain recently, but diverse methods may produce conflicting outcomes because of the differences in underlying principles and search methods. To solve this problem, we integrate the causal relationships generated by different algorithms to obtain high-confidence inferences, resulting in a more reliable weighted ensemble causal discovery (WECD) method with higher accuracy. First of all, WECD defines a distribution metric function to measure the weights of different individual methods. Then, WECD adaptively chooses the critical threshold to obtain the confident edges set based on the generated directed edge confident metric curve. Finally, the directed acyclic graph condition is used to refine the confident edges set and acquire the final causal graph. We validate the effectiveness of WECD with both the simulated dataset and real functional near-infrared spectroscopy (fNIRS) dataset collected on AD patients, MCI patients and healthy controls. By comparing with other existing methods, experimental results demonstrate the potential of WECD as an effective tool for estimating brain EC. © 2023 IEEE.

关键词： Alzheimer's disease causal discovery effective connectivity ensemble learning functional near-infrared spectroscopy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：