位置：成果数据库 > 期刊 > 期刊详情页
Finite automata based on quantum logic and monadic second-order quantum logic
  • ISSN号：1674-733X
  • 期刊名称：Science China-Information Sciences
  • 时间：0
  • 页码：101-114
  • 语言：英文
  • 相关项目：不确定环境下的计算模型与计算理论研究
作者： Li YongMing|
同期刊论文项目
不确定环境下的计算模型与计算理论研究
期刊论文 101 会议论文 9
同项目期刊论文
量子上下文无关文法的代数性质
基于可能性测度的计算树逻辑
椭圆曲线的不同权重之间的秘密共享方案
Robustness of interval-valued fuzzy inference
投影问题的序关系研究
基于测量的量子路线
On homorphism of valuation algebras
单道批处理系统的建模与验证
Pseudo weak effect algebras and pseudo weak D-posets
参数化的广义量子通用相位门
多分发着的多秘密共享方案
基于量子逻辑的几类有穷自动机之间的关系
Finite automata theory with membership values in lattices
软集决策信息系统的属性约简
Weak commutative pseudoeffect algebras
A new algorithm for testing diagnosability of fuzzy discreteevent systems
一种接入结构上的动态多秘密共享方案
Secret sharing scheme from binary linear codes
基于非参数基函数的自适应信号分解算法
加权Moore机的同余与最小化
取值于完备格的同步机及其最小实现化
伪的弱效应代数的同余和理想
The pasting constructions of lattice ordered effect algebras
模糊有穷树自动机的互模拟关系
基于直觉模糊集的Choquet积分
基于量子逻辑的下推自动机与上下文无关文法
INTUITIONISTIC FUZZY LINGUISTIC QUANTIFIERS BASED ON INTUITIONISTIC FUZZY-VALUED FUZZY MEASURES AND
区间值三角模左连续的充要条件
半环诱导的赋值代数的解轮廓和解扩展
基于模糊数的证券投资组合最优化模型
计量逻辑学中的近似推理
基于身份的强指定验证人签名方案
有限域上一般线性群的EIGamal加密及签名方案
基于双线性对的匿代理盲聚合签名方案
区间效应代数的张量积
Riesz ideals in generalized pseudo effect algebras and in their unitizations
Application of level soft sets in decision making based on interval-valued fuzzy soft sets
基于线性码上的动态可验证秘密共享方案
抗攻击的动态多秘密共享方案
模糊自动机的一些特定性质
基于量子逻辑的图灵机及其通用性
基于量子测量的量子与经典关联
基于关联方向测量的量子关联
基于信号稀疏表示的非参数基函数特征提取理论研究进展和展望
一种具有后向安全可检测得前向安全代理签名方案
计量逻辑学中的收敛理论
量子Mealy自动机和量子Moore自动机的等价
分配序列效应代数的理想和同余
模糊有穷自动机的互模拟关系
计量逻辑学中的误差累计理论
基于隶属模糊二元语义的群决策方法
关于Scott开滤子拓扑核紧性的注记
基于群环上的公钥密码体制
基于量子逻辑的有穷自动机与单体二阶量子逻辑
部分可换半群的子代数与同余关系
高效可验证的门限多秘密共享体制
Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata
Approximation of fuzzy context-free grammars
Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency
具有消息恢复的代理多重签名方案
线性码上的可验证的多秘密共享方案
向量空间上的防欺诈秘密共享方案
连续信息代数
基于向量空间上的无分发者的秘密共享方案
基于通信延迟模糊离散事件系统的可靠分散控制的注记
一个新的多代理盲签名方案
皮肤功能降低增加代谢综合征风险.
格值有穷自动机和单体二阶格值逻辑
基于广义可能性测度的可达性问题的模型检测
模糊代数系统
模糊剩余自动机
参与者人数为八的一类图存取结构的信息率
基于Hash函数的无分发者的多秘密共享方案
广义量子Loop程序初探
一个新的理想的多秘密共享方案
伪加权转换器及其延迟函数的实现化
序列效应代数的Holland理论
伪加权Mealy机与伪加权Moore机的关系
水平集在图像分割中的应用研究
具有Riesz分解性质的广义效应代数