期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
多重集合重写与Spi演算的安全协议分析方法
1
作者 王全来 王亚弟 韩继红 《信息工程大学学报》 2007年第2期165-170,187,共7页
当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR... 当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。 展开更多
关键词 安全协议分析 多重集合重写 SPI演算 一致性关系
下载PDF
多重集合的运算研究与应用 被引量:6
2
作者 申初连 《中南林业科技大学学报》 CAS CSCD 北大核心 2007年第3期145-147,共3页
集合是现代数学中最基本的概念之一,并已深入到各种学科和技术领域中.而作为集合概念扩展的多重集合概念,却少有应用.通过对多重集合进行系统研究,提出了多重集合的包含、相等、多重幂集,以及多重集合补集等相关概念和运算,建立了多重... 集合是现代数学中最基本的概念之一,并已深入到各种学科和技术领域中.而作为集合概念扩展的多重集合概念,却少有应用.通过对多重集合进行系统研究,提出了多重集合的包含、相等、多重幂集,以及多重集合补集等相关概念和运算,建立了多重集合完善的理论体系,并给出了多重集合在古典概率中的应用.为进一步研究多重集合在各种学科和技术领域中的应用打下了良好的基础. 展开更多
关键词 数学 多重集合 重复度 多重幂集
下载PDF
空值在多重集合关系中的处理 被引量:1
3
作者 郭咏科 毛宇光 向日锋 《计算机与现代化》 2017年第2期78-82,共5页
数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集合作为查询结果,却仍采用传统集合关系基础上拓展的数据模型处理空值,这给数据库带来安全隐患。为了形式化地描述空值在多重集合关... 数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集合作为查询结果,却仍采用传统集合关系基础上拓展的数据模型处理空值,这给数据库带来安全隐患。为了形式化地描述空值在多重集合关系中的行为,基于空值的Unknown解释,本文提出新的逻辑联结词ψ,对Kleene三值逻辑系统进行扩充,在空值环境下重新定义多重集合关系并扩充了标准多重集合关系代数。此外,还证明了代数运算满足的性质,如:结合律、分配律,这对查询优化有着重要意义。扩充后的标准多重集合关系代数可以用来作为处理数据库空值的抽象查询语言。 展开更多
关键词 空值 关系代数 三值逻辑 多重集合关系
下载PDF
多重集合在Gauss半群中的应用
4
作者 侯维民 《西北师范大学学报(自然科学版)》 CAS 1990年第1期15-18,共4页
本文给出利用多重集合的运算建立 Gauss 半群整除理论的方法.
关键词 多重集合 高斯半群 整除
全文增补中
基于CT图像重建的多重集合分裂可行性问题应用分析
5
作者 王培元 周海云 《应用数学和力学》 CSCD 北大核心 2013年第5期506-517,共12页
为了较好地应用CQ算法解决稀疏角度CT图像重建的问题,提出了一种新的实时的分块逐次混合算法.首先将稀疏角度CT图像重建的问题转化成分裂可行性问题.其次,通过分析非空闭凸集C和Q的不同的定义,在N维实空间中分别针对不同的CQ算法给出了... 为了较好地应用CQ算法解决稀疏角度CT图像重建的问题,提出了一种新的实时的分块逐次混合算法.首先将稀疏角度CT图像重建的问题转化成分裂可行性问题.其次,通过分析非空闭凸集C和Q的不同的定义,在N维实空间中分别针对不同的CQ算法给出了7种不同的实现方案.通过试验,分别对不同算法及其方案的重建精度和收敛速度进行了对比分析,并对多重集合分裂可行性问题算法中约束权因子的选取及其对输出的影响进行了研究,从而给出了CQ算法在稀疏角度CT图像重建问题中应用的最佳凸集定义方案.以此为基础,给出了所提出算法的最佳实现方案.试验结果表明,该算法收敛速度快,重建精度高,为多重集合分裂可行性问题及其改进算法在该重建问题上的应用提供了参考. 展开更多
关键词 CQ算法 多重集合分裂可行性问题 非空闭凸集 图像重建
下载PDF
建立在多重集合上的笛卡儿积
6
作者 吕晓芳 《牡丹江师范学院学报(自然科学版)》 2007年第4期2-3,共2页
通过取消集合元素互异的限制,论述了建立在多重集合基础上笛卡儿积的概念和性质.
关键词 多重集合 重复度 笛卡儿积
下载PDF
单元素多重集合的分组问题
7
作者 王朝康 《西华师范大学学报(哲学社会科学版)》 1988年第3期221-224,共4页
分组问题,种类较多,不少学者也作过研究。但仍有一些分组问题尚未见其解,如完全相同元素的的分组问题,不尽相同元素的分组问题。这里提出完全相同元素的分组问题,即单元素多重集合的分组问题的一种解法。
关键词 多重集合 单元素 见其 分法 递推公式 正奇数 加法原理 三角形分布 递推关系 正偶数
下载PDF
多重集合在Gauss半群中的应用
8
作者 侯维民 《天水师范学院学报》 1990年第1期27-30,共4页
本文研究多重集合的性质,给出利用多重集合的运算建立Gauss半群的整除,最大公约元,最小公倍元等理论的方法.一 多重集合代数通常的集合是一些不同对象的总体.一个多重集合也是一些对象的总体。
关键词 多重集合 GAUSS 半群 理论的方法 代数结构 不可约元 双射 陪集 下定义 当且仅当
下载PDF
圈与路的点被多重集可区别的E-全染色 被引量:1
9
作者 陈祥恩 曹静 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第2期14-22,共9页
图G的E-全染色是指使得相邻顶点染以不同色,每条边与它的端点染以不同的颜色的全染色.设f是图G的E-全染色,图G的一个顶点x在f下的多重色集合C˜(x)是指点x的颜色以及与x关联的边的颜色构成的多重集.若图G的任意两个不同顶点在f下的多重... 图G的E-全染色是指使得相邻顶点染以不同色,每条边与它的端点染以不同的颜色的全染色.设f是图G的E-全染色,图G的一个顶点x在f下的多重色集合C˜(x)是指点x的颜色以及与x关联的边的颜色构成的多重集.若图G的任意两个不同顶点在f下的多重色集合不同,则f称为图G的点被多重集可区别的E-全染色.对图G进行点被多重集可区别的E-全染色所需用的最少的颜色的数目叫做G的点被多重集可区别的E-全色数.利用反证法和构造具体染色的方法,讨论了圈与路的点被多重集可区别的E-全染色问题,给出了圈与路的最优的点被多重集可区别的E-全染色方案,并确定了圈与路的点被多重集可区别的E-全色数. 展开更多
关键词 多重集合 E-全染色 点被多重集可区别的E-全染色
下载PDF
某些顶点对被非多重色集合所区别的未必正常染色的综述 被引量:5
10
作者 陈祥恩 《广州大学学报(自然科学版)》 CAS 2019年第4期50-59,共10页
文章主要对任意两个不同顶点(或任意两个相邻顶点,或任意两个距离不超过d的不同顶点)被非多重色集合可区别的一般边染色(分别的,V-全染色,I-全染色,E-全染色,VI-全染色,VE-全染色,IE-全染色,一般全染色)的研究进展作了简单的介绍.
关键词 多重集合 可区别 一般边染色 V- I- E- VI- VE- IE-全染色 一般全染色
下载PDF
一种多级并发计算模式方案
11
作者 李道奇 夏红霞 陈建勇 《武汉理工大学学报(信息与管理工程版)》 CAS 2002年第4期38-39,共2页
人工生命主流是借用生物学及复杂系统的数理方法等作为理论的背景 ,几乎没有人从计算理论的角度作进一步研究。介绍了超循环的基本概念 ,并以超循环思想为描述方法 。
关键词 计算模式 超循环 多重集合迁移系统 并发计算 多重集合并发系统 并发规则系统 符号计算系统 人工生命
下载PDF
基于KJHH模型的基坑开挖概率反分析方法
12
作者 张军波 费杰 +2 位作者 周张见 汪轮 虞梦菲 《浙江工业大学学报》 北大核心 2023年第6期671-676,698,共7页
基坑开挖工程中,最大地表沉降和最大墙体侧移是非常重要的两个变形量。然而由于土体存在变异性,基坑开挖变形难以准确预测。提出一种基于KJHH模型的基坑开挖概率反分析方法,可以同时预测最大地表沉降和最大墙体侧移。在贝叶斯更新框架下... 基坑开挖工程中,最大地表沉降和最大墙体侧移是非常重要的两个变形量。然而由于土体存在变异性,基坑开挖变形难以准确预测。提出一种基于KJHH模型的基坑开挖概率反分析方法,可以同时预测最大地表沉降和最大墙体侧移。在贝叶斯更新框架下,动态融合各开挖阶段观测数据,利用多重数据同化集合平滑器(Ensemble smoother with multiple data assimilation, ES-MDA)更新土体参数,提高变形预测准确性。以台北TNEC基坑工程为例,验证了所提方法的有效性。实验结果表明:随着融合更多不同开挖阶段的观测数据,预测均值和实测值趋于一致;对于TNEC工程,假设先验分布服从对数正态分布得到的开挖变形预测结果略大于采用均匀分布时的预测结果;变形预测的准确性随着迭代次数和样本量的增加而提高。 展开更多
关键词 概率反分析 贝叶斯更新 基坑开挖 变形预测 KJHH模型 多重数据同化集合平滑器
下载PDF
关于分配问题的一点注记 被引量:1
13
作者 李智明 张长城 《高等数学研究》 2009年第1期89-90,92,共3页
针对统计学中一类典型的分配问题,介绍三种解决方法,即直接观察法,多重集合排列法和正整数分拆法,并比较这些方法的优缺点,同时对问题进行一定的推广性解释.
关键词 多重集合 排列组合 正整数的分拆
下载PDF
海上应急救助站点选址与救助船配置集成优化 被引量:3
14
作者 娄帅 钟铭 张益璇 《上海海事大学学报》 北大核心 2021年第4期47-52,共6页
为提高海上紧急事故救援效率,提出考虑救助船船型、高风险水域多重覆盖和搜救责任区需求的多重集合覆盖模型,并使用蚁群算法对模型进行求解。将该模型应用于渤海及其附近水域进行算例分析,得到救助站点选址与救助船配置方案,并对模型优... 为提高海上紧急事故救援效率,提出考虑救助船船型、高风险水域多重覆盖和搜救责任区需求的多重集合覆盖模型,并使用蚁群算法对模型进行求解。将该模型应用于渤海及其附近水域进行算例分析,得到救助站点选址与救助船配置方案,并对模型优化结果进行敏感性分析。该模型优化结果可为我国交通运输部北海救助局救助船队的更新方向提供参考。 展开更多
关键词 救助站点选址 多重集合覆盖模型 蚁群算法 救助船配置
下载PDF
数论中一个猜测的部分证明
15
作者 徐鹤宪 《南京师大学报(自然科学版)》 CAS CSCD 1993年第2期19-20,25,共3页
本文部分地解决了由 N.Alon 等人提出的数论中的一个猜测.
关键词 数论 多重集合 素数 整向量
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部