2. 您的位置
3. 首页
4. 期刊论文
5. L-稳定事件结构和L-domain

L-稳定事件结构和L-domain

来源 :四川大学学报：自然科学版 | 被引量 : 0次 | 上传用户：my363

【摘 要】

：

在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-稳定事件结构以及L-映射的概念，证明了L-稳定

【作 者】

：

熊利平 寇辉 

【机 构】

：

四川大学数学学院

【出 处】

：

四川大学学报：自然科学版

【发表日期】

：

2013年1期

【关键词】

：

L-稳定事件结构 L-DOMAIN L-状态 L-映射 L-stable event structure  L-domain  L-state  L-mappi 

【基金项目】

：

基金项目：国家自然科学基金（10871137）

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-稳定事件结构以及L-映射的概念，证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质I的代数L-domain和稳定映射构成的范畴，由此说明了可以通过特殊的事件结构来表示具有性质I的代数L—domain．

其他文献

带阻尼项的广义SRLW方程的一个守恒差分格式

本文对带有阻尼项和耗散项的广义对称正则长波方程的初边值问题进行了数值研究，提出了一个两层非线性有限差分格式，该格式合理地模拟了问题本身的一个守恒性质，讨论了差分解的先

期刊

阻尼耗散广义对称正则长波方程差分格式守恒收敛性稳定性Damping dissipativeGeneralized symmetric regula

Stokes-Darcy耦合问题的新等阶元投影稳定化方法

针对Stokes-Darcy耦合问题提出一种新的投影稳定化方法,该方法对整个区域采用统一的等阶有限元空间逼近.相比通常的局部投影稳定化方法,增加了新的投影稳定项以及压力跳跃项,

期刊

Stokes-Darcy耦合问题等阶元投影稳定Coupled Stokes-Darcy flowEqual-order elementsProje

非对称噪声驱动的Langevin谐振子的随机共振

本文研究了周期调制噪声和非对称双态噪声联合驱动下的具有频率涨落的谐振子的随机共振．本文的主要工作是通过Shapiro-Logniov公式求解谐振子系统的稳态响应一阶矩的解析表达

期刊

Langevin谐振子模型非对称噪声随机共振Shapiro-Loginov公式Langevin oscillator Asymmetric noise

时滞对数种群竞争模型概周期解的存在性和全局稳定性（英文）

本文研究了一类时滞对数种群竞争模型的概周期性问题,给出了正概周期解的存在性、唯一性和全局稳定性定理,推广并改进了已有的结果.

期刊

对数种群竞争模型时滞概周期全局稳定性logarithmic we study the almost periodicity for the two-sp

分数阶随机微分方程的修正隐式数值格式

对H〉1/2且随机积分为前向积分的分数阶布朗运动驱动的随机微分方程,为改善显式Euler格式和Milstein格式的稳定性,基于修正隐式技术构造了修正隐式Euler格式和Milstein格式,

期刊

分数阶随机微分方程修正隐式技术Euler格式Milstein格式Fractional stochastic differential equation

奇异四阶三点边值问题正解的存在性

本文研究了非线性四阶三点边值问题u^（4）（t）=λa（t）f（t,u（t））,t∈[0,1],u（0）=u′（η）=u″（1）=u′″（0）=0正解的存在性，其中λ〉0是正参数，η∈[1/2，1）为常数．利用锥上的不动点定理，本文获得了该问题的

期刊

三点奇异边值问题四阶微分方程正解不动点定理Three-point singular boundary value problem Fourth-ord

Bregman弱相对非扩张映象与均衡问题的强收敛定理

本文在自反Banach空间中对可数族Bregman弱相对非扩张映象的不动点集与均衡问题解集的公共元引入一种新的混合迭代算法.在对参数进行适当限制后,本文证明了此迭代算法产生的

期刊

均衡问题Bregman弱相对非扩张非扩张映象Bregman距离自反BANACH空间Equilibrium problem Bregman weak r

有限域上（n,k）（k≥3）型高斯正规基的对偶基的复杂度

确定有限域上的正规基,特别是高斯正规基的复杂度是一个有趣的问题.本文利用有限域的性质给出了有限域上一类（n,k）（k≥3）型高斯正规基的对偶基的复杂度的上下界,由此确定了有限域

期刊

有限域分圆数正规基对偶基迹映射复杂度乘法表Finite field Cyclotomic number Normal basis Dual

由T_0空间的特殊化序定义的定向空间

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范

期刊

定向空间范畴cartesian闭Directed space Category Cartesian closed

三阶非线性微分方程边值问题正解的存在性

本文应用锥上的不动点定理研究了三阶四点边值问题{um（t）＋f（t,u（t）_=0,t∈[0,1],u（0）=αu（ξ）,u（1）＋βu（η）=0，un（0）=0正解的存在性，其中α和β是正的参数，0≤ξ≤η≤1．在f满足适当的增长条件下，本

期刊

边值问题正解不动点定理锥Boundary value problem Posistive solutions Fixed point Cone