导读:本文包含了冗余逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:命题逻辑,可满足性,冗余文字,负文字
冗余逻辑论文文献综述
刘婷,徐扬,陈秀兰[1]（2019）在《命题逻辑中单元子句及其负文字和冗余子句》一文中研究指出针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句的冗余性,得到了一些冗余文字和冗余子句的判定方法,还提出了与子句集可满足性的等价条件。所提方法可以使命题逻辑的逻辑公式更简单,为命题逻辑中逻辑公式的简化提供一定的理论支撑。(本文来源于《计算机科学》期刊2019年08期）
任阳阳[2]（2019）在《基于逻辑传感和无线MESH的采煤机远程冗余控制系统》一文中研究指出文中以电牵引采煤机远程控制的应用现状为依托,基于以太网技术、无线短距离网状网、生产中采煤机远程冗余控制Profibus系统技术结合的基础上设计了一种新型的电牵引采煤机参数化控制。通过在西安煤矿机械有限公司对该技术进行实际应用,结果表明所设计的控制理论能够实现远程监控的功能。(本文来源于《煤矿现代化》期刊2019年03期）
郑云富[3]（2019）在《基于热备冗余控制的地铁车辆逻辑控制单元应用研究》一文中研究指出针对地铁车辆应用场景,基于热备冗余控制方案,对地铁车辆逻辑控制单元LCU进行应用研究。根据LCU系统架构及硬件配置,对电源冗余、主控冗余、IO冗余、通信冗余等进行冗余设计,有效地保证了地铁车辆运行的安全性和可靠性,提高了列车的运营保障能力。(本文来源于《现代城市轨道交通》期刊2019年02期）
刘洋,袁浩智,彭冬良,沈朝喜,汪婷[4]（2018）在《一种冗余诊断式逻辑控制单元在地铁中的应用研究》一文中研究指出针对继电器易受环境影响而失效的问题,提出一种无触点电子逻辑控制单元系统取代车辆部分继电器回路,实现车辆的电气逻辑控制。该系统采用带热备冗余控制的智能自诊断技术,实现设备的健康管理自识别功能及故障板卡在线切换功能,提高了产品的可靠性。且该设备具备状态、故障数据存储功能,方便售后维护分析,提高了产品可维护性。(本文来源于《技术与市场》期刊2018年12期）
何杰文[5]（2018）在《城市轨道交通ATO和ATP冗余逻辑单元的设计与实现》一文中研究指出近年来,随着城市轨道交通系统的自动化程度不断提升,全自动无人驾驶系统(FAO)成为信号系统最新的发展方向,而传统的信号系统越来越不能适应城市轨道交通高速度、高密度、高稳定性和高安全性的行车要求。因此需对现有的车载ATO和ATP子系统的自动化程度、可靠性和安全性进一步提高。为此,本文以北京燕房线FAO系统中的车载ATO和ATP子系统作为研究对象。结合FAO系统的整体需求,对目前国内采用单机主控的ATO子系统和二取二主控的ATP子系统从稳定性上进行了重新设计,在硬件上采用可靠性更高的元器件,软件上提高控制算法的鲁棒性,系统架构上提高系统的冗余度,从而进一步提升整个系统的稳定性。论文的主要研究工作如下:首先,本文对车载冗余ATO和叁取二ATP子系统的原理和主要功能进行详细的阐述,并着重与现有的单机ATO和二取二ATP子系统进行分析比较,冗余ATO和叁取二ATP设计方案在安全性,稳定性,可用性和可维护性上较单机ATO和二取二ATP的设计方案更为优越。同时对冗余ATO子系统的运行时的故障监测和无缝切换机制进行详细的分析说明。其次对叁取二ATP子系统的硬件上实现叁取二的取值原理,列车受力分析和速度-距离曲线的计算进行详细的分析,并进行仿真分析说明。然后,针对FAO系统的高安全性和稳定性的要求。本文采用Isograph计数法与可靠性框图法相结合的思想对车载冗余ATO和叁取二ATP子系统进行可靠性性分析。将冗余ATO和叁取二ATP设备从电子元器件、模块、单板卡、系统四个约定层次逐层进行可靠性分析论证,最终得出整个设备的可靠性,符合工业设计的指标要求。最后,对冗余ATO和叁取二ATP子系统的硬件设计方案进行详细的设计说明。其中包括:冗余ATO和叁取二ATP子系统输入板、输出板与主机板MCU通信的SPI方案的FPGA实现;主机板与各个板卡和模块之间的通信协议的硬件设计;冗余ATO和叁取二ATP主机板的原理图和PCB设计;ATP公共板对叁个主机板MCU进行同步控制输出的FPGA设计方案;TMS板接口板MVB协议的硬件设计;冗余ATO与叁取二ATP系统电源板的110V转24V和110V转5V的设计方案。同时本文对ATO和ATP的安全量、非安全量与车辆接口的设计上在电磁兼容和稳定性上进行详细设计,并给出了车载设备系统故障安全原则的具体措施。(本文来源于《兰州交通大学》期刊2018-04-01）
肖潇[6]（2018）在《支持多业务接入和冗余功能的FC节点卡逻辑设计》一文中研究指出随着航空电子系统的不断发展和进步,FC-AE(Fibre Channel-Avionics Environment)因为其高传输速率、低延迟、低误码率及抗干扰能力强等优点,已广泛应用于各种对实时性和可靠性要求高的环境,在FC-AE的实际应用中,FC-AEASM(Fibre Channel-Avionics Environment-Anonymous SubscriberMessage)和FC-AE-1553((Fibre Channel-Avionics Environment-1553)两种上层协议应用最为广泛。同时,在各种民用或者军用设备中,MIL-STD-1553B(Military-Standard-1553),以太网,CAN(Controller Area Network)等多种网络协议同样发展迅速且都具有一定的不可代替性。随着现代设备的复杂化,多种协议业务协同工作的应用场景出现频率增加,本文设计的一种FC节点卡就是基于这样的需求。本文设计的FC(Fibre Channel)节点卡,作为节点卡时除了支持FC-AE-ASM协议和FC-AE-1553协议,还同时具有将标准以太网协议帧和标准CAN协议帧封装进FC-AE-ASM协议帧接入FC-AE网络的功能。此外,当FC网络中的FC-AE-1553 NC节点需要与MIL-STD-1553B总线的RT进行通信时,该节点卡还能作为一个协议桥完成两者之间的协议映射。此外,本FC节点卡还具有热冗余功能的性能特点,以提高设备的可靠性。本文首先从研究背景着手,分析了国内外的研究现状和研究需求,为本文的研究目的和意义铺垫了理论基础。接着本文还对设计中提及的协议和相关知识点做了介绍,为本文后面的设计提供了理论基础和实现依据。接着本文详细介绍了设计的总体框架和功能实现。在本设计中,总共被分为两大部分,一大部分是多业务接入部分,另一部分是FC-AE-1553和MIL-STD-1553B协议桥部分。在多业务接入部分,本文主要介绍了如何业务接入的相关设计以及冗余通道功能;在协议桥部分,本文主要介绍了协议映射的规则和实现过程。FPGA是一种灵活可靠的验证平台,本文的主体设计和实现都依靠FPGA来进行。本文通过Modelsim平台对设计的代码进行了功能仿真,接下来通过软硬件联调的方式进行了下板测试,对设计的功能进行了实际验证并得到了结果。(本文来源于《电子科技大学》期刊2018-03-26）
富银芳,乔敏,曹力潭,黄智,贾轩涛[7]（2017）在《灵绍特高压直流控制系统冗余切换逻辑的研究》一文中研究指出本文基于灵绍特高压直流输电工程对南瑞PCS9550控制系统的冗余切换逻辑和原理进行分析,研究了两套冗余控制主机之间值班、备用的切换过程,以及不同工况下控制系统出现轻微、严重和紧急故障后冗余切换逻辑的响应策略。研究结果表明,两套控制系统的冗余切换首先由备用系统发起,即备用系统首先切换为值班后,原值班系统退出值班状态,在切换过程中短时出现两套控制系统同为值班的状态。该研究结果为类似工程的设计提供了参考和借鉴价值。(本文来源于《电气技术》期刊2017年12期）
操天[8]（2017）在《基于近似逻辑设计工具的冗余二进制乘法器设计与评估》一文中研究指出随着集成电路工艺尺寸的降低和集成密度的增加,功耗问题已成为制约集成电路发展的一个主要因素。近似计算提供了一种新的以精度为代价实现低功耗设计的方法,在数字信号处理、机器学习、模式分类等可容错的应用中,关键电路的近似设计可以有效降低功耗而不影响应用效果。乘法器作为处理器的核心部件,其功耗的大小对整个处理器的性能具有决定性意义。冗余二进制(Redundant Binary,RB)乘法器与普通二进制(Normal Binary,NB)乘法器相比,其部分积累加具有连续进位无关的良好特性可以设计出高速高性能的并行乘法器,因此对RB乘法器做近似设计可以有效改善系统性能。本文提出了一种近似逻辑设计(Approixmate Logic Design,ALD)工具,该工具采用误差矩阵来分析近似设计的计算误差,通过近似电路对应的晶体管数目来评估其硬件复杂度,所提出的ALD工具可以给出在约束条件下最优的近似电路设计方案。基于RB乘法器的部分积产生、压缩、得到最终积等叁个关键模块,利用所设计的ALD工具提出了两种近似修正Booth编码,两种近似RB压缩器,一种近似RB-NB转换器设计方案,设计了一种采用近似和精确规整部分积阵列来满足不同精度要求的方案,采用近似因子p来调节近似乘法器的计算精度,在此基础上设计了四种计算精度可调的近似RB乘法器。论文完成了RB乘法器从各个模块到整体近似设计的硬件复杂度评估及误差分析。采用Verilog HDL完成硬件设计,通过Design Complier工具进行综合得到硬件性能指标,误差分析通过C++建模仿真得到。测试结果表明所设计的8×8位,16×16位,32×32位近似RB乘法器与精确乘法器相比功耗更低、延时更短、面积更小。综合考虑硬件复杂度和计算精度,本文设计的近似RB乘法器性能优于已有近似乘法器,尤其在延时和计算精度方面。最后将本文设计的近似RB乘法器应用于图像处理、FIR滤波器和K均值聚类中,验证了本文设计的近似RB乘法器的可靠性及其在可容错计算领域较高的应用价值。(本文来源于《南京航空航天大学》期刊2017-12-01）
薛坤坤,王凯[9]（2015）在《制度逻辑、金字塔结构与冗余雇员》一文中研究指出文章以2010年~2014年的沪深A股国有上市公司为例研究了不同金字塔层级结构下,企业的管理者基于不同的制度逻辑做出的企业雇员决策对企业绩效的影响。实证结果发现:冗余雇员会对企业绩效产生负面影响,但是不同金字塔层级下企业冗余雇员对企业绩效的影响程度不同。层级越低,冗余雇员对企业的负面影响越大。(本文来源于《现代管理科学》期刊2015年12期）
侯晶晶[10]（2015）在《地铁环境与设备监控系统可编程逻辑控制冗余技术可靠性与可用性研究》一文中研究指出结合西安地铁1号线环境与设备监控系统(BAS)中采用的可编程逻辑控制(PLC)冗余技术,利用可靠性框图模型和马尔可夫模型分析方法 ,对BAS的可靠性和可用性进行分析,得出了评价系统可靠性和可用性的指标及其计算方法。结果表明,采用PLC冗余技术的西安地铁1号线BAS系统具有较高的可靠性和可用性,可满足地铁运营高可靠性的要求。(本文来源于《城市轨道交通研究》期刊2015年10期）
冗余逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
文中以电牵引采煤机远程控制的应用现状为依托,基于以太网技术、无线短距离网状网、生产中采煤机远程冗余控制Profibus系统技术结合的基础上设计了一种新型的电牵引采煤机参数化控制。通过在西安煤矿机械有限公司对该技术进行实际应用,结果表明所设计的控制理论能够实现远程监控的功能。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
冗余逻辑论文参考文献
[1].刘婷,徐扬,陈秀兰.命题逻辑中单元子句及其负文字和冗余子句[J].计算机科学.2019
[2].任阳阳.基于逻辑传感和无线MESH的采煤机远程冗余控制系统[J].煤矿现代化.2019
[3].郑云富.基于热备冗余控制的地铁车辆逻辑控制单元应用研究[J].现代城市轨道交通.2019
[4].刘洋,袁浩智,彭冬良,沈朝喜,汪婷.一种冗余诊断式逻辑控制单元在地铁中的应用研究[J].技术与市场.2018
[5].何杰文.城市轨道交通ATO和ATP冗余逻辑单元的设计与实现[D].兰州交通大学.2018
[6].肖潇.支持多业务接入和冗余功能的FC节点卡逻辑设计[D].电子科技大学.2018
[7].富银芳,乔敏,曹力潭,黄智,贾轩涛.灵绍特高压直流控制系统冗余切换逻辑的研究[J].电气技术.2017
[8].操天.基于近似逻辑设计工具的冗余二进制乘法器设计与评估[D].南京航空航天大学.2017
[9].薛坤坤,王凯.制度逻辑、金字塔结构与冗余雇员[J].现代管理科学.2015
[10].侯晶晶.地铁环境与设备监控系统可编程逻辑控制冗余技术可靠性与可用性研究[J].城市轨道交通研究.2015