排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 相似文献
2.
为了提高热电制冷系统热端的散热效率,在半导体制冷片的热端采用一种集成多孔表面的多孔强化沸腾散热器.在相同环境温度下试验对比使用多孔强化沸腾散热器、风冷式散热器、热管散热器和水冷式散热器的热电制冷系统的性能,并分析不同环境温度下多孔强化沸腾散热器的散热能力.试验结果表明,多孔强化沸腾散热器可以强化热电制冷机中半导体制冷片... 相似文献
3.
采用3种谐波减速器用刚轮材料——2Cr13不锈钢、40Cr中碳合金钢、45钢,通过对其显微组织、硬度、三维及二维形貌的显微磨损、摩擦因数的分析,探究不同材料耐磨性能的差异。结果表明,2Cr13、40Cr的显微组织为回火索氏体,45钢的显微组织为铁素体与珠光体。2Cr13、40Cr硬度相近且远大于45钢。2Cr13磨损形貌为黏着与剥落,磨损机制为黏着磨损;40Cr、45钢磨损形貌为犁沟与剥落、犁沟与黏着,磨损机制为磨粒磨损。3种材料的摩擦因数相差可忽略不计。2Cr13、40Cr、45钢截面的磨损面积分别为5 008、1 645、6 535μm2。硬度相近下,40Cr表现出比2Cr13更优异的耐磨性能。45钢与摩擦副材料的硬度值相差最大,耐磨性能最差。 相似文献
4.
燃气冷热电联供系统(Combined,Cooling,Heating and Power,CCHP)设备容量及运行策略的整体优化对冷热电联供系统的高效经济运行至关重要。为提高冷热电联供系统的综合性能,提出了一种计及风光储与热泵的冷热电联供系统,采用考虑不同权重因子的综合评价指标,利用建筑模拟分析软件DeST建立山东某区域建筑的建筑模型,得到冷热电风光负荷数据,以综合性能指标为优化目标,采用混合整数线性规划(Mixed Integer Linear Programming,MILP)算法对系统进行优化配置,并与无风光的冷热电联供系统及分供系统进行比较,研究结果表明,本系统综合指标优化结果比分供系统提高47.8%,比常规CCHP系统综合性能提高19.5%。 相似文献
5.
通过化学成分光谱检测分析、显微组织观察、断口分析、力学性能测试等手段,对输电铁塔用设备线夹断裂失效原因进行分析。结果表明,ZL102铝合金变质处理效果不明显,金相显微组织主要为α-Al基体上不均匀分布着粗大针片状共晶Si相。合金受力时在针片状共晶Si的棱角、尖端等位置会造成应力集中,为裂纹的萌生与扩展提供条件,使其抗拉强度和伸长率仅为要求值的67.6%、36.0%。同时,材料中存在的较多孔洞、二次裂纹和铸造缩孔也加剧了设备线夹提前断裂失效。 相似文献
6.
硫酸铜(CuSO_4·5H_2O)是美丽的藍色晶体,是一种重要的农药原料,用来消灭稻热病以及葡萄和果树的病害。此外还用以制造电介铜和镀銅,制造巴黎綠及各种銅化合物,在印染中用作媒染剂。我厂用土法制造96%硫酸銅,日产600~800公斤,原料为黄杂銅与濃硫酸(55°Bé以上),每生产一吨硫酸銅,需用黄杂銅500公斤,硫酸(以100%计算)550公斤。主要設备为(1)反射炉1只;(2)鉛鍋2只(长1.5米;寬1米,高0.6米);(3)大号陶土缸21只(作沉清、結晶、洗滌之用);(4)虹吸管1支及橡皮管(口徑3~5厘米,长短根据实际需要而定);(5)温度計1只;(6)波美表 相似文献
7.
该文聚焦于浙东运河(上虞段),探索运河与“小城镇”的人居环境共存模式。首先,在梳理浙东运河(上虞段)遗存物理基底与文化柔性基因的基础上归纳其存在问题;其次,剖析运河(上虞段)空间格局与文化需求四种特征:运河城镇格局多样性、运河空间尺度多元性、城镇需求消费性、文化传播流量化;最后,提出“文化承载—空间再塑”的场所活化策略,包括文化主题产业化、文化转译多维化、功能空间复合化、空间廊道生态化与更新模式部品化。从而探讨“小城镇”运河文脉与场所保护方法。 相似文献
8.
为提高可再生能源的有效利用和冷热电联供系统的综合性能,在天然气冷热电联供系统中引入光伏电池、风力发电、地源热泵和储能单元,构建一种耦合可再生能源的天然气冷热电联供(wind-solar-storage and heat pump,combined cooling,heating and power,WSSH-CCHP)系统,利用层次分析法(analytic hierarchy process,AHP)建立考虑能效、经济及环境性能的综合评价指标,采用混合整数线性规划(mixed integer linear programming,MILP)算法,对该系统进行设备选型、容量配置及运行策略协同优化,以分供系统(separate production,SP)为参照系统,以济南市某能源中心为例,分析该系统集成优化效果及其运行特性。研究结果表明,该系统的综合指标优化结果相比SP系统提高37.8%,具有较好的综合性能,为耦合风光储及热泵天然气CCHP系统的发展及其集成优化与运行特性研究提供了参考。 相似文献
1