山东省自然科学基金(2003ZX13) 作品数:5 被引量:6 H指数:2 相关作者: 陈学友 李庆国 邓自克 王斐 王凤英 更多>> 相关机构: 山东理工大学 湖南大学 更多>> 发文基金: 山东省自然科学基金 国家自然科学基金 更多>> 相关领域: 理学 文化科学 更多>>
拟信息基,ω-代数Cpo,和SFP domain 2006年 G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划. 陈学友 李庆国 曹永林关键词:SFP DOMAIN 可加广义代数格上的分离性 被引量:1 2006年 邓自克教授提出的可加的广义代数格范畴,等价于T0—拓扑空间范畴.从而可加的广义代数格可以看作为一个闭集格,在本文,我们建立了正则、完全正则、正规等分离性. 陈学友 邓自克 李庆国关键词:可加性 分离性 基于可信度和UCON的资源分发研究与应用 被引量:2 2007年 基于可信度和使用访问控制,研究数字资源分发中的使用权控制问题。将UCON所涵盖的传统访问控制、信任管理和数字版权保护三大领域结合起来进行研究,实现开放式网络环境下在线阅读资源分发控制系统。根据UCONABC基础模型给出系统形式化描述。 王斐 王凤英代数L-Domain的函数空间 被引量:1 2007年 利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间.证明了如果L_1和L_2都是代数的L-domain,则函数空间[L_1→L_2]也是代数的L-domain. 李庆国 陈学友关键词:L-DOMAIN WAY-BELOW关系 可加广义代数格上的Tietze扩张定理 被引量:2 2007年 可加的广义代数格范畴与T0拓扑空间范畴相等价,从这个观点出发,作者把可加广义代数格作为一个闭集格,在其上建立Urysohn引理和Tietze扩张定理.这是拓扑理论在格上的一种新推广,有助于格上拓扑理论的研究和广义连续格理论的应用. 陈学友 李庆国 龙飞 邓自克关键词:完备格 可加性