随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1
随着人们的生活水平的提高，同心鼓游戏越来越被大家所接受，玩好同心鼓需要团队默契及必要的技巧，这种技巧值得我们进一步研究。我们研究了人们拉鼓击打排球的力度、方向及发力时机。通过牛顿第二定律来受力分析物体，并研究物体的运动状态并预测下一次的位置，本文综合考虑了有关牛顿第二定律和相互作用力物理性质，探究如何在团队胜利的同时，打出小球的次数更多，建立了排球自由落体后被同心鼓击出的多个模型，并用已知的数据进行模型的求解并改进模型。
2020-03-04 03:10:46
569KB
1
因此本文结合交通网络的实际特点，以复杂网络理论为基础构建城市交通网络模
型，通过对经典元胞传输模型进行调整，模拟了不同供需结构下交通流在网络上的演进
过程，分析了网络拥堵的时空特征和传播规律，进而提出了一种有效的拥堵控制策略
2020-01-03 11:44:02
2.24MB
1
本资源为T型三电平逆变器调制策略研究。包括simlink仿真、对调制策略详细的说明、课题讲解ppt。本调制策略包含中点电位平衡并对其波动进行了详细的阐述，欢迎广大感兴趣的朋友阅读
2020-01-03 11:42:47
4.42MB
1
本文档是一份pdf格式的ppt资料1，介绍了燃料电池增程式电动车能量管理策略，并就仿真结构进行了分析介绍
2020-01-03 11:39:57
2.26MB
1