可扩展的逻辑表达式求值系统的设计与实现 被引量：7

1

作者 熊风光 况立群 韩焱 《计算机工程与设计》 CSCD 北大核心 2012年第10期3858-3861,3958,共5页

针对目前逻辑表达式求值算法中运算符的名称、优先级和运算规则都以硬编码的形式固化在算法中所带来的算法无法扩展的问题,通过将运算符的名称、优先级和运算规则抽象为接口的方法,设计并实现了一种新的逻辑表达式求值系统。该系统既保... 针对目前逻辑表达式求值算法中运算符的名称、优先级和运算规则都以硬编码的形式固化在算法中所带来的算法无法扩展的问题,通过将运算符的名称、优先级和运算规则抽象为接口的方法,设计并实现了一种新的逻辑表达式求值系统。该系统既保证了表达式求值算法的独立性,又允许用户自定义运算符和更新原有运算符运算规则,从而实现了逻辑表达式求值的可扩展性。 展开更多

关键词 逻辑表达式求值 中缀表达式 后缀表达式 运算符 接口 扩展性

在线阅读 下载PDF 职称材料

基于算符优先算法的逻辑表达式合法性判断 被引量：2

2

作者 吴小钧 谷建华 周兴社 《小型微型计算机系统》 CSCD 北大核心 2002年第10期1189-1192,共4页

基于字符串的逻辑表达式的合法性进行判断在很多领域和场合下是经常遇到的 ,比如 :文件检索 ,信息查询等等 .而我们常见的文件检索与信息查询软件大多仅仅支持几个简单的逻辑算符 ,例如 :与、或 ,并且逻辑表达式中的组成字符串只能做简... 基于字符串的逻辑表达式的合法性进行判断在很多领域和场合下是经常遇到的 ,比如 :文件检索 ,信息查询等等 .而我们常见的文件检索与信息查询软件大多仅仅支持几个简单的逻辑算符 ,例如 :与、或 ,并且逻辑表达式中的组成字符串只能做简单的与、或运算 ,使得逻辑表达式的表达能力有限 ,用户使用的灵活性小 .本文针对上述问题进行了研究 ,采用算符优先算法给出了对该问题一种非常实用而又简练的实现方法 ,不但实现了普通搜索引擎所支持的简单的逻辑表达式的合法性判断功能 ,而且扩展了所支持的逻辑表达式的逻辑表达能力 :支持非运算 ;增加了支持逻辑表达式的优先级算符“(”和“)”.这使得逻辑表达式的表达功能和表达灵活性都得到很大的增强和提高 .本文给出的算法还可用于许多其他的基于字符串的逻辑表达式的操作功能 . 展开更多

关键词 算符优先算法 逻辑表达式 合法性判断 程序设计语言 字符串

在线阅读 下载PDF 职称材料

逻辑表达式图的实现及其在集成电路故障可测性中的应用

3

作者 陈世平 陈光(礻禹) 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2006年第2期151-154,共4页

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在... 数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams,BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。 展开更多

关键词 逻辑表达式图 二元判决图 呆滞型故障 测试

在线阅读 下载PDF 职称材料

决策表的逻辑表达式分析 被引量：2

4

作者 肖文洁 王建东 朱朝晖 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2006年第1期106-110,共5页

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策... 用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。 展开更多

关键词 决策表 泛布尔代数 逻辑表达式 析取范式表达式 蕴涵式表达式

在线阅读 下载PDF 职称材料

APT样本逻辑表达式生成算法 被引量：3

5

作者 杜镇宇 李翼宏 张亮 《计算机工程与应用》 CSCD 北大核心 2018年第1期1-10,共10页

深入研究已知APT攻击事件,以威胁情报共享理论为基础,提出一种APT样本逻辑表达式生成算法IOCG。该算法能够自动生成可机读的IOCs,解决现有IOC的逻辑关系固定,逻辑项个数不变,规模庞大以及无法对一类样本生成表达式的局限性。同时能够减... 深入研究已知APT攻击事件,以威胁情报共享理论为基础,提出一种APT样本逻辑表达式生成算法IOCG。该算法能够自动生成可机读的IOCs,解决现有IOC的逻辑关系固定,逻辑项个数不变,规模庞大以及无法对一类样本生成表达式的局限性。同时能够减少冗余及无用APT样本特征处理时间消耗,提高情报分析共享速率,积极应对复杂多变的APT攻击态势。实验采用自助法对APT1样本进行抽样,将样本分成实验集及训练集,再分别利用该算法与IOC_Aware插件对训练集生成逻辑表达式,对比表达式本身及检测效果上的差异。实验结果表明,该算法是有效的,并能提高检测效果。 展开更多

关键词 高级持续性威胁(APT) 熵 攻击指示器(IOCs) 逻辑表达式

在线阅读 下载PDF 职称材料

专用字符集译码逻辑的程序优化设计 被引量：2

6

作者 张秀山 徐炳良 吴艳征 《海军工程大学学报》 CAS 2001年第6期75-78,共4页

提出了一种组合逻辑译码电路优化设计的基本原则 ,给出了基于该优化设计原则的程序设计所涉及的关键数据结构和算法 ,并利用现有中小规模译码驱动电路 744 8系列芯片和门电路等实现了工程实践中需要的特殊字符集译码优化设计的参考电路 .

关键词 逻辑表达式化简 程序设计 专用字符集译码逻辑 组合逻辑译码电路

在线阅读 下载PDF 职称材料

气动逻辑控制系统CAD的实现及应用

7

作者 韩建海 雷鸣 张河新 《机床与液压》 北大核心 1998年第4期54-55,79,共3页

本文介绍的气动逻辑控制系统CAD软件系统．实现了气动逻辑控制系统原理图及电控线路图的自动绘制。文中系统地介绍了该软件的设计思想、主要功能和使用方法。

关键词 气动 逻辑控制系统 CAD 逻辑表达式 自动绘制

在线阅读 下载PDF 职称材料

基于模型的若干逻辑边界覆盖测试准则

8

作者 李丽萍 李兴森 《计算机科学》 CSCD 北大核心 2013年第11A期109-114,共6页

鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,... 鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。 展开更多

关键词 软件测试 测试准则 逻辑表达式 边界测试 测试用例

在线阅读 下载PDF 职称材料

逻辑设计法在PLC应用程序设计中的应用

9

作者 曹丽苹 《湖北农机化》 2020年第15期64-65,共2页

本文介绍了逻辑设计法及其在开关量的PLC程序控制系统编程中的应用。以车间排风系统运行状态监控为例,详细介绍了逻辑设计法应用于工程实践的具体设计步骤。

关键词 逻辑设计法 状态表 逻辑表达式

在线阅读 下载PDF 职称材料

相容关系模型及其在逻辑优化中的应用 被引量：1

10

作者 王好为 闫继雄 +1 位作者 柴晶 陈泽华 《计算机科学与探索》 CSCD 北大核心 2018年第3期502-510,共9页

逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具。定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每... 逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具。定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每个属性集合的相容矩阵和逻辑关系矩阵,根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法。最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性。 展开更多

关键词 逻辑表达式化简 粒计算 数字电路 相容矩阵

在线阅读 下载PDF 职称材料

基于逻辑混合Petri网的混合系统建模与分析 被引量：7

11

作者 刘伟 史晓浩 孙红伟 《山东科技大学学报（自然科学版）》 CAS 北大核心 2021年第4期65-75,共11页

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统。基于此,提出逻辑混合Petri网。首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式。其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标... 逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统。基于此,提出逻辑混合Petri网。首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式。其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程。再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,并提出相应的求解算法。同时,提出变迁的引发规则。最后,以一个微电网系统为例,验证该建模分析方法的有效性和可行性。 展开更多

关键词 逻辑混合Petri网 混合系统 逻辑表达式 标识求解方程 引发规则

在线阅读 下载PDF 职称材料

谈内涵逻辑在蒙塔古语义学中的应用 被引量：1

12

作者 林新年 《福建师范大学学报（哲学社会科学版）》 1996年第3期52-57,共6页

蒙塔古语法是美国数理逻辑学家蒙塔古（Ｒ，Ｍｏｎｔａｇｕｅ）提出的一种关于自然语言的逻辑分析的方法。这个理论最引人注目的是“规则对规则语义学”。即每一条句法规则都有一条语义规则与它相对应，阐明了各部分意义组合成结构的整... 蒙塔古语法是美国数理逻辑学家蒙塔古（Ｒ，Ｍｏｎｔａｇｕｅ）提出的一种关于自然语言的逻辑分析的方法。这个理论最引人注目的是“规则对规则语义学”。即每一条句法规则都有一条语义规则与它相对应，阐明了各部分意义组合成结构的整体意义的方法以及规则运算的过程。本文从内涵逻辑的基本概念着手，探析内涵逻辑在蒙塔古语义学中的应用过程及其主要特征。 展开更多

关键词 内涵逻辑 蒙塔古语义学 逻辑表达式 自然语言 可能世界 语义理论 模型论 蒙塔古语法 真值条件 特征函数

在线阅读 下载PDF 职称材料

对传统逻辑现代化的再建议

13

作者 敬世炯 《西南师范大学学报（哲学社会科学版）》 1987年第S1期89-91,共3页

所谓对当关系,就是具有相同素材的SAP、SEP、SIP、SOP四种判断之间的真假制约关系.一般的逻辑教科书,讲判断必讲对当关系,讲推理必讲对当关系推理.但一般讲传统逻辑的书关于对当关系的理论的说明是不够严密、不够完善的.对当关系为什么... 所谓对当关系,就是具有相同素材的SAP、SEP、SIP、SOP四种判断之间的真假制约关系.一般的逻辑教科书,讲判断必讲对当关系,讲推理必讲对当关系推理.但一般讲传统逻辑的书关于对当关系的理论的说明是不够严密、不够完善的.对当关系为什么正确?有的逻辑教科书是用实际事例来说明的,尽管举不出反例,但毕竟用的是不完全归纳法,不完全归纳法是不能证明它的普遍性的.有的书借助欧拉图来说明,这是一种直观的说明,仍不是理论的论证.有的书想从理论上来论证,但由于限于传统逻辑这个范围,工具不够,因而也没有满意的效果,而且在考虑这个问题的时候,视野比较狭窄没有充分注意演绎推理各部分之间的内在联系. 展开更多

关键词 对当关系推理 逻辑现代化 传统逻辑 真假制约关系 不完全归纳法 演绎推理 三段论 逻辑表达式 内在联系 命题函项

在线阅读 下载PDF 职称材料

变电站五防闭锁规则库生成法的实现 被引量：11

14

作者 裴佩 吴晓博 王浩 《电力系统自动化》 EI CSCD 北大核心 2009年第8期51-55,共5页

《电力系统自动化》杂志2008年第20期《根据变电站一次接线图导出闭锁公式的方法》一文从理论上推导出了一种生成变电站五防闭锁规则库的方法。在该文的基础上,文中对该方法做了进一步的完善和改进,并着重探讨了生成五防闭锁规则库的具... 《电力系统自动化》杂志2008年第20期《根据变电站一次接线图导出闭锁公式的方法》一文从理论上推导出了一种生成变电站五防闭锁规则库的方法。在该文的基础上,文中对该方法做了进一步的完善和改进,并着重探讨了生成五防闭锁规则库的具体实现方案,编写了应用软件并完成调试运行,验证了该方法的可行性。由于五防闭锁规则库是在离线情况下生成的,因此,必须以布尔型变量代替实际运行时断路器和刀闸的状态量。将断路器和刀闸的状态与布尔型变量进行映射并对含有布尔型变量矩阵的运算及化简是文中最大的难点和技术关键点。文中找到了一种新的计算可达矩阵的算法,大大简化了化简步骤,提高了运算速度,将理论算法变成了实用软件工具。 展开更多

关键词 五防闭锁规则库 逻辑表达式化简 矩阵乘法 可达矩阵 邻接矩阵

在线阅读 下载PDF 职称材料

安全文化的定义理论与方法研究 被引量：11

15

作者 王秉 吴超 《灾害学》 CSCD 北大核心 2018年第1期200-205,224,共7页

为明晰安全文化的定义理论与方法,进而提出较为恰当而科学的安全文化定义,基于扎根理论研究法,构建安全文化定义的4要素模型,并得出安全文化定义的逻辑表达式与理论上的安全文化定义的种类数,即为120种。基于此,对现有安全文化定义进行... 为明晰安全文化的定义理论与方法,进而提出较为恰当而科学的安全文化定义,基于扎根理论研究法,构建安全文化定义的4要素模型,并得出安全文化定义的逻辑表达式与理论上的安全文化定义的种类数,即为120种。基于此,对现有安全文化定义进行推理及其争议解释。此外,从安全文化学高度,构建安全文化的概念模型,并提出安全文化的新定义。结果表明,安全文化是人类在存在过程中为维护人类安全(包括健康)的生存和发展所创造出来的关于人与自然、人与社会、人与人间的各种关系的有形无形的安全成果。 展开更多

关键词 安全文化学 安全文化定义 要素 逻辑表达式 概念模型 新定义

在线阅读 下载PDF 职称材料

列车运行调整方案实时安全诊断算法研究 被引量：2

16

作者 金福才 胡思继 刘智丽 《中国安全科学学报》 CAS CSCD 2004年第1期53-56,共4页

列车运行调整方案是铁路列车调度员编制的短期列车运行计划 ,采用计算机进行调度指挥需要对计算机编制的列车运行调整方案进行实时安全诊断 ,以确保计划的可行性。笔者利用调度员工作站本地的列车时刻表数据完成安全诊断过程 ,方法是利... 列车运行调整方案是铁路列车调度员编制的短期列车运行计划 ,采用计算机进行调度指挥需要对计算机编制的列车运行调整方案进行实时安全诊断 ,以确保计划的可行性。笔者利用调度员工作站本地的列车时刻表数据完成安全诊断过程 ,方法是利用诊断范围内的列车时刻表数据分别生成列车对区间和车站的时间占用链表 ,将原列车间的冲突判定转化为区间、车站和到发线等 3类冲突的判定。对区间和车站的冲突采用逻辑表达式判定 ,对到发线冲突则引入堆栈方法来判定。该算法已在现场中应用 。 展开更多

关键词 铁路运输安全 安全诊断 调度员 运行计划 时刻表 逻辑表达式 交通安全 不安全因素

在线阅读 下载PDF 职称材料

字节全加器及其在无线电测控系统中的应用 被引量：1

17

作者 董利达 陈偕雄 +1 位作者 李惠忠 王柏祥 《浙江大学学报（理学版）》 CAS CSCD 2002年第1期45-49,共5页

对全加器概念进行了推广 ,并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用 。

关键词 字节全加器 无线电测控系统 无线电抗干扰 阈值函数 逻辑表达式 工作原理

在线阅读 下载PDF 职称材料

基于灰色关联度的属性约简方法 被引量：1

18

作者 梁静国 林朗星 魏娟 《统计与决策》 CSSCI 北大核心 2006年第3期155-156,共2页

关键词 属性约简 灰色关联度 启发式算法 时间复杂度 逻辑表达式 粗集理论 分类能力 决策规则 逻辑运算 计算过程

在线阅读 下载PDF 职称材料

复合条件查询在 FoxPro for Windows 中的实现 被引量：1

19

作者 张素智 范承亚 《郑州轻工业学院学报》 1997年第2期36-40,共5页

根据ＦｏｘＰｒｏｆｏｒＷｉｎｄｏｗｓ所提供的编程工具，提出了一种用逻辑表达式来实现复合条件查询的方法。

关键词 数据库 查询 逻辑表达式 应用程序 复合条件

在线阅读 下载PDF 职称材料

以微电子电路为主干改革电子技术教材的体系

20

作者 康华光 陈大钦 +1 位作者 邹寿彬 赵德宝 《中国大学教学》 1989年第1期19-21,共3页

随着新型集成器件的不断涌现,电子技术领域中增添了大量的新内容,为了适应这个新的形势,电子技术基础课程以微电子电路为主干改革教学内容并相应地改革教材体系是完全必要的。根据近几年来的教改实践经验,我们对1983年编《电子技术基础... 随着新型集成器件的不断涌现,电子技术领域中增添了大量的新内容,为了适应这个新的形势,电子技术基础课程以微电子电路为主干改革教学内容并相应地改革教材体系是完全必要的。根据近几年来的教改实践经验,我们对1983年编《电子技术基础》(第二版)上。 展开更多

关键词 微电子电路 模拟集成电路 时序逻辑电路 组合逻辑 集成电路技术 集成器件 模拟乘法器 逻辑表达式 教改实践 卡诺图

在线阅读 下载PDF 职称材料