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

18th International Conference on Intelligent systems and Knowledge engineering, ISKE 2023

作者： Zhong, Jian Liu, Peiyao Chen, Shuwei School of Computer and Software Engineering National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Xihua University Chengdu China

ISBN: (纸本)9798350318401

Machine learning has been a prominent research focus in recent years, and integrating machine learning methods into automated theorem provers has become a current trend in theorem proving research. Standard contradiction separation rule is a newly proposed multi-clause, dynamic, and synergized deductive inference rule. The key aspect of standard contradiction separation rule is how to plan deduction paths. In order to better plan the deduction path, this paper explores the dynamic learning within the process of contradiction separation deduction and introduces a novel active deductive heuristic algorithm based on reinforcement learning. Experimental results demonstrate that this new algorithm enhances the reasoning capability of the theorem prover Prover9. © 2023 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Blind quantum computation with a client performing different single-qubit gates

引用

Chinese Physics B 2023年第11期32卷 326-330页

作者：吴光阳杨振严玉瞻罗元茂柏明强莫智文 School of Mathematical Sciences Sichuan Normal UniversityChengdu 610068China Research Center of Sichuan Normal University National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Chengdu 610066China Institute of Intelligent Information and Quantum Information Sichuan Normal UniversityChengdu 610068China

In the field of single-server blind quantum computation(BQC), a major focus is to make the client as classical as possible. To achieve this goal, we propose two single-server BQC protocols to achieve verifiable universal quantum computation. In these two protocols, the client only needs to perform either the gate T(in the first protocol) or the gates H and X(in the second protocol). With assistance from a single server, the client can utilize his quantum capabilities to generate some single-qubit states while keeping the actual state of these qubits confidential from others. By using these single-qubit states, the verifiable universal quantum computation can be achieved.

关键词： blind quantum computation verifiable blind quantum computation single server

来源：评论

学校读者我要写书评

暂无评论

Improved quantum key agreement protocol with authentication

引用

Chinese Physics B 2023年第5期32卷 308-313页

作者：郭继红柏明强雷小燕谢佳欣莫智文 Institute of Intelligent Information and Quantum Information Sichuan Normal UniversityChengdu 610068China Research Center of Sichuan Normal University National-Local Joint Engineering Laboratory ofSystem Credibility Automatic VerificationChengdu 610066China School of Mathematical Sciences Sichuan Normal UniversityChengdu 610068China

In order to make the quantum key agreement process immune to participant attacks, it is necessary to introduce the authentication in the communication process. A quantum key agreement protocol with identity authentication that exploits the measurement correlation of six-particle entangled states is proposed. In contrast to some recently proposed quantum key agreement protocols with authentication, this protocol requires neither a semi-trusted third party nor additional private keys in the authentication process. The entire process of authentication and key agreement can be achieved using only n six-particle entangled states, which saves communication costs and reduces the complexity of the authentication ***, security analysis shows that this scheme is resistant to some important attacks.

关键词： quantum key agreement authentication six-particle entangled states

来源：评论

学校读者我要写书评

暂无评论

Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning

Active Deduction Heuristic Algorithm of Standard Contradicti...

引用

International Conference on Intelligent system and Knowledge engineering, ISKE

作者： Jian Zhong Peiyao Liu Shuwei Chen National-Local Joint Engineering Laboratory of System Credibility Automatic Verification School of Computer and Software Engineering Xihua University Chengdu China

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and verification of Multi-agent system Based on Timed Automata 16

Formal Modeling and Verification of Multi-agent System Based...

引用

16th IEEE International Conference on Intelligent systems and Knowledge engineering, ISKE 2021

作者： Wang, Xia Xu, Yang Liu, Peiyao Southwest Jiaotong University National-Local Joint Engineering Laboratory of System Credibility Automatic Verification School of Computing and Artificial Intelligence Chengdu China Southwest Jiaotong University National-Local Joint Engineering Laboratory of System Credibility Automatic Verification School of Mathematics Chengdu China

ISBN: (纸本)9781665405539

The safety and credibility of the safety-critical systems is a research problem that has received wide attention. Introducing the theory of multi-agent systems into the research of safety-critical systems is very important. In this paper, the characteristics of the multi-agent system and the interaction between agents are considered, and the use of Time Automata to formally model and verify the multi-agent system is proposed. Finally, taking the Radio Block Center (RBC) scenario in the train control system as an example, the proposed method is introduced in detail. The results show that the method proposed in this paper has particular reference significance for the safety and credibility research of safety-critical systems. © 2021 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments

Formal Modelling of the Multiple Trains Following Operation ...

引用

International Conference on Intelligent system and Knowledge engineering, ISKE

作者： Xia Wang Yang Xu Jun Liu Guanfeng Wu Shuwei Chen School of Computing and Artificial Intelligence Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification Chengdu China School of Mathematics Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification Chengdu China School of Computing Ulster University Northern Ireland

Ensuring the safety of the following operation under moving block signal is very important for safe operation. Now that the Train Control system under Moving Block Signal (TC-MBS) is a distributed, complex, dynamic, and highly interactive system, the proposed method uses the Multi-Agent system (MAS) technique to design, model, and analyse the TC-MBS system. This paper describes implementing formal methods for modelling the TC-MBS system that operates in an uncertain environment and its safety verification based on model checking techniques. First, the multi-mode following operation in an uncertain environment is analysed using the decision table technique. Second, we introduce a creative modelling approach for MAS called UML-MAS to build the semi-formal model of the TC-MBS system. UML-MAS acts as a standard interface for the system designers and infrastructure managers to increase their requirement comprehension, analysis, system design, and scheme planning at the conceptual level. Thirdly, a set of rules is suggested to convert UML-MAS model into Vector-based Interpreted systems Programming Language (VISPL) model, which serves as the input for the model checker MCMAS- T. In order to demonstrate the practicality and effectiveness of the suggested approach, some case studies on modelling the TC-MBS systems while considering various scenarios in an uncertain environment and their verification employing MCMAS- Tare presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improved Distance Measure of Intuitionistic Fuzzy Sets and its Application in Pattern Recognition 11th

Improved Distance Measure of Intuitionistic Fuzzy Sets and...

引用

11th International joint Conference on Rough Sets, IJCRS 2025

作者： Xiao, Bin Xie, Xin Zhang, Xianyong Yang, Xiaoling Yuan, Yixiao School of Mathematical Sciences Sichuan Normal University Chengdu 610066 China Research Center of Sichuan Normal University National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Chengdu 610066 China

ISBN: (纸本)9783031927461

Distance measures play a crucial role in quantifying the similarity and dissimilarity between two intuitionistic fuzzy sets. Numerous distance measures have been established in prior research, but some exhibit limitations in effectively differentiating intuitionistic fuzzy sets from high hesitancy degrees. This paper proposes an improved distance measure and further demonstrates its efficacy in pattern recognition applications. Firstly, through systematic case analyses, we identify two critical shortcomings in existing distance approaches, i.e., 1) insufficient capture of cross information between membership degrees and non-membership degrees, and 2) inadequate handling of high hesitancy scenarios. Then, an improved distance measure is proposed by comprehensively considering membership degrees, non-membership degrees and high hesitancy degrees. Furthermore by the improved distance measure, a pattern recognition algorithm is proposed. Finally, the new approach of pattern recognition is concretely applied in two practical examples of medical diagnosis and road bidding, so that the relevant effectiveness is verified. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Distance measure Hesitancy degree Intuitionistic fuzzy set Pattern recognition Three-way decision

来源：评论

学校读者我要写书评

暂无评论

(θ,θ^∗)-Operator-Driven Intuitionistic Fuzzy Matrix Composite Operation and Its Optimal Application in Medical Diagnosis 11th

(θ,θ<sup>∗</sup>)-Operator-Driven Intuitionistic Fuzzy Ma...

引用

11th International joint Conference on Rough Sets, IJCRS 2025

作者： Kang, Yuqi Feng, Huarong Zhang, Xianyong Yang, Jilin Liang, Qian School of Mathematical Sciences Sichuan Normal University Chengdu 610066 China National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Research Center of Sichuan Normal University Chengdu 610066 China College of Science Xihua University Chengdu 610039 China College of Computer Science Sichuan Normal University Chengdu 610066 China

ISBN: (纸本)9783031927430

Intuitionistic fuzzy sets (IFSs) extend fuzzy sets, and they provide a more accurate representation of uncertainty in realistic scenarios. Fuzzy implication operators play a crucial role in fuzzy reasoning. Accordingly, this paper introduces fuzzy implication operators θ and θ^∗ to IFSs, and it correspondingly proposes two types of intuitionistic fuzzy matrix composite operations, where the (θ, θ^∗) induction is comparatively accompanied with a direct formulation from (∧,∨). Firstly, we investigate concrete properties of fuzzy implication operators θ,θ^∗. Then, two IFSs matrix composite operations are proposed, respectively from (∧,∨) and (θ, θ^∗). Finally, the two composite operations of IFSs matrices are applied to medical diagnosis, and their application feasibility is verified through a practical medical example;by comparative analyses, the (θ,θ^∗)-driven operation better provides right diagnosis results in contrast to previous studies. This study resorts to specific fuzzy implication operators to enrich theoretical research and practical applications of IFSs. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Fuzzy implication operators Intuitionistic fuzzy sets Medical diagnosis Synthetic composite operation Three-way decision

来源：评论

学校读者我要写书评

暂无评论

Formalization and verification of Cyclic Group 16

Formalization and Verification of Cyclic Group

引用

16th IEEE International Conference on Intelligent systems and Knowledge engineering, ISKE 2021

作者： Tang, Yue Xu, Yang Liu, Peiyao Zeng, Guoyan Southwest Jiaotong University School of Mathematical Chengdu611756 China National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu611756 China

ISBN: (纸本)9781665405539

At present, the formal method is an important system design verification method, which effectively compensates the 'incomplete' problem of the traditional methods such as simulation and testing in the system design verification. Since the logical method as a typical formal method is our research direction, we naturally choose the first-order logic language in the logical method to formalize Group theory in the field of mathematics. Based on some formalized conclusions of Group theory in TPTP, this paper completes the formal description of missing definitions about the Group in TPTP, namely the order of element in group, nth-order cyclic group and Klein four-group. Some propositions and theorems related to these definitions are further formal described, and the correctness of these descriptions is verified by the theorem tool Prover9. © 2021 IEEE.

关键词： Group theory

来源：评论

学校读者我要写书评

暂无评论

Study on Potability Water Quality Classification Based on Integrated Learning 16

Study on Potability Water Quality Classification Based on In...

引用

16th IEEE International Conference on Intelligent systems and Knowledge engineering, ISKE 2021

作者： Fen, Li Fen Lei, Zhou Ting, Chen Huaiyin Institute of Technology Faculty of Computer and Software Engineering Research Center for Logic and Intelligent Computation National-Local Joint Engineering Lab of System Credibility Automatic Verification Huaian China

ISBN: (纸本)9781665405539

Aiming at the problem of low accuracy of simple classification model, based on the drinking water data set of kaggle official website, integrated learning models is proposed, which improves the precision and accuracy of binary classification of drinking water quality. K-fold cross validation was performed to measure model consistency. The effect of set classifier is higher than that of simple classifier. © 2021 IEEE.

关键词： Water quality

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：