期刊文献+
共找到75篇文章
< 1 2 4 >
每页显示 20 50 100
On Addition of Sets in Boolean Space
1
作者 Vladimir Leontiev Garib Movsisyan Zhirayr Margaryan 《Journal of Information Security》 2016年第4期232-244,共14页
In many problems of combinatory analysis, operations of addition of sets are used (sum, direct sum, direct product etc.). In the present paper, as well as in the preceding one [1], some properties of addition operatio... In many problems of combinatory analysis, operations of addition of sets are used (sum, direct sum, direct product etc.). In the present paper, as well as in the preceding one [1], some properties of addition operation of sets (namely, Minkowski addition) in Boolean space B<sup>n</sup> are presented. Also, sums and multisums of various “classical figures” as: sphere, layer, interval etc. are considered. The obtained results make possible to describe multisums by such characteristics of summands as: the sphere radius, weight of layer, dimension of interval etc. using the methods presented in [2], as well as possible solutions of the equation X+Y=A, where  , are considered. In spite of simplicity of the statement of the problem, complexity of its solutions is obvious at once, when the connection of solutions with constructions of equidistant codes or existence the Hadamard matrices is apparent. The present paper submits certain results (statements) which are to be the ground for next investigations dealing with Minkowski summation operations of sets in Boolean space. 展开更多
关键词 Hadamard Matrices Minkowski Addition MULTISET CARDINALITY Multisum Interval Quadrate boolean space Stabilizer Additive Channel
在线阅读 下载PDF
基于量子逻辑的正交模格新刻画
2
作者 杨小飞 肖飞虎 +1 位作者 马盈仓 辛小龙 《山东大学学报(理学版)》 北大核心 2025年第5期74-78,共5页
为了研究正交模格中正交模律新的刻画,本文从代数的视角,借助补运算给出了正交模律的等价刻画。利用部分运算加法和减法的互逆性给出了正交模律的等价刻画。利用全局运算乘法和蕴涵的剩余性给出了正交模律的等价刻画,这些事实揭示正交... 为了研究正交模格中正交模律新的刻画,本文从代数的视角,借助补运算给出了正交模律的等价刻画。利用部分运算加法和减法的互逆性给出了正交模律的等价刻画。利用全局运算乘法和蕴涵的剩余性给出了正交模律的等价刻画,这些事实揭示正交模律产生的内在规律。通过例子说明正交模格上的全局运算加法和乘法都是非结合的和非交换的。 展开更多
关键词 正交模格 正交格 布尔代数 希尔伯特空间 量子逻辑
原文传递
具有析取性质的软代数 被引量:2
3
作者 裴礼文 罗从文 《华中师范大学学报(自然科学版)》 CAS CSCD 1996年第3期249-252,共4页
证明了具有析取性质的软代数所对应的拓扑空间是含有一个对合同胚的布尔空间,由此得到一个软代数具有析取性质的充要条件是它的每个素理想都是极大理想.此外,证明了既约的具有析取性质的软代数仅有二元链及四元可补格M2.
关键词 软代数 析取性质 布尔空间 分配格 拓扑空间 对合同胚 素理想
在线阅读 下载PDF
布尔网络的分析与控制—矩阵半张量积方法 被引量:116
4
作者 程代展 齐洪胜 赵寅 《自动化学报》 EI CSCD 北大核心 2011年第5期529-540,共12页
布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的... 布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的拓扑结构,布尔控制网络的能控、能观性与实现,布尔网络的稳定性和布尔控制网络的镇定,布尔控制网络的干扰解耦,布尔(控制)网络的辨识,以及布尔网络的最优控制等. 展开更多
关键词 矩阵半张量积 逻辑系统 布尔(控制)网络 状态空间与正规子空间
在线阅读 下载PDF
基于改进Freeman-Newell模型的机械产品概念设计过程研究 被引量:4
5
作者 宋慧军 林志航 《机械工程学报》 EI CAS CSCD 北大核心 2002年第10期54-58,共5页
在引入行为信息的基础上,对Freeman—Newell模型进行了改进,建立了基于功能和行为的载体认知模型,描述了设计过程中单元求解过程;基于该载体认知模型构造了概念设计过程模型一概念空间;采用布尔矢量/矩阵对概念空间中设计元素之间的关... 在引入行为信息的基础上,对Freeman—Newell模型进行了改进,建立了基于功能和行为的载体认知模型,描述了设计过程中单元求解过程;基于该载体认知模型构造了概念设计过程模型一概念空间;采用布尔矢量/矩阵对概念空间中设计元素之间的关系进行了描述,使之便于计算机的表达和操作,在此基础上,给出了概念设计过程的形式化描述。最后以工业平缝机为例对所述模型和方法进行了说明。 展开更多
关键词 机械产品 概念设计 Freeman-Newell模型 概念空间 布尔矢量/矩阵 CAD
在线阅读 下载PDF
网络信息过滤技术研究 被引量:5
6
作者 杜治波 明均仁 《现代情报》 北大核心 2008年第6期82-84,共3页
面对互联网上不断出现的信息流,信息过滤能够根据用户自己的需求,通过过滤机制来主动选择所需的信息,有效解决了信息迷航的问题。本文首先就信息过滤当前研究状况、意义做了一个分析,然后重点就信息过滤关键技术匹配算法做了一个深入探... 面对互联网上不断出现的信息流,信息过滤能够根据用户自己的需求,通过过滤机制来主动选择所需的信息,有效解决了信息迷航的问题。本文首先就信息过滤当前研究状况、意义做了一个分析,然后重点就信息过滤关键技术匹配算法做了一个深入探讨,以期能廓清人们的认识。 展开更多
关键词 信息过滤 布尔模型 向量空间模型 概率模型
在线阅读 下载PDF
基于概念扩充的中文文本过滤模型 被引量:7
7
作者 林鸿飞 战学刚 姚天顺 《计算机科学》 CSCD 北大核心 2000年第2期88-90,82,共4页
1 前言今天,以因特网为主体的信息高速公路仍在不断普及和发展,因特网上蕴涵的海量信息远远超过人们的想象,面对这样的信息汪洋大海,人们往往感到束手无策,无所适从,出现所谓的“信息过载”问题。如何帮助人们有效地选择和利用所感兴趣... 1 前言今天,以因特网为主体的信息高速公路仍在不断普及和发展,因特网上蕴涵的海量信息远远超过人们的想象,面对这样的信息汪洋大海,人们往往感到束手无策,无所适从,出现所谓的“信息过载”问题。如何帮助人们有效地选择和利用所感兴趣的信息,同时保证人们在信息选择方面的个人隐私权利?这已成为学术界和企业界所十分关注的焦点。因此。 展开更多
关键词 中文文本 文本过滤模型 概念扩充 信息过滤
在线阅读 下载PDF
融合模拟退火的遗传算法在文档聚类中的应用 被引量:2
8
作者 白曦 吕晓枫 孙吉贵 《计算机工程与应用》 CSCD 北大核心 2006年第23期144-148,共5页
为了准确高效地对网上获取的文档进行聚类,在布尔逻辑模型的基础上提出了一种改进的最优相似度搜索方法。该方法将模拟退火的思想融入到遗传算法当中,通过“撒种”操作将模拟退火算法的局部搜索能力以及遗传算法的全局搜索能力结合起来... 为了准确高效地对网上获取的文档进行聚类,在布尔逻辑模型的基础上提出了一种改进的最优相似度搜索方法。该方法将模拟退火的思想融入到遗传算法当中,通过“撒种”操作将模拟退火算法的局部搜索能力以及遗传算法的全局搜索能力结合起来。实验表明,使用该混合算法对文档进行聚类,不仅搜索效率得到了提高,而且准确度优于使用传统的遗传算法。 展开更多
关键词 布尔模型 向量空间模型 文档聚类 遗传算法 模拟退火
在线阅读 下载PDF
网络文本信息过滤的意义及其模型初探 被引量:4
9
作者 明均仁 张帆 《图书与情报》 CSSCI 2007年第4期37-42,共6页
网络文本信息过滤可根据用户的需求,通过过滤机制主动选择所需的信息,有效解决网络信息迷航的问题。文章就网络文本信息过滤的用户建模和用户匹配技术进行了初步探讨,并在阐述信息过滤一般应用模型的基础上提出网络文本信息过滤模型,分... 网络文本信息过滤可根据用户的需求,通过过滤机制主动选择所需的信息,有效解决网络信息迷航的问题。文章就网络文本信息过滤的用户建模和用户匹配技术进行了初步探讨,并在阐述信息过滤一般应用模型的基础上提出网络文本信息过滤模型,分析网络文本信息过滤模型的应用特征及其组件,并着重讨论了布尔逻辑模型、概率模型和向量空间模型的基本原理与方法,最后就模型中两大技术应用存在的问题总结并提出了一些改进意见。 展开更多
关键词 文本过滤 布尔模型 向量空间模型 概率模型 用户模型 相关反馈
在线阅读 下载PDF
布尔矩阵空间及正则布尔矩阵的g-逆线性空间 被引量:1
10
作者 吴哲辉 陈莉 《曲阜师范大学学报(自然科学版)》 CAS 1995年第2期17-22,共6页
研究了布尔矩阵空间和正则布尔矩阵的g-逆线性空间的一些性质。在此基础上,给出了正则布尔矩阵的g-逆集的另一个表示法。进而,提出了正则布尔矩阵的特征矩阵概念,通过特征矩阵可以表征一个正则布尔矩阵的极小g-逆集、主g-逆... 研究了布尔矩阵空间和正则布尔矩阵的g-逆线性空间的一些性质。在此基础上,给出了正则布尔矩阵的g-逆集的另一个表示法。进而,提出了正则布尔矩阵的特征矩阵概念,通过特征矩阵可以表征一个正则布尔矩阵的极小g-逆集、主g-逆和g-逆线性空间的一些重要性质。 展开更多
关键词 布尔矩阵空间 正则布尔矩阵 G-逆 线性空间 特征矩阵
在线阅读 下载PDF
概率命题逻辑是经典命题演算形式系统的随机事件语义 被引量:1
11
作者 刘宏岚 高庆狮 杨炳儒 《小型微型计算机系统》 CSCD 北大核心 2011年第5期978-982,共5页
经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑... 经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算. 展开更多
关键词 经典命题演算形式系统 概率命题逻辑 概率空间 布尔代数 同态
在线阅读 下载PDF
基于p范式模型的检索 被引量:3
12
作者 迟呈英 战学刚 姚天顺 《中文信息学报》 CSCD 北大核心 2000年第4期35-41,共7页
随着电子文本的大量涌现 ,人们对信息检索工具提出了更高的要求。本文介绍一种扩展的布尔检索模型及其在中文信息检索系统中的应用 ,并利用相关反馈技术改善检索系统性能。
关键词 向量空间模型 布尔模型 p范式模型 信息检索系统
在线阅读 下载PDF
近几年来国外信息检索模型研究进展 被引量:16
13
作者 孙坦 周静怡 《图书馆建设》 CSSCI 北大核心 2008年第3期82-85,共4页
信息检索模型是信息检索的核心。近几年来国外对于布尔模型的研究主要表现在对布尔模型的改进及对扩展布尔模型的进一步优化。对向量空间模型的研究,主要集中在对向量空间模型的扩展研究及对向量空间模型的应用方面。概率模型的发展主... 信息检索模型是信息检索的核心。近几年来国外对于布尔模型的研究主要表现在对布尔模型的改进及对扩展布尔模型的进一步优化。对向量空间模型的研究,主要集中在对向量空间模型的扩展研究及对向量空间模型的应用方面。概率模型的发展主要集中在继续对概率模型进一步的研究,其与其它信息检索模型的结合,以及语言模型的研究和发展。近年来对于新兴的基于本体的信息检索模型的研究,主要集中在对基于本体的信息检索模型理论的研究,与其它检索模型的融合,以及基于本体检索模型的应用。国外信息检索模型研究的最新成果,为国内此方面的研究提供了前沿性的参考信息。 展开更多
关键词 信息检索 布尔模型 向量空间模型 概率模型 语言模型 本体
在线阅读 下载PDF
基于统计语言模型的信息检索 被引量:9
14
作者 李晓光 王大玲 于戈 《计算机科学》 CSCD 北大核心 2005年第8期124-127,共4页
本文对基于统计语言模型的信息检索进行了综述,介绍了目前基于统计语言模型信息检索中比较有代表性的模型,给出了语言模型估计中常用的几种平滑技术,将语言模型同目前流行信息检索模型进行了比较,在此基础上,指出了基于统计语言模型信... 本文对基于统计语言模型的信息检索进行了综述,介绍了目前基于统计语言模型信息检索中比较有代表性的模型,给出了语言模型估计中常用的几种平滑技术,将语言模型同目前流行信息检索模型进行了比较,在此基础上,指出了基于统计语言模型信息检索的研究方向。 展开更多
关键词 统计语言模型 信息检索 平滑技术 布尔模型 概率模型 向量空间模型 信息检索模型 模型估计
在线阅读 下载PDF
基于布尔过程论的波形和波形空间的性质及应用 被引量:1
15
作者 尤志强 张大方 刘先霞 《电子学报》 EI CAS CSCD 北大核心 2000年第8期107-109,共3页
本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算... 本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算子的性质 ,论证了定义的距离的连续性和给出通路敏化的条件 ,展示了布尔过程论的应用前景 . 展开更多
关键词 布尔过程 波形空间 波形距离 波形极限 布尔代数
在线阅读 下载PDF
基于Web的信息过滤机制 被引量:14
16
作者 林鸿飞 《计算机工程与应用》 CSCD 北大核心 2002年第2期190-192,共3页
信息过滤目的在于依据用户兴趣进行动态信息搜索以满足用户的需求。文章给出了基于Web的信息过滤机制。它根据用户信息需求,建立公共模板,利用搜索引擎获取信息源;然后利用文档与用户模板的匹配机制,将相关文档推送给用户。在文档结构... 信息过滤目的在于依据用户兴趣进行动态信息搜索以满足用户的需求。文章给出了基于Web的信息过滤机制。它根据用户信息需求,建立公共模板,利用搜索引擎获取信息源;然后利用文档与用户模板的匹配机制,将相关文档推送给用户。在文档结构分析和相关反馈的基础上,提出了特征抽取和权重分配算法;将布尔模型和向量空间模型相结合,提出了文档与用户模板匹配算法。 展开更多
关键词 信息过滤 用户模板 向量空间模型 布尔模型 WEB INTERNET
在线阅读 下载PDF
二进神经网络学习算法研究 被引量:5
17
作者 马晓敏 杨义先 章照止 《计算机学报》 EI CSCD 北大核心 1999年第9期931-935,共5页
把二进神经网络对布尔函数映射的学习归结为神经元对学习样本集合的表达.通过对神经元表达能力的分析研究,引入加权距离汉明球的概念,既提高了学习效率也简化了布尔函数实现结构,同时把汉明球及立方体集合覆盖思想等统一在加权汉明... 把二进神经网络对布尔函数映射的学习归结为神经元对学习样本集合的表达.通过对神经元表达能力的分析研究,引入加权距离汉明球的概念,既提高了学习效率也简化了布尔函数实现结构,同时把汉明球及立方体集合覆盖思想等统一在加权汉明距离球覆盖的框架下.另外,还得到旨在提高输出层神经元表达能力的新结果.最后举例说明了此学习策略的可行性与特点.经学习得到的二进神经网络的权系数及阈值皆为整数。 展开更多
关键词 神经网络 学习算法 汉明空间 布尔函数
在线阅读 下载PDF
一种布尔多项式的高效计算机表示 被引量:3
18
作者 李昕 林东岱 徐琳 《计算机研究与发展》 EI CSCD 北大核心 2012年第12期2568-2574,共7页
布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求... 布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求解算法,分析了该矛盾的产生根源,提出了解决途径,进而设计了一种全新的布尔多项式计算机表示,称之为BanYan.BanYan适用于基于首项约化的求解算法,如F4,F5,XL等算法.通过记录中间结果的生成信息而非其本身,避免算法实现陷入项数规模高速膨胀带来的巨大存储负担.与BDD和系数矩阵等基于项的传统布尔多项式表示相比,平均情况以及最坏情况下,使用BanYan表示法所需要的空间约为项数表示法的1?l(l为计算过程中产生的多项式的平均项数),从而显著提升布尔方程组求解算法的现实求解能力. 展开更多
关键词 代数攻击 布尔多项式代表 布尔方程组求解 Grnber基 空间需求
在线阅读 下载PDF
零化多项式与仿射空间关系研究 被引量:3
19
作者 曹浩 魏仕民 徐精明 《计算机工程》 CAS CSCD 北大核心 2009年第20期137-139,共3页
为把流密码的代数攻击问题转化为求解布尔函数的低次数零化多项式问题,讨论布尔函数的性质,介绍{0,1}上矩阵的特殊结构,研究两者间的关系,在此基础上探讨n元布尔函数f的零化多项式次数与f的支撑点集之间的关系,实验结果表明,寻找布尔函... 为把流密码的代数攻击问题转化为求解布尔函数的低次数零化多项式问题,讨论布尔函数的性质,介绍{0,1}上矩阵的特殊结构,研究两者间的关系,在此基础上探讨n元布尔函数f的零化多项式次数与f的支撑点集之间的关系,实验结果表明,寻找布尔函数零化多项式等价于在布尔函数的零点集合中寻找最大的仿射空间。 展开更多
关键词 布尔函数 支撑点集 零化多项式 仿射空间
在线阅读 下载PDF
信息检索概述 被引量:2
20
作者 朱杰 吴树芳 +1 位作者 郝国森 刘永利 《科技信息》 2009年第5期48-48,25,共2页
信息检索的研究重点是如何有效地获取某些信息,现阶段采用的信息检索技术主要基于布尔表达式、向量空间模型及概率模型。论文在介绍信息检索定义及基本原理的基础上,描述了这三种经典信息检索模型,并对这三种模型进行了简单比较。
关键词 信息检索 布尔 矢量模型 概率模型
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部