导读:本文包含了逻辑矩阵论文开题报告文献综述及选题提纲参考文献,主要关键词:可靠性,分析与评估,多状态,时变需求
逻辑矩阵论文文献综述
史跃东,徐一帆,金家善[1](2019)在《基于逻辑报酬矩阵的多状态系统可靠性评估》一文中研究指出多状态可靠性建模、分析与评估研究,对于合理管控大型装备复杂系统运行历程,科学规措配套保障工程活动,具有重要价值.针对时变需求约束下多状态装备复杂系统,通过构建逻辑报酬矩阵体系,基于任务周期逻辑累计报酬,给出系统可靠性累计特征分析与评估的通用解算方法.专题研究与案例验证表明:解算方法鲁棒性好,面向不同环境约束与评估需求,均易实现解算;适用性强,结合UGF技术,可适用于任意状态维度系统评估;程式化高,依赖矩阵向量建模,易于实现计算机自动化求解.研究结果可拓展应用于能源、信息、机械等行业多状态装备复杂系统的可靠性分析与评估,并对有效规措装备配套保障系统建设工作,具有技术指导意义.(本文来源于《系统工程理论与实践》期刊2019年05期)
于永渊[2](2019)在《逻辑矩阵方程及其在布尔网络中的应用》一文中研究指出利用矩阵半张量积,布尔网络及其推广形式,布尔控制网络和切换布尔网络,可以转化为代数表达形式.基于它们的新形式,布尔网络中的大量问题可以被系统地解决.为处理一些设计类的问题,本文提出了一种基于矩阵方程的方法.通过这个构造性的方法,块分解中的坐标变换,可逆性分析中的逆系统,以及实现稳定性的切换信号等,都可以被设计出来.论文的第一章首先介绍了几类常用矩阵方程的历史由来与发展现状,其次介绍布尔网络的起源与发展,尤其是基于半张量积,布尔网络在能控能观性,分解与解耦,可逆性与稳定性等方面的背景.第二章是一些关于半张量积的预备知识.除此之外,本章也详细地演示了将布尔控制网络和切换布尔网络等价地转化为其代数表示的过程.在第叁章中,叁类逻辑矩阵方程从一些实际问题被提炼出来,并分别计算了它们的逻辑解集.由于逻辑矩阵的特殊形式,逻辑解集可以以一种简洁的方式进行呈现.这些结果将被应用于随后的章节,用以分解系统,设计逆系统,以及切换信号.通过逻辑矩阵方程,布尔控制网络的块分解问题在第四章进行了研究.首先,块分解的概念被提出.其次,布尔控制网络的块分解问题被等价地转化为一族逻辑矩阵方程的求解问题.据此,合适的坐标变换可以被设计出来.最后通过一个例子来展示结果的有效性.本文的第五章致力于更加一般形式的布尔控制网络的输出能观性(也被称为非奇异性和左可逆性).首先,利用图论方法,将全局非奇异性转化为有限步的逐点非奇异性.进而,给出一些矩阵形式的判据用以确定非奇异性.在这些判据的基础上,所需的逆布尔控制网络可以被计算和设计出来.章末,通过一个数值算例来显示所得结果的可行性与有效性.在第六章,本文分析了切换布尔网络的叁类稳定性,分别是任意切换下的稳定性,逐点切换稳定性以及一致切换稳定性.在一个改进方法的框架下,任意切换下的稳定性和逐点切换稳定性被讨论.基于切换信号的类型,伴随逻辑网络被构造出来用以研究一致切换稳定性和时变输出反馈下的(逐点切换)稳定性.利用这些方法,可以给出一些矩阵判据.相比已有结果,本章结果具有较小的计算复杂度.基于矩阵半张量积,第七章进一步研究了切换布尔网络的切换信号设计问题.首先,提出了一个构造性的方法来获取实现稳定性的全部的状态反馈切换信号.接着,本文发现全局一致切换稳定性等价于伴随逻辑网络中的局部(单点)逐点切换稳定性,进而在有限时间可稳的意义下,所需的全部一致切换信号可以被确定.随之,该方法被推广到时变输出反馈的情况.此外,利用逻辑矩阵方程,本文还分析了切换布尔网络的反馈能力问题.最后,结合一个生物例子和一个数字电路的例子,本文讨论了该章结果的有效性.第八章从研究中存在的问题和布尔网络未来展望两个方面对全文进行了总结.(本文来源于《山东大学》期刊2019-05-23)
彭韵陶,李健[3](2019)在《基于逻辑混沌投影矩阵的心率失常识别研究》一文中研究指出为了提高心律失常的识别性能,同时解决识别中特征数过多造成的耗时过长问题,提出一种基于逻辑混沌投影矩阵与RR间期相结合的算法。为了评估算法的性能,遵循美国医疗器械促进协会推荐的标准(AAMI),使用来自麻省理工学院及以色列贝丝科技医院(MIT-BIH)心律失常数据库的44个记录,通过随机森林分类器识别五类心电信号,实验结果表明,所提出的算法通过4维特征获得91.81%的准确率。与现有特征提取技术相比,该算法具有所需分类特征少且性能佳的优势。(本文来源于《现代计算机(专业版)》期刊2019年10期)
廖丽平,郭开仲,李颖[4](2019)在《逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究》一文中研究指出在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题.因为构成这类模糊错误矩阵的元素是集合,所以这类模糊错误矩阵之间一般是集合关系式,而不只是通常方程的等式,研究这一类模糊错误矩阵方程解的存在性,求解的方法等是理论与实践的需要.以XA■B研究对象,研究得到模糊错误矩阵集合方程XA′=B解的存在性及给出求解的例子.(本文来源于《数学的实践与认识》期刊2019年03期)
杨乘,韩丽[5](2019)在《基于目标矩阵法的大学数字电子技术基础教材分析——以组合逻辑电路为例》一文中研究指出对教材进行全面透彻分析,是教师上好一门课的准备工作中最重要的一环。因此,以目标矩阵法为教材分析方法,选择阎石的《数字电子技术基础》(第五版)中的"组合逻辑电路"为例进行教材分析,以期更好地把握教材内容,提高教学效率。(本文来源于《中国教育技术装备》期刊2019年02期)
郑红,邓文轩,邓晓,卢兴见[6](2018)在《基于矩阵的工作流逻辑网模型的化简及验证》一文中研究指出在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发"状态空间爆炸"问题。工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象。为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础。通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性。(本文来源于《计算机科学》期刊2018年07期)
李志强,秦军,宋金利[7](2018)在《逻辑矩阵的特征向量及应用》一文中研究指出特征值与特征向量描述了线性变换的基本性质.特征向量是线性变换的作用下保持方向不变的向量,特征值体现了特征向量在线性变换中的伸缩性.讨论了一类布尔矩阵在布尔空间中的特征值与特征向量问题,证明了逻辑矩阵只有1特征值,所有1特征值构成1特征子空间,并且1特征子空间由唯一的一组基本特征向量布尔生成.最后,将逻辑矩阵特征向量的相关结果用于研究布尔网络极限环个数等拓扑性质.(本文来源于《数学的实践与认识》期刊2018年09期)
王肖[8](2018)在《基于参数矩阵逻辑运算求解极小碰集》一文中研究指出在基于模型的故障诊断与测试中,计算全体极小碰集是其关键步骤,提出了一种基于参数矩阵逻辑运算求解极小碰集的改进算法,只需要通过比较存储集合簇元素集合中剩余元素的个数来判定算法是否继续执行,并且在输入参数矩阵时按元素度的大小自上而下排列,在计算碰集的过程中不必比较元素度的大小,该算符优化了极小碰集计算过程,提高了计算效率。(本文来源于《中国新通信》期刊2018年08期)
侯慧欣,刘城霞[9](2018)在《基于柔性逻辑的区分矩阵属性约简算法》一文中研究指出传统的基于区分矩阵的属性约简算法只能处理离散数据,而绝大部分数据既包含离散属性又包含连续属性.针对这一问题,本文使用一种可以对离散数据和连续数据进行统一处理的方法.该方法利用柔性逻辑等价关系替代原来的不可分辨关系,简化了传统算法中的离散化过程,提高了算法效率.实验表明,与传统的算法相比,改进后算法省略了离散化这一过程,可以对离散数据和连续数据统一进行处理.(本文来源于《计算机系统应用》期刊2018年03期)
邢海云[10](2017)在《矩阵的半张量积在网络演化博弈中的应用与逻辑算子的张量表示》一文中研究指出本文利用矩阵的半张量积理论,研究了进化博弈论中的进化稳定策略.另外,利用张量与矩阵的乘法法则,将逻辑算子的矩阵表示转化为逻辑算子的张量表示.同时,对于变异雪堆博弈在网络演化博弈中的模型中的动态演化历程进行了研究.此外还研究了基于社会惩罚的囚徒困境博弈的网络演化博弈模型与控制问题,加入控制序列来讨论其动态行为.本文做的主要工作有:(一)研究了进化博弈中进化稳定策略的求解问题.利用伪布尔函数性质,给出了有限理性下的进化博弈基本分析模型中进化稳定策略的一种新求法.(二)研究了逻辑算子的张量表示方法.在张量与矩阵的乘法运算规则下,利用逻辑算子的真值表得出相应逻辑算子的张量表示.(叁)建立了添加回报机制的变异雪堆博弈的网络演化模型,结合逻辑动态系统,再转成代数形式,讨论其最终合作稳定性.(四)研究了具有社会惩罚的进化网络博弈,得到了进化动态博弈的代数形式.得到了一个设计自由类控制序列的充要条件使所有局中人合作。(本文来源于《聊城大学》期刊2017-04-01)
逻辑矩阵论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
利用矩阵半张量积,布尔网络及其推广形式,布尔控制网络和切换布尔网络,可以转化为代数表达形式.基于它们的新形式,布尔网络中的大量问题可以被系统地解决.为处理一些设计类的问题,本文提出了一种基于矩阵方程的方法.通过这个构造性的方法,块分解中的坐标变换,可逆性分析中的逆系统,以及实现稳定性的切换信号等,都可以被设计出来.论文的第一章首先介绍了几类常用矩阵方程的历史由来与发展现状,其次介绍布尔网络的起源与发展,尤其是基于半张量积,布尔网络在能控能观性,分解与解耦,可逆性与稳定性等方面的背景.第二章是一些关于半张量积的预备知识.除此之外,本章也详细地演示了将布尔控制网络和切换布尔网络等价地转化为其代数表示的过程.在第叁章中,叁类逻辑矩阵方程从一些实际问题被提炼出来,并分别计算了它们的逻辑解集.由于逻辑矩阵的特殊形式,逻辑解集可以以一种简洁的方式进行呈现.这些结果将被应用于随后的章节,用以分解系统,设计逆系统,以及切换信号.通过逻辑矩阵方程,布尔控制网络的块分解问题在第四章进行了研究.首先,块分解的概念被提出.其次,布尔控制网络的块分解问题被等价地转化为一族逻辑矩阵方程的求解问题.据此,合适的坐标变换可以被设计出来.最后通过一个例子来展示结果的有效性.本文的第五章致力于更加一般形式的布尔控制网络的输出能观性(也被称为非奇异性和左可逆性).首先,利用图论方法,将全局非奇异性转化为有限步的逐点非奇异性.进而,给出一些矩阵形式的判据用以确定非奇异性.在这些判据的基础上,所需的逆布尔控制网络可以被计算和设计出来.章末,通过一个数值算例来显示所得结果的可行性与有效性.在第六章,本文分析了切换布尔网络的叁类稳定性,分别是任意切换下的稳定性,逐点切换稳定性以及一致切换稳定性.在一个改进方法的框架下,任意切换下的稳定性和逐点切换稳定性被讨论.基于切换信号的类型,伴随逻辑网络被构造出来用以研究一致切换稳定性和时变输出反馈下的(逐点切换)稳定性.利用这些方法,可以给出一些矩阵判据.相比已有结果,本章结果具有较小的计算复杂度.基于矩阵半张量积,第七章进一步研究了切换布尔网络的切换信号设计问题.首先,提出了一个构造性的方法来获取实现稳定性的全部的状态反馈切换信号.接着,本文发现全局一致切换稳定性等价于伴随逻辑网络中的局部(单点)逐点切换稳定性,进而在有限时间可稳的意义下,所需的全部一致切换信号可以被确定.随之,该方法被推广到时变输出反馈的情况.此外,利用逻辑矩阵方程,本文还分析了切换布尔网络的反馈能力问题.最后,结合一个生物例子和一个数字电路的例子,本文讨论了该章结果的有效性.第八章从研究中存在的问题和布尔网络未来展望两个方面对全文进行了总结.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑矩阵论文参考文献
[1].史跃东,徐一帆,金家善.基于逻辑报酬矩阵的多状态系统可靠性评估[J].系统工程理论与实践.2019
[2].于永渊.逻辑矩阵方程及其在布尔网络中的应用[D].山东大学.2019
[3].彭韵陶,李健.基于逻辑混沌投影矩阵的心率失常识别研究[J].现代计算机(专业版).2019
[4].廖丽平,郭开仲,李颖.逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究[J].数学的实践与认识.2019
[5].杨乘,韩丽.基于目标矩阵法的大学数字电子技术基础教材分析——以组合逻辑电路为例[J].中国教育技术装备.2019
[6].郑红,邓文轩,邓晓,卢兴见.基于矩阵的工作流逻辑网模型的化简及验证[J].计算机科学.2018
[7].李志强,秦军,宋金利.逻辑矩阵的特征向量及应用[J].数学的实践与认识.2018
[8].王肖.基于参数矩阵逻辑运算求解极小碰集[J].中国新通信.2018
[9].侯慧欣,刘城霞.基于柔性逻辑的区分矩阵属性约简算法[J].计算机系统应用.2018
[10].邢海云.矩阵的半张量积在网络演化博弈中的应用与逻辑算子的张量表示[D].聊城大学.2017