真值表

摘要： 针对电磁感应中导体棒切割磁感线类问题在编写数据时出现科学性错误的现象,以两个典型例题为载体,借助高等数学工具,明确编拟试题应注意的科学性问题,为科学命制这类问题提供参考。

摘要： 组合逻辑电路的分析是对逻辑电路用函数来描述,并据此列出真值表,进而确定其功能。本文基于Multisim10.0虚拟仿真平台在组合逻辑电路的分析原理基础上,通过仿真直接得到真值表,再由真值表经卡诺图化简快速写出表达式;使得过程简单化,提高了分析效率及结果准确性。

摘要： 离散数学又称为计算机数学,它是研究离散量之间的科学.数理逻辑是离散数学的四大模块之一.为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域.回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出.逻辑学是研究思维规律和思维的形式结构的一门学科.数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科.数理逻辑分成命题逻辑和谓词逻辑.该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题.研究方法分别采用命题推理理论、真值表、穷举法、等值演算法.

摘要： 在核电厂中存在着大量需要DCS仪控系统控制的设备(包含阀门、泵、加热器等),这些设备涉及到核电厂的安全运行,在核电厂起着至关重要的作用,比如核电厂中的安注泵、二回路的主蒸汽阀门等.在DCS系统中封装了大量驱动功能算法块(这些封装算法块集成了驱动设备的各种功能),实现现场各种设备复杂的控制功能.设备控制功能测试目的是验证设备控制功能是否满足设计输入要求,是否能正常满足核电厂运行需求.设备驱动功能复杂,应用场景多样,测试设计难度大.本文提出基于算法块用例库的设备控制功能测试用例设计方案,提高测试设计质量和测试效率,同时也为后续项目提供了借鉴意义.

摘要： 真值表的化简对于逻辑电路的分析与设计具有及其重要的意义.对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用.首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题.然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式.为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题.最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性.

摘要： 本文利用真值表介绍了反证法的原理,然后探讨了反证法所适用的各种情况,最后通过举例分析了反证法的应用,使得人们对反证法有了一个更加清晰的认识,并学会正确运用反证法,认识反证法在数学中的重要意义。

摘要： 文章使用中国地区私营资本参与公共基础设施建设的相关案例数据,运用QCA(Qualitatve Comparative Analysis)分析方法,判断合同设计中合同期限、风险分配、交易成本、政策支持四个特征因素组合是否影响PPP项目的绩效.同时,对于PPP项目绩效的评估,通过文献分析提取出预算约束、工期控制、公众满意、技术创新四个关键指标要素.关于变量设计,以合同设计特征的四个因素为条件变量,项目绩效为结果变量,在对案例中各变量的主观性赋值后代入fs-QCA软件进行分析.其结果为较短合同期限、较低交易成本和较高程度政策支持这三个条件因素的组合以及较长合同期限、风险平均分摊和较高程度政策支持这三个条件因素的组合对PPP项目的高绩效有影响.在获取结论后,基于新公共管理理论,分别就短期合同的PPP项目和长期合同的PPP项目两个项目类别提出政策意见,以期提高我国PPP项目政策水平,营造良好的政策氛围,创新PPP模式.

摘要： 真值表方法与统计方法,都是常用的研究方法.提出一种真值表与统计相结合的研究方法,提出一种创新性的研究思路,并在人力资源管理的一个实际问题中得到验证.

摘要： 本文提出了基于真值表的组合电路测试生成算法,同时证明了这是一个完全的算法.该算法对真值表稍作处理就能对输入端的单故障生成测试码,简捷而有效.该算法生成测试码计算工作量小,能对故障生成完全测试集.

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

摘要： 蕴涵怪论是个古老而新鲜的话题，对其消解的主要方案都遇到了困境。通过“若，则”句与“或”、“且”句的逻辑比较，我们揭示了“若，则”句的偏序性质及其内涵子集特征，指出从“若，则”中抽象出蕴涵，除作真值抽象外，必须对其推算性进行刻画。通过修订实质蕴涵真值表，我们刻画了日常蕴涵的真值性；通过起点规则，我们刻画了日常蕴涵的推算性。日常蕴涵可以消解各蕴涵怪论并能以之为基石建立符合二值原则和组合原则的逻辑系统。

摘要： 本发明提供一种基于真值表的模块化程控控制方法及装置，其中，该装置包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。该方案可以简便易用的方式进行程控的组态，并且修改方便，不需要改变组态结构，只需要对参数进行修改。

摘要： 本申请公开一种推力器分配真值表生成方法及装置。所述方法包括从通道力矩指令译码表中获取各通道控制力矩，并为各通道指令列表中的各通道控制指令设定对应的取值集合；对各通道指令列表进行遍历，根据当前通道指令查询通道力矩指令译码表，对查询到的推力器开关状态组合取并集，并计算索引键值；对推力器对列表进行遍历，若成对的推力器存在对消状态，则关闭这对推力器，存储当前通道指令组合+索引键值+开关状态组合，返回继续进行通道指令列表遍历，直至通道指令列表遍历完成，得到包括所有通道指令组合+索引键值+开关状态组合的推力器分配真值表。有效避免各通道推力器指令组合后可能相互抵消的问题，便于飞行控制软件快速查询组合结果。

摘要： 本申请提供一种基于真值表的中值滤波方法，包括：获取输入数据；建立所述输入数据两两之间的比较真值表；根据所述比较真值表建立所述输入数据的极值查找表；利用所述比较真值表中的第一comp数值和所述极值查找表中第二comp数值比较，确认所述输入数据的大小顺序；根据所述大小顺序将所述输入数据中的极值删除。本申请通过进行被滤波数据的逻辑比较建立真值表，经过逻辑判断快速确定数据的极值并予以筛除，实现数据的并行比较并快速确定数据排序，时间消耗小，大大提升了滤波运算效能。本申请还提供一种基于真值表的中值滤波系统、计算机可读存储介质和电子设备，具有上述有益效果。

摘要： 本发明提出了一种基于真值表的路径规划方法及系统，涉及数据处理领域。一种基于真值表的路径规划方法包括：获取行军路线所处区域的地理环境数据；根据地理环境数据与行军路线数据之间的映射关系，提取出路径规划的特征值；根据路径规划的特征值与路径规划真值表之间的映射关系，映射形成路径规划的真值表；通过对路径规划的真值表进行解析，并根据解析后的数据构建路径规划模型；将行军路线所处区域的地理环境数据输入至路径规划模型得到训练完成的路径规划模型输出的行军路径规划信息。其能够通过路径规划，不间断循环的完善路径规划模型，推演路径方案可行性，缩短路径更替调度时间，规避障碍物，极大提升行军效率。

摘要： 本发明实施例公开一种逻辑电路真值表的确定方法、装置以及电子设备，涉及电子电路技术领域，能够快速提取逻辑电路的真值表。所述方法包括：基于输入真值列表中的第一组输入真值，对网表所描述的逻辑电路的输入端口进行赋值；所述输入真值列表是根据所述网表所描述的逻辑电路的输入端口预先生成的；基于对所述输入端口的赋值，计算所述网表所描述的逻辑电路的输出端口的电平值；判断所述输出端口是否有电平值计算得出；若所述输出端口有电平值计算得出，则将计算得出的所述输出端口的电平值，作为所述第一组输入真值相对应的输出真值。本发明适用于逻辑电路的真值表提取。

摘要： 提供用于扩展堆叠式存储器系统的真值表的技术。在实例中，一种存储系统可包含经配置以存储数据的第一存储器裸片堆叠和逻辑裸片。所述逻辑裸片可包含：接口电路，其经配置以使用第一命令总线、第二命令总线和数据总线从外部主机接收多个存储器请求；以及控制器，其经配置以与所述第一存储器裸片堆叠介接以存储和检索来自所述第一存储器裸片堆叠的所述数据。所述逻辑裸片可包含具有比所述第一存储器裸片堆叠的装置快的存取时间的第二存储器，且所述接口电路可响应于所述多个存储器请求中的第一存储器请求而直接存取所述第二存储器。

摘要： 本发明提供了一种基于真值表验证量子线路等价性的一种衍生方法，属于量子线路等价性验证技术领域。解决了量子线路等价性验证中真值表验证存在的误差的技术问题。其技术方案为：利用真值表的规则衍生出表的形式，解决了真值表中无法存在虚数的弊端，并在后续给出验证结果以及验证的依据。本发明的有益效果为：本发明在与酉矩阵验证线路的弊端进行对比，酉矩阵存在高复杂性、难人工验证和代码复杂度较高等弊端，然而利用表的形式可以降低各方面的难度，使得验证表达的更加简单且清晰易于理解。

摘要： 本发明提出一种基于真值表的函数自动生成方法和系统，包括：基于真值表的问题中逻辑表达式各语法符号的关系与它们的在实际处理的序列中距离大小无关、逻辑表达式的生成语义规则与布尔向量函数示例采样的结果长度无关的科学规律，作为解决基于真值表函数自动化生成问题的科学依据。还设计了一种编码器‑解码器结构的神经网络模型用于解决基于真值表生成函数的问题，该模型用两个自注意力机制编码器分别对输入和输出进行编码，用1个自注意力机制解码器自回归地输出对应的逻辑表达式，在编码器和解码器之间使用注意力机制；为解决基于真值表函数自动化生成问题提供了技术方案，相比同期主流基准模型在指定数据集上取得了更好的效果。

摘要： 本发明提供一种基于真值表的模块化程控控制方法及装置，其中，该装置包括：程控模块，所述程控模块包括数据接收接口、顺序控制单元和控制接口，其中，控制接口与被控设备连接；所述数据接收接口，用于接收真值表数据和连锁动作数据，其中，所述真值表数据由在程控的每一步骤中需要动作的设备应达到的状态而确定；所述连锁动作数据由在程控的每一步骤中需要动作的设备所要实现的连锁动作而确定；所述顺序控制单元，用于根据真值表数据和连锁动作数据按照程控步骤顺序通过控制接口控制设备实现相应的动作。该方案可以简便易用的方式进行程控的组态，并且修改方便，不需要改变组态结构，只需要对参数进行修改。

摘要： 本申请公开一种推力器分配真值表生成方法及装置。所述方法包括从通道力矩指令译码表中获取各通道控制力矩，并为各通道指令列表中的各通道控制指令设定对应的取值集合；对各通道指令列表进行遍历，根据当前通道指令查询通道力矩指令译码表，对查询到的推力器开关状态组合取并集，并计算索引键值；对推力器对列表进行遍历，若成对的推力器存在对消状态，则关闭这对推力器，存储当前通道指令组合+索引键值+开关状态组合，返回继续进行通道指令列表遍历，直至通道指令列表遍历完成，得到包括所有通道指令组合+索引键值+开关状态组合的推力器分配真值表。有效避免各通道推力器指令组合后可能相互抵消的问题，便于飞行控制软件快速查询组合结果。