逻辑表达式

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

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

摘要： PLC控制程序是电气系统控制过程中的一个重要环节。传统的经验编程法不适宜较为复杂的逻辑控制。以自动运料小车为例,采用顺序控制设计法,通过画出功能图与逻辑表达式,最终编写出PLC梯形图控制程序,并在GX Developer软件上通过逻辑测试。

摘要： 深入研究已知APT攻击事件,以威胁情报共享理论为基础,提出一种APT样本逻辑表达式生成算法IOCG.该算法能够自动生成可机读的IOCs,解决现有IOC的逻辑关系固定,逻辑项个数不变,规模庞大以及无法对一类样本生成表达式的局限性.同时能够减少冗余及无用APT样本特征处理时间消耗,提高情报分析共享速率,积极应对复杂多变的APT攻击态势.实验采用自助法对APT1样本进行抽样,将样本分成实验集及训练集,再分别利用该算法与IOC_Aware插件对训练集生成逻辑表达式,对比表达式本身及检测效果上的差异.实验结果表明,该算法是有效的,并能提高检测效果.%By studying the known Advanced Persistent Threat(APT)attack events deeply, this paper proposes an APT sample logic expression generation algorithm IOCG(Indicator of Compromise Generate), and the algorithm based on the threat information sharing theory. The algorithm can automatically generate machine readable IOCs(Indicators of Com-promise), to solve that the existing IOCs logical relationship is fixed, the number of logical items unchanged, large scale and cannot generate a sample of the limitations of the expression. At the same time, it can reduce the redundancy and useless APT sample processing time consumption, and improve the sharing rate of information analysis, and actively respond to complex and volatile APT attack situation. The samples are divided into experimental set and training set, and then the algorithm is used to generate the logical expression of the training set with the IOC_Aware plug-in. The contrast expression itself is different from the detection result. The experimental results show that the algorithm is effective and can improve the detection effect.

摘要： 为明晰安全文化的定义理论与方法,进而提出较为恰当而科学的安全文化定义,基于扎根理论研究法,构建安全文化定义的4要素模型,并得出安全文化定义的逻辑表达式与理论上的安全文化定义的种类数,即为120种.基于此,对现有安全文化定义进行推理及其争议解释.此外,从安全文化学高度,构建安全文化的概念模型,并提出安全文化的新定义.结果表明,安全文化是人类在存在过程中为维护人类安全(包括健康)的生存和发展所创造出来的关于人与自然、人与社会、人与人间的各种关系的有形无形的安全成果.%To have a clear comprehension about the theory and method of the safety culture definition,and a more appropriate and scientific safety culture definition is proposed,four elements model of the safety culture defini tion is constructed with grounded theory approach,as well as the logical expression and type numbers (120) of definition safety culture are concluded.Base on this,existing definitions safety culture are reasoned,and their disputes are explined.Meanwhile,the conceptual model of safety culture is constructed,and the new definition of safety culture is proposed under the guidance of safety culture.The results show that safety culture is the tangible and intangible safety outcomes about all kinds of relationships between human and nature,society or human in the process of human existence,that is created to maintain the safe (including healthy) survival and development of human.

摘要： 《数字电子技术》是电子电气类专业一门实践性很强的专业基础课,但是在教学中由于种种原因,高职生的教学效果还有待进一步提高.本文介绍了仿真软件Multisim12在《数字电子技术》教学中的应用,可以实现逻辑表达式、真值表、电路图之间的转换,帮助学生对知识点的理解,提高学生学习的积极性.

摘要： 结合将实际问题转化为电路问题的思维过程,探讨数字电路中实际问题引入、逻辑抽象、知识点展开与思维的图形化表达、电路实现与功能扩展等方面问题,结合布尔代数的形式化表达和等效变换能力,状态转换图的推演能力、数字系统中同一问题、多种电路实现方式等内容内容,培养学员运用逻辑规则和逻辑方法分析问题、解决问题的能力.

摘要： 结合将实际问题转化为电路问题的思维过程,探讨数字电路中实际问题引入、逻辑抽象、知识点展开与思维的图形化表达、电路实现与功能扩展等方面问题,结合布尔代数的形式化表达和等效变换能力,状态转换图的推演能力、数字系统中同一问题、多种电路实现方式等内容内容,培养学员运用逻辑规则和逻辑方法分析问题、解决问题的能力。

摘要： 继电线路的可测性设计和功能验证，在电力系统的安全可靠性运行中起着重要的作用，用逻辑分析的方法对控制电路进行功能验证是一种全新的思路。本文提出了一种用深度优先搜索电路中所有回路构造电路逻辑表达式的方法，并将抽取出的逻辑表达式用二叉树进行存储。该方法能够快速准确地抽取出复杂控制线路的逻辑表达式，并快速地计算出逻辑表达式的值。

摘要： 简要介绍布尔代数、真值表、逻辑表达式的概念以及运算规则和真值表、逻辑表达式之间的转化方法,在介绍其设计应用之前先规定"逻辑-电气"的对应关系,之后用实例阐述应用布尔代数设计闭锁电路的方法.

摘要： 本文提出一种新的方法对现代电器设备电路进行公式抽取,通过建立系统元件的节点一节点关联矩阵,并对其不断进行降阶,直到得出电路的逻辑表达式.这种方法可以在微机上实现,使电路公式的抽取简单可行,对电器数字化处理具有极其重要的意义.

摘要： 利用开环方法获得了激励变量项和状态变量项与或关系的电位异步时序逻辑电路的一般逻辑表达式，在逻辑函数余式理论的基础上，导出了消除组合险象的异步时序逻辑电路的一个，两个外部激励下的修正项。为最终彻底解决时序险象建立了坚实的基础，提供了最为有用的前提条件。

摘要： 本发明公开了一种CMOS传输门逻辑电路的逻辑表达式提取和开关级设计方法，将布尔代数系统进行扩展，得到扩展的布尔代数系统；由CMOS传输门逻辑电路建立相应的开关级信号流图模型，由此模型提取出该电路输出函数的等效信号流图模型，并由开关级信号流图模型结合扩展的布尔代数系统得到该电路的开关级函数表达式，从而得到CMOS传输门逻辑电路。本发明通过本方法设计的CMOS传输门逻辑电路，所需MOS管数目较少，而且所需连线数较少，可以降低功耗和节省芯片面积；且所设计的开关级CMOS传输门逻辑电路是全摆幅的，适用于低功耗CMOS电路的设计。

摘要： 本发明实施例公开了一种逻辑表达式确定方法、装置、设备和介质，涉及智能问答技术领域。该方法包括：对获取的问句进行语义分析；根据语义分析结果以及预设的词语与词语之间的语义逻辑关系，确定描述所述问句整体语义逻辑关系的目标框架；根据所述目标框架和知识库中各资源的通用表示形式确定所述问句的目标逻辑表达式，供执行所述目标逻辑表达式从知识库包括的各资源中确定所述问句的答案。本发明实施例提供了一种逻辑表达式确定方法、装置、设备和介质，实现了在无需人工撰写逻辑表达式的情况下，确定问句的逻辑表达式。

摘要： 本申请实施例公开了一种逻辑表达式的存储及读取方法、装置、电子设备及存储介质，所述存储方法包括：获取待存储的逻辑表达式，逻辑表达式包括阈值指针，阈值指针指向阈值的存储位置；解析逻辑表达式，获取逻辑表达式中的运算表达式；根据运算表达式，生成运算表达式对应的比较运算树，比较运算树包括阈值指针节点，阈值指针节点与阈值指针相对应；根据逻辑表达式，生成以指标变量名替换运算表达式的逻辑运算树，逻辑运算树包括指标变量节点，指标变量节点与指标变量名相对应；根据比较运算树和逻辑运算树，生成待存储的逻辑表达式对应的树形结构；存储树形结构。本申请实施例降低了耦合度，而且不需要重复存储逻辑表达式，节省了存储空间。

摘要： 本发明公开一种通过逆波兰表达式对五防逻辑表达式进行校验的方法，该方法主要是通过构造一个运算符栈S1和逆波兰栈S2，然后读入需要操作设备对应状态的五防逻辑，判断是否存在没有转换的情况条件，并读入没有转换的情况条件下对应的五防逻辑表达式，并从左至右扫描该情况条件下对应的五防逻辑表达式；最后根据逆波兰表达式将传统的五防逻辑表达式进行转换，剔除表达式中复杂的算术符号“()”，只留下最简单的运算，能够保证方法的正确性的同时，减少程序员出现BUG的可能性，提高五防软件对于五防校验的准确性，同时能减少测试部门的测试压力。

摘要： 本发明公开了一种CMOS传输门逻辑电路的逻辑表达式提取和开关级设计方法，将布尔代数系统进行扩展，得到扩展的布尔代数系统；由CMOS传输门逻辑电路建立相应的开关级信号流图模型，由此模型提取出该电路输出函数的等效信号流图模型，并由开关级信号流图模型结合扩展的布尔代数系统得到该电路的开关级函数表达式，从而得到CMOS传输门逻辑电路。本发明通过本方法设计的CMOS传输门逻辑电路，所需MOS管数目较少，而且所需连线数较少，可以降低功耗和节省芯片面积；且所设计的开关级CMOS传输门逻辑电路是全摆幅的，适用于低功耗CMOS电路的设计。

摘要： 本申请涉及数据查询和区块链领域，具体涉及一种基于中文逻辑表达式的查询方法和装置。所述方法包括：接收来自用户端的携带有中文查询信息的查询请求；根据查询请求所携带的中文查询信息生成中文逻辑表达式；根据中文逻辑表达式查询预构建的区块信息表，得到查询结果；将查询结果返回给用户端。本发明实施例能够让没有传统SQL查询语言的学习基础的使用者可以方便地查询区块信息。

摘要： 本发明公开了一种医保限定支付文本逻辑表达式生成方法、系统及存储介质，涉及文本数据处理技术领域。本发明步骤为：获取医保药品限定支付说明文本；构建辅助术语知识库；基于所述辅助术语知识库，将限定支付说明文本转换为药品限付文本特征序列；根据所述药品限付文本特征序列构建文本特征序列‑逻辑表达式对照模板库；根据所述文本特征序列‑逻辑表达式对照模板库，读取未处理的特征序列，基于模式匹配，自动生成对应的逻辑表达式。通过本发明方法可以将药品限定支付范围表述从非结构化的自由文本转换为计算机能够理解的逻辑表达式，为加速用药提醒、医疗结算、核保等医保管理工作的智能化发展提供语义表达技术支持。

摘要： 本发明公开了一种译码部件组合逻辑表达式的生成方法、系统及介质，本发明方法包括针对目标译码信号的W个位的任意第w位生成真值表：针对N个指令编码的可能值遍历的第n个可能值，若第w位来源于第n个可能值的任意第x位则将第n个可能值的第x位取值都由1'bx变为1'b1、其他位取值保留以得到第n个可能值的新值，并将第n个可能值的新值对应于目标译码信号的第w位的取值1'b1；否则，第n个可能值对应于译码信号第w位的取值1'b1或1'b0；将第n个可能值和目标译码信号的第w位的取值形成的对应关系输入到译码信号第w位的真值表。本发明能有效控制真值表的规模，生成优化后的组合逻辑表达式。

摘要： 本发明涉及一种基于逻辑表达式的AI建模方法及装置，所述方法包括采用测试集对预构建的AI模型进行测试，得到模型测试结果，确定所述测试结果中的遗漏样本；其中，所述遗漏样本为测试集中标注为正，而AI模型输出为反的样本；针对所述遗漏样本对应设置匹配的逻辑表达式，得到规则模型；结合所述AI模型和规则模型，得到AI规则融合模型。本发明首先采用AI模型进行预测，然后将预测为反的样本再次采用规则模型进行判断，提高了模型输出结果的准确率。除此之外，本申请提供的规则模型只需对AI模型判定为反的样本撰写逻辑表达式，不需要全场景泛化，不仅提高的效率还能够节约成本。

摘要： 本发明提供了一种使用逻辑表达式实现策略引擎快速响应的方法、装置和电子设备，获取逻辑表达式；确定所述逻辑表达式中没有确定值的变量；将所述没有确定值的变量的取值设为不确定；根据预设规则，计算所述逻辑表达式的取值。本发明提供了三态逻辑值，即“真”、“假”、“不确定”。通过三态逻辑值可以较快地确定出不确定值的表达式，减少进行条件取值的运行开销，降低软件故障率，提高程序稳定性。