论文部分内容阅读
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-空间及连续映射构成的范畴是c-空间范畴的Cartesian闭满子范畴.
c-空间范畴的一个Cartesian闭满子范畴
【摘 要】
：
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-
【机 构】
：
四川大学数学学院
【出 处】
：
四川师范大学学报:自然科学版
【发表日期】
：
2020年6期
【基金项目】
：
国家自然科学基金(11871353)
其他文献
目的：观察丹红注射液配合颈椎牵引治疗椎动脉型颈椎病的临床疗效。方法：将80例诊断为椎动脉型颈椎病患者随机分为丹红注射液配合颈椎牵引治疗组40例和单纯颈椎牵引对照组40例,
正国际铁路联盟(UIC)提出的铁路综合数字移动通信系统(GSM-R),经过长期深入的研究,已经成为对各国铁路专用移动通信系统由模拟系统向数字系统演进有重大影响的技术。早在1994
<正>党的十八大以来,习近平总书记站在两岸关系发展大势与中华民族伟大复兴的高度就两岸关系和台湾问题提出了一系列新理念和新主张。习近平对台工作重要思想是他在对台湾问
正1我国列控设备技术分析目前在我国运行速度160km/h以下客货列车上推广使用的"机车信号+列车运行监控装置(LKJ)"列控设备,虽然在指导机车乘务员驾驶、列车运行基本安全防护
《献给爱米丽的一朵玫瑰花》描写的是美国内战之后南方衰败贵族妇女形象,同时,小说中也构建了小镇居民形象。该研究拟采用概念隐喻相关理论,对以上两种形象的建构过程进行深
针对传统态势评估方法只考虑当前时刻静止态势,难以对整个空战态势情况进行评估和不具有预见性的局限,提出了一种基于改进MGM(1,N)轨迹预测的态势评估方法。首先,根据MGM(1,N