排序方式: 共有89条查询结果,搜索用时 15 毫秒
1.
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 相似文献
2.
3.
模糊PID控制的柴油机调速系统仿真 总被引:1,自引:0,他引:1
PID控制是生产过程中应用最广泛的控制方式,但它对含变化参数的模型控制效果不理想。为了使舰船柴油机适应不断变化的工作环境,在传统PID控制的柴油机调速系统的基础上加入模糊控制环节,对PID参数进行在线整定。详细介绍了模糊PID算法在柴油机调速系统中的应用以及模糊控制器的设计,并通过MATLAB对模糊PID柴油机调速系统进行仿真,仿真结果表明,模糊自整定PID控制系统可以改善系统的动态特性,减小系统的振荡,提高系统的响应速度。 相似文献
4.
鉴于传统网络安全策略无法阻止或识别传感器网络内部节点的攻击或异常行为,结合节点资源受限的特点,提出了一种无线传感器网络节点信任度计算模型.该模型采用Bayes估计方法,通过求解基于Beta分布的节点行为信誉函数的期望值得到直接信任并将其作为Bayes估计的先验信息,将来自邻居节点的推荐信息作为其样本信息.仿真实验表明,本方案有较好的稳定性,能够有效识别异常节点,从而阻止内部节点对网络的攻击,与RFSN相比,不仅节约了存储空间、运算时间与通信量,而且能够避免恶评现象对节点信任度计算的影响. 相似文献
5.
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。 相似文献
6.
7.
随着时代的进步和社会经济的发展,我国出现了各类工程,高性能混凝土得到了较为广泛的应用,但是在各种因素的综合作用下,混凝土很容易出现开裂问题,影响到工程质量和安全。针对这种情况,就需要深入研究氧化镁复合膨胀剂对高性能混凝土安定性能和力学性能的影响,希望可以提供一些有价值的参考意见。 相似文献
8.
9.
随着我国通信行业的飞速发展,通信企业为了适应市场的需求与发展,4G技术逐渐的不如市场,但在4G技术的广泛应用过程中,其自身存在的问题也逐渐的显露出来。本文主要对4G通信的关键技术进行研究,并对其应用的状况进行阐述,以此来完善4G技术的发展。 相似文献
10.
带钢输送机的制作介绍黄文超(四川省忠县高频焊管厂634300)主题词带钢,输送机,工艺设计,结构参数TheIntroductiontotheManufactureofandSteelConveyer¥HuangWenchaoKeywords:stee... 相似文献