导读:本文包含了自动化推理论文开题报告文献综述及选题提纲参考文献，主要关键词:计量自动化,态势感知,网络安全
自动化推理论文文献综述
钱斌,蔡梓文,肖勇,杨劲锋,廖年冬[1]（2019）在《基于模糊推理的计量自动化系统网络安全态势感知》一文中研究指出计量自动化系统需要与经虚拟专网接入的海量用户侧计量终端双向通信,遭网络攻击及泄露敏感数据的安全风险突出。应用网络安全态势感知技术,有助于从深层次、全面的安全视角分析评估系统安全状况。在分析计量自动化系统安全威胁的基础上,综合网络安全、系统安全、数据安全等多因素提出了一种多源态势感知与分析评估方案。分析与设计多源检测日志信息采集、格式化统一模型,消除现有系统遭到攻击后检测数据相对孤立、证据不足等问题。基于多源数据融合和应用模糊推理技术,推导出网络攻击关联性和风险,使系统具有发现复杂网络攻击和评测关联攻击的能力。(本文来源于《南方电网技术》期刊2019年02期）
塔内尔·克瑞科密,桑德·拉萨拉夫,吕玉赞[2]（2018）在《逻辑与法律推理的自动化模型》一文中研究指出一、引言技术是当今被讨论最广泛的话题之一——不管在哲学、经济学和社会学领域,还是在法律领域。这些讨论可划分为关于各种争议性立场的无止境的分类。本文分析了法律逻辑与信息技术之间融合的必然性,并着重探讨了如下两个问题:1.对法律科学、政治学的发展做出贡献并借助扩充逻辑(augmented logic)绘制其行动路线的信息技术,能够帮助建立更正义、更公平和更公正的法律实施和决策系(本文来源于《法律方法》期刊2018年01期）
王秋惠,刘红云[3]（2018）在《图形类比推理测验项目认知特征及自动化生成研究进展》一文中研究指出图形类比推理测验项目因具有不受特定语言、文化制约的特点,在认知能力测验、Lorge-桑代克智力测验和美国教育考试中被广泛使用。以往研究发现,影响图形类比推理测验难度的主要因素为不同的项目认知特征。系统地梳理图形类比推理测验的基本理论、研究方法,特别就项目认知特征和项目认知难度的相关研究进展进行分析,可以为未来研究提供新的视角,比如,对图形变换规则做进一步细化,探讨是否存在影响项目难度的其他认知属性,提升测验的有效性;对图形类比推理测验的效度和项目难度影响因素做进一步评估;开发有效的图形类比推理测验,针对不同认知水平的学生提供相应的认知训练,以提升个体的推理能力。(本文来源于《教育测量与评价》期刊2018年03期）
赵志岩[4]（2016）在《电子证据自动化推理方法的设计与实现》一文中研究指出电子证据的分析技术是打击网络犯罪的有效途径,然而取证软件对电子证据的推理分析自动化和智能化水平较低,导致网络犯罪侦查过程的效率很难提高。目前,存储设备的容量越来越大,案件中涉及的电子证据常为海量数据,靠人工推理和分析耗时、耗力。通过构建知识库,输入分析规则,可以形式化专家经验和系统规律等,进而应用规则对电子证据进行自动化推理分析,能有效地完成犯罪类型的推理或犯罪案件的重构。(本文来源于《中国人民公安大学学报(自然科学版)》期刊2016年02期）
钱钰,蔡鸿明,步丰林[5]（2015）在《基于本体推理的网络叁维场景自动化构建及实现》一文中研究指出针对传统C/S模式下的建模工具存在兼容性差、难度高及构建慢的问题,提出了基于本体推理的网络叁维场景自动化构建方法,使用语义规则和本体推理技术,在服务端自动处理用户需求、选取叁维模型特征及布局模型空间,实现网络叁维场景的自动构建.结果表明,该方法应用于房屋定制系统,大大加快了叁维场景的构建速度,降低了构建难度,对计算机硬件要求低,无兼容性问题,并且自动化构建的场景很好地满足了用户需求.(本文来源于《东华大学学报(自然科学版)》期刊2015年05期）
胡海波[6]（2012）在《非功能需求交互的语义建模和自动化推理》一文中研究指出非功能需求是说明软件系统或组件必须要达到的质量、运行能力等方面的需求，是软件开发过程中需要关注的关键要素。由于具有主观性、相对性、多样性和交互性等特性，非功能需求的研究已成为需求工程业界关注的热点。本课题源于国家863项目和重庆市自然基金项目，重点研究非功能需求之间的交互问题，该问题也可表述为非功能属性之间的相容和失配。在方法论层面，非功能需求框架中的柔目标依存图是专门用于处理非功能需求交互的结构化、图形化建模语言，可对非功能需求的复杂关系进行可视化建模和过程化支持，为设计决策提供支持。但它在形式化、自动化方面的能力有限，实例数据模型不具有语法和语义互操作性，难以用于机器理解和自动化推理。在问题域方面，非功能需求交互问题是系统复杂性和涌现性的体现。须在全局范围内来考察非功能需求，了解它们之间产生的相容和失配关系和机理，进而检测出失配关系，为需求权衡和设计决策提供依据。非功能需求的实现将会横切多个基本功能组件，使得非功能需求和功能需求之间产生复杂的依赖关系。功能需求之间产生的交互也会为非功能需求的可满足性和关联带来错综复杂的影响。分析非功能需求的交互和作用机理，还需要结合对功能需求交互的机理分析来展开。本文通过本体论和语义万维网技术扩展非功能需求框架和柔目标依存图在非功能需求建模和分析方面的能力，探寻本体模型中的公理化和规则化相协同的语义建模方法；实现非功能需求知识表示、语义互操作、实例模型的共享与重用。采用本体化的方法对非功能需求交互关系、相容失配的机理进行建模和规约，通过规则的推理实现非功能需求的自动化分析和验证。主要研究内容和创新性成果包括以下五个方面：①研究非功能需求交互的形式化本体建模方法，构建出使用语义万维网本体语言(OWL)描述的非功能需求形式化本体。主要工作包括：以非功能需求框架和柔目标依存图为需求建模的参考模型进行形式化建模，论述了用于非功能需求交互的概念层次模型、属性关系、依存关系建模模式、本体公理化等本体建模的技术和方法，构建出非功能需求的核心本体模型。为非功能需求概念建模和语义表示提供完整的方法论支持，奠定了形式化规约的基础。②研究柔目标依存图的语义表示方法、结构化语法特性和语义互操作性，提出了语法一致性检验规则和度量指标。主要工作是论述了基于知识管理的非功能需求语义表示框架；提出柔目标依存图符合严格无回路有向图的约束条件，依次对柔目标依存图中非功能需求的分解、关联等依存关系的结构化特性进行分析，建立了语法一致性检验规则；对实例模型的度量指标进行了分析，并定义了判定规则；通过实验研究验证了语义规则的正确性。③研究柔目标依存图中因非功能需求之间的依存关系而产生相容、失配的交互机理，提出形式化和规则化的表示方法。主要工作是对非功能需求可满足性评估过程进行分析，对评估准则进行语义建模；进而提出基于领域知识的隐式关联规则表示方法、基于波动影响评估的间接语义路径关联规则和失配模式，实现了形式化表示方法和自动化检测规则，可用于分析和检测柔目标依存图实例数据模型中潜在的失配关系，并通过实验案例研究验证了语义规则的正确性和方法的有效性。④研究功能需求与非功能需求的依存关系和形式化语义表示方法，提出用于分析功能需求的交互所引发非功能需求隐式关联和失配关系的分析方法。主要工作包括：基于特征-柔目标依存图的语法，建立了功能需求和非功能需求依存关系表示的语义表示模型；对功能需求交互的模式和机理进行了形式化的分析；提出了基于语义万维网技术的功能需求交互的自动化检测方法，分析并定义了由功能需求交互引发的非功能需求交互的隐式关联规则；最后通过案例研究验证了规则的正确性和方法的有效性。⑤研究非功能需求知识知识管理方法，将模式化、关注点分离、可扩展性、可重用等特性，融入到上述研究过程中，为方法论和技术体系在解决非功能需求分析建模问题的多样性、有效性、实用性等方面提供充分的理据。(本文来源于《重庆大学》期刊2012-04-01）
秦好磊[7]（2011）在《基于树自动推理的安全协议自动化检测》一文中研究指出本文介绍了树自动机结合项重写系统分析安全协议的方法。首先,协议步骤转化为项重写系统,通信请求被建模成树自动机;树自动机按照项重写系统进行推理迭代,自动超逼近网络中协议消息交换集合。最后,当树自动机终止时,通过判断终止逼近集和不允许行为集的交集是否为空,来实现对安全性质的检验。根据上述原理,本文开发了基于树自动推理的安全协议自动化检测系统TAVS(Tree Automata Verification System)。该系统在传统树自动机的基础上,引入了逼近规则,演进更加高效。TAVS根据协议形式自动建模、自动检测安全目标和构造攻击路径,可以检测认证协议和密钥交换协议等多种协议。本文最后,对LPD-IMSR协议进行检测,发现了一个针对认证性的中间人攻击;并对部分字段进行签名,改进了该协议,避免了中间人攻击。(本文来源于《西安电子科技大学》期刊2011-01-01）
肖志怀,曾兵,王莺子,卢娜[8]（2009）在《神经网络-模糊推理协作系统在闸门综合自动化故障诊断中的应用》一文中研究指出研究了神经网络-模糊推理协作系统在闸门综合自动化故障诊断中的应用,在该协作系统中,先根据模糊模型确定神经网络的结构、连接方式以及初始权值,从而构造出相应的神经网络.然后,将神经网络应用于闸门综合自动化故障诊断系统,根据系统的运行数据对神经网络进行学习训练,调整神经网络的权值来修正原始的模型,提高其准确性.经过学习训练后的神经网络模型又被转换成模糊模型,从而使分布存储在神经网络中的知识得到清晰的解释.该系统已应用于生产实践中,系统运行结果验证了该方法的有效性和可行性.(本文来源于《武汉大学学报(工学版)》期刊2009年04期）
杨化林,童水光,吴荣仁[9]（2008）在《基于范例推理的注塑模具设计自动化技术》一文中研究指出研究在最近邻法基础上注塑模具范例的相似度算法,充分考虑不同历史时段技术发展水平导致的模具设计和加工手段的进步。减小由于庞大的范例库造成的匹配时间复杂度,提出采用过滤机制的方法。首先限定一定的搜索范围,只对此范围内的范例进行相似度计算匹配,从而最大限度的提高系统计算、匹配效率;给出特征权重调整的简洁方法,以对传统最近邻法产生的不精确性进行修正。针对检索到的模具范例,从零部件信息和装配结构两个方面进行调整,提出基于标准件库的离线式零部件编辑和以"配合关系寄存器"为中间件的结构调整方式。最后提出一种设计时范例数据获取与重用的设计过程刻录的在线式范例应用的新方法,为基于范例的自动模具设计开辟新途径。(本文来源于《机械工程学报》期刊2008年10期）
赵利华[10]（2008）在《基于案例推理的HAZOP分析自动化框架的研究》一文中研究指出危险与可操作性(Hazard and Operability Analysis HAZOP)分析是一种广泛应用于化学流程工业的危险分析方法。为克服现有的HAZOP分析专家系统在“非常规”分析方面的局限性,提高HAZOP分析的系统性和一致性,作者提出了基于案例推理(Case-Based Reasoning CBR)的HAZOP分析自动化方法,将CBR技术运用到HAZOP“非常规”分析中,并在此基础上构建了基于CBR的HAZOP分析自动化框架。本文描述了基于CBR的HAZOP分析自动化框架对应的案例库及案例结构,给出了案例搜索策略。在此基础上设计并实现了:知识管理模块、案例构造器和CBR分析模块。重点介绍了CBR分析模块中推理机的实现。工业实例应用结果表明,基于CBR的HAZOP专家系统突破了现有HAZOP专家系统没有学习能力和不能进行“非常规”分析的技术瓶颈,提高了HAZOP分析的全面性。(本文来源于《北京化工大学》期刊2008-06-02）
自动化推理论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
一、引言技术是当今被讨论最广泛的话题之一——不管在哲学、经济学和社会学领域,还是在法律领域。这些讨论可划分为关于各种争议性立场的无止境的分类。本文分析了法律逻辑与信息技术之间融合的必然性,并着重探讨了如下两个问题:1.对法律科学、政治学的发展做出贡献并借助扩充逻辑(augmented logic)绘制其行动路线的信息技术,能够帮助建立更正义、更公平和更公正的法律实施和决策系
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自动化推理论文参考文献
[1].钱斌,蔡梓文,肖勇,杨劲锋,廖年冬.基于模糊推理的计量自动化系统网络安全态势感知[J].南方电网技术.2019
[2].塔内尔·克瑞科密,桑德·拉萨拉夫,吕玉赞.逻辑与法律推理的自动化模型[J].法律方法.2018
[3].王秋惠,刘红云.图形类比推理测验项目认知特征及自动化生成研究进展[J].教育测量与评价.2018
[4].赵志岩.电子证据自动化推理方法的设计与实现[J].中国人民公安大学学报(自然科学版).2016
[5].钱钰,蔡鸿明,步丰林.基于本体推理的网络叁维场景自动化构建及实现[J].东华大学学报(自然科学版).2015
[6].胡海波.非功能需求交互的语义建模和自动化推理[D].重庆大学.2012
[7].秦好磊.基于树自动推理的安全协议自动化检测[D].西安电子科技大学.2011
[8].肖志怀,曾兵,王莺子,卢娜.神经网络-模糊推理协作系统在闸门综合自动化故障诊断中的应用[J].武汉大学学报(工学版).2009
[9].杨化林,童水光,吴荣仁.基于范例推理的注塑模具设计自动化技术[J].机械工程学报.2008
[10].赵利华.基于案例推理的HAZOP分析自动化框架的研究[D].北京化工大学.2008