期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
一种面向结构化保护的组件层次划分方法 被引量:1
1
作者 盖新貌 沈昌祥 +1 位作者 李勇 刘毅 《计算机工程与应用》 CSCD 北大核心 2011年第36期25-28,共4页
GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径。基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一... GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径。基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一种组件层次划分方法,并证明了层次划分方法的完备性。进一步分析表明,该方法能有效应用于增强系统安全性的研究。 展开更多
关键词 结构化保护 层次化方法 可信计算 完全偏序集 依赖
下载PDF
程序不动点的直观计算意义
2
作者 丁志义 吴庆涛 +1 位作者 宋国新 邵志清 《宁夏大学学报(自然科学版)》 CAS 北大核心 2007年第3期237-240,共4页
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.
关键词 指称语义 不动点 完全偏序 连续函数
下载PDF
全相似保序变换半群H(SPO_n,r)的秩
3
作者 晏华应 游泰杰 刘彬 《数学的实践与认识》 北大核心 2019年第12期292-299,共8页
设自然数n>5,Xn ={l,2,...,n},并赋予自然数的大小顺序,令九(SPO”,r)=SVOn U C(n, r)(5 < n, 2 < r < n - 3)是X 上的全相似部分保序变换半群.得到全相似保序变换半群W(5PC>n,r)的秩为(;「;)+ 2n - 2.
关键词 全相似 部分保序 半群
原文传递
一致连续偏序集理论 被引量:16
4
作者 白仲林 《西北师范大学学报(自然科学版)》 CAS 1996年第2期31-33,共3页
给出了一致连续偏序集的概念及其性质和等价刻划。利用一致极小集的方法阐述了映射的连续性、保一致小于关系和保一致极小集之间的联系,并证明了完备格是一致连续格当且仅当每个元都存在一致极小集。
关键词 一致集 一致完备偏序集 一致连续偏序集 连续格
下载PDF
范畴中态射集星型序的若干研究 被引量:2
5
作者 庄瓦金 《数学杂志》 CSCD 北大核心 2004年第1期105-111,共7页
本文证得星型序的乘法性质、遗传性质及其在偏序下态射广义逆的从属性质 ,并将星序的Hartwig上确界定理推广到带有对合 的正性预加法范畴中 .
关键词 完全子范畴 态射集 左星序 右星序 星序 上确界
下载PDF
论域理论在超大规模集成电路逻辑设计上的运用(英文)
6
作者 孙踊 胡易 《软件学报》 EI CSCD 北大核心 2000年第5期569-583,共15页
认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于 Kleene三值逻辑的不完备性 ,文章将论域理论以及普通不动点算... 认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于 Kleene三值逻辑的不完备性 ,文章将论域理论以及普通不动点算子运用于此 ,使三值逻辑获得此逻辑系统的单调完备性定理 .文章认为这个结果有利于集成电路设计的可靠性 。 展开更多
关键词 超大规模集成电路 逻辑设计 域理论
下载PDF
Z-连续偏序集的Z-极小集理论
7
作者 白仲林 《西北师范大学学报(自然科学版)》 CAS 1997年第2期16-19,共4页
给出了Z-连续偏序集上Z-极小集的概念及其性质和等价刻划,利用Z-极小集的方法阐述了映射的连续性及保Z-Below关系和保Z-极小集之间的联系。
关键词 Z-完备偏序集 Z-连续偏序集 Z-极小集 拓扑
下载PDF
On the Construction of Regular Orthocryptogroups 被引量:2
8
作者 Xiang Zhi KONG Department of Mathematics, Zhengzhou University. Zhengzhou 450052, P. R. China Department of Mathematics, Qufu Normal University, Qufu 273165. P. R. China 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2002年第3期517-530,共14页
The aim of this paper is to study regular orthocryptogroups. After obtaining some charac- terizations of such semigroups, we establish the construction theorem of regular orthocryptogroups. As an application, we give ... The aim of this paper is to study regular orthocryptogroups. After obtaining some charac- terizations of such semigroups, we establish the construction theorem of regular orthocryptogroups. As an application, we give the construction theorem of right quasi-normal orthocryptogroups and study homomorphisms between two regular orthocryptogroups. 展开更多
关键词 completely regular semigroup Regular band ORTHODOX HOMOMORPHISM Natural partial order
原文传递
完全正则半群上的一些偏序关系(英文) 被引量:2
9
作者 刘国新 宋光天 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第5期524-528,共5页
用完全正则半群上的一些偏序关系刻画密码群和正规密码群 .证明了完全正则半群S是密码群当且仅当S =≤而S是正规密码群当且仅当C=S .
关键词 完全正则半群 偏序 密码群 正规密码群
下载PDF
纯正的群的正则带的半格结构
10
作者 袁志玲 孔祥智 《曲阜师范大学学报(自然科学版)》 CAS 2002年第4期39-42,共4页
在给出纯正的群的正则带这类半群的若干特征后 ,建立了纯正的群的正则带的HG_强半格结构及纯正的群的右拟正规带的LG_强半格结构定理 .
关键词 完全正则半群 正则带 纯正 同态 自然偏序 强半格结构 右拟正规带 半格分解
下载PDF
完全正则半群上的3个偏序关系(英文)
11
作者 宋正辉 刘国新 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第4期116-120,共5页
通过一些偏序关系刻画了左密码群并半群、局部正则密码群并半群、局部左正则密码群并半群.证明了完全正则半群S是左密码群并半群当且仅当M=≤;S是局部正则密码群并半群当且仅当B=≤;S是局部左正则密码群并半群当且仅当P=≤.
关键词 完全正则半群 偏序 左密码群并半群 局部正则密码群并半群 局部左正则密码群并半群
下载PDF
关于局部左正则密码群并半群的等价表述
12
作者 胡洵 《重庆工商大学学报(自然科学版)》 2010年第6期561-563,共3页
在对局部左正则密码群并半群的若干研究中,给出了两个关于偏序关系的等价刻画,证明了完全正则半群S是一个局部左正则密码群并半群当且仅当H1=≤或H2=≤.
关键词 完全正则半群 偏序 局部左正则密码群并半群
下载PDF
半格序完全正则周期半群
13
作者 邵勇 《山东大学学报(理学版)》 CAS CSCD 北大核心 2018年第10期1-5,共5页
通过研究半格序完全正则周期半群,证明了半格序完全正则周期半群的乘法导出一定是正则纯正密码群。运用偏序关系,给出了半格序完全正则周期半群是半格序正则带和分配格的等价刻画。
关键词 半格序完全正则周期半群 幂等元 分配格 偏序关系
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部