导读:本文包含了形式化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,志愿者,系统,志愿,口令,基因,反馈。
形式化论文文献综述
曹悦,刘玉生,赵建军,叶晓平,周书华[1]（2019）在《基于SysML的复杂机电系统设计模型形式化扩展与验证》一文中研究指出形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程.(本文来源于《计算机辅助设计与图形学学报》期刊2019年12期）
何挺[2]（2019）在《合适成年人讯问时在场:形式化背后的“无用论”反思》一文中研究指出调查发现,合适成年人讯问时在场的形式化趋于严重,合适成年人在场的覆盖面不足,未成年犯罪嫌疑人对在场的合适成年人印象不深。严重形式化的原因包括:合适成年人讯问时在场的强制性不足,合适成年人的来源和能力等不足以支撑其实质化地履行职责以及合适成年人到场后活动受限等。严重形式化进一步催生了合适成年人讯问时在场制度无用和应被取消的讨论。对"无用论"的反思和对这一制度的价值定位,需要超越其监督和见证讯问过程这一表面功能,回归到国家监护补位的制度源头,关注其在少年司法视角下保障未成年人参与权,实现少年司法社会化和形成合作式诉讼构造的多元价值,并应当通过制度和操作的完善使合适成年人能够实质性地发挥作用。(本文来源于《环球法律评论》期刊2019年06期）
丁建伟,陈周国,刘义铭[3]（2019）在《恶意计算机程序基因形式化研究》一文中研究指出随着互联网的爆发式发展,恶意计算机程序也呈现快速增长趋势。针对恶意计算机程序加壳、加密、混淆等复用手段,传统的恶意计算机程序检测手段越来越费时费力。针对日益增长的恶意计算机程序变种的检测,因受到生物基因检测的启发,从恶意计算机程序的汇编执行代码指令出发,研究恶意计算机程序基因的形式化表达,提出了基于恶意计算机程序基因的通用萃取模型。通过采集的1 000例恶意计算机程序样本进行对比实验,实验结果表明本文提出的恶意计算机程序基因萃取模型优于传统的恶意计算机程序计算算法。(本文来源于《信息技术与网络安全》期刊2019年11期）
汪彩梅,李正茂[4]（2019）在《面向分布式拒绝服务攻击的通用形式化模型》一文中研究指出分布式拒绝服务攻击(DDoS)具有攻击种类繁多、涉及参数复杂,因而存在缺乏一种准确、直观、通用的分析模型的问题,故提出了一种通用的DDoS形式化模型框架。首先在分析DDoS理论的基础上给出了通用形式化模型的详细定义;其次对系统实体功能、通信信道及实体间的交互行为进行了深入分析和详细的抽象建模;最后,对模型进行了实例化分析,在给出明确的问题描述后通过通用的形式化模型完成了对UDP洪水攻击的分析。实例分析表明了模型框架具有直观、易用及通用性特征。对于DDoS攻击的具体分析提供了一定的理论基础和实用价值。(本文来源于《合肥学院学报(综合版)》期刊2019年05期）
姚启超[5]（2019）在《切忌征求意见“形式化”》一文中研究指出正开展的第二批“不忘初心、牢记使命”主题教育,征求意见是找准问题“靶心”,把“改”字贯穿始终,就是教育引导广大党员干部了解民情、掌握实情,搞清楚问题是什么、症结在哪里,拿出破解难题的实招硬招。立查立改、即知即改,能够当下改的,明确时限和要求,按期整改到位(本文来源于《贵州日报》期刊2019-10-21）
马利民,张伟,宋莹[6]（2019）在《一种基于一次性口令的增强Kerberos协议方法及其形式化分析》一文中研究指出Kerberos协议是分布式网络中一种重要的基于可信第叁方认证协议,广泛应用于各主流操作系统以及云计算、无线网络等场景,但容易受到口令猜测攻击、重放攻击等。虽然基于公钥密码学的PKINIT协议可以增强Kerberos协议对这些攻击的抵抗能力,但需引入过多的计算资源和通信代价。为此,文章提出并实现了一种基于一次性口令机制以增强Kerberos协议安全性的方案,并基于BAN逻辑进行形式化分析。实验结果显示,该方案与PKINIT协议相比,计算复杂度降低,初始认证服务所需时间减少为PKINIT协议的67.7%,并具有容易部署的优点。(本文来源于《信息网络安全》期刊2019年10期）
傅立国,庞建民,王军,张家豪,岳峰[7]（2019）在《二进制翻译正确性及优化方法的形式化模型》一文中研究指出二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型,为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.(本文来源于《计算机研究与发展》期刊2019年09期）
周益龙,韩斌[8]（2019）在《基于层次组合抽象的智能系统形式化验证》一文中研究指出论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模型;然后,根据组合模型规则将层次模型进行组合,经过抽象处理后得到系统组合抽象模型。最后,以能源共享系统为例,用CSP#描述系统模型、LTL描述系统性质,利用PAT工具完成系统模型的自动验证。实验结果表明,该方法综合考虑了系统各个主体的行为,能够有效找出智能系统中的设计缺陷,并且可以缓解模型检测中的状态空间爆炸问题。(本文来源于《计算机与数字工程》期刊2019年08期）
邵泽玲,李志国[9]（2019）在《学生向形式化证明转变的困难研究》一文中研究指出高等数学思维以其精确的数学定义和严格的逻辑演绎证明为特点,数学证明已经普遍成为中学向大学过渡期学生认知困难的重要因素.当前的大学数学课堂教学中,绝大部分学生对严格形式化的数学证明产生了恐惧.为帮助学生顺利转向高等数学思维,本研究在已有理论框架~([1])下调查了学生在形式化证明认知上的困难,深刻剖析造成这种困难的根源,这将对大学数学教学改革有重要指导意义和现实意义.(本文来源于《数学学习与研究》期刊2019年16期）
斯涵涵[10]（2019）在《“志愿服务”要摒弃功利化形式化》一文中研究指出上周，中国青年报社社会调查中心联合问卷网对2000名受访者进行的一项调查显示，82.1%的受访者大学时参加过志愿服务活动。85.3%的受访者认为在大学里参加志愿服务活动是重要的，66.6%的受访者建议大学生志愿服务活动要与学生所学专业相结合，63.6%的(本文来源于《济南日报》期刊2019-08-16）
形式化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
调查发现,合适成年人讯问时在场的形式化趋于严重,合适成年人在场的覆盖面不足,未成年犯罪嫌疑人对在场的合适成年人印象不深。严重形式化的原因包括:合适成年人讯问时在场的强制性不足,合适成年人的来源和能力等不足以支撑其实质化地履行职责以及合适成年人到场后活动受限等。严重形式化进一步催生了合适成年人讯问时在场制度无用和应被取消的讨论。对"无用论"的反思和对这一制度的价值定位,需要超越其监督和见证讯问过程这一表面功能,回归到国家监护补位的制度源头,关注其在少年司法视角下保障未成年人参与权,实现少年司法社会化和形成合作式诉讼构造的多元价值,并应当通过制度和操作的完善使合适成年人能够实质性地发挥作用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式化论文参考文献
[1].曹悦,刘玉生,赵建军,叶晓平,周书华.基于SysML的复杂机电系统设计模型形式化扩展与验证[J].计算机辅助设计与图形学学报.2019
[2].何挺.合适成年人讯问时在场:形式化背后的“无用论”反思[J].环球法律评论.2019
[3].丁建伟,陈周国,刘义铭.恶意计算机程序基因形式化研究[J].信息技术与网络安全.2019
[4].汪彩梅,李正茂.面向分布式拒绝服务攻击的通用形式化模型[J].合肥学院学报(综合版).2019
[5].姚启超.切忌征求意见“形式化”[N].贵州日报.2019
[6].马利民,张伟,宋莹.一种基于一次性口令的增强Kerberos协议方法及其形式化分析[J].信息网络安全.2019
[7].傅立国,庞建民,王军,张家豪,岳峰.二进制翻译正确性及优化方法的形式化模型[J].计算机研究与发展.2019
[8].周益龙,韩斌.基于层次组合抽象的智能系统形式化验证[J].计算机与数字工程.2019
[9].邵泽玲,李志国.学生向形式化证明转变的困难研究[J].数学学习与研究.2019
[10].斯涵涵.“志愿服务”要摒弃功利化形式化[N].济南日报.2019
论文知识图
