auto_LiRPA-master.zip （84个子文件） 
auto_LiRPA-master auto_LiRPA 
parse_graph.py 8KB perturbations.py 17KB utils.py 5KB bound_general.py 58KB __init__.py 298B bound_ops.py 130KB wrapper.py 740B eps_scheduler.py 11KB bound_op_map.py 217B bounded_tensor.py 3KB doc paper.md 6KB examples sequence train.py 6KB data_utils.py 771B lstm.py 3KB __init__.py 0B .gitignore 7B
requirements.txt 159B __init__.py 0B language preprocess preprocess_sst.py 3KB pre_compute_lm_scores.py 2KB train.py 14KB data_utils.py 783B lstm.py 5KB language_utils.py 1KB Transformer Transformer.py 5KB utils.py 3KB modeling.py 11KB __init__.py 0B oracle.py 2KB .gitignore 54B vision tinyimagenet_training.py 16KB verify_two_node.py 3KB pretrain mnist_cnn_small.pth 805KB kw_mnist.pth 651KB README.md 52B simple_training.py 11KB patch_convolution.py 3KB models feedforward.py 9KB densenet_no_bn.py 4KB resnext.py 4KB __init__.py 2KB wide_resnet_cifar.py 4KB mobilenet.py 3KB densenet_imagenet.py 3KB resnet18.py 4KB densenet.py 4KB resnext_imagenet64.py 4KB resnet.py 3KB wide_resnet_imagenet64.py 3KB weights_training.py 15KB datasets.py 8KB data tinyImageNet tinyimagenet_download.sh 694B cifar_training.py 17KB .gitignore 53B imagenet_training.py 16KB simple_verification.py 3KB .gitignore 6B .travis.yml 253B LICENSE 1KB setup.py 637B README.md 14KB tests test_linear_cnn_model.py 2KB utils download_models.py 408B manual_tests weight_perturb_test.py 4KB plot_2d.py 3KB plot_3d.py 1KB test_language_models.py 4KB testcase.py 2KB test_state_dict_name.py 2KB test_bound_ops.py 6KB test_conv.py 3KB test_constant.py 2KB test_weight_perturbation.py 4KB data bound_ops_data 39KB constant_test_data 1KB weight_perturbation_test_data 554KB vision_test_data 694KB resnet_patches_test_data 2KB language_test_data 893KB .gitignore 71B test_linear_model.py 4KB test_vision_models.py 4KB test_resnet_patches.py 2KB .gitignore 63B资源评论
weixin_42156940
- 粉丝: 25
- 资源: 4629
最新资源
- C#使用Snap7读写西门子全糸列PLC，非常方便，通信稳定可靠，是C#上位机工程师的通讯利器，布尔字符浮点数整数字节都可读写
- 51单片机智能浇花器 C程序、proteus仿真、报告、仿真操作视频 支持滑动变阻器代替湿度传感器 支持1602显示实时温湿度和上下阈值 支持按键设置上下限阈值 支持声光报警、电机驱动模拟浇水 当湿
- 水库调洪、同频率放大洪水过程程序
- 卡尔曼滤波与AHRS滤波对比实验 matlab程序
- 循环载荷试验获取背应力，有效应力 程控电子万能试验机
- 数字图像处理二维码识别 python+opencv实现二维码实时识别 特点： （1）可以实现普通二维码，条形码； （2）解决了opencv输出中文乱码的问题 （3）增加网页自动跳转功能 （4）实现二维
- 一种改进的蚁狮优化算法 改进的ALO算法【matlab代码】 - 在原始ALO算法的基础上添加了两种改进策略 - 改进1：将原先的间断性边界收缩因子变为连续性边界收缩因子，从而增强算法的遍历性 - 改
- MMC低频运行 高频信号注入方法 抑制子模块电容电压波动 模块化多电平变器 MATLAB simulink仿真 5Hz 10Hz 20Hz等低频运行 低频运行双闭环控制 双正弦波注入 双方波注入等
- 基于Django的用户协同过滤算法的推荐系统，Python，前后端交互，MySQL，自由拓展度高，内置电影首页，根据自己需求任意更改，根据标签推荐，根据用户喜好电影推荐，注册登录完善，明文加密，coo
- 西门子1200水处理程序+西门子触摸屏程序，V16打开学习程序，可仿真实验 plc程序包含功能块，功能块为scl编写， 内含模拟量算功能块+滤波功能块+时间算功能块+modubus tcp通讯程序 有
- MATLAB丨热带太平洋丨SST丨表层温度梯度锋
- MATLAB代码 风光场景生成 场景削减 概率距离削减法 蒙特卡洛法 MATLAB：基于概率距离快速削减法的风光场景生成与削减方法 参考文档：《含风光水的电厂与配电公司协调调度模型》完全复现场景削减
- 利用backstepping算法设计的移动机器人轨迹跟踪控制器matlab源代码，包里面有四种轨迹，分别是直线、圆、椭圆和不规则轨迹，供需要的朋友学习参考
- 开断潮流，基于牛顿拉夫逊潮流计算结果，引入灵敏度矩阵和雅可比矩阵计算支路功率对故障点注入功率的灵敏度，进而计算故障后所有支路潮流的修正量
- 双馈风力发电机模型研究（DFIG），simulink模型 给定风速变化，电流与电压等波形效果完美
- MATLAB代码：含风光柴储微网多目标优化调度 关键词：微网调度 风光柴储 粒子群算法 多目标优化 参考文档：《基于多目标粒子群算法的微电网优化调度》 仿真平台：MATLAB 平台采用粒子群实现求解
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
