![情态命题公式4、E和B上E和B的布尔值]()
一、关于模态命题公式4、E和B的布尔值（论文文献综述）张维珺[1]（2019）在《基于形式化方法的系统需求建模与安全性分析研究》文中认为随着计算机的诞生及快速发展,其在各行业、...
![Junit设计模式分析与应用]()
一、Junit设计模式分析和应用（论文文献综述）向瑞[1]（2020）在《基于分布式开发-生物医学互联网服务平台的建设》文中研究说明随着互联网技术的发展,网络催生了有关于生物医...
![整车制造业库存控制方法与策略研究]()
论文摘要经济新常态下,整车制造业需要通过库存控制策略有效降低企业资产,让库存有效流动起来,从而提升企业竞争力。"中国制造2025"为制造业的发展提供了新的突...
![基于设备功能的智能变电站二次设备状态评估方法研究]()
论文摘要当智能变电站发生故障/告警时,二次系统网络中数据量异常庞大,此时快速、准确的定位到故障/告警位置,查找到故障原因是十分困难的。一般的二次设备状态评估方法以物理设备性能为...
![基于逻辑模型和DEA的高校来华留学生教育绩效评价]()
论文摘要当前是一个全球化高度发展的社会,随着全球化的不断深入,世界各国在积极推动经贸往来发展的同时也十分重视教育等人文交流。我国作为世界第二大经济体,经济迅速发展,国际地位不断...
![智慧煤矿信息逻辑模型及开采系统决策控制方法]()
论文摘要针对数字矿山向智慧矿山发展过程中信息关联层次不清晰、框架结构不完善、缺少智能决策依据及有效控制方法的问题,提出了智慧煤矿信息逻辑模型,基于本体和语义网技术建立了煤矿多源...
![基于逻辑模型视角的预算绩效指标建设]()
论文摘要随着控制为主到结果导向的转变,逻辑模型已逐渐成为各国预算绩效管理中的重要方法。在对逻辑模型相关术语加以辨析的基础上,通过梳理逻辑模型在全球预算绩效管理中的实践探索脉络,...
![基于混合Petri网的混杂系统建模及工业应用研究]()
陈江红[1]2004年在《基于混合Petri网的混杂系统建模及工业应用研究》文中认为混杂系统由连续变量动态系统与离散事件动态系统相互联系、相互作用组成。在化工、制造、冶金等领域存在着大量的混杂过程。混合Petri网是混杂系统的主要建模方法之一，论文讨论了基于混合Petri网的工业混杂系统的建模和仿真...
![复杂安全协议的形式化分析、设计与验证研究]()
陈铁明[1]2004年在《复杂安全协议的形式化分析、设计与验证研究》文中研究说明保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。同时，PKI体系作为一个强有力的网络安全保障系统已被广泛地应用于各种商业网络环境，各种基于PKI应用的复杂安全协...
![基于粗集理论的神经网络研究与应用]()
张健[1]2002年在《模糊神经网络模型算法研究与应用》文中研究表明模糊神经网络是目前人工智能界最具发展前途的叁个重要领域之一。近十年来它在模糊控制、模糊决策、专家系统、模式识别等领域发挥了重要作用，其理论、模型、算法和应用技术一直是计算机领域重要的研究课题，并以它特有的优势受到高度的重视。本文对模...
