采用完整性威胁树的信息流完整性度量方法

针对传统信息流完整性分析方法缺乏对具体系统结构及关联性攻击事件考虑的缺陷,提出完整性威胁树对系统信息流完整性做量化分析,提出条件触发门对存在关联的攻击事件进行建模。使用攻击代价来量化攻击各信道的难易度,依据架构相关的完整性威胁树,利用可满足性模理论及其工具求解最小攻击代价,以量化分析系统完整性威胁。通过对实际飞控系统模型的建模分析求解说明方法的实用性,并得出条件触发门参数对系统完整性的影响。     

洛必达法则在求极限中的方法

洛必达法则是微积分中重要的内容,是解决一类极限问题的重要方法.同时,熟练掌握求极限的方法对学好高等数学具有重要的意义.     

某难处理金精矿焙烧预处理提取金和铜

研究某难处理金精矿焙烧预处理和提取金和铜的过程.结果表明,在600℃下两段焙烧,在温度80℃,pH=1.0的条件下浸出90 min,铜的浸出率可达79.62％,酸浸渣两段氰化,金的浸出率达91.86％.     

玉木耳多糖对杂粮粥糊化、流变及老化特性的影响

以糯玉米、燕麦、小米、红豆、绿豆、芸豆为原料,玉木耳多糖为稳定剂,研制一款罐装杂粮粥.通过快速黏度分析仪、流变仪、差示扫描量热仪结合Avrami模型对杂粮粥进行测定分析,研究玉木耳多糖对杂粮粥加工过程中糊化特性、流变特性和贮藏期间老化特性的影响.结果 表明:玉木耳多糖添加量与杂粮粥体系峰值黏度、最终黏度呈正相关,与回生...     

酶促酸解制备1-油酸-2-棕榈酸-3-亚油酸 甘油三酯

以棕榈硬脂为原料富集高纯度三棕榈酸甘油三酯,以米糠油水解的游离脂肪酸为酰基供体,在脂肪酶的作用下采用一步酸解法制备1-油酸-2-棕榈酸-3-亚油酸甘油三酯（OPL）,在单因素试验的基础上采用正交试验对OPL制备工艺条件进行优化。结果表明,OPL最佳制备工艺条件为：以Lipozyme RM IM为催化用酶,反应温度60 ℃,加酶量为底物总质量的10%,三棕榈酸甘油三酯与游离脂肪酸摩尔比1∶ 10,反应时间4 h。在最佳条件下,产物中棕榈酸分布在sn-2位的含量为52.02%,油酸和亚油酸分布在sn-1,3位的含量分别为33.21%和26.60%,推测产物中主要为OPL。     

大型抽水蓄能机组励磁系统的控制策略分析

分析了抽水蓄能机组的运行方式,介绍了抽水蓄能机组励磁系统的特殊性,从电动机负载运行、掏低频振荡的稳定控制、四象限无功控制、静态变频启动等4个方面论述了提高发电机运行及电网稳定的励磁系统控制策略。     

新的车辆远程诊断授权协议

诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议（PVAUDS）中存在的问题,提出了新的车辆远程诊断授权协议（PVAUDS+）。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。