布尔逻辑

作品数：99被引量：231H指数：8
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：陈寿昌陈锦锋何明华魏榕山缪向水更多>>
相关机构：华中科技大学福州大学中国科学院中山大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家科技重大专项宁波市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
科技查新检索策略的制定方法探析被引量：2
《技术与市场》2024年第3期118-120,共3页邹振飞 刘洪麟 韩晓腾 沈秋君 杨睿智 牛攀 
科技查新的核心在于高效和准确地检索到相关的科技信息资源,而这一过程的关键在于制定有效的检索策略。为探讨科技查新检索策略的制定方法,分析了检索策略的组成要素、制定步骤以及在实际操作中的应用。首先对检索策略的基本定义进行了...
关键词：科技查新 检索策略 信息检索 检索词 布尔逻辑 
改进的共享布尔逻辑进位选择加法器设计
《现代信息科技》2024年第4期61-65,共5页吴盛林 
在当今高度数字化和计算密集型的环境下,设计出高速和低功耗的加法器,例如进位选择加法器(Carry Select Adder,CSLA)是至关重要的。基于此提出一种改进共享布尔逻辑进位选择加法器。与现有设计相比,该设计在牺牲部分功耗和速度的基础上...
关键词：进位选择加法器 晶体管数量 功耗 延迟 
基于测试用例的通用联锁规则自动测试系统
《铁道通信信号》2023年第10期15-22,共8页辛帆 王印 谢林 杨平 
卡斯柯信号(成都)有限公司开发项目(RB.1X323005)。
为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、...
关键词：联锁规则 自动测试 测试用例 模块化仿真 布尔逻辑 
布尔逻辑思想初探
《盐城工学院学报（社会科学版）》2023年第3期22-25,共4页杨日成 宁莉娜 
以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸...
关键词：布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向 
基于布尔逻辑和Openpyxl的招标文件合规性自动化审查方案被引量：2
《电工技术》2022年第22期192-194,共3页喻琤 吴越人 潘丐多 郭燕玲 
招标工作中各类文件的审查内容日益多样化和复杂化,人工审查越来越难以满足审查效率和准确率要求,对此提出了一种基于布尔逻辑计算的招标文件合规性审查规则,同时结合Openpyxl完成对招标文件的自动化审查,对审查的结果按照结构化的方式...
关键词：自动化审查 布尔逻辑 Openpyxl 
金字塔结构逻辑运用二值脉冲对简单图形处理
《自动化学报》2022年第2期615-626,共12页王上 
本文根据元胞自动机模型划分方法,将二维图像分解为2×2矩阵单元结构.提出了几种逻辑运算式,用以分类由黑白二值点构成的2×2矩阵图形.通过CNN神经网络的多层结构形式,分析了金字塔结构逻辑在相似的组合形式下,对二值图形边缘检测和池...
关键词：元胞自动机 金字塔结构 布尔逻辑 脉冲 延时继电器 
基于标准化函数与布尔逻辑的医院实验室自动审核系统设计与应用被引量：4
《中国医学装备》2022年第1期129-132,共4页杨超 孙德华 张鹏 亓涛 赵明海 郑磊 
目的:设计基于标准化函数与布尔逻辑的新型自动审核系统,提高医院实验室自动审核效率。方法:将自动审核中涉及到的样本信息划分为分析前、分析中和分析后的各种要素进行标准化并形成标准化函数,然后采用布尔逻辑和多种运算符联合多个标...
关键词：布尔逻辑 标准化函数 自动审核 智能提示 实验室信息系统 
基于多逻辑域的逻辑综合研究进展被引量：2
《微纳电子与智能制造》2021年第2期64-73,共10页储著飞 王伦耀 夏银水 
国家自然科学基金(61871242);浙江省自然科学基金(LY19F040004);专用集成电路与系统国家重点实验室开放研究课题基金(2021KF008)项目资助
逻辑综合是集成电路设计自动化的重要步骤,随着集成电路规模的指数级增长和新的计算范式不断涌现,传统基于单逻辑的逻辑综合面临新的挑战。单逻辑域自动综合面临的主要问题是使用场景单一,针对高性能、低能耗、小面积等多应用场景,基于...
关键词：逻辑综合 逻辑优化 布尔逻辑 多数逻辑门 
布尔逻辑理论中“不可解释的表达式”问题研究
《湖北大学学报（哲学社会科学版）》2020年第3期93-100,共8页王春丽 何向东 
国家社会科学基金重大项目“信息互动的逻辑、认知与计算研究”(14ZDB016)。
以亚里士多德为代表的古典逻辑向现代符号逻辑的数学转向,是逻辑史上的一场革命。布尔把数学方法引入逻辑,为现代逻辑的发展奠定了基础。布尔的逻辑理论主要由一个基本逻辑系统及其扩充构成,而在布尔逻辑理论的批判者看来,布尔无限制地...
关键词：布尔逻辑 不可解释的表达式 逻辑的普遍方法 
一种优化联锁布尔逻辑的算法被引量：1
《电子世界》2019年第17期49-50,共2页王玲群 莫运前 何红光 
布尔代数被应用于计算机联锁系统,用来表示联锁逻辑关系,而已有辅助工具自动生成的布尔代数存在数据量大、有冗余变量、逻辑复杂等问题。本文针对这些问题,提出了一种优化联锁布尔逻辑的算法。该算法通过替换表达式中常1和常0变量,拆分...
关键词：计算机联锁系统 布尔逻辑 优化 算法 布尔代数 运算速度 逻辑表达式 逻辑关系 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部