位置：成果数据库 > 期刊 > 期刊详情页
Domain函数空间代数性的一个注记
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：O189.11[理学—数学;理学—基础数学]
  • 作者机构：[1]徐州师范大学数学科学学院
  • 相关基金：国家自然科学基金资助项目(10571112);; 徐州师范大学研究生科研基金资助项目(08YLB021)
作者： 刘宾[1], 奚小勇[1]
关键词： 函数空间, DOMAIN, 代数性, function space, domain, algebraicity
中文摘要：

利用步函数讨论了domain函数空间的代数性,证明了当D是Lawson紧的代数domain,L是一个特定的非L-domain的连续domain时,函数空间[D→L]是代数的.

英文摘要：

In this paper,the algebraicity of the domain function spaces is studied.Using the step functions,it is proved that the domain function space \ is an algebraic domain for each Lawson compact algebraic domain D and a particular continuous domain L is not an L-domain.

同期刊论文项目
格上拓扑学及其在不确定特征的形式化研究中的应用
期刊论文 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复合推理下的模糊图灵机
有限制的通用模糊图灵机的研究
模糊数学方法在出版社资源优化配置中的应用
取值于完备格的同步机及其最小实现化
基于量子逻辑的下推自动机与上下文无关文法
基于模糊数的证券投资组合最优化模型
抗攻击的动态多秘密共享方案
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函数空间上的Isbell拓扑和Scott拓扑的一致性(英文)
有限制的通用模糊图灵机研究
Note about Fixed Points of Scott Continuous Self-Mappings
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887