期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到152篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
序列拟连续domain的广义有界理想
1
作者 王武 《景德镇学院学报》 2024年第6期1-4,共4页
domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明... domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明了序列拟基可以嵌入到其广义有界理想中。同时,本文指出广义有界理想的集合是序列拟连续domain。这为理论计算机提供了更为简单的程序式语义和数学模型,有助于对domain理论的进一步研究。 展开更多
关键词 链 序列拟连续 DOMAIN 嵌入
在线阅读 下载PDF
基于改进拟连续算法的回转弹仓位置控制 被引量：1
2
作者 陈冬 钱林方 +3 位作者 陈志群 陈龙淼 邹权 陈军华 《兵工学报》 EI CAS CSCD 北大核心 2024年第5期1436-1448,共13页
为提高大口径火炮自动装填过程中回转弹仓工作的精确性和鲁棒性,在分析现有拟连续算法相关研究内容的基础上,设计一种全新的改进拟连续控制器对回转弹仓进行位置控制。通过与滑模扰动观测器相结合,新控制器增益不依赖于系统扰动的不确... 为提高大口径火炮自动装填过程中回转弹仓工作的精确性和鲁棒性,在分析现有拟连续算法相关研究内容的基础上,设计一种全新的改进拟连续控制器对回转弹仓进行位置控制。通过与滑模扰动观测器相结合,新控制器增益不依赖于系统扰动的不确定性边界,且不需引入额外的控制器参数,降低了控制器的设计和调试难度。通过Lyapunov方程验证控制器本身及闭环系统的稳定性。仿真和试验结果表明:新设计的控制器相对于已有拟连续算法具有优越性,在受到不确定时变负载和不确定参数扰动的情况下,新设计的改进控制器在应用于回转弹仓时,在趋近段可以获得更快的收敛速度,减小到位超调量,并在滑动段有效减弱抖振。 展开更多
关键词 回转弹仓 不确定扰动 改进拟连续控制器 滑模扰动观测器
在线阅读 下载PDF
基于拟连续高阶滑模的高超声速飞行器再入姿态控制 被引量：19
3
作者 王婕 宗群 +1 位作者 田栢苓 范文茹 《控制理论与应用》 EI CAS CSCD 北大核心 2014年第9期1166-1173,共8页
考虑模型参数不确定和外界干扰对再入制导控制性能的影响,基于拟连续高阶滑模控制策略对高超声速飞行器的再入制导控制问题进行了研究.首先,给出再入制导指令的设计过程.其次,基于再入飞行特性对模型进行简化,获得面向控制的姿态模型,... 考虑模型参数不确定和外界干扰对再入制导控制性能的影响,基于拟连续高阶滑模控制策略对高超声速飞行器的再入制导控制问题进行了研究.首先,给出再入制导指令的设计过程.其次,基于再入飞行特性对模型进行简化,获得面向控制的姿态模型,在此基础上,通过引入新的控制变量,设计解耦滑模面,实现姿态间的解耦.再次,为了削弱控制抖振,通过引入虚拟控制,对系统进行增广,基于齐次性理论设计拟连续三阶滑模再入姿态控制器,确保系统在有限时间实现对制导指令的稳定跟踪.最后,六自由度再入飞行器的制导控制一体化仿真结果表明,本研究给出的控制策略在不影响系统鲁棒性的同时,能够实现对标称轨迹和再入姿态的综合控制. 展开更多
关键词 高超声速飞行器 再入姿态控制 拟连续高阶滑模 虚拟控制 制导控制一体化
在线阅读 下载PDF
拟连续Domain的若干拓扑性质(英文) 被引量：8
4
作者 杨金波 罗懋康 《模糊系统与数学》 CSCD 北大核心 2006年第3期69-76,共8页
对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。
关键词 拟连续DOMAIN 两两完全正则 极大点 POLISH空间 b-拓扑
在线阅读 下载PDF
拟连续Domain与广义完全分配格(英文) 被引量：12
5
作者 杨金波 罗懋康 《数学进展》 CSCD 北大核心 2007年第4期399-406,共8页
本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.
关键词 拟连续DOMAIN 广义完全分配格 超连续格 强伪代数格 极大极限空间
在线阅读 下载PDF
拟连续Domain的拟基及其权 被引量：7
6
作者 李高林 徐罗山 《模糊系统与数学》 CSCD 北大核心 2007年第6期52-56,共5页
在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。
关键词 拟连续DOMAIN 拟基 权 SCOTT拓扑 LAWSON拓扑
在线阅读 下载PDF
Z-拟连续domain上的Scott拓扑和Lawson拓扑 被引量：33
7
作者 徐晓泉 刘应明 《数学年刊（A辑）》 CSCD 北大核心 2003年第3期365-376,共12页
对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawso... 对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。 展开更多
关键词 Z—拟连续domain 超连续格 Z—Scott拓扑 Z—Lawson拓扑 严格完全正则序空间
在线阅读 下载PDF
拟连续Domain及其子范畴间的伴随关系 被引量：8
8
作者 寇辉 罗懋康 《数学年刊（A辑）》 CSCD 北大核心 2002年第5期633-642,共10页
基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴... 基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴. 展开更多
关键词 ADJUNCTION 反射子范畴 拟连续DOMAIN Smyth幂Domain
在线阅读 下载PDF
拟连续Domain上的扩张定理 被引量：3
9
作者 饶三平 徐晓泉 《南昌大学学报（理科版）》 CAS 北大核心 2006年第6期535-537,共3页
定义了拟定向极小集,并证明了拟连续Dom ain的每个元都有拟定向极小集,在拟连续Dom ain中,给出了保拟定向极小集映射的几个等价刻画,并且在此基础上得到了拟连续Dom ain上的两个相应扩张定理。
关键词 拟连续DOMAIN 拟定向极小集 Way—below关系
在线阅读 下载PDF
性质M_F与拟连续Domain中的Scott上紧集 被引量：2
10
作者 张文锋 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2012年第1期137-140,共4页
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.
关键词 拟连续DOMAIN SCOTT拓扑 Scott紧子集 基 性质MF
原文传递
强Z-拟连续偏序集的权与Z-嵌入基数 被引量：5
11
作者 徐晓泉 《江西师范大学学报（自然科学版）》 CAS 1995年第1期12-22,共11页
在集论ZF+DC中,我们给出了强Z-拟连续偏序集P到单位闭区间[o,1]的Z-态射的一个直接的构造法,证明了p到[o,1]的Z-态射全体强分离P中的点.该文引入了Z-完备偏序集P的权ω(P)和p的Z-嵌入基数λ_z(P),证明了:(1)若P为完备格,λ_z(P)>0,则... 在集论ZF+DC中,我们给出了强Z-拟连续偏序集P到单位闭区间[o,1]的Z-态射的一个直接的构造法,证明了p到[o,1]的Z-态射全体强分离P中的点.该文引入了Z-完备偏序集P的权ω(P)和p的Z-嵌入基数λ_z(P),证明了:(1)若P为完备格,λ_z(P)>0,则ω(P)≤max{ω,λ_z(P)};(2)若尸为强Z-拟连续偏序集,则0<λ_z(P)≤ω(P)^(2);(3)若p为强Z-拟连续偏序集,ω(P)≤ω,则p可用保任意交与Z-并映射(简称为IZ^(+)-映射)嵌入到Hilbert方体[o,1]_(?)之中.若进一步P为完备格,则反之也成立. 展开更多
关键词 Z-below关系 Z-拟连续偏序集 权 Z-嵌入基数
在线阅读 下载PDF
Fuzzy双拓扑空间中的拟开集和拟连续 被引量：1
12
作者 薛艳霞 斯钦孟克 王瑞英 《内蒙古师范大学学报（自然科学汉文版）》 CAS 2010年第3期242-246,共5页
将fuzzy拟开集和拟连续映射的概念推广到fuzzy双拓扑空间,引入(i,j)-fuzzy拟开集、(i,j)-fuzzy拟闭集、双fuzzy拟连续映射等概念,并研究了其相关性质.
关键词 FUZZY双拓扑空间 (i j)-fuzzy拟开集 (i j)-fuzzy拟闭集 (i j)-拟邻域 双fuzzy拟连续映射
在线阅读 下载PDF
拟连续格的逆极限 被引量：1
13
作者 张晓媛 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2012年第2期152-156,共5页
给出以保任意交和定向并为态射的拟连续格范畴的逆极限,讨论函子保广义拟连续格逆极限的条件。
关键词 拟连续格 逆极限
原文传递
Z-拟连续偏序集基的刻划 被引量：1
14
作者 刘富春 《广东工业大学学报》 CAS 1999年第1期71-74,共4页
研究了Ｚ－拟连续偏序集的基，得到了它的一个刻划定理．另外也研究了关于Ｚ－ｂｅｌｏｗ关系的一些性质，特别是得到了在一定条件下Ｇａｌｏｉｓ联络的下伴随保Ｚ－ｂｅｌｏｗ关系和反射Ｚ－ｂｅｌｏｗ关系的重要结论．
关键词 子集系统 Z-below关系 基 Z拟连续偏序基
在线阅读 下载PDF
1型χ-连续模和1型χ-拟连续模 被引量：1
15
作者 杨世洲 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第4期17-21,共5页
利用χ- C2 模、χ- C3模的概念 ,定义了 1型χ-连续模和 1型χ-拟连续模 ,同时引入了 1型χ- Pn 模和 1型χ- Qn 模 ,讨论了其性质和相互之间的关系 。
关键词 1型χ-连续模 1型χ-拟连续模 1型χ-Pn模 1型χ-Qn模 模论 结合环 右R-模
在线阅读 下载PDF
复广义权与拟连续性 被引量：1
16
作者 邱曙熙 《数学研究》 CSCD 1995年第2期28-31,共4页
本文引入复广义权的外权的概念，讨论了某些与复广义权相关的函数的拟连续性。
关键词 复广义权 拟连续性 外权 复变函数
在线阅读 下载PDF
关于拟连续Domain的一个注记
17
作者 杨金波 龚雅玲 陈群 《模糊系统与数学》 CSCD 北大核心 2010年第3期82-85,共4页
证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。
关键词 拟连续DOMAIN 下拓扑 局部强紧空间 Hoare空间
在线阅读 下载PDF
拟连续吸附制冷循环的实验与模拟研究
18
作者 方利国 朱冬生 谭盈科 《流体机械》 CSCD 北大核心 2000年第1期43-48,共6页
对拟连续吸附制冷进行了实验及理论模拟研究，建立了拟吸附制冷系统动态二维传热传质耦合模型，实验数据和模拟结果相吻合。在引入温度波理论的基础上，分析了各参数对系统性能的影响，为连续吸附制冷系统的设计及性能优化提供了理论及... 对拟连续吸附制冷进行了实验及理论模拟研究，建立了拟吸附制冷系统动态二维传热传质耦合模型，实验数据和模拟结果相吻合。在引入温度波理论的基础上，分析了各参数对系统性能的影响，为连续吸附制冷系统的设计及性能优化提供了理论及实验依据。 展开更多
关键词 拟连续吸附制冷 温度波 模拟 制冷循环
在线阅读 下载PDF
拟连续定向空间的性质
19
作者 王武 谭彬 《模糊系统与数学》 北大核心 2023年第6期100-104,共5页
本文研究了拟连续定向空间的一些性质。主要结果有:(1)拟连续定向空间的连续收缩核,开子空间,闭子空间是拟连续定向空间;(2)证明了拟连续性在保非空有限集≪关系的满映射像下的不变性;(3)给出了拟连续定向空间伴随的一些性质。
关键词 拟连续定向空间 连续收缩核 子空间 不变性 伴随
原文传递
非局部—非对称拟连续统理论
20
作者 高键 林晓玲 《固体力学学报》 CAS CSCD 北大核心 1993年第2期96-106,共11页
本文基于原子点阵模型,应用广义函数论,建立了非局部一非对称拟连续统理论.并讨论了非对称应力的物理—力学模型,即微观—宏观相结合的模型理论.
关键词 非局部 非对称 拟连续统理论
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部