逻辑表达式

作品数：155被引量：102H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李西平向剑文张晓东王伦耀储著飞更多>>
相关机构：上海交通大学中央广播电视大学西安交通大学北京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金教育部“新世纪优秀人才支持计划”山东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
循环多层感知器神经网络下的符号逻辑推理系统设计分析
《数字技术与应用》2024年第12期63-65,共3页徐玉清 
在现代人工智能领域,符号逻辑推理一直是一个重要的研究方向,它涉及如何利用计算机处理和理解形式化的逻辑表达式。随着深度学习技术的兴起,循环多层感知器(RNN)神经网络作为一种强大的序列处理模型,已经被广泛应用于各种符号逻辑推理...
关键词：自然语言处理 逻辑表达式 多层感知器 神经网络 知识图谱 深度学习技术 逻辑推理 系统设计分析 
量子符号执行的优化
《北京工业大学学报》2023年第6期621-629,共9页姜楠 王子臣 王健 王海亮 
国家自然科学基金资助项目(61502016);北京市重点实验室开放课题资助项目(202209300499)。
量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执...
关键词：量子符号执行 线路优化 量子程序测试 关系表达式简化 逻辑表达式简化 嵌套条件简化 
基于逻辑混合Petri网的混合系统建模与分析被引量：7
《山东科技大学学报（自然科学版）》2021年第4期65-75,共11页刘伟 史晓浩 孙红伟 
国家自然科学基金项目(61472228);山东省自然科学基金项目(ZR2020MF033)。
逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统。基于此,提出逻辑混合Petri网。首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式。其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标...
关键词：逻辑混合Petri网 混合系统 逻辑表达式 标识求解方程 引发规则 
类目式文档语义特征AND-OR逻辑表达式生成方法
《数据分析与知识发现》2021年第5期95-103,共9页徐峥 乐小虬 
【目的】将类目式文档中的类目单元表示成语义特征AND-OR逻辑表达式,使类目文档实现语义化表示,为类目语义匹配、语义检索等应用提供语义化数据。【方法】以类目单元描述/注释文本AND-OR逻辑语义标注数据为基础,利用UniLM模型,通过学习...
关键词：语义表示 语义解析 AND-OR逻辑 类目式文档 
逻辑设计法在PLC应用程序设计中的应用
《湖北农机化》2020年第15期64-65,共2页曹丽苹 
2019年保定市科技计划自筹经费项目《台钻改制为自动攻丝机的研究与实践》,项目编号:1911ZG001。
本文介绍了逻辑设计法及其在开关量的PLC程序控制系统编程中的应用。以车间排风系统运行状态监控为例,详细介绍了逻辑设计法应用于工程实践的具体设计步骤。
关键词：逻辑设计法 状态表 逻辑表达式 
PLC顺序控制设计法的自动运料小车实现被引量：5
《科学技术创新》2020年第18期61-62,共2页潘骁 
PLC控制程序是电气系统控制过程中的一个重要环节。传统的经验编程法不适宜较为复杂的逻辑控制。以自动运料小车为例,采用顺序控制设计法,通过画出功能图与逻辑表达式,最终编写出PLC梯形图控制程序,并在GX Developer软件上通过逻辑测试。
关键词：PLC 顺序控制 逻辑表达式 梯形图 
写给初学者的FPGA入门指南(23)总结
《无线电》2020年第5期56-57,共2页张文挺 
这个系列最开始是从数字电路基础,也就是组合逻辑和时序逻辑讲起。确实,在后面的设计中,几乎没有需要直接手绘门级电路的场合,也没有需要人工考虑真值表的场合。但最开始选择从逻辑电路讲起,而不是从Vehlog语言讲起,是因为Verilog终究...
关键词：逻辑表达式 计算法则 组合逻辑 逻辑电路 卡诺图 时序逻辑 真值表 入门 
逻辑设计法在PLC编程中的应用被引量：1
《机电信息》2020年第9期86-87,共2页于涛 刘海华 
简要介绍了逻辑设计法及其在PLC开关量程序控制系统编程中的应用。以四组抢答器控制系统为例,详细描述了逻辑设计法应用于工程实践的具体设计步骤。
关键词：逻辑设计法 PLC 状态转换表 逻辑表达式 
更正说明
《电子制作》2020年第2期89-89,共1页
本刊2020年第1期总389期第51页《Multisim在短波发射机维护中的几种应用》,作者:李希才,文中更正为:如图6所示,输出F=AB+BC+BC,通过逻辑表达式化简可知,当A=C=O时,F=B+B,即B的变化会引起冒险。特此更正!
关键词：短波发射机 逻辑表达式 MULTISIM 更正 
一种优化联锁布尔逻辑的算法被引量：1
《电子世界》2019年第17期49-50,共2页王玲群 莫运前 何红光 
布尔代数被应用于计算机联锁系统,用来表示联锁逻辑关系,而已有辅助工具自动生成的布尔代数存在数据量大、有冗余变量、逻辑复杂等问题。本文针对这些问题,提出了一种优化联锁布尔逻辑的算法。该算法通过替换表达式中常1和常0变量,拆分...
关键词：计算机联锁系统 布尔逻辑 优化 算法 布尔代数 运算速度 逻辑表达式 逻辑关系 
全选清除导出
共16页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部