最新 最热

形式化分析工具AVISPA(四) SPAN工具简要介绍

3.protocol、intruder、attack simulation是三种模拟形式。分别是协协议仿真、入侵者仿真、攻击仿真

2020-07-20
2

case/casez/casex 区别与综合

首先,一般性的常识是使用casez,强烈的建议不要使用casex,(虽然我没有这个常识)。这是为啥呢?待续。

2020-07-01
1

模拟布朗运动

通过这个轨道图,也容易看出,几何布朗运动是对股票价格的良好模拟,能代表CAMP模型中股票的期望收益率,而是股票风险的度量!

2020-06-11
1

ROS2之rover案例

使用:ros2 launch rover_simulation simulation_control.launch.py

2020-04-21
1

干货 | 一文教你如何快速高效阅读Paper(硕士生版)

论文阅读一直是科研过程中至关重要的一环,如何收集论文,快速选取和课题匹配的论文,高效地把握论文核心思想是每个科研人员的必备素养,也是每个科研萌新(硕士研究生)苦恼的问题。...

2019-05-09
1

利用Chimera进行简单快速的MD

所需软件:Chimera1.11以上(免费,UCSF官网可以下),优点与AMBER无缝对接有一定的MD模拟基础,懂得一般的分子力学模拟的流程;Tools---MD/Ensemble Analysis----Molecular Dynamic simulationGUI界面设置:prepare---->solva......

2018-07-03
2