【摘 要】
：
概念层次结构的序性质是形式概念分析的研究重点.本文基于对关系相容F-扩张形式背景的研究,提出一种基于闭包空间的Scott型信息系统,为连续domains提供一种新的表示方法.首先
【机 构】
：
湖南师范大学数学与统计学院,湖南长沙410012;计算与随机数学教育部重点实验室(湖南师范大学),湖南长沙410012
论文部分内容阅读
概念层次结构的序性质是形式概念分析的研究重点.本文基于对关系相容F-扩张形式背景的研究,提出一种基于闭包空间的Scott型信息系统,为连续domains提供一种新的表示方法.首先,我们基于对关系相容F-扩张形式背景诱导的信息系统的研究,公理化地提出基于闭包的信息系统的概念6然后,利用信息态这一概念,我们证明:任意一个基于闭包的信息系统都可诱导一个连续domain.而且,我们提出F-态射作为基于闭包的信息系统之间的态射,并研究了它的性质.最后,我们建立了基于闭包的信息系统范畴和连续domains范畴之间的等价性.
其他文献
生物入侵是人类活动的直接或间接后果,并被视为全球变化的重要组成部分.本文综述了全球变化的主要过程,包括大气中CO2浓度的增加、气候变化、氮富集、土地利用方式的改变、国
Ｑ我们的邻居前几天在省级医院生了小宝宝几天后，听说小孩天折了。有人说他们是近亲结婚。 请问除了近亲不宜结婚之外，还有其他不宜结婚的情况吗？ 西安 白羽霞 Ａ这个问题提得很实际
Under the direct leadership of theprovincial CPC committee and theprovincial government, and through theconcerted efforts of the organizers,sponsors and support
一提起张彩仙这个名字,方圆几十里的人们都会撬起大拇指,称赞她是个老寿星“福圪瘩”,这倒不光是因为她活了92岁,还腰不酸腿不疼,眼不花耳不聋,行走自如,谈笑风生,更主要的是
本文在G(o)del t-模下,研究了Georgescu模糊选择函数半序合理的充分条件.首先给出了模糊选择函数的一些合理性条件.然后研究了这些条件与模糊选择函数半序合理性之间的关系,
地方普通高校是全国高校发展的生力军,开展科研是地方普通高校提升整体实力的重要方式.以江苏省某一高校为例,根据自然科学论文及项目的统计,分析地方普通高校科研现状并指出
水文过程对气候变化的响应是政府间气候变化专门委员会(IPCC)评估的主要内容.弄清这些响应是为可持续水资源管理及公共安全保护制定适合的减缓和适应策略的关键.然而,这些响
在普朗特数Pr = 6.99的纯流体Poiseuille-Rayleigh-Bénard流动中,通过二维流体力学基本方程组的数值求解,可得到局部行波斑图.局部行波斑图由水平流区和行波区构成.本文给出
本文在构建高等教育投入产出指标体系的基础上,利用数据包络分析方法中的CCR模型、BCC模型和超效率DEA模型对我国高等教育发展效率进行了实证研究,并得出了合理的评价结论.对
大学云集的海淀,将变成全国最大的宽带社区,春节刚过,中关村信息工程公司、北京科技园建设公司、海淀科技园建设公司,中国网通、银浦润和公司便开始行动,利用高速光纤把园区