李永明

2026

人工智能驱动的自动化专刊序言

《自动化学报》

2026

Indistinguishability of quantum channels by using classically simulable measurements

Journal of Physics A Mathematical and Theoretical

DOI

2026

Irreversibility of bound magic states assisted by catalysis

Physical Review A

DOI

2026

Using magic resource to realize probabilistic channel simulation

Physical Review A

DOI

2025

一类区间二型不确定时滞系统的稳定性分析与鲁棒控制

《模糊系统与数学》

2025

Uncertainties, coherence and asymmetry in DQC1

Laser Physics Letters

DOI

2025

Analysis of the relationship between imaginarity and entanglement

Physical Review A

DOI

2025

Pauli spectrum of quantum channels and the related magic-channel distillation bounds

Physical Review A

DOI

2025

Medical Procedures Based on Bayesian Network and Possibilistic Model Checking

Communications in computer and information science

DOI

2025

Accelerating Possibilistic Model Checking: Sparse Engine for Large-Scale Models

Lecture notes in computer science

DOI

2024

Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Axioms

DOI

2024

Model Checking Computation Tree Logic Over Multi-Valued Decision Processes and Its Reduction Techniques

Chinese Journal of Electronics

DOI

2024

Fuzzy Linear Temporal Logic with Quality Constraints

Mathematics

DOI

2024

Generalized possibility computation tree logic with frequency and its model checking

International Journal of Approximate Reasoning

DOI

2024

Quantum Reachability Games

IEEE Transactions on Emerging Topics in Computational Intelligence

DOI

2024

Deterministic fuzzy two-dimensional on-line tessellation automata and their languages

Fuzzy Sets and Systems

DOI

2024

Generalized physically incoherent operations

Physical Review A

DOI

2024

The tightness of the measure-based method to estimate quantum coherence

Laser Physics Letters

DOI

2024

Relative approximate bisimulations for fuzzy picture automata

Information and Computation

DOI

2024

The standard symmetrized skew information and its applications

Journal of Physics A Mathematical and Theoretical

DOI

2024

Quantifying correlations relative to channels via metric-adjusted skew information

Quantum Information Processing

DOI

2024

Differential evolution with proration-based mutation strategy and multi-segment mixed parameter setting for numerical optimization

Information Sciences

DOI

2023

Stabilizer Rényi entropy on qudits

Quantum Information Processing

DOI

2023

A hierarchical branch and bound algorithm for Mahjong deficiency

Soft Computing

DOI

2023

A hierarchy of jumping restarting automata

Information Sciences

DOI

2023

Quantifying channel coherence via the norm distance

Journal of Physics A Mathematical and Theoretical

DOI

2023

Imaginaring and deimaginaring power of quantum channels and the trade-off between imaginarity and entanglement

Quantum Information Processing

DOI

2023

Coherence manipulation with stochastic incoherent operation

Physical Review A

DOI

2023

On n-polygonal interval-valued fuzzy numbers and application in e-commerce risk assessment

Journal of Intelligent & Fuzzy Systems

DOI

2023

Distance-Based Knowledge Measure and Entropy for Interval-Valued Intuitionistic Fuzzy Sets

Mathematics

DOI

2023

Self-Learning Modeling in Possibilistic Model Checking

IEEE Transactions on Emerging Topics in Computational Intelligence

DOI

2023

Optimal Strategy Model Checking in Possibilistic Decision Processes

IEEE Transactions on Systems Man and Cybernetics Systems

DOI

2023

Granular computing approach for the ordinal semantic weighted multiscale values for the attributes in formal concept analysis algorithm

Journal of Intelligent & Fuzzy Systems

DOI

2023

Complex objective optimization in fuzzy environments

Journal of Intelligent & Fuzzy Systems

DOI

2023

A Novel Discrete Differential Evolution with Varying Variables for the Deficiency Number of Mahjong Hand

Mathematics

DOI

2023

Granular Computing Approach to Evaluate Spatio-Temporal Events in Intuitionistic Fuzzy Sets Data through Formal Concept Analysis

Axioms

DOI

2023

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes

IEEE Transactions on Fuzzy Systems

DOI

2023

Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts

Communications in computer and information science

DOI

2022

基于广义可能性决策过程的可达性问题的模型检测

《模糊系统与数学》

2022

Uncertainty relation based on metric-adjusted skew information with quantum memory

Laser Physics

DOI

2022

Quantum violation of average causal effects in multiple measurement settings

Physical Review A

DOI

2022

A new approach to compute deficiency number of Mahjong configurations

Entertainment Computing

DOI

2022

Projective robustness for quantum channels and measurements and their operational significance

Laser Physics Letters

DOI

2022

Coherence weight of quantum channels

Physica A Statistical Mechanics and its Applications

DOI

2022

Coherence-breaking superchannels

Quantum Information Processing

DOI

2022

On quotients of formal power series

Information and Computation

DOI

2022

Coherence of Quantum States Based on Mutually Unbiased Bases in $$\mathbb {C}^4$$

Communications in computer and information science

DOI

2021

Geometric block-coherence and quantum state discrimination

Journal of Physics A Mathematical and Theoretical

DOI

2021

Quantification of resource theory of imaginarity

Quantum Information Processing

DOI

2021

Tighter sum uncertainty relations based on metric-adjusted skew information

Physical Review A

DOI

2021

Operational characterization of weight-based resource quantifiers via exclusion tasks in general probabilistic theories

Quantum Information Processing

DOI

2021

An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions

Soft Computing

DOI

2021

Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making

Computational and Applied Mathematics

DOI

2021

Width-based distance measures on interval-valued intuitionistic fuzzy sets

Journal of Intelligent & Fuzzy Systems

DOI

2021

A series of information measures of hesitant fuzzy soft sets and their application in decision making

Soft Computing

DOI

2021

Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler

Communications in computer and information science

DOI

2020

直觉模糊模型检测在工程决策上的应用

《模糊系统与数学》

2020

On n-polygonal interval-valued fuzzy sets

Fuzzy Sets and Systems

DOI

2020

An (R, S)-norm information measure for hesitant fuzzy sets and its application in decision-making

Computational and Applied Mathematics

DOI

2020

Distillability for non-full-rank coherent states in the probabilistic framework

Quantum Information Processing

DOI

2020

A Mahjong-Strategy based on Weighted Restarting Automata

DOI

2020

Alternation of Restarting Automata

DOI

2020

Quantum uncertainty relations of two quantum relative entropies of coherence

Physical Review A

DOI

2020

Fuzzy ϵ-approximate regular languages and minimal deterministic fuzzy automata ϵ-accepting them

Fuzzy Sets and Systems

DOI

2020

Protocol of deterministic coherence distillation and dilution of pure states

Laser Physics Letters

DOI

2020

Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking

IEEE Transactions on Fuzzy Systems

DOI

2020

Quantifying quantum non-Markovianity via one-shot generalised mutual information

Laser Physics Letters

DOI

2019

基于极大型信任结构的非确定型决策

《模糊系统与数学》

2019

格值交替树自动机

《软件学报》

2019

犹豫直觉模糊集的知识测度及其应用

《计算机工程与科学》

2019

具有DP的广义可能性模糊时态CTL模型检测

《计算机科学与探索》

2019

Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures

Fuzzy Sets and Systems

DOI

2019

Robustness of purity: an operational approach to resource theory of purity

The European Physical Journal D

DOI

2019

Inequivalent multipartite coherence classes and two operational coherence monotones

Physical Review A

DOI

2019

Quantifying quantum non-Markovianity via max-relative entropy

Chinese Physics B

DOI

2019

An Automata‐Theoretic Approach to L ‐valued Computation Tree Logic Model Checking

Chinese Journal of Electronics

DOI

2019

Computation tree logic model checking based on multi-valued possibility measures

Information Sciences

DOI

2019

Tighter monogamy and polygamy relations in multiqubit systems

The European Physical Journal D

DOI

2019

Weighted Two-Dimensional Finite Automata

Lecture notes in computer science

DOI

2018

不确定型模糊Kripke结构的计算树逻辑模型检测

《电子学报》

2018

格值模糊测度的可能性分布表示

《模糊系统与数学》

2018

强赋值幺半群上的加权Mealy机与加权Moore机的关系

《计算机科学与探索》

2018

模糊线性时序逻辑的可实现性

《电子学报》

2018

The sum of observables on a $$\sigma $$ σ -distributive lattice effect algebra

Soft Computing

DOI

2018

A new class of states of reversible entanglement manipulation under positive partial transpose operations

Chinese Physics B

DOI

2018

Restricted (k, n)-threshold quantum secret sharing scheme based on local distinguishability of orthogonal multiqudit entangled states

Quantum Information Processing

DOI

2018

Quantum uncertainty relations of quantum coherence and dynamics under amplitude damping channel

Chinese Physics B

DOI

2018

TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES

Iranian journal of fuzzy systems

DOI

2018

A dynamic multiparty quantum direct secret sharing based on generalized GHZ states

Quantum Information Processing

DOI

2018

Sufficient Conditions of the Same State Order Induced by Coherence*

Communications in Theoretical Physics

DOI

2018

Minimization of lattice multiset finite automata

Journal of Intelligent & Fuzzy Systems

DOI

2018

Improving fidelity of quantum secret sharing in noisy environments

The European Physical Journal D

DOI

2018

Sequential Quantum Secret Sharing Using a Single Qudit*

Communications in Theoretical Physics

DOI

2018

Hierarchical Polygamy Inequality for Entanglement of Tsallis q -Entropy*

Communications in Theoretical Physics

DOI

2018

Quantum uncertainty relations of two generalized quantum relative entropies of coherence

Science China Physics Mechanics and Astronomy

DOI

2018

Multiparty Quantum Direct Secret Sharing of Classical Information with Bell States and Bell Measurements

International Journal of Theoretical Physics

DOI

2018

Entropic cohering power in quantum operations

Quantum Information Processing

DOI

2017

具有模糊时态的广义可能性线性时序逻辑的模型检测

《电子学报》

2017

取值于赋值幺半群的加权上下文无关文法及其语言

《模糊系统与数学》

2017

广义可能性计算树逻辑的模型检测问题

《电子学报》

2017

广义可能性计算树逻辑和计算树逻辑的关系

《计算机科学与探索》

2017

直觉模糊测度的计算树逻辑

《计算机科学与探索》

2017

Approximate bisimulation relations for fuzzy automata

Soft Computing

DOI

2017

Quantum secret sharing using orthogonal multiqudit entangled states

Quantum Information Processing

DOI

2017

$\epsilon$-Bisimulation Relations for Fuzzy Automata

IEEE Transactions on Fuzzy Systems

DOI

2017

Fuzzy alternating automata over distributive lattices

Information Sciences

DOI

2017

Quantum secret sharing for a general quantum access structure

The European Physical Journal D

DOI

2017

Set operations on maxitive belief structures

Chinese Automation Congress

DOI

2017

An intuitionistic interpretation of the maxitive belief structure

Chinese Automation Congress

DOI

2017

Fuzzy alternating Büchi automata over distributive lattices

International Journal of Approximate Reasoning

DOI

2017

The Tsallis Relative 2-Entropy of Coherence for Qubit System

International Journal of Theoretical Physics

DOI

2017

Attribute-based signcryption scheme based on linear codes

Information Sciences

DOI

2017

On tree-preserving constraints

Annals of Mathematics and Artificial Intelligence

DOI

2017

Entanglement distribution in multi-particle systems in terms of unified entropy

Scientific Reports

DOI

2017

Quantitative model checking of linear-time properties based on generalized possibility measures

Fuzzy Sets and Systems

DOI

2017

The relationships among several forms of weighted finite automata over strong bimonoids

Information Sciences

DOI

2017

Weighted Automaton and Varieties of Formal Power Series

Chinese Journal of Electronics

DOI

2017

Quantum secret sharing using the d-dimensional GHZ state

Quantum Information Processing

DOI

2016

信道噪声对量子信息分离的影响

《计算机科学》

2016

格值代数系统的解分析

《模糊系统与数学》

2016

否定知识的代数表示及在模糊系统设计中的应用

《计算机学报》

2016

广义可能性计算树逻辑的两种范式

《计算机科学与探索》

2016

Exogenous量子马尔可夫链及其可达性分析

《软件学报》

2016

开放量子行走:概率分布与中心极限定理

《计算机学报》

2016

基于可能性混成自动机的CPS属性验证

《陕西师范大学学报(自然科学版)》

2016

模糊集的逻辑等价相似度

《陕西师范大学学报(自然科学版)》

2016

加权有限自动机的幺半群

《陕西师范大学学报(自然科学版)》

2016

量子测量逻辑与推理理论

《陕西师范大学学报(自然科学版)》

2016

基于决策过程的广义可能性计算树逻辑模型检测

《中国科学:信息科学》

2016

Ordering states with Tsallis relative $$\alpha $$ α -entropies of coherence

Quantum Information Processing

DOI

2016

Nondeterministic fuzzy automata with membership values in complete residuated lattices

International Journal of Approximate Reasoning

DOI

2016

Generalised monogamy relation of convex-roof extended negativity in multi-level systems

Scientific Reports

DOI

2016

Model checking generalized possibilistic computation tree logic based on decision processes

Scientia Sinica Informationis

DOI

2016

Model checking of linear-time properties in multi-valued systems

Information Sciences

DOI

2016

0–1 Linear programming methods for optimal normal and pseudo parameter reductions of soft sets

Applied Soft Computing

DOI

2016

A Generalized Information Theoretical Model for Quantum Secret Sharing

International Journal of Theoretical Physics

DOI

2016

Reachability in Fuzzy Game Graphs

IEEE Transactions on Fuzzy Systems

DOI

2016

Expressive power of linear-temporal logic based on generalized possibility measures

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2016

General monogamy of Tsallis q -entropy entanglement in multiqubit systems

Physical Review A

DOI

2016

A novel table look-up scheme based on GFScom and its application

Soft Computing

DOI

2016

Lattice and metric completions of the classical logic metric space and a comparison1

Journal of Intelligent & Fuzzy Systems

DOI

2016

Quantifying coherence in infinite-dimensional systems

Physical Review A

DOI

2015

模糊正则语言的拓扑性质

《模糊系统与数学》

2015

可逆加权树自动机

《模糊系统与数学》

2015

模糊D0L幂级数

《模糊系统与数学》

2015

Pebble模糊有穷自动机和传递闭包逻辑

《模糊系统与数学》

2015

加权自动机的极小确定化

《模糊系统与数学》

2015

广义可能性计算树逻辑的不动点语义

《陕西师范大学学报(自然科学版)》

2015

广义模糊集GFScom在模糊综合评判中的应用

《计算机科学》

2015

基于安全性检测的广义量子Loop程序终止验证

Scientia Sinica Informationis

DOI

2015

Temporal normal form for Linear Temporal Logic formulae

Journal of Intelligent & Fuzzy Systems

DOI

2015

Model checking computation tree logic over finite lattices

Theoretical Computer Science

DOI

2015

Probabilistic Quantum Information Splitting Based on the Non-maximally Entangled Four-Qubit State

International Journal of Theoretical Physics

DOI

2015

Monogamy of α th power entanglement measurement in qubit systems

Annals of Physics

DOI

2015

Weighted Turing machines over strong bimonoids

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

DOI

2015

Ideal access structures based on a class of minimal linear codes

International Journal of Computer Mathematics

DOI

2015

Quantum coherence and correlations in quantum system

Scientific Reports

DOI

2015

On conditions for semirings to induce compact information algebras

Mathematical Structures in Computer Science

DOI

2015

Fidelity and trace-norm distances for quantifying coherence

Physical Review A

DOI

2015

Robustness analysis of logic metrics on F(X)

International Journal of Approximate Reasoning

DOI

2015

The optimal information rate for graph access structures of nine participants

Frontiers of Computer Science

DOI

2015

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

IEEE Transactions on Fuzzy Systems

DOI

2015

On Tree-Preserving Constraints

Lecture notes in computer science

DOI

2014

极小特权数组上的理想多秘密共享方案

Scientia Sinica Informationis

DOI

2014

含至多四个参与者的量子秘密共享方案的最优信息率

《电子学报》

2014

量子马尔可夫链安全性模型检测

《电子学报》

2014

可能LTL模型检测的两种方法

《陕西师范大学学报(自然科学版)》

2014

格值模糊自动机及对应语言的分级

《陕西师范大学学报(自然科学版)》

2014

基于广义可能性测度的可达性问题的模型检测

《模糊系统与数学》

2014

Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy

Communications in Theoretical Physics

DOI

2014

On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras

Theoretical Computer Science

DOI

2014

Lattice-valued simulations for quantitative transition systems

International Journal of Approximate Reasoning

DOI

2014

The pasting constructions for effect algebras

Mathematica Slovaca

DOI

2014

Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains

Applied Categorical Structures

DOI

2014

Model checking fuzzy computation tree logic

Fuzzy Sets and Systems

DOI

2014

The realization problems related to weighted transducers over strong bimonoids

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2014

Lattice-valued fuzzy residual finite automata

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2014

Hierarchy of lattice-valued fuzzy automata and decidability of their languages

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2014

Pasting of lattice-ordered effect algebras

Fuzzy Sets and Systems

DOI

2014

Computation tree logic model checking based on possibility measures

Fuzzy Sets and Systems

DOI

2014

A new multi‐use multi‐secret sharing scheme based on the duals of minimal linear codes

Security and Communication Networks

DOI

2014

Elicitation criterions for restricted intersection of two incomplete soft sets

Knowledge-Based Systems

DOI

2014

On a Condition for Semirings to Induce Compact Information Algebras

Electronic Notes in Theoretical Computer Science

DOI

2013

基于直觉模糊的满意度计算模型

《计算机科学》

2013

关联规则挖掘的软集包含度方法

《电子学报》

2013

广义量子Loop程序的若干性质

《电子学报》

2013

模糊Büchi自动机的等价刻画

《计算机学报》

2013

基于极小线性码上的秘密共享方案

《电子学报》

2013

测量诱发的关联分布

《中国科学:物理学 力学 天文学》

2013

可逆模糊自动机

《模糊系统与数学》

2013

格值有穷自动机和单体二阶格值逻辑

《模糊系统与数学》

2013

可能性测度下计算树逻辑的若干性质

《陕西师范大学学报(自然科学版)》

2013

The universal fuzzy automaton

Fuzzy Sets and Systems

DOI

2013

Intuitionistic fuzzy Choquet integrals and their application in modeling linguistic quantifiers

DOI

2013

Remark on the One-Way Quantum Deficit for General Two-Qubit States

Communications in Theoretical Physics

DOI

2013

Algebraic properties of L-fuzzy finite automata

Information Sciences

DOI

2013

Soft subsets and soft product operations

Information Sciences

DOI

2013

Secret Sharing Schemes Based on Minimal Linear Codes

Dianzi xuebao

2013

Finite Automata with Membership Values in Lattices and Monadic Second-order Lattice-valued Logic

Mohu xitong yu shuxue

2012

通用模糊自动机

《模糊系统与数学》

2012

基于量子逻辑的图灵机及其通用性

《计算机学报》

2012

基于可能性测度的计算树逻辑CTL*与可能性互模拟

《计算机科学》

2012

几种量子程序终止的有效验证

《计算机科学》

2012

基于关联方向测量的量子关联

《中国科学:物理学 力学 天文学》

2012

模糊剩余自动机

《模糊系统与数学》

2012

模糊代数系统

《模糊系统与数学》

2012

Model Checking of Linear-Time Properties Based on Possibility Measure

IEEE Transactions on Fuzzy Systems

DOI

2012

Quantum and Classical Correlations in Quantum Measurement

Foundations of Physics

DOI

2012

A new order relation on fuzzy soft sets and its application

Soft Computing

DOI

2012

E-perfect effect algebras

Soft Computing

DOI

2012

One-way unlocalizable quantum discord

Physical Review A

DOI

2012

Measurement-induced nonlocality based on the relative entropy

Physical Review A

DOI

2012

ON REVERSIBLE FUZZY AUTOMATA

DOI

2012

LEVEL SOFT SETS BASED ON FUZZY SETS

DOI

2012

THE REPRESENTATION OF SEMIRING-BASED CONSTRAINT SATISFACTION PROBLEMS USING FUZZY FINITE AUTOMATA

DOI

2012

MODEL-CHECKING OF LINEAR-TIME PROPERTIES IN POSSIBILISTIC KRIPKE STRUCTURE

DOI

2012

THE REPRESENTATION OF THE UNIVERSAL FUZZY AUTOMATON

DOI

2012

POSSIBILISTIC KRIPKE STRUCTURE DECISION PROCESSES

DOI

2012

Algebraic structures of interval-valued fuzzy -implications

International Journal of Approximate Reasoning

DOI

2012

Necessary and sufficient condition for saturating the upper bound of quantum discord

Physical Review A

DOI

2012

Modeling and Verifying Scheduling Algorithm TDS for Multiprocessor Systems

2012

Computation Tree Logic CTL~* Based on Possibility Measure and Possibilistic Bisimulation

2012

Preliminary studies on general quantum Loop program

Computer Engineering and Applications Journal

2011

软集决策信息系统的属性约简

《小型微型计算机系统》

2011

连续信息代数

《模糊系统与数学》

2011

伪加权Mealy机与伪加权Moore机的关系

《模糊系统与数学》

2011

投影问题的序关系研究

《陕西师范大学学报(自然科学版)》

2011

伪加权转换器的极小确定实现化

《陕西师范大学学报(自然科学版)》

2011

Dynamics of quantum discord in a quantum critical environment

Journal of Physics B Atomic Molecular and Optical Physics

DOI

2011

Generalized intuitionistic fuzzy soft sets and multiattribute decision making

International Conference on Biomedical Engineering and Informatics (BMEI)

DOI

2011

A new algorithm for testing diagnosability of fuzzy discrete event systems

Information Sciences

DOI

2011

The upper bound and continuity of quantum discord

Journal of Physics A Mathematical and Theoretical

DOI

2011

Robustness of interval-valued fuzzy inference

Information Sciences

DOI

2011

Continuous Information Algebra

Mohu xitong yu shuxue

2011

Algebraic properties of context-free grammar based on quantum logic

Computer Engineering and Applications Journal

2011

Minimal-deterministic realizations of pseudo weighted transducers

Journal of Shaanxi Normal University

2011

On the order relations over projection problems

Journal of Shaanxi Normal University

2011

Notes on Reliable Decentralized Supervissory Control of Fuzzy Discrete Event System with Communication Delays

Journal of Neijiang Normal University

2011

Relationships between Pseudo Weighted Mealy Machines and Pseudo Weighted Moore Machines

Mohu xitong yu shuxue

2011

Modeling and Verification of Batch System

2011

A polynomial algorithm for testing diagnosability of stochastic discrete event systems

2010

伪的弱效应代数的同余和理想

《陕西师范大学学报(自然科学版)》

2010

取值于完备格的同步机及其最小实现化

《计算机工程与应用》

2010

计量逻辑学中的近似推理

《模糊系统与数学》

2010

区间效应代数的张量积

《数学进展》

2010

Application of level soft sets in decision making based on interval-valued fuzzy soft sets

Computers & Mathematics with Applications

DOI

2010

The pasting constructions of lattice ordered effect algebras

Information Sciences

DOI

2010

Finite automata based on quantum logic and monadic second-order quantum logic

Science China Information Sciences

DOI

2010

Approximate reasoning in Quantitative Logic

Mohu xitong yu shuxue

2010

Synchronous machines valued in complete lattices and their smallest realization

Computer Engineering and Applications Journal

2010

Solution configurations and solution extensions of semiring-induced valuation algebra

Computer Engineering and Applications Journal

2010

Weighted Moore Machine Congruences and Minimization

Computer Engineering and Science

2010

Congruences and ideals of pseudo weak effect algebras

Journal of Shaanxi Normal University

2010

Finite automata theory with membership values in lattices

Information Sciences

DOI

2010

Weak Commutative Pseudoeffect Algebras

International Journal of Theoretical Physics

DOI

2009

模糊有穷自动机的互模拟关系

《模糊系统与数学》

2009

基于隶属模糊二元语义的群决策方法

《模糊系统与数学》

2009

关于Scott开滤子拓扑核紧性的注记

《模糊系统与数学》

2009

一类具有未建模动态的非线性系统模糊自适应鲁棒控制

《控制与决策》

2009

基于量子逻辑的有穷自动机与单体二阶量子逻辑

《中国科学:信息科学》

2009

Central elements in pseudoeffect algebras

Mathematica Slovaca

DOI

2009

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency

Fuzzy Sets and Systems

DOI

2009

Lattice-valued fuzzy turing machines and their computing power

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2009

Approximation of fuzzy context-free grammars

Information Sciences

DOI

2009

INTUITIONISTIC FUZZY LINGUISTIC QUANTIFIERS BASED ON INTUITIONISTIC FUZZY-VALUED FUZZY MEASURES AND INTEGRALS

International Journal of Uncertainty Fuzziness and Knowledge-Based Systems

DOI

2009

Riesz ideals in generalized pseudo effect algebras and in their unitizations

Soft Computing

DOI

2009

Convergency theory in quantitative logic

Computer Engineering and Applications Journal

2009

Note on Core Compactness of Scott Open Filters Topology

Mohu xitong yu shuxue

2009

Subalgebras and congruences on partial abelian monoids

Computer Engineering and Applications Journal

2009

Necessary and sufficient condition for left-continuity of interval-valued triangular norms

Journal of Shandong University

2009

A New Approach to Group Decision Making Based on 2-tuple Fuzzy Linguistic Representation Model

Mohu xitong yu shuxue

2008

模糊有穷自动机与单体二阶Lukasiewicz逻辑

《计算机学报》

2008

模糊图灵机的逼近性与通用性

《中国科学:技术科学》

2008

模糊推理系统的鲁棒性

《模糊系统与数学》

2008

Max-Lukasiewicz复合推理下的模糊图灵机

《模糊系统与数学》

2008

Some algebraic properties of measure-once two-way quantum finite automata

Quantum Information Processing

DOI

2008

Fuzzy Turing Machines: Variants and Universality

IEEE Transactions on Fuzzy Systems

DOI

2008

Weakly Regular Quantum Grammars and Asynchronous Quantum Automata

International Journal of Theoretical Physics

DOI

2008

The relationship of controllability between classical and fuzzy discrete-event systems

Information Sciences

DOI

2008

Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata

Soft Computing

DOI

2008

Approximation and universality of fuzzy Turing machines

Science in China Series F Information Sciences

DOI

2008

Fuzzy Finite Automata and Fuzzy Monadic Second-Order Logic

Proceedings of ... IEEE International Conference on Fuzzy Systems

DOI

2008

Algebraic properties on the cuts of lattice-valued regular languages

Soft Computing

DOI

2008

Fuzzy Turing Machines Based on Max-Lukasiewicz Composition Inference

Mohu xitong yu shuxue

2008

Sharply dominating weak commutative pseudoeffect algebras

Computer Engineering and Applications Journal

2008

Approximation of Fuzzy Regular Grammars

Mohu xitong yu shuxue

2008

Algebraic Characterization of Pushdown Automata Based on Quantum Logic

Computer Engineering and Science

2008

n-valued logic system Gn based on the derived operator of Gdel implication operator

Basic Sciences Journal of Textile Universities

2008

Algorithm for entanglement transformation of pure states

Computer Engineering and Applications Journal

2007

格值Mealy自动机的同余和同态

《模糊系统与数学》

2007

有限制的通用模糊图灵机研究

《陕西师范大学学报(自然科学版)》

2007

量子信息的删除和克隆

《计算机工程与应用》

2007

布尔型模糊系统逼近的充分条件

《控制与决策》

2007

基于两体量子正交纠缠态集的局域删除

《计算机工程与应用》

2007

量子态转化的一些数学性质

《西北大学学报(自然科学版)》

2007

Linguistic quantifiers based on Choquet integrals

International Journal of Approximate Reasoning

DOI

2007

Sufficient and necessary conditions for Boolean fuzzy systems as universal approximators

Information Sciences

DOI

2007

Approximation and robustness of fuzzy finite automata

International Journal of Approximate Reasoning

DOI

2007

Robustness of fuzzy reasoning via logically equivalence measure

Information Sciences

DOI

2007

Minimization of lattice finite automata and its application to the decomposition of lattice languages

Fuzzy Sets and Systems

DOI

2007

Study on restricted universal fuzzy Turing machine

Journal of Shaanxi Normal University

2007

Deleting and cloning of quantum information

Computer Engineering and Applications Journal

2007

The Congruences and Homomorphisms of Lattice-valued Mealy-type Machines

Mohu xitong yu shuxue

2007

Some mathematical characteristics of transformation of quantum states

Journal of Northwest University

2007

Local deleting based on quantum bipartite orthogonal states

Computer Engineering and Applications Journal

2006

LexiT序方法的推广

《陕西师范大学学报(自然科学版)》

2006

布尔型模糊系统的逼近精度分析(英文)

《模糊系统与数学》

2006

Some Results of Fuzzy Turing Machines

World Congress on Intelligent Control and Automation

DOI

2006

Generalization of LexiT ordering method

Journal of Shaanxi Normal University

2005

几类格值自动机的关系

《模糊系统与数学》

2005

max-zero t-模复合意义下的模糊矩阵幂序列的收敛性

《模糊系统与数学》

2005

模糊系统分析

《科学出版社》

2005

格值正则文法及其语言的性质

《陕西师范大学学报(自然科学版)》

2005

基于QL-蕴涵的Min-implication模糊关系方程的分解与求解

《陕西师范大学学报(自然科学版)》

2005

The equivalence between fuzzy Mealy and fuzzy Moore machines

Soft Computing

DOI

2005

A categorical approach to lattice-valued fuzzy automata

Fuzzy Sets and Systems

DOI

2005

Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids

Fuzzy Sets and Systems

DOI

2005

Regular grammars with truth values in lattice-ordered monoid and their languages

Soft Computing

DOI

2005

An approach to measure the robustness of fuzzy reasoning

International Journal of Intelligent Systems

DOI

2005

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

Lecture notes in computer science

DOI

2005

New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition

Lecture notes in computer science

DOI

2005

Relations of Some Kinds of Lattice-valued Finite Automata

Mohu xitong yu shuxue

2005

Lattice-valued regular grammars and their languages

Journal of Shaanxi Normal University

2005

Decomposition and resolution of min-implication fuzzy relation equations based on QL-implications

Journal of Shaanxi Normal University

2005

Convergence of Powers of a Fuzzy Matrix Under the Max-product Composition

Gongcheng shuxue xuebao

2004

模糊控制系统的镇定性能

《陕西师范大学学报(自然科学版)》

2004

Decomposition and resolution of min-implication fuzzy relation equations based on S-implications

Fuzzy Sets and Systems

DOI

2004

Regular expressions with truth values in lattice-monoid and their languages

IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04.

DOI

2004

Controbility of fuzzy control systems

Journal of Shaanxi Normal University

2003

θ-Fuzzy关系方程的分解与求解

《模糊系统与数学》

2003

基于线性T-S模糊系统的自适应系统的设计和稳定性分析(英文)

《自动化学报》

DOI

2003

格值自动机与语言

《陕西师范大学学报(自然科学版)》

2002

连续状态模糊控制系统的鲁棒稳定性分析

《自动化学报》

2002

Projective and injective objects in the category of quantales

Journal of Pure and Applied Algebra

DOI

2001

一种基于语言变量的MCDM问题的决策方法

《系统工程》

2001

一类非线性系统的模糊控制与稳定性

《自动化学报》

DOI

2001

非可换线性逻辑及其Quantale语义

《陕西师范大学学报(自然科学版)》

2001

连续状态模糊控制系统的分区域稳定性分析

《控制与决策》

DOI

2001

对偶Quantale及其性质

《陕西师范大学学报(自然科学版)》

2000

渐近稳定性与模糊控制

《陕西师范大学学报(自然科学版)》

1998

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

《数学学报(中文版)》

1996

可连通逼近locale及其在Frm中的反射

《陕西师范大学学报(自然科学版)》

1995

一致分子格及其性质

《陕西师范大学学报(自然科学版)》

1994

良紧性的LF完全聚点特征

《模糊系统与数学》

1991

诱导空间的分子网收敛特征

《陕西师范大学学报(自然科学版)》

1991

L-Fuzzy闭图象与强闭图象理论

《模糊系统与数学》

2018

Fuzzy Output-feedback Control for Nonlinear Stochastic Systems with Unknown-Time-Delays

《第30届中国控制与决策会议论文集（4）》

2000

模糊系统的分区域渐近稳定性分析

《模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集》

2026

Exponentiable Objects and Function spaces in Lowen Fuzzy Topological Spaces

arXiv (Cornell University)

DOI

2016

Bisimulation Relations for Weighted Automata over Valuation Monoids

Advances in intelligent systems and computing

DOI

2016

The Comparison of Expressiveness Between LTL and IGPoLTL

Advances in intelligent systems and computing

DOI

2016

Splitting Algorithm of Valuation Algebra and Its Application in Automaton Representation of Semiring Valued Constraint Problems

Advances in intelligent systems and computing

DOI

2010

Pseudo Weak Effect Algebras and Pseudo Weak D-posets

International Journal of Theoretical Physics

DOI

2010

Soft Set Based Approximate Reasoning: A Quantitative Logic Approach

Advances in intelligent and soft computing

DOI

2010

A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic

Advances in intelligent and soft computing

DOI

2007

Approximation Property of Fuzzy Finite Automata

Springer eBooks

DOI

2003

Projectives and Injectives in the Category of Quantales

Springer eBooks

DOI