排序方式: 共有44条查询结果,搜索用时 15 毫秒
1.
提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性. 相似文献
2.
介绍了垃圾焚烧电厂垃圾渗滤液污染物浓度高、毒性强、水质水量变化幅度大等特点及设计重点、难点,提出了采用具有较强抗冲击能力、高负荷处理能力、高氨氮处理能力的垃圾渗滤液处理系统设计思路和理念,给出了预处理、生物处理和深度处理工艺组合的垃圾渗滤液处理工艺设计模型. 相似文献
3.
总结了国内外几个主要的钢筋混凝土框架短柱抗剪承载力计算公式,结合太平洋地震研究中心(PEER)的短柱抗剪拟静力试验数据库,对各公式进行了对比分析,得出各公式计算的短柱抗剪承载力与试验结果基本成线性关系的结论. 相似文献
4.
分片技术被广泛认为是一种克服当前物联网区块链系统可扩展性限制的有效解决方案。然而,由于恶意节点随机分布以及区块链网络复杂的参数配置,如何保证分片的有效性仍具有挑战。首先,对分片区块链的性能进行建模,分析其安全性和可扩展性。其次,为减少恶意节点的聚集以及提高网络的性能,提出了一种基于演化博弈的分片选择算法来优化节点的分片决策。仿真结果表明,提出的分片算法可以使恶意节点尽可能地均匀分布于各个分片中,同时提高分片区块链的性能,进而更好地支持区块链在物联网中的应用。 相似文献
5.
6.
7.
为研究影响钢筋混凝土墩柱抗震变形能力的因素,分析了配箍特征值、轴压比、纵筋配筋、剪跨比、混凝土保护层厚度等5个因素对钢筋混凝土墩柱地震变形能力的影响,总结了以墩柱极限位移角作为变形能力衡量指标时,不同因素对墩柱变形能力的影响。相关结论可为未来的研究提供参考。 相似文献
8.
9.
10.
本文阐述了高校周边超市营销的优势、劣势、机会和威胁,对超市的经营管理方面存在的问题进行分析,提出建议并给出了相应的发展对策,以提高超市的竞争能力,促进其有针对性地满足消费者的需求从而良性发展。 相似文献