期刊文献+
共找到53篇文章
< 1 2 3 >
每页显示 20 50 100
机检中布尔逻辑算符的应用技巧探讨 被引量:2
1
作者 毛燕梅 《情报杂志》 CSSCI 北大核心 2001年第2期70-70,共1页
从运用布尔逻辑算符制定检索式的技巧方面进行了探讨。
关键词 计算机检索 布尔逻辑算符 检索式 文献检索 应用技巧
下载PDF
计算机检索用的逻辑算符 被引量:1
2
作者 董雅萍 《现代图书情报技术》 1984年第1期9-12,26,共5页
关键词 检索项 位置逻辑算符 逻辑 布尔逻辑算符 文献数量 检索词 提问式 计算机检索 布尔算符 检索结果
下载PDF
INTERNET网检工具逻辑算符及检索表达式优化 被引量:2
3
作者 魏铁进 《郑州航空工业管理学院学报(管理科学版)》 2000年第3期61-63,共3页
对INTERNET网检工具逻辑算符进行分析和比较。在此基础上 ,提出制定和优化检索表达式的方法。
关键词 INTERNET 网络检索工具 检索表达式 逻辑算符
下载PDF
提高文献查全率和查准率的有效途径——逻辑运算符、位置算符和通配符的灵活运用 被引量:12
4
作者 孙君 陈陶 《现代情报》 北大核心 2006年第10期167-169,173,共4页
逻辑运算符、位置算符和通配符是文献检索中经常使用的检索手段,本文首先概述了它们的使用原理,然后详细介绍了在几个常用数据库中的使用技巧,最后通过具体实例解析了在数据库中的应用,以便为广大的科技工作者和情报检索人员提供有益的... 逻辑运算符、位置算符和通配符是文献检索中经常使用的检索手段,本文首先概述了它们的使用原理,然后详细介绍了在几个常用数据库中的使用技巧,最后通过具体实例解析了在数据库中的应用,以便为广大的科技工作者和情报检索人员提供有益的参考。 展开更多
关键词 查全率 查准率 逻辑算符 位置算符 通配符
下载PDF
经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽? 被引量:4
5
作者 万小龙 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第6期29-38,共10页
如果视"一元算符"为"二元函数为真的反真值函数式",那么可以从原子命题递归地得到16个一元算符;如果视"蕴涵为真"等价于一种"推理有效",那么由于{┑,→}的函数完全性,可以从"蕴涵为真的... 如果视"一元算符"为"二元函数为真的反真值函数式",那么可以从原子命题递归地得到16个一元算符;如果视"蕴涵为真"等价于一种"推理有效",那么由于{┑,→}的函数完全性,可以从"蕴涵为真的反真值函数"定义相应的其他15个直观的算符并且{┑,∧,H4}是完全集。尽管完备的一元算符理论还有待进一步探索,但至少说明作为泛函的反真值函数并非不可能用真值表判定,而且已经能尝试地判定一些问题。 展开更多
关键词 反真值函数 蕴涵为真 辩证否定算符 量子逻辑 一元算符逻辑
下载PDF
小议二级C语言之逻辑运算符
6
作者 吴宏杰 王扬 +2 位作者 张跃辉 迟晓丽 王铮 《电子制作》 2013年第13期106-106,共1页
全国计算机等级考试是在每年的三月份与九月份举行,其中作为本科生报考人数最多的就是二级C语言,C语言的上机操作题每年困扰着这无数的大学生们,二级C语言的上级操作题分为三题,即填空题,改错题,编程题,总共100分,本文举例了二级C语言... 全国计算机等级考试是在每年的三月份与九月份举行,其中作为本科生报考人数最多的就是二级C语言,C语言的上机操作题每年困扰着这无数的大学生们,二级C语言的上级操作题分为三题,即填空题,改错题,编程题,总共100分,本文举例了二级C语言的一些试题加以分析,并且着重介绍了逻辑运算符。 展开更多
关键词 全国计算机等级考试 二级C语言 上机操作 逻辑算符
下载PDF
MEDLINE的AND、WITH与NEAR逻辑运算符之间的区别
7
作者 张明伟 《航空航天医药》 1999年第3期179-180,共2页
关键词 数据库 MEDLINE 逻辑算符 AND WITH NEAR
下载PDF
如何利用逻辑运算符提高文献检索中的查全率和查准率
8
作者 杨青 《办公室业务》 2016年第4期95-95,共1页
对于文献检索来说,文献的查重率和查全率是非常重要的,而且是衡量文献检索的主要技术指标。文章通过对逻辑运算符进行分析研究,利用逻辑运算符来提高文献检索中的查全率和查准率。
关键词 逻辑算符 文献检索 查全率 查准率
下载PDF
巧用逻辑运算符改进Windows XP“搜索”命令
9
作者 杰子 《软件》 2002年第3期51-51,共1页
Windows XP提供的“搜索”命令功能强大,使得你对文件和文件夹、用户以及其他网络计算机的搜索很容易。“搜索”命令还提供了索引服务,该服务维护着计算机上所有文件的索引,借此可提高搜索的速度。使用“搜索”命令时,你也可以使用“
关键词 逻辑算符 WINDOWSXP 操作系统 搜索命令
下载PDF
用好逻辑运算符
10
作者 曲广平 《网络安全和信息化》 2017年第11期96-98,共3页
在Linux系统运维工作中,Shell脚本编程是运维人员必须掌握的一项基本技能。在大多数的Shell脚本中都需要进行条件测试操作,从而使得脚本可以有选择地执行任务。本文介绍如何通过逻辑运算符来同时测试多个条件,以及如何利用逻辑运算符来... 在Linux系统运维工作中,Shell脚本编程是运维人员必须掌握的一项基本技能。在大多数的Shell脚本中都需要进行条件测试操作,从而使得脚本可以有选择地执行任务。本文介绍如何通过逻辑运算符来同时测试多个条件,以及如何利用逻辑运算符来连接多条命令,从而实现简单高效的选择判断操作。 展开更多
关键词 逻辑算符 LINUX系统 脚本编程 操作 测试 命令
下载PDF
巧用搜索引擎逻辑运算符
11
作者 张芸 《新潮电子》 2000年第11期74-74,共1页
关键词 搜索引擎 逻辑算符 互联网 网络查询
下载PDF
对菊池敏典算法逻辑非处理的讨论 被引量:2
12
作者 张进 《现代图书情报技术》 CSSCI 北大核心 1991年第2期12-15,共4页
文章对菊池敏典算法逻辑非处理过程进行了改进,改进后的算法允许逻辑非作用在提问词或子表达式上.因此,改善了算法的适应性.文章给出了改进后算法的流程图.
关键词 菊池敏典算法 逻辑算符
下载PDF
一种描述逻辑与DL-safe规则复合逻辑中的规则抽取方法 被引量:1
13
作者 张阔 李涓子 +1 位作者 唐杰 王克宏 《计算机科学》 CSCD 北大核心 2005年第8期121-123,共3页
OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差。将 OWL与规则相结合是克服这种表达能力限制的一种常用方法。Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-s... OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差。将 OWL与规则相结合是克服这种表达能力限制的一种常用方法。Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内。本文提出了一种抽取DL-safe规则的方法,方法利用SHIQ(D)逻辑中的UNION定义符满足一些规则在前件中包含析取逻辑运算符的需求,从而扩展了规则的描述能力。 展开更多
关键词 描述逻辑 DL-safe规则 OWL 语义网 抽取方法 safe 复合 概念定义 能力限制 逻辑算符
下载PDF
基于元操作的智能合约漏洞检测方法
14
作者 王顺 徐向华 王然 《电子科技》 2024年第9期64-71,共8页
针对静态分析工具由于漏洞扫描流程代码强耦合于工具代码中导致其扩展漏洞成本较高的问题,文中提出了基于元操作的智能合约漏洞检测方法。该方法将工具中的基本检测流程转换为元操作抽象形式,通过不同元操作和逻辑运算符组合来自定义漏... 针对静态分析工具由于漏洞扫描流程代码强耦合于工具代码中导致其扩展漏洞成本较高的问题,文中提出了基于元操作的智能合约漏洞检测方法。该方法将工具中的基本检测流程转换为元操作抽象形式,通过不同元操作和逻辑运算符组合来自定义漏洞扫描流程,以达到通过编写少量漏洞扫描流程语法就可以实现检测不同漏洞,提高工具对智能合约新型漏洞的扩展能力。实验结果证明,根据文中方法所需编写的漏洞描述字符量仅为Slither工具漏洞检测逻辑字符量的8.9%~12.7%,假阳率相比Slither工具降低2%。证明了所提方法可以在保证工具检测可靠性的基础上提供了更强的扩展性和灵活性。 展开更多
关键词 静态分析工具 耦合 漏洞检测 漏洞扫描流程 元操作 逻辑算符 扩展 新型漏洞
下载PDF
面向专业检索的逻辑检索表达式应用策略研究 被引量:4
15
作者 刘春 刘鸿 王雅南 《情报探索》 2015年第6期70-73,135,共5页
阐述了逻辑检索表达式的应用原理与效果;以搜索引擎、维普、万方、CNKI等常用检索工具为例,对比研究选取检索词、专业检索指令和逻辑运算符的应用策略,结合案例对各种检索工具的逻辑检索表达式应用策略进行分析,总结策略的调整和优化方法。
关键词 专业检索 检索指令 字段符 逻辑算符 检索表达式
下载PDF
谨慎使用NOT算符
16
作者 单桂娜 《情报理论与实践》 1986年第4期44-45,共2页
DIALOG 系统的三个布尔逻辑算符AND,OR,NOT 都可以用符号代替,共中,AND 以“*”代替,OR 以“+”代替,NOT 以“-”代替。但是,NOT 算符只有在使用 COMBINE 指令的检索式中才可以用“-”代替,而在使用 SELECt 指令(无论其后跟检索词还是组... DIALOG 系统的三个布尔逻辑算符AND,OR,NOT 都可以用符号代替,共中,AND 以“*”代替,OR 以“+”代替,NOT 以“-”代替。但是,NOT 算符只有在使用 COMBINE 指令的检索式中才可以用“-”代替,而在使用 SELECt 指令(无论其后跟检索词还是组号)的检索式中 展开更多
关键词 检索式 布尔逻辑算符 检索词 代替 检索结果 系统对 指令 组号 符号 错误
下载PDF
基于逻辑单粒子的多方量子密钥协商协议
17
作者 许盛伟 康婕 《计算机应用》 CSCD 北大核心 2022年第1期157-161,共5页
集体噪声对量子密码协议的影响不可忽视,然而可抵抗集体噪声的多方量子密钥协商(MQKA)协议还很少。为了抵抗集体噪声的影响,分别针对可抗集体退相位噪声的逻辑单粒子和可抗集体旋转噪声的逻辑单粒子提出了两组逻辑酉算符,使得将其作用... 集体噪声对量子密码协议的影响不可忽视,然而可抵抗集体噪声的多方量子密钥协商(MQKA)协议还很少。为了抵抗集体噪声的影响,分别针对可抗集体退相位噪声的逻辑单粒子和可抗集体旋转噪声的逻辑单粒子提出了两组逻辑酉算符,使得将其作用在逻辑单粒子上后,其中两个酉算符不改变测量基,而另外两个会改变测量基。基于此性质提出一个MQKA协议。首先,每个参与者传输逻辑单粒子给下一位;然后,该逻辑单粒子经过其他所有参与者的加密重新回到这个参与者,形成一个“环形”;最后,通过测量来获取共享密钥。安全性分析证明,该协议能够抵抗截取重发攻击、纠缠测量攻击以及参与者攻击;效率分析表明,该协议具有较高的量子比特效率。 展开更多
关键词 逻辑算符 多方量子密钥协商 集体退相位噪声 集体旋转噪声 参与者攻击
下载PDF
选择逻辑表达式子模块的编程探讨
18
作者 张兆响 王传生 《山东工商学院学报》 1995年第4期73-77,共5页
一、问题的提出众所周知,在数据库管理系统的操作和运行过程中,往往需要选择不同条件的数据或字段进行诸如数据输入、修改、统计、查询、输出等功能的处理,这时就需要对要处理的数据、字段、以及条件等进行选择.选择的方法就交互式命令... 一、问题的提出众所周知,在数据库管理系统的操作和运行过程中,往往需要选择不同条件的数据或字段进行诸如数据输入、修改、统计、查询、输出等功能的处理,这时就需要对要处理的数据、字段、以及条件等进行选择.选择的方法就交互式命令而言,可以选用:@【row,col】SAY/GET、ACCEPT[【expC】]TO【mem-var】.等命令,由操作人员输入.但这种方式速度慢、效率低,有时如果操作人员忘记了字段名或字段类型,还可能造成许多不必要的麻烦,这就与关系型数据库FoxXBASE+2.1运行速度快、命令及函数功能强等特点形成较大的反差.为解决这个问题,作者在实际编程过程中,利用FoxBASE+2.1的上弹菜单MENU命令功能——可以通过菜单窗口的滚动来显示其后续选择项,以及FIELD函数功能——可以返回当前打开的数据库中指定的字段名,两者相互结合较好地解决了上述问题.下面。 展开更多
关键词 逻辑表达式 逻辑算符 子程序 子模块 选择字段 关系型数据库 数据库管理系统 数据库字段 上弹菜单 FOXBASE+
下载PDF
浅析C语言学习中的逻辑运算
19
作者 杨文清 《计算机产品与流通》 2020年第9期190-190,共1页
C语言是一种灵活、方便且功能强大的基础的程序设计语言,也是使用最广泛的一种语言。本文通过剖析C语言中"!"、"||"和"&&"运算符的运算规则,及它们与常见的几种运算符组成的混合表达式执行的过程... C语言是一种灵活、方便且功能强大的基础的程序设计语言,也是使用最广泛的一种语言。本文通过剖析C语言中"!"、"||"和"&&"运算符的运算规则,及它们与常见的几种运算符组成的混合表达式执行的过程,帮助初学者更好的理解、学习逻辑运算及复杂逻辑运算表达式的执行过程的,让学生们能够更好的学习C语言这门课程。 展开更多
关键词 C语言 逻辑算符 短路
下载PDF
判断假命题的逻辑理论及方法
20
作者 温传校 《青海民族大学学报(教育科学版)》 1990年第3期80-82,共3页
在数学教学和研究中,特别是给学生解惑的时候,常常会碰到假命题,解决极不容易。本文以逻辑代数的基本知识,阐明判断假命题的逻辑理论。根据这些理论得出判断方法。一、逻辑理论为了叙述简洁,采用[1]中的逻辑运算符号,把“∧”号省略,把... 在数学教学和研究中,特别是给学生解惑的时候,常常会碰到假命题,解决极不容易。本文以逻辑代数的基本知识,阐明判断假命题的逻辑理论。根据这些理论得出判断方法。一、逻辑理论为了叙述简洁,采用[1]中的逻辑运算符号,把“∧”号省略,把“∨”写为“+”。 展开更多
关键词 逻辑理论 逻辑算符 逻辑代数 数学教学 命题函数 数学命题 证法 推不出 平分线 证明方法
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部