- ubuntu安装opencv最快的方法
Derek重名了
最快方法,当然不能太多文字$sudoapt-getinstallpython-opencv借助python就可以把ubuntu的opencv环境搞起来,非常快非常容易参考:https://docs.opencv.org/trunk/d2/de6/tutorial_py_setup_in_ubuntu.html
- uniapp设计H5 tabbar会遮挡内容区的解决办法
qq_39016177
uni-app
uniapp设计H5tabbar会遮挡内容区的解决办法1.现象底部tabbar会遮挡内容区最底部的文字2.解决方法—css中增加个padding-bottom:var(–window-bottom)这样就是好了官方依据官方文档链接https://uniapp.dcloud.net.cn/tutorial/syntax-css.html#css-%E5%8F%98%E9%87%8F诸君有用且点赞
- Delta3d 简单的控制物体例子
Sunday
Delta3D
//Inthistutorial,youwillchangethepreviousHelloWorldapplicationto//furtheryourunderstandingofmotionmodels.Previouslyyoulearnedhowtoplacea//camerainasceneandmovethecamerapositionviamouseandkeyboardinput
- Tecplot 360 EX 2020 R2 2020安装教程
微新功重好A酷君
Tecplot3602020是一款由美国Tecplot公司推出的专业CFD/CAE可视化数据分析软件,同时也是也系列软件目前最新的版本,文章教大家如何对tecplot360进行安装激活。存在Pytecplotlicensehasexpired过期显示问题,其他功能没问题,介意勿下!!!操作系统:windows文件获取关键字:tecplot安装教程1.双击运行下载的tecplot安装包,按下图勾选点
- OpenGL GLFW OIT 实现
Padid
学习笔记c++图形渲染着色器
OITLearnOpenGL-IntroductionLearnOpenGL.comprovidesgoodandclearmodern3.3+OpenGLtutorialswithclearexamples.AgreatresourcetolearnmodernOpenGLaimedatbeginners.https://learnopengl.com/Guest-Articles/2020/O
- 快速使用react 全局状态管理工具--redux
蓝胖子不是胖子
Reactreact.js前端前端框架
reduxRedux是JavaScript应用中管理应用状态的工具,特别适用于复杂的、需要共享状态的中大型应用。Redux的核心思想是将应用的所有状态存储在一个单一的、不可变的状态树(statetree)中,状态只能通过触发特定的action来更新。官方文档https://cn.redux.js.org/tutorials/typescript-quick-start如果对react不了解可以看我
- RapidJson递归去除空值元素Value
Cloudox_
RapidJson是一款高效的C++处理JSON字符串的库。教程:http://rapidjson.org/zh-cn/md_doc_tutorial_8zh-cn.html#QueryObject源码:https://github.com/Tencent/rapidjson但不得不说教程写的不太全,网上资料也很少,大都重复教程的范畴。项目中有个蛋疼的需求要把JSON字符串中值为空的键值对去掉,C
- 探索Makefile Tutor:构建自动化神器的技术解析与实践指南
劳泉文Luna
探索MakefileTutor:构建自动化神器的技术解析与实践指南Makefile_tutorThisprojectaimstocreateacrystalcleartutorialonacrypticlookingtopic.项目地址:https://gitcode.com/gh_mirrors/ma/Makefile_tutor在软件开发中,自动化构建是提高效率的关键一环,而Makefile便
- ros的节点与包
well_fly
ros机器人
ros节点(node)与包(package)是ros系统的重要基本组成部分,依照官网说明做一个简单的整理,详细的参考官网教程官网网址:https://wiki.ros.org/cn/ROS/Tutorials简单理解一下节点与包的区别,节点是功能单元,包是文件单元。实现具体功能的是节点,包含节点文件,及launch等文件的一个文件整体叫一个包。而且,一个包里面可以包含多个节点或插件。在一个包里,C
- Java好资源网址推荐
学习&实践爱好者
Java学习编程资料java开发语言
Java好资源网址推荐Java官方教程https://docs.oracle.com/javase/tutorial/index.htmlJavaDocumentationhttps://docs.oracle.com/en/java/JavaSELicensingUserManualhttps://www.oracle.com/java/technologies/javase/licensing
- 推荐一份生物信息学入门很好的参考材料
小明的数据分析笔记本
链接是https://bioinformatics.uconn.edu/resources-and-events/tutorials-2/这个是康涅狄格大学(UniversityofConnecticut)提供的一份教程,主要的内容包括1、生物信息学中经常用到的文件格式image.png2、linux操作系统和R语言的基础知识image.png3、转录组数据的处理流程image.png这里包括有参
- 机器学习100天-Day2503 Tensorboard 训练数据可视化(线性回归)
我的昵称违规了
首页.jpg源代码来自莫烦python(https://morvanzhou.github.io/tutorials/machine-learning/tensorflow/4-1-tensorboard1/)今日重点读懂教程中代码,手动重写一遍,在浏览器中获取到训练数据Tensorboard是一个神经网络可视化工具,通过使用本地服务器在浏览器上查看神经网络训练日志,生成相应的可是画图,帮助炼丹师
- 6、FreeCAD的设计
网卡了
FreeCADFreeCAD
一、FreeCAD的模块化设计(插件系统)模块化设计是成功的软件架构的关键设计原则。FreeCAD采用了与Salome平台相似的模块化结构,后者是一个开源的CAE平台,包含几何建模、网格划分、FEM和CFD求解器模块。FreeCAD拥有生成新模块的基础设施、模板和Python代码。快速入门FreeCAD提供了官方模板用于创建新模块,这些模板包括C++模板和纯Python模板,位于官方源码仓库中。f
- FreeCAD包含开源库:OpenCascade、Coin3D、QT
hihyxhi
开源
OpenCascade:一个强大的CAD内核OpenCASCADE技术(通常缩写为OpenCascade)是一个开源软件开发平台,主要用于CAD(计算机辅助设计)和CAE(计算机辅助工程)应用中的3D建模和仿真。它提供了一套全面的库、工具和算法,用于几何建模、可视化、网格划分和互操作性。以下是OpenCascade的一些关键方面和组件:几何内核:OpenCascade提供了强大的几何内核,能够表示
- [ROS2 Foxy] rclcpp_action “no match for ‘operator=’ (operand types are“
chdlr
ubuntu
---stderr:learning_action_cpp/userdata/dev_ws/src/ros2_21_tutorials/learning_action_cpp/src/action_move_client.cpp:Inmemberfunction‘voidMoveCircleActionClient::send_goal(bool)’:/userdata/dev_ws/src/ro
- 2、perl 开发辅助资源
FlyTian_43ab
1、perlchinahttp://www.perlchina.org/2、perl手册http://www.jb51.net/shouce/perl/index.htmperl教程http://www.runoob.com/perl/perl-tutorial.html
- antV x6官网地址
果子切克now
图形渲染vue.js
antVx6官网1:https://x6.antv.vision/zh/docs/tutorial/basic/graphantVx6官网2:https://x6.antv.antgroup.com/tutorial/basic/graph
- 自动驾驶之心Carla-Autoware联合仿真实战(视频+答疑)
VX_Axay04
自动驾驶人工智能机器学习
https://pan.baidu.com/s/1GZfbeUMGuJ3V738aIKBPIQ?pwd=aog7https://pan.baidu.com/s/1GZfbeUMGuJ3V738aIKBPIQ?pwd=aog7机器人机电液控制一体化联合仿真一、机器人CAE仿真分析需求分析机器人是机构、结构、电气、液压、控制多学科耦合的机电一体化复杂产品,机构运动、气液流动、控制具有较强的交互作用。因
- A Tutorial on Near-Field XL-MIMO Communications Towards 6G【论文阅读笔记】
Cc小跟班
【论文阅读】相关论文阅读笔记
此系列是本人阅读论文过程中的简单笔记,比较随意且具有严重的偏向性(偏向自己研究方向和感兴趣的),随缘分享,共同进步~论文主要内容:建立XL-MIMO模型,考虑NUSW信道和非平稳性;基于近场信道模型,分析性能(SNRscalinglaws,波束聚焦、速率、DoF)XL-MIMO设计问题:信道估计、波束码本、波束训练、DAMXL-MIMO信道特性变化:UPW➡NUSW空间平稳–>空间非平稳(可视区域
- XML
4164fccdcf1c
XMLTutorialforiOS:HowToChooseTheBestXMLParserforYouriPhoneProject
- 人工智能相关资源 代码 论文 教程Tutorials 等 Prompt-Engineering 深度学习 辅助驾驶 语言模型 文本生成图片 开源实现 OCR 通用聊天机器人
EwenWanW
人工智能prompt深度学习
人工智能相关学习资源https://github.com/luban-agi/Awesome-AIGC-Tutorialshttps://github.com/BradyFU/Awesome-Multimodal-Large-Language-Modelshttps://github.com/dair-ai/Prompt-Engineering-Guidehttps://github.com/Vi
- 用C++编写一个简单的服务端和客户端
stxinu
ROSlinuxubuntu机器人ROS
1.首先执行roscdbeginner_tutorials命令,然后创建src/add_two_ints_server.cpp服务端源码,内容如下:#include"ros/ros.h"#include"beginner_tutorials/AddTwoInts.h"booladd(beginner_tutorials::AddTwoInts::Request&req,beginner_tutor
- Fluent 中的压力
七十二五
ANSYS学习笔记经验分享笔记
在CFD(计算流体动力学)领域中,所提及的“压力”概念,本质上与中学物理中的“压强”相吻合,其标准单位为帕斯卡(Pa)或等价地表示为千克每米秒平方(kg/(m·s²))。CFD计算中引入了操作压力(OperatingPressure)与相对压力(RelativePressure)的概念,以优化数值计算的稳定性和精度。操作压力作为参考压力,使得在计算域内压力值普遍较高而变化较小时,能够避免压力变化值
- Scrapy入门学习
晚睡早起₍˄·͈༝·͈˄*₎◞ ̑̑
Pythonscrapy学习python开发语言笔记
文章目录Scrapy一.Scrapy简介二.Scrapy的安装1.进入项目所在目录2.安装软件包Scrapy3.验证是否安装成功三.Scrapy的基础使用1.创建项目2.在tutorial/spiders目录下创建保存爬虫代码的项目文件3.运行爬虫4.利用css选择器+ScrapyShell提取数据例如:Scrapy一.Scrapy简介Scrapy是一个用于抓取网站和提取结构化数据的应用程序框架,
- OpenCV Lesson 1 : Recognize Mat
0010000100
OpenCVopencv
RecognizeMatOpenCVhasbeenaroundsince2001.InthosedaysthelibrarywasbuiltaroundaCinterfaceandtostoretheimageinthememorytheyusedaCstructurecalledIplImage.Thisistheoneyou’llseeinmostoftheoldertutorialsande
- Linux下使用TCP/IP实现网络通讯
大学生毕设
Linux网络socketlinux网络通信c++
TCP通讯服务器端步骤:创建socket,调用socket函数,创建一个套接字lfd绑定bind用bind函数,讲lfd与地址号和端口号进行绑定监听listen使用listen函数讲套接字设为监听模式,等待客户端连接接受acceptaccept接受到客户端连接,返回一个新的套接字cfd,然后lfd继续监听(并发的时候使用)读read通过read函数将客户端传过来的消息读出回发write通过writ
- 2024年最新Flink教程,从基础到就业,大家一起学习--Flink DataStream API-第一篇+源码讲解
长风清留扬
flinkjava大数据大数据javaflink
本文涉及到大量的底层原理知识,包括运行机制图解都非常详细,还有一些实战案例,所以导致本篇文章会比较长,内容比较多,由于内容太多,很多目录可能展示不出来,需要去细心的查看,非常适合深入了解学习flink的小伙伴们,如果你们喜欢这篇文章可以多多关注,大家一起学习,还可以在评论区留言谈论一下问题。往期回顾:2024年最新Flink教程,从基础到就业,大家一起学习--基础篇_flinktutorials提
- rust开发内核01---环境配置
苏璃只想划水
手撸内核rust操作系统
想深入学习操作系统,了解到Linux内核将引入rust,于是产生了想拿rust写内核的想法,一次偶然机会,发现了清华的教材,正好一边学习一边用博客记录下来。电子版教材官网:https://rcore-os.github.io/rCore-Tutorial-Book-v3/实验环境配置:系统环境配置Rust开发环境配置Qemu模拟器安装其他工具安装运行rCore-Tutorial-v3系统环境配置:
- 微信小程序--使用antv F2绘制折线图
cccc☜
微信小程序微信小程序小程序
微信小程序–使用antvF2绘制折线图官网地址:https://f2.antv.antgroup.com/tutorial/getting-started1、引入antvF2npmi@antv/f2-canvas2、在页面中使用在demo.json中引入{"usingComponents":{"ff-canvas":"@antv/f2-canvas"}}在wxml中使用组件处理图表数据data{s
- PySide学习笔记第十一章-PySide中的拖拽(放)操作
vseeker
pythoncodePySideQTpythonmac
在GUI编程中,拖拽操作即在不同的应用间拖拽对象以实现对象的移动1、简单的拖拽为了实现将行编辑器中的文本拖拽到按钮上,我们必须重写一些方法,所以我们在继承QtGui.QPushButton的基础上创造我们自己的BUTTON类#-*-coding:utf-8-*-"""ZetCodePySidetutorialThisisasimpledraganddropexample.author:JanBod
- Java常用排序算法/程序员必须掌握的8大排序算法
cugfy
java
分类:
1)插入排序(直接插入排序、希尔排序)
2)交换排序(冒泡排序、快速排序)
3)选择排序(直接选择排序、堆排序)
4)归并排序
5)分配排序(基数排序)
所需辅助空间最多:归并排序
所需辅助空间最少:堆排序
平均速度最快:快速排序
不稳定:快速排序,希尔排序,堆排序。
先来看看8种排序之间的关系:
1.直接插入排序
(1
- 【Spark102】Spark存储模块BlockManager剖析
bit1129
manager
Spark围绕着BlockManager构建了存储模块,包括RDD,Shuffle,Broadcast的存储都使用了BlockManager。而BlockManager在实现上是一个针对每个应用的Master/Executor结构,即Driver上BlockManager充当了Master角色,而各个Slave上(具体到应用范围,就是Executor)的BlockManager充当了Slave角色
- linux 查看端口被占用情况详解
daizj
linux端口占用netstatlsof
经常在启动一个程序会碰到端口被占用,这里讲一下怎么查看端口是否被占用,及哪个程序占用,怎么Kill掉已占用端口的程序
1、lsof -i:port
port为端口号
[root@slave /data/spark-1.4.0-bin-cdh4]# lsof -i:8080
COMMAND PID USER FD TY
- Hosts文件使用
周凡杨
hostslocahost
一切都要从localhost说起,经常在tomcat容器起动后,访问页面时输入http://localhost:8088/index.jsp,大家都知道localhost代表本机地址,如果本机IP是10.10.134.21,那就相当于http://10.10.134.21:8088/index.jsp,有时候也会看到http: 127.0.0.1:
- java excel工具
g21121
Java excel
直接上代码,一看就懂,利用的是jxl:
import java.io.File;
import java.io.IOException;
import jxl.Cell;
import jxl.Sheet;
import jxl.Workbook;
import jxl.read.biff.BiffException;
import jxl.write.Label;
import
- web报表工具finereport常用函数的用法总结(数组函数)
老A不折腾
finereportweb报表函数总结
ADD2ARRAY
ADDARRAY(array,insertArray, start):在数组第start个位置插入insertArray中的所有元素,再返回该数组。
示例:
ADDARRAY([3,4, 1, 5, 7], [23, 43, 22], 3)返回[3, 4, 23, 43, 22, 1, 5, 7].
ADDARRAY([3,4, 1, 5, 7], "测试&q
- 游戏服务器网络带宽负载计算
墙头上一根草
服务器
家庭所安装的4M,8M宽带。其中M是指,Mbits/S
其中要提前说明的是:
8bits = 1Byte
即8位等于1字节。我们硬盘大小50G。意思是50*1024M字节,约为 50000多字节。但是网宽是以“位”为单位的,所以,8Mbits就是1M字节。是容积体积的单位。
8Mbits/s后面的S是秒。8Mbits/s意思是 每秒8M位,即每秒1M字节。
我是在计算我们网络流量时想到的
- 我的spring学习笔记2-IoC(反向控制 依赖注入)
aijuans
Spring 3 系列
IoC(反向控制 依赖注入)这是Spring提出来了,这也是Spring一大特色。这里我不用多说,我们看Spring教程就可以了解。当然我们不用Spring也可以用IoC,下面我将介绍不用Spring的IoC。
IoC不是框架,她是java的技术,如今大多数轻量级的容器都会用到IoC技术。这里我就用一个例子来说明:
如:程序中有 Mysql.calss 、Oracle.class 、SqlSe
- 高性能mysql 之 选择存储引擎(一)
annan211
mysqlInnoDBMySQL引擎存储引擎
1 没有特殊情况,应尽可能使用InnoDB存储引擎。 原因:InnoDB 和 MYIsAM 是mysql 最常用、使用最普遍的存储引擎。其中InnoDB是最重要、最广泛的存储引擎。她 被设计用来处理大量的短期事务。短期事务大部分情况下是正常提交的,很少有回滚的情况。InnoDB的性能和自动崩溃 恢复特性使得她在非事务型存储的需求中也非常流行,除非有非常
- UDP网络编程
百合不是茶
UDP编程局域网组播
UDP是基于无连接的,不可靠的传输 与TCP/IP相反
UDP实现私聊,发送方式客户端,接受方式服务器
package netUDP_sc;
import java.net.DatagramPacket;
import java.net.DatagramSocket;
import java.net.Ine
- JQuery对象的val()方法执行结果分析
bijian1013
JavaScriptjsjquery
JavaScript中,如果id对应的标签不存在(同理JAVA中,如果对象不存在),则调用它的方法会报错或抛异常。在实际开发中,发现JQuery在id对应的标签不存在时,调其val()方法不会报错,结果是undefined。
- http请求测试实例(采用json-lib解析)
bijian1013
jsonhttp
由于fastjson只支持JDK1.5版本,因些对于JDK1.4的项目,可以采用json-lib来解析JSON数据。如下是http请求的另外一种写法,仅供参考。
package com;
import java.util.HashMap;
import java.util.Map;
import
- 【RPC框架Hessian四】Hessian与Spring集成
bit1129
hessian
在【RPC框架Hessian二】Hessian 对象序列化和反序列化一文中介绍了基于Hessian的RPC服务的实现步骤,在那里使用Hessian提供的API完成基于Hessian的RPC服务开发和客户端调用,本文使用Spring对Hessian的集成来实现Hessian的RPC调用。
定义模型、接口和服务器端代码
|---Model
&nb
- 【Mahout三】基于Mahout CBayes算法的20newsgroup流程分析
bit1129
Mahout
1.Mahout环境搭建
1.下载Mahout
http://mirror.bit.edu.cn/apache/mahout/0.10.0/mahout-distribution-0.10.0.tar.gz
2.解压Mahout
3. 配置环境变量
vim /etc/profile
export HADOOP_HOME=/home
- nginx负载tomcat遇非80时的转发问题
ronin47
nginx负载后端容器是tomcat(其它容器如WAS,JBOSS暂没发现这个问题)非80端口,遇到跳转异常问题。解决的思路是:$host:port
详细如下:
该问题是最先发现的,由于之前对nginx不是特别的熟悉所以该问题是个入门级别的:
? 1 2 3 4 5
- java-17-在一个字符串中找到第一个只出现一次的字符
bylijinnan
java
public class FirstShowOnlyOnceElement {
/**Q17.在一个字符串中找到第一个只出现一次的字符。如输入abaccdeff,则输出b
* 1.int[] count:count[i]表示i对应字符出现的次数
* 2.将26个英文字母映射:a-z <--> 0-25
* 3.假设全部字母都是小写
*/
pu
- mongoDB 复制集
开窍的石头
mongodb
mongo的复制集就像mysql的主从数据库,当你往其中的主复制集(primary)写数据的时候,副复制集(secondary)会自动同步主复制集(Primary)的数据,当主复制集挂掉以后其中的一个副复制集会自动成为主复制集。提供服务器的可用性。和防止当机问题
mo
- [宇宙与天文]宇宙时代的经济学
comsci
经济
宇宙尺度的交通工具一般都体型巨大,造价高昂。。。。。
在宇宙中进行航行,近程采用反作用力类型的发动机,需要消耗少量矿石燃料,中远程航行要采用量子或者聚变反应堆发动机,进行超空间跳跃,要消耗大量高纯度水晶体能源
以目前地球上国家的经济发展水平来讲,
- Git忽略文件
Cwind
git
有很多文件不必使用git管理。例如Eclipse或其他IDE生成的项目文件,编译生成的各种目标或临时文件等。使用git status时,会在Untracked files里面看到这些文件列表,在一次需要添加的文件比较多时(使用git add . / git add -u),会把这些所有的未跟踪文件添加进索引。
==== ==== ==== 一些牢骚
- MySQL连接数据库的必须配置
dashuaifu
mysql连接数据库配置
MySQL连接数据库的必须配置
1.driverClass:com.mysql.jdbc.Driver
2.jdbcUrl:jdbc:mysql://localhost:3306/dbname
3.user:username
4.password:password
其中1是驱动名;2是url,这里的‘dbna
- 一生要养成的60个习惯
dcj3sjt126com
习惯
一生要养成的60个习惯
第1篇 让你更受大家欢迎的习惯
1 守时,不准时赴约,让别人等,会失去很多机会。
如何做到:
①该起床时就起床,
②养成任何事情都提前15分钟的习惯。
③带本可以随时阅读的书,如果早了就拿出来读读。
④有条理,生活没条理最容易耽误时间。
⑤提前计划:将重要和不重要的事情岔开。
⑥今天就准备好明天要穿的衣服。
⑦按时睡觉,这会让按时起床更容易。
2 注重
- [介绍]Yii 是什么
dcj3sjt126com
PHPyii2
Yii 是一个高性能,基于组件的 PHP 框架,用于快速开发现代 Web 应用程序。名字 Yii (读作 易)在中文里有“极致简单与不断演变”两重含义,也可看作 Yes It Is! 的缩写。
Yii 最适合做什么?
Yii 是一个通用的 Web 编程框架,即可以用于开发各种用 PHP 构建的 Web 应用。因为基于组件的框架结构和设计精巧的缓存支持,它特别适合开发大型应
- Linux SSH常用总结
eksliang
linux sshSSHD
转载请出自出处:http://eksliang.iteye.com/blog/2186931 一、连接到远程主机
格式:
ssh name@remoteserver
例如:
ssh
[email protected]
二、连接到远程主机指定的端口
格式:
ssh name@remoteserver -p 22
例如:
ssh i
- 快速上传头像到服务端工具类FaceUtil
gundumw100
android
快速迭代用
import java.io.DataOutputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.IOExceptio
- jQuery入门之怎么使用
ini
JavaScripthtmljqueryWebcss
jQuery的强大我何问起(个人主页:hovertree.com)就不用多说了,那么怎么使用jQuery呢?
首先,下载jquery。下载地址:http://hovertree.com/hvtart/bjae/b8627323101a4994.htm,一个是压缩版本,一个是未压缩版本,如果在开发测试阶段,可以使用未压缩版本,实际应用一般使用压缩版本(min)。然后就在页面上引用。
- 带filter的hbase查询优化
kane_xie
查询优化hbaseRandomRowFilter
问题描述
hbase scan数据缓慢,server端出现LeaseException。hbase写入缓慢。
问题原因
直接原因是: hbase client端每次和regionserver交互的时候,都会在服务器端生成一个Lease,Lease的有效期由参数hbase.regionserver.lease.period确定。如果hbase scan需
- java设计模式-单例模式
men4661273
java单例枚举反射IOC
单例模式1,饿汉模式
//饿汉式单例类.在类初始化时,已经自行实例化
public class Singleton1 {
//私有的默认构造函数
private Singleton1() {}
//已经自行实例化
private static final Singleton1 singl
- mongodb 查询某一天所有信息的3种方法,根据日期查询
qiaolevip
每天进步一点点学习永无止境mongodb纵观千象
// mongodb的查询真让人难以琢磨,就查询单天信息,都需要花费一番功夫才行。
// 第一种方式:
coll.aggregate([
{$project:{sendDate: {$substr: ['$sendTime', 0, 10]}, sendTime: 1, content:1}},
{$match:{sendDate: '2015-
- 二维数组转换成JSON
tangqi609567707
java二维数组json
原文出处:http://blog.csdn.net/springsen/article/details/7833596
public class Demo {
public static void main(String[] args) { String[][] blogL
- erlang supervisor
wudixiaotie
erlang
定义supervisor时,如果是监控celuesimple_one_for_one则删除children的时候就用supervisor:terminate_child (SupModuleName, ChildPid),如果shutdown策略选择的是brutal_kill,那么supervisor会调用exit(ChildPid, kill),这样的话如果Child的behavior是gen_