位置：立项数据库 > 立项详情页
格上拓扑学及其在不确定特征的形式化研究中的应用
  • 项目名称：格上拓扑学及其在不确定特征的形式化研究中的应用
  • 项目类别：面上项目
  • 批准号：10571112
  • 申请代码：A010403
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：李永明
  • 负责人职称：教授
  • 依托单位：陕西师范大学
  • 批准年度：2005
中文摘要：

非可换结构的研究是数学研究的一个重要方面，而Quantale理论提供了研究此类问题的一个重要手段。本研究将在Quantale理论特别是Quantale及其上模的范畴构造方面开展工作，给出构造新型Quantale的若干新结果，籍此研究拓扑系统与迁移拓扑系统的拓扑、代数与范畴性质，并利用这些结果完成并发系统中进程等价的拓扑刻画。不确定性的研究是现代数学的重大问题，我们将利用格上拓扑学的逻辑构造，开展不确定性特征的形式化研究。拟研究新型的量子代数结构，给出它的拓扑、代数与范畴方面的深刻刻画，并基于量子代数结构开展对量子计算的逻辑基础的探讨；在Quantale值逻辑体系下研究不确定推理系统与模糊关系方程的最弱逻辑公理系，得到最广泛适用的结果；进一步开展Quantale值的不确定计算理论的工作，从拓扑的逻辑构造角度对不确定特征的形式化应用研究提出新概念与新方法，得到新结果。

中文主题词： 格上拓扑;拓扑系统;迁移拓扑系统;量子逻辑;不确定性。
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 99
  • 11
  • 0
  • 0
  • 0
期刊论文
改进的动态可验证的(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复合推理下的模糊图灵机
有限制的通用模糊图灵机的研究
模糊数学方法在出版社资源优化配置中的应用
取值于完备格的同步机及其最小实现化
基于量子逻辑的下推自动机与上下文无关文法
基于模糊数的证券投资组合最优化模型
抗攻击的动态多秘密共享方案
Scott连续自映射不动点的注记
分配序列效应代数的理想和同余
模糊有穷自动机的互模拟关系
基于隶属模糊二元语义的群决策方法
部分可换半群的子代数与同余关系
高效可验证的门限多秘密共享体制
有代理的门限签名方案
一种具有可分性的支付方案
一种动态的多秘密共享方案
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
会议论文
基于量子逻辑的下推自动机的代数刻画
双向有穷自动机与模糊双向有穷自动机
Some results of fuzzy Turing machines
Approximation property of fuzzy finite automata
格值正则语言截集的代数性质
格值树自动机与格值上下文无关树文法的等价性
基于量子逻辑的确定型正则语言的代数性质
直觉模糊有穷自动机的互模拟关系
直觉模糊下推自动机
Fuzzy finite automata and monadic second-order fuzzy logic
Approximation property of fuzzy context-free grammars
相关项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
量子测度与量子积分理论中的若干问题
期刊论文 9
格子拓扑中若干问题的研究
期刊论文 25
量子计算模型的判定性、无歧量子通信及相关问题
期刊论文 29 会议论文 9
量子Büchi自动机的等价刻画
期刊论文 6
量子逻辑光谱学中离子退相干机制的研究
期刊论文 4 会议论文 1
两类量子逻辑代数结构的研究
期刊论文 12
量子计算模型与量子信息中的若干问题
期刊论文 12 会议论文 1
李永明的项目
基于不确定测度的定量时序逻辑的表示与可判定性研究
　中国历代词选之乐舞论
　中国历代词选之乐舞论
把不确定性用半环来描述的计算模型、理论及其应用研究
期刊论文 27
　中国历代词选之乐舞论
　中国历代词选之乐舞论
QUANTALE理论及其应用
不确定环境下的计算模型与计算理论研究
期刊论文 101 会议论文 9