位置：成果数据库 > 期刊 > 期刊详情页
Scott连续自映射不动点的注记
  • 期刊名称：数学研究与评论, 2008-6-15 accepted
  • 时间：0
  • 相关项目：格上拓扑学及其在不确定特征的形式化研究中的应用
同期刊论文项目
格上拓扑学及其在不确定特征的形式化研究中的应用
期刊论文 99 会议论文 11
同项目期刊论文
改进的动态可验证的(t,n)门限秘密共享方案
he relationship of controllability between crisp and fuzzy discrete-event systems
格值自动机理论综述以及其发展
一类线性完全影射的构造
特征为2的有限域上一类正形置换多项式的非存在性
一个实用的RSA门限门限签名方案
域元素分量代数表达式的快速求法
一种可 验证的秘密共享方案
Service oriented Access Control Model
基于生物免疫原理的网络蠕虫免疫模型
安全工作流管理系统体系结构研究
带有约束的“长城”安全策略模型及其实现
工作流系统上下文相关访问控制模型
基于潜伏期的网络蠕虫传播模型及其仿真分析
基于信任授权的模糊访问控制模型
一种新的复杂信息系统访问控制模型
Intuitional fuzzy quantifiers based on Sugeno Integrals
Some algebraic properties of measure-once two-way quantum finite automata
The relationship of controllability between classical and fuzzy discrete-event systems
Sufficient condition and necessary condition for Boolean fuzzy systems as universal approximators
Approximation and robustness of fuzzy finite automata
Algebraic properties of LA-languages
离散系统与模糊离散系统控制性之间的关系
Linguistic quantifiers based on Choquet integrals
模糊有穷自动机与单体二阶Lukasiewicz逻辑
Max-Lukasiewicz复合推理下的模糊图灵机
有限制的通用模糊图灵机的研究
模糊数学方法在出版社资源优化配置中的应用
取值于完备格的同步机及其最小实现化
基于量子逻辑的下推自动机与上下文无关文法
基于模糊数的证券投资组合最优化模型
抗攻击的动态多秘密共享方案
分配序列效应代数的理想和同余
模糊有穷自动机的互模拟关系
基于隶属模糊二元语义的群决策方法
部分可换半群的子代数与同余关系
高效可验证的门限多秘密共享体制
有代理的门限签名方案
一种具有可分性的支付方案
一种动态的多秘密共享方案
The equivalence between fuzzy Mealy and fuzzy Moore machines
基于两体量子正交纠缠态集的局域删除
基于Vague集的多评价指标决策的新方法
The relationships among several types of fuzzy finite automata
一个新的多代理盲签名方案
Central elements in pseudoeffect algebras
On the Complemented Closed Disk Algebra
A categorical approach to lattice-valued fuzzy automata
New perspective of fuzzy context-free grammars
Regular grammars with truth values in lattice-monoid and their languages
格值有限自动机等价判定算法
格值有限自动机及其性质
N—可分效应代数
Generalized Leximin to t-norms and s-norms: the LexiTN and LexiSN ordering
Approximation accuracy analysis of Boolean fuzzy systems as function approximators
Weakly regular quantum grammars and asynchronous quantum automata
动态防欺诈的多组秘密共享方案
基于模糊逻辑的使用控制模型研究
一种改进的Clark- Wilson 完整性策略模型
模糊推理系统的鲁棒性
Robustness of fuzzy reasoning via logically equivalence measure
布尔型模糊系统逼近的充分条件
量子信息的删除和克隆
模糊Mealy自动机的同余和同态
Generalized ideals and supports in pseudo effect algebras
Minimization of states in automata theory based on finite lattice-ordered monoids
Representation of RCC11 composition table
量子态转化的一些数学性质
Fuzzy Turing machines: variants and universality
标度广义效应代数与标度效应代数的结构
模糊图灵机的逼近性与通用性
Minimization of lattice finite automata and its application to the decomposition of lattice language
Algebraic properties on the cuts of lattice-valued regular languages
On agreement of Isbell topology and Scott topology on the space of domain function spaces
基于量子纯态纠缠转化的一种算法
正交混合态的局域分辨
基于G?del蕴涵算子的导出算子的n值逻辑系统
LexiT序方法的推广
同步格值自动机的约简和最小化算法
基于1维子空间线性迭代射影重建
序列效应代数的Holland理论
线性秘密共享体制的一般构造
一类完善秘密共享方案的最优信息率
模糊正则文法的逼近性
格值Mealy自动机的同余和同态
一般线性群上ElGamal加密及签名方案
RCC11复合表的表示
一种改进的Clark—Wilson完整性策略模型
一类线性完全映射的构造
基于线性码上的动态可验证的秘密共享方案
一个实用的RSA门限签名方案
Domain函数空间代数性的一个注记
由可精确测量元控制的弱可换的伪效应代数
基于辫群的多级强代理盲签名方案
Domain函数空间上的Isbell拓扑和Scott拓扑的一致性(英文)
有限制的通用模糊图灵机研究
Note about Fixed Points of Scott Continuous Self-Mappings