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

Verifying Diagnosability of Discrete Event System with Logical Formula

Chinese Journal of Electronics 2020年第2期29卷 304-311页

作者： GENG Xuena OUYANG Dantong HAN Cheng College of Computer Science and Technology Changchun University of Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education Jilin University

Diagnosability is an important property in the field of fault diagnosis. In this paper, a novel approach based on logical formula is proposed to verify diagnosability of Discrete event systems(DESs). CNFFSM is defined to represent a new model for DES. Each transition in DES can be described as a clause. According to CNF-FSM, we construct a CNF-diagnoser. Based on the resolution principle and CNF-diagnoser, an algorithm is presented to test whether the failure events can be detected or not in a finite number of observable *** algorithm can be applied in both off-line diagnosis and on-line diagnosis. Experimental results show that our algorithm can solve the diagnosability problem efficiently.

关键词： Fault diagnosis Diagnosability Discrete event system Finite state machine Conjunctive normal form

来源：评论

学校读者我要写书评

暂无评论

Computing PUR of Zero-Dimensional Ideals of Breadth at Most One

引用

Journal of Systems Science & Complexity 2021年第6期34卷 2396-2409页

作者： PAN Jian SHANG Baoxin LI Zhe ZHANG Shugong School of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education)Jilin UniversityChangchun 130012China College of Science Northeast Electric Power UniversityJilin 132012China School of Science Changchun University of Science and TechnologyChangchun 130022China

In this paper,for a zero-dimensional polynomial ideal I,the authors prove that k[x_(1),x_(2),…,x_(n)]/I is cyclic if and only if the breadth of I is 0 or ***,the authors present a new algorithm to compute polynomial ... 详细信息

关键词： Cyclic basis Grobner basis polynomial univariate representation separating element

来源：评论

学校读者我要写书评

暂无评论

Nucleus Detection Based on Adversarial Domain Adaptation with Cross-Domain Consistency

Nucleus Detection Based on Adversarial Domain Adaptation wit...

引用

Medical Artificial Intelligence (MedAI), IEEE International Conference on

作者： Shuyu Guo Lan Huang Lang Li Tian Bai College of Computer Science and Technology (of Jilin University) Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education (of Jilin University) Changchun China

Automatic cell/nucleus detection is a prerequisite for various quantitative analyses on microscopy image. However, previous deep learning methods require enough annotated microscopy images for better performance, which is a great challenge for microscopy image due to limited annotation and high cost. This paper proposes an end-to-end adversarial learning model with unsupervised domain adaptation for cell/nucleus detection. Different staining microscopy images transformation and cell/nucleus detection are merged into one end-to-end model to achieve mutual restriction of accuracy. Furthermore, a cross-domain consistency loss is introduced, which can refine the results of image transformation and localize cells synchronously. The experiments conclude that proposed method achieves the best F1 scores compared with other methods on cell/nucleus detection of different staining microscopy images. Moreover, ablation study also approves the effectiveness of cross-domain consistency loss.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization 29

Improving Local Search for Pseudo Boolean Optimization by Fr...

引用

29th International Conference on Principles and Practice of Constraint Programming, CP 2023

作者： Zhou, Wenbo Zhao, Yujiao Wang, Yiyuan Cai, Shaowei Wang, Shimao Wang, Xinyu Yin, Minghao School of Information Science and Technology Northeast Normal University Changchun China Key Laboratory of Applied Statistics of MOE Northeast Normal University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of MOE Jilin University Changchun China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783959773003

Pseudo-Boolean optimization (PBO) is usually used to model combinatorial optimization problems, especially for some real-world applications. Despite its significant importance in both theory and applications, there are few works on using local search to solve PBO. This paper develops a novel local search framework for PBO, which has three main ideas. First, we design a two-level selection strategy to evaluate all candidate variables. Second, we propose a novel deep optimization strategy to disturb some search spaces. Third, a sampling flipping method is applied to help the algorithm jump out of local optimum. Experimental results show that the proposed algorithms outperform three state-of-the-art PBO algorithms on most instances. © Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, and Minghao Yin.

关键词： Combinatorial optimization

来源：评论

学校读者我要写书评

暂无评论

Enhancing Unsupervised Graph Few-shot Learning via Set Functions and Optimal Transport 25

Enhancing Unsupervised Graph Few-shot Learning via Set Funct...

引用

Proceedings of the 31st ACM SIGKDD Conference on knowledge Discovery and Data Mining V.1

作者： Yonghao Liu Fausto Giunchiglia Ximing Li Lan Huang Xiaoyue Feng Renchu Guan Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education College of Computer Science and Technology Jilin University Changchun China Department of Information Engineering and Computer Science University of Trento Trento Italy

ISBN: (纸本)9798400712456

Graph few-shot learning has garnered significant attention for its ability to rapidly adapt to downstream tasks with limited labeled data, sparking considerable interest among researchers. Recent advancements in graph few-shot learning models have exhibited superior performance across diverse applications. Despite their successes, several limitations still exist. First, existing models in the meta-training phase predominantly focus on instance-level features within tasks, neglecting crucial set-level features essential for distinguishing between different categories. Second, these models often utilize query sets directly on classifiers trained with support sets containing only a few labeled examples, overlooking potential distribution shifts between these sets and leading to suboptimal performance. Finally, previous models typically require necessitate abundant labeled data from base classes to extract transferable knowledge, which is typically infeasible in real-world scenarios. To address these issues, we propose a novel model named STAR, which leverages Set funcTions and optimAl tRansport for enhancing unsupervised graph few-shot learning. Specifically, STAR utilizes expressive set functions to obtain set-level features in an unsupervised manner and employs optimal transport principles to align the distributions of support and query sets, thereby mitigating distribution shift effects. Theoretical analysis demonstrates that STAR can capture more task-relevant information and enhance generalization capabilities. Empirically, extensive experiments across multiple datasets validate the effectiveness of STAR. Our code can be found https://***/KEAML-JLU/STAR here.

关键词： few-shot learning

来源：评论

学校读者我要写书评

暂无评论

Information Entropy Invariance: Enhancing Length Extrapolation in Attention Mechanisms

arXiv

引用

arXiv 2025年

作者： Li, Kewei Kong, Yanwen Xu, Yiping Su, Jianlin Huang, Lan Zhang, Ruochi Zhou, Fengfeng College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Jilin Changchun130012 China Moonshot AI Ltd. Beijing100086 China

Since the emergence of research on improving the length extrapolation capabilities of large models in 2021, some studies have made modifications to the scaling factor in the scaled dot-product attention mechanism as part of their proposed methods without rigorous theoretical justifications. To fill this gap, we propose two new scaled temperatures based on entropy invariance to enhance length extrapolation. First, a training-free method InfoScale is designed for dot-product attention, and preserves focus on original tokens during length extrapolation by ensuring consistent entropy. Second, we theoretically analyze the impact of scaling (CosScale) on cosine attention. Experimental data demonstrates that combining InfoScale and CosScale achieves state-of-the-art performance on the GAU-α model with a context window extended to 64 times the training length, and outperforms seven existing methods. Our analysis reveals that significantly increasing CosScale approximates the Windowed Attention, and highlights the significance of attention score dilution as a key challenge in long-range context handling. The code and data are available at https://***/HT-NEKO/InfoScale. © 2025, CC BY-NC-ND.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

Learning Semantic Textual Similarity via Topic-informed Discrete Latent Variables

Learning Semantic Textual Similarity via Topic-informed Disc...

引用

2022 Conference on Empirical Methods in Natural Language Processing, EMNLP 2022

作者： Yu, Erxin Du, Lan Jin, Yuan Wei, Zhepei Chang, Yi School of Artificial Intelligence Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University China International Center of Future Science Jilin University China Faculty of Information Technology Monash University Australia

Recently, discrete latent variable models have received a surge of interest in both Natural Language Processing (NLP) and Computer Vision (CV), attributed to their comparable performance to the continuous counterparts in representation learning, while being more interpretable in their predictions. In this paper, we develop a topic-informed discrete latent variable model for semantic textual similarity, which learns a shared latent space for sentence-pair representation via vector quantization. Compared with previous models limited to local semantic contexts, our model can explore richer semantic information via topic modeling. We further boost the performance of semantic similarity by injecting the quantized representation into a transformer-based language model with a well-designed semantic-driven attention mechanism. We demonstrate, through extensive experiments across various English language datasets, that our model is able to surpass several strong neural baselines in semantic textual similarity tasks. © 2022 Association for computational Linguistics.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

In-Context Decision Transformer: Reinforcement Learning via Hierarchical Chain-of-Thought

arXiv

引用

arXiv 2024年

作者： Huang, Sili Hu, Jifeng Chen, Hechang Sun, Lichao Yang, Bo School of Artificial Intelligence Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China Lehigh University BethlehemPA United States

In-context learning is a promising approach for offline reinforcement learning (RL) to handle online tasks, which can be achieved by providing task prompts. Recent works demonstrated that in-context RL could emerge with self-improvement in a trial-and-error manner when treating RL tasks as an across-episodic sequential prediction problem. Despite the self-improvement not requiring gradient updates, current works still suffer from high computational costs when the across-episodic sequence increases with task horizons. To this end, we propose an In-context Decision Transformer (IDT) to achieve self-improvement in a high-level trial-and-error manner. Specifically, IDT is inspired by the efficient hierarchical structure of human decision-making and thus reconstructs the sequence to consist of high-level decisions instead of low-level actions that interact with environments. As one high-level decision can guide multi-step low-level actions, IDT naturally avoids excessively long sequences and solves online tasks more efficiently. Experimental results show that IDT achieves state-of-the-art in long-horizon tasks over current in-context RL methods. In particular, the online evaluation time of our IDT is 36× times faster than baselines in the D4RL benchmark and 27× times faster in the Grid World benchmark. Copyright © 2024, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Few-Shot Fine-Grained Classification of Histological Images

Few-Shot Fine-Grained Classification of Histological Images

引用

Medical Artificial Intelligence (MedAI), IEEE International Conference on

作者： Yingdong Jiang Jing Huang Zihe Jin Leqi Shen Ziyi Zhang Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Software Jilin University Jilin University ChangChun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Jilin University ChangChun China College of Computer Science and Technology Jilin University ChangChun China

Histological image classification plays a crucial role in cancer diagnosis. However, the acquisition of well-labeled histological images is prohibitively expensive, and obtaining rare abnormal samples is challenging. Therefore, applying few-shot learning methods to histological image classification tasks holds significant clinical value. Nevertheless, existing research predom-inantly relies on coarse-grained image classification approaches based on natural image datasets, which struggle to address the fine-grained challenges encountered in histological image classification, such as intra-class diversity and inter-class similarity. To tackle this issue, this study proposes a novel few-shot fine-grained classification method for histological images, named “Category-Aware Feature Map Reconstruction Network.” This method employs channel weights to localize the differences between inter-class and intra-class regions, composed of intra-class channel weights and inter-class channel weights, collectively referred to as category-aware weights. Specifically, intra-class channel weights indicate the matching degree of salient regions within the support set of a particular class, while inter-class channel weights represent the degree of containing distinct information between classes. The category-aware weights are utilized to transform the support feature maps and query feature maps, generating feature maps that capture differentiating details between categories. Finally, the distance between the transformed query feature map and support feature map is calculated to achieve probabilistic predictions for the categories. On a histological few-shot dataset, this method achieves an accuracy of 90.23% using ResNet-12 as the feature extractor, surpassing the baseline model by 5.24% and outperforming other few-shot methods by at least 10% in the 5-way 10-shot experimental setting. The proposed method exhibits exceptional performance on histological image few-shot datasets, playing a

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhancing Nested Named Entity Recognition in Chinese EMRs: A Collaborative Approach

Enhancing Nested Named Entity Recognition in Chinese EMRs: A...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Hongtao Yue Xiaoyue Feng Hanchi Xu Haoxuan Chu Yushi Wang Renchu Guan Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education College of Computer Science and Technology Jilin University Changchun China Cardiovascular Center The First Hospital of Jilin University Changchun China

ISBN: (数字)9798350386226

ISBN: (纸本)9798350386233

Named entity recognition (NER) in electronic medical records (EMRs) is critical for identifying medical entities, constructing medical knowledge graphs, and supporting clinical decision-making. However, the scarcity of EMR datasets and the challenges posed by the complexity of Chinese medical texts hinder progress in this area. To address these issues, we introduce CMR-NER, a nested named entity recognition model that enhances entity prediction by integrating multiple features and considering a global view of entity boundaries. Leveraging the robust generalization capabilities of the large language model, CMR-NER involves collaboration with medical experts to ensure accuracy and reduce annotation costs. Additionally, we present HF-NER, a high-quality dataset specifically curated for Chinese EMR entity recognition focusing on heart failure. This dataset, constructed through a methodology combining ChatGPT’s capabilities and expert validation, is a significant contribution to the field. It facilitates a comprehensive evaluation of CMR-NER. Experimental results demonstrate that our approach achieves comparable or superior performance to existing methods, underscoring its effectiveness in this challenging domain.

关键词： Costs Annotations Large language models Collaboration Named entity recognition Medical services knowledge graphs Predictive models Chatbots Cardiovascular diseases

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：