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

Deriving all minimal consistency-based diagnosis sets using SAT solvers

Progress in Natural Science:Materials International 2009年第4期19卷 489-494页

作者： Xiangfu Zhao a,b, Liming Zhang a,b, Dantong Ouyang a,b, Yu Jiao a,b a key laboratory of symbolic Computation and knowledge engineering of Ministry of Education, Jilin University, Changchun 130012, China b School of Computer Science and Technology, Jilin University, Changchun 130012, China [a]Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China [b]School of Computer Science and Technology Jilin University Changchun 130012 China

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best effciency for the singleor double-fault diagnosis.

关键词： Conjunctive normal form Consistency-based diagnosis Model-based diagnosis SAT solver

来源：评论

学校读者我要写书评

暂无评论

Boosting few-shot point cloud segmentation with intra-class correlation and iterative prototype fusion

引用

Computer Vision and Image Understanding 2025年 258卷

作者： Zhang, Xindan Li, Ying Zhang, Xinnian College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China of Information and Communication Technology Ajou University South Korea

Semantic segmentation of 3D point clouds is often limited by the challenge of obtaining labeled data. Few-shot point cloud segmentation methods, which can learn previously unseen categories, help reduce reliance on labeled datasets. However, existing methods are susceptible to correlation noise and suffer from significant discrepancies between support prototypes and query features. To address these issues, we first introduce an intra-class correlation enhancement module for filtering correlation noise driven by inter-class similarity and intra-class diversity. Second, to better represent the target classes, we propose an iterative prototype fusion module that adapts the query point cloud feature space, mitigating the problem of object variations in the support set and query set. Extensive experiments on S3DIS and ScanNet benchmark datasets demonstrate that our approach achieves competitive performance with state-of-the-art methods. © 2025 Elsevier Inc.

关键词： 3D semantic segmentation Few-shot learning

来源：评论

学校读者我要写书评

暂无评论

A Cascaded Co-evolutionary Model for Attribute Reduction and Classification Based on Coordinating Architecture with Bidirectional Elitist Optimization

引用

Chinese Journal of Electronics 2017年第1期26卷 13-21页

作者： DING Weiping WANG Jiandong LI Yuehua CHENG Xueyun School of Computer Science and Technology Nantong University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Provincial Key Laboratory for Computer Information Processing Technology Soochow University College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics

A cascaded co-evolutionary model for Attribute reduction and classification based on Coordinating architecture with bidirectional elitist optimization(ARC-CABEO) is proposed for the more practical applications. The regrouping and merging coordinating strategy of ordinary-elitist-role-based population is introduced to represent a more holistic cooperative co-evolutionary framework of different populations for attribute reduction. The master-slave-elitist-based subpopulations are constructed to coordinate the behaviors of different elitists, and meanwhile the elitist optimization vector with the strongest balancing between exploration and exploitation is selected out to expedite the bidirectional attribute co-evolutionary reduction process. In addition, two coupled coordinating architectures and the elitist optimization vector are tightly cascaded to perform the co-evolutionary classification of reduction subsets. Hence the preferring classification optimization goal can be achieved better. Some experimental results verify that the proposed ARC-CABEO model has the better feasibility and more superior classification accuracy on different UCI datasets, compared with representative algorithms.

关键词： Attribute reduction for classification Bidirectional elitist optimization Coordinating architecture Cascaded co-evolutionary model

来源：评论

学校读者我要写书评

暂无评论

A Layered Co-evolution Based Rough Feature Selection Using Adaptive Neighborhood Radius Hierarchy and Its Application in 3D-MRI

引用

Chinese Journal of Electronics 2017年第6期26卷 1168-1176页

作者： DING Weiping GUAN Zhijin WANG Jiehua TIAN Di School of Computer Science and Technology Nantong University State Key Laboratory for Novel Software Technology Nanjing University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education Nanjing University of Science and Technology

As the conventional feature selection algorithms are prone to the poor running efficiency in largescale datasets with interacting features, this paper aims at proposing a novel rough feature selection algorithm whose innovation centers on the layered co-evolutionary strategy with neighborhood radius hierarchy. This hierarchy can adapt the rough feature scales among different layers as well as produce the reasonable decompositions through exploiting any correlation and interdependency among feature subsets. Both neighborhood interaction within layer and neighborhood cascade between layers are adopted to implement the interactive optimization of neighborhood radius matrix, so that both the optimal rough feature selection subsets and their global optimal set are obtained efficiently. Our experimental results substantiate the proposed algorithm can achieve better effectiveness, accuracy and applicability than some traditional feature selection algorithms.

关键词： Layered co-evolution Rough feature se lection Adaptive neighborhood radius hierarchy Longitudinal cortical surface labeling

来源：评论

学校读者我要写书评

暂无评论

Integrity constraints in OWL ontologies based on grounded circumscription

引用

Frontiers of Computer Science 2013年第6期7卷 812-821页

作者： Dantong OUYANG College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China National Engineering Research Center of Geophysics Exploration Instruments Changchun 130026 China

The extensions for logic-based knowledge bases with integrity constraints are rather popular. We put forward an alternative criteria for analysis of integrity constraints in Web ontology language （OWL） ontology under the closed world assumption. According to this criteria, grounded circumscription is applied to define integrity constraints in OWL ontology and the satisfaction of the integrity constraints by minimizing extensions of the predicates in integrity con- straints. According to the semantics of integrity constraints, we provide a modified tableau algorithm which is sound and complete for deciding the consistency of an extended ontol- ogy. Finally, the integrity constraint validation is converted into the corresponding consistency of the extended ontology. Comparing our approach with existing integrity constraint validation approaches, we show that the results of our approach are more in accordance with user requirements than other approaches in certain cases.

关键词： semantic Web description logic ontology integrity constraints grounded circumscription

来源：评论

学校读者我要写书评

暂无评论

DeciLS-PBO: an effective local search method for pseudo-Boolean optimization

引用

Frontiers of Computer Science 2024年第5期18卷 239-241页

作者： Luyu JIANG Dantong OUYANG Qi ZHANG Liming ZHANG College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering(Ministry of Education) Jilin UniversityChangchun 130012China

1 Introduction Local search method is a rising star for solving combinatorial optimization problems in recent years,and the state-of-the-art local search-based incomplete Maximum Satisfiability(MaxSAT)solversshowpromi... 详细信息

关键词： Max optimization local

来源：评论

学校读者我要写书评

暂无评论

Applying model-transformation techniques to ontology evolution

Applying model-transformation techniques to ontology evoluti...

引用

2nd International Conference on Grid Service engineering and Management, GSEM 2005 - Co-located with the 6th International Conference on Net.ObjectDays 2005, NODe 2005

作者： Jin, Longfei Liu, Lei Guo, Degui Key Laboratory of Symbolic Computation Knowledge Engineering of Ministry of Education of China Jilin University Changchun China

ISBN: (纸本)3885793989

Ontology evolution in the Model Driven Semantic Web can be looked as a process of model transformations. A model-transformation based conceptual framework for ontology evolution is presented in the paper. Applications of model transformations in every phase of ontology evolution process are described. The framework combines technologies of ontology evolution, Ontology Definition Metamodel and model transformations, and it can be looked as a method for ontology evolution in the Model Driven Semantic Web.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Research on Trust Prediction from a Sociological Perspective

引用

Journal of Computer Science & Technology 2015年第4期30卷 843-858页

作者：王英王鑫左万利 College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China School of Computer Technology and Engineering Changehun Institute of Technology Changchun 130012 China

Trust, as a major part of human interactions, plays an important role in helping users collect reliable infor-mation and make decisions. However, in reality, user-specified trust relations are often very sparse and follow a power law distribution; hence inferring unknown trust relations attracts increasing attention in recent years. Social theories are frameworks of empirical evidence used to study and interpret social phenomena from a sociological perspective, while social networks reflect the correlations of users in real world; hence, making the principle, rules, ideas and methods of social theories into the analysis of social networks brings new opportunities for trust prediction. In this paper, we investigate how to exploit homophily and social status in trust prediction by modeling social theories. We first give several methods to compute homophily coe？cient and status coe？cient, then provide a principled way to model trust prediction mathe-matically, and propose a novel framework, hsTrust, which incorporates homophily theory and status theory. Experimental results on real-world datasets demonstrate the effectiveness of the proposed framework. Further experiments are conducted to understand the importance of homophily theory and status theory in trust prediction.

关键词： trust prediction homophily coefficient status coefficient social theory matrix factorization

来源：评论

学校读者我要写书评

暂无评论

Meta-GPS++: Enhancing Graph Meta-Learning with Contrastive Learning and Self-Training

引用

ACM Transactions on knowledge Discovery from Data 2024年第9期18卷 1-30页

作者： Liu, Yonghao Li, Mengyu Li, Ximing Huang, Lan Giunchiglia, Fausto Liang, Yanchun Feng, Xiaoyue Guan, Renchu Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education College of Computer Science and Technology Jilin University Changchun China University of Trento Trento Italy Zhuhai Lab. of the Key Lab. of Symbolic Computation and Knowledge Eng. of the Ministry of Education Zhuhai College of Science and Technology Zhuhai China

Node classification is an essential problem in graph learning. However, many models typically obtain unsatisfactory performance when applied to few-shot scenarios. Some studies have attempted to combine meta-learning with graph neural networks to solve few-shot node classification on graphs. Despite their promising performance, some limitations remain. First, they employ the node encoding mechanism of homophilic graphs to learn node embeddings, even in heterophilic graphs. Second, existing models based on meta-learning ignore the interference of randomness in the learning process. Third, they are trained using only limited labeled nodes within the specific task, without explicitly utilizing numerous unlabeled nodes. Finally, they treat almost all sampled tasks equally without customizing them for their uniqueness. To address these issues, we propose a novel framework for few-shot node classification called Meta-GPS. Specifically, we first adopt an efficient method to learn discriminative node representations on homophilic and heterophilic graphs. Then, we leverage a prototype-based approach to initialize parameters and contrastive learning for regularizing the distribution of node embeddings. Moreover, we apply self-Training to extract valuable information from unlabeled nodes. Additionally, we adopt S (scaling and shifting) transformation to learn transferable knowledge from diverse tasks. The results on real-world datasets show the superiority of Meta-GPS. Our code is available here. © 2024 Copyright held by the owner/author(s).

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

A Simplified Rational Representation for Positive-Dimensional Polynomial Systems and SHEPWM Equations Solving

引用

Journal of Systems Science & Complexity 2017年第6期30卷 1470-1482页

作者： SHANG Baoxin ZHANG Shugong TAN Chang XIA Peng School of Mathematics Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education) Jilin University College of Science Northeast Electric Power University College of Science Northeast Forestry University School of Mathematics Liaoning University

The paper is concerned with the improvement of the rational representation theory for solving positive-dimensional polynomial systems. The authors simplify the expression of rational representation set proposed by Tan and Zhang(2010), obtain the simplified rational representation with less rational representation sets, and hence reduce the complexity for representing the variety of a positive-dimensional ideal. As an application, the authors compute a "nearly" parametric solution for the SHEPWM problem with a fixed number of switching angles.

关键词： Positive-dimensional polynomial system solving rational univariate representation SHEPWM simplified rational representation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：