Venus 使用指南

第一步 安装插件

建议全程在conda下配置.
目前能想到的

numpy 1.19.2
dataclasses 0.7
tensorflow 2.3.0
keras 2.4.3
onnx 1.8.0
groubypy 9.0.1

第二步 选择解释器环境

如果我们要在IDE环境下运行或者DEBUG项目,需要在pycharm中配置一些东西.

点setting -> Project:venus 1.01 -> Project Interpreter选择我们的milp环境,当然上一步都要安装在milp 的conda环境下.

第三步 配置运行参数

第二步结束之后,就要在IDE环境下运行,在pycharm 右上角选择__main__.py,在editConfiguration下的Parameters下输入以下内容用于执行acas相关验证.
acas Xu的配置参数

--property
acas
--acas_prop
2
--net
./resources/acas/models/acas_1_1.h5
--st_ratio
0.7
--depth_power
20.0
--splitters
1
--workers
4
--offline_dep
False
--online_dep
False
--ideal_cuts
False
--timeout
3600

mnist的配置参数

--property
lrob
--lrob_input
./resources/mnist/evaluation_images/im1.pkl
--lrob_radius
0.05
--net
./resources/mnist/mnist-net.h5
--st_ratio
0.4
--depth_power
4
--splitters
1
--workers
2
--offline_dep
True
--online_dep
True
--ideal_cuts
True
--timeout
3600
--logfile
"mnist.log"

最后记得apply修改.

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值