caoyongsheng的博客

AVISPA真是对不起提问的大家了，我好像没说清楚AVISPA是什么了。根据官网的定义来吧：AVISPA stands for Automated Validation of Internet Security Protocols and Applications.翻译下：AVISPA是一种用于自动证明网络安全协议与应用的工具集。贴一下AVISPA的官网地址：http://www.avispa-project.org/安装可参考https://blog.csdn.net/qq_33877

A Linear Programming Example线性规划案例RSOME包支持使用与NumPy语法一致的高可读性代数表达式指定模型。下面提供了一个非常简单的线性程序示例，The RSOME package supports specifying models using highly readable algebraic expressions that are consistent with NumPy syntax. A very simple linear program examp..

cplex20.1 preview中不支持matlab所以试了下cplex12.9，可用。cplex12.8我测试下来不行。matlab2021a安装教程：https://blog.csdn.net/WASEFADG/article/details/118771157cplex12.9下载地址：https://download.csdn.net/download/WASEFADG/20364279安装rsome解DRO问题需要cplex求解器。rsome下载地址：https://down

备忘一个很好用的文献关联软件：Connected Papers | Find and explore academic papers​www.connectedpapers.com

a=imread('Image 986.png');imshow(a)[x,y]=ginput(100) 此句单独执行plot(x,y,'b:')p=findobj('type','axes')set(p,'Ydir', 'reverse')

（1）浪涌和空开的区别1）浪涌保护器浪涌保护器（SPD）又称为“防雷器”和“避雷器”，是限制电气回路、通讯线路中强烈的瞬态过电压产生的浪涌，从而起到保护设备的作用。其工作原理是当线路中出现瞬间过电压或过电流时，浪涌保护器会迅速导通，将线路中的浪涌泄放入大地。按照保护设备的不同，可分为电源浪涌保护器和信号浪涌保护器两类。其中电源浪涌保护器按照同容量的不同可一级电源浪涌保护器、二级电源浪涌保护器、三级电源浪涌保护器和四级电源浪涌保护器；信号浪涌保护器可分为网络信号浪涌保护器、视频浪涌保护器、监控

https://www.letpub.com.cn/index.php?page=grant 新http://output.nsfc.gov.cn/ 结项

2006 年年底，公司出现危机。汪滔家族的世交陆迪慷慨解囊，投了9万美元(汪滔说，这是大疆历史上唯一一次需要外部资金的时刻)，帮大疆渡过难关。后来，陆迪到大疆负责财务工作，今天已经成为大疆最大的股东之一。《福布斯》计算，他持有的16%股份不久将价值 16亿美元。在大疆创立两年后，创始团队的成员几乎全部都离开了，危机关头，导师李泽湘加入，不仅带来了资金，还给大疆引荐了很多他的学生。 2018年，李泽湘与汪滔一同获得了2019IEEE机器人与自动化大奖，这是全球工程技术领域最重要的奖项之一，李泽湘和汪滔是首

在电能应用的初期，由小容量发电机单独向灯塔、轮船、车间等的照明供电系统，可看作是简单的住户式供电系统。白炽灯发明后，出现了中心电站式供电系统，如1882年T.A.托马斯·阿尔瓦·爱迪生在纽约主持建造的珍珠街电站。它装有6台发电机（总容量约670千瓦），用110伏电压供1300盏电灯照明。19世纪90年代，三相交流供电系统研制成功，并很快取代了直流输电，成为电力系统大发展的里程碑。20世纪以后，人们普遍认识到扩大电力系统的规模可以在能源开发、工业布局、负荷调整、系统安全与经济运行等方面带来明显的社会经济效益

'some' is not a technical term in the paper. Try to avoid it as much as possible. ------Amin K

Distribution network operator是配电网控制器Distribution network operator (DNO) is the company that owns and operates the power lines and infrastructure that connect our network to your property - our network doesn't connect directly to homes and businesses beca

一件事情很难，但是你做出来却让人感觉很简单，这才是超级高手

R2007b引入mmreader类，用于支持更丰富的编码格式； R2010b把mmreader更名为VideoReader；

官方项目地址：https://gitlab.com/custom_robots/spotmicroai官方说明位置：https://gitlab.com/custom_robots/spotmicroai/basic

根据2018年5月30日第十四次院士大会修订后的《中国工程院章程》，当院士的个人行为违反科学道德或品行不端，严重影响院士群体和工程院声誉时，应劝其放弃院士称号。当院士的个人行为涉及触犯国家法律，危害国家利益时，或涉及丧失科学道德，背离了院士标准时，应撤销其院士称号。新华网2014年10月报道已指出，被依法批捕的消息在中纪委网站获得证实后，李宁会不会被撤销中国工程院院士称号引人关注。中国工程院是中国工程科学技术界的最高荣誉性、咨询性学术机构。建院20年以来，中国尚没有撤销院士称号的先例。...

IEEE TRANSACTIONS ON POWER ELECTRONICS基本上都需要硬件仿真，可以有硬件平台之后再看和研究

我忽然有个想法如果把语言看成是一种计算机病毒成年人因为自己安装了多个杀毒插件，所以不容易接受别人的想法，所以小孩容易接受如果真存在一个人，说一句话，所有人可以瞬间接受并认可，那不就是超级病毒载体了么...

机械图纸上Φ50H7什么意思？一般代表直径50的孔，H7的公差在这里是+0.025mm/-0mm。理论值M6的外径就是6毫米，实际上达不到，因为螺纹的尖顶都是圆角,通过查表m6的最大外径是5.92MM,这是基本数值。机械制图中EQS，表示均匀分布的意思.在图形上，如果孔均匀分布，则不必一一标记尺寸，只需在尺寸后注明“ EQS”即可。阵列操作：移动对象：或者是阵列特征...

定向视图1)【定向视图】快捷 Home2)【正等测视图】 End3)【俯视图】 Ctrl+ Alt+ T4)【前视图】 Ctrl+ Alt+F5)【右视图】 Ctrl+ Alt+R6)【左视图】 Ctrl+ Alt+L7)【补捉基本视图】 F8【视图】菜单快捷键1）【视图】——刷新 F52）【视图】——操作——适合窗口 Ctrl+F3）【视图】——操作——缩放 Ctrl+ shift+Z或F64）【视图】——操作——旋转 Ctrl+R 或 F75）【视图】——操作——编辑工作截面

UG是当前比较流行的bai一种三du维软件，UG NX 包括了世界上最强大、最广泛的产品设计应用模块，具有高性能的机械设计和制图功能，几乎满足客户设计任何复杂产品的需要，其具有专业的管路和线路设计系统、钣金模块、专用塑料件设计模块和其他行业设计所需的专业应用程序，而且够迅速地建立和改进复杂的产品形状， 并且使用先进的渲染和可视化工具来满足设计概念的审美要求，其在仿真、确认和优化，模具设计，和NC加工等方面较当前的三维设计软件均有不可比拟的一面。而CAD在二维制图、出图方面确是其他软件不能够比的，三维建模上却

首先介绍，什么是recourse。追索权，是指持票人在汇票到期未获付款，到期前未获承兑或其他法定原因发生时，向其前手请求偿还票据金额以及相关损失的票据权利，是法律上为补充付款请求权而设定的第二次请求权。在票据流通过程中，持有到期票据者，在向应付款者索要票款、兑现票据时，如果付款人拒绝付款，即可向付款人所在地的法院（或其他法定出证人）申请出具付款人拒绝付款的证书，然后凭证书向票据背书人索要票款，金额为票据金额加利息加作拒绝证书费用。被追索人付清款项后可以向他的前手再追索，直至追索到出票人。票据背书人如

MEC从最简单的角度来看，就是部署在移动通信系统的基站附近的服务器。最常见的MEC部署，就是在基站上关联一个通用x86服务器，用来就近处理基站内需要处理的紧急、且大量的处理任务。还是以无人车为例，摄像头拍摄的视频信号被基站接受后，会在MEC服务器中直接处理，并根据规则对驾驶情况作出调整，而远端服务器则执行远程驾驶，规则更新一类的工作。首先介绍EPC（Evolved Packet Core），分组核心网，4G核心网络。其中主要包含MME、SGW、PGW、PCRF等网元。其中SGW和PGW常常合设并

　　随着我国新能源汽车，特别是纯电动汽车的迅速发展，国家目前大力支持充电桩产业，那充电桩有没有财政补贴呢?补贴的政策是什么?以下是小编为你整理的充电桩国家财政补贴的政策和标准相关资料，希望大家喜欢!　　充电桩国家补贴的政策和标准　　江苏省宿迁市　　建设规划：今年计划建设充电桩300个，其中直流桩150个，交流充电桩150个。　　补贴标准：宿迁市还按充电桩充电功率对充电设施建设给予地方财政资金补贴，交流充电桩每千瓦补贴600元、直流充电桩每千瓦补贴900元。单个充电站或充电桩群的补贴总额不超过120万

https://zhuanlan.zhihu.com/p/84617531

cplex的教育版最大支持1000个优化变量的优化问题

1.长句变短2.语句完整，注意1）连贯性，前后要通顺，考虑中国人的语法习惯2）我只注意了每个句子表达的意思是否正确，忽略了整体

理论上，整数优化问题是NP-HARD问题，不能直接得到最优解。可以通过对线性最优解进行取整得到可行解，不一定是最优解。如果你能证明约束图形的定点都是整数的话，就可以直接得到最优解。...

1.其中顶格写，其中后不可以加逗号

不是握住了一只蝉，就能拥有整个夏天，也不是得到了谁的偏爱，就能够永远。爱没用，相爱才有用。

220V电压是我们平常经常听到、用到的，380V是工厂中常用的，220V与380V有什么区别呢？小编本次就将这两个概念解释一下：（1）居民用电大都是采用220V，无论家里电器负荷有多高，电压都是220V；（2）380V主要应用于工业用电及企事业单位。1、 上面说的是大部分情况，另外还可以通过插座来进行区分：（1）220V插座如上图所示，无论是三孔插座还是三孔插座，使用的都是220V电压。三孔插座中上面那个竖直的孔是接地线（2）380V插座如上图所示，四孔插座.

电力变压器储油柜的作用是使油箱内部与外界空气隔绝，在温度变化时对油箱内的油量起调节作用。俗称油枕，为一圆筒bai行容器，横放于du油箱上方，用管道与变压器的油箱连接。作用1.当变压器油热胀时，油dao由油箱流向储油柜;2.当变压器油冷缩时，油由储油柜流向油箱。特点储油柜油面上部的空气由一通气管道与外部大气相通。通气管道中放置干燥剂，以减少空气中的水分进入储油柜中。储油柜的底部设有沉积器，以沉聚侵入储油柜的水分和污物，定期加以排除。在储油柜的一端还装有油位表以观测油面的高低，当由于渗漏等原因造

DRO+Benders decompostionlatency+DRO

https://rflysim.com/zh/0_Start/WhatIsRflysim.html

量子计算机和量子编程的学习步骤汇总https://blog.csdn.net/chenhaiming123/article/details/80155210IBM量子计算机体验平台：IBM Q - QuantumExperienceD-Wave开源量子编程软件，无需掌握量子物理就可编程.–来源Qpanda-本源量子的可以看看基础，但是不一定是行业标准...

https://youngforest.github.io/2018/07/03/recommender-systems-of-popular-apps/https://www.jinse.com/bitcoin/256577.html

Wasserstein距离Wasserstein距离也叫做推土机距离（Earth Mover's distance），这也是由于它的推导过程可以很形象的用挖土填土来解释，这也是因为该距离定义中由一个分布转变为另一个分布所需要的代价和挖土填土的过程十分相似。考虑两个离散的分布P和Q为了让两个分布相同，我们一个个变量地观察，*为了让P1和Q1相同，我们需要P1把手头上的3分2到P2去，这样P1和Q1都等于1，此时P2=4，其他数保持不变，这个过程是不是十分像挖掉P1的土填到P2上~ 为了让P2

鲁棒优化中，不同的不确定集对结果影响十分明显，当不确定集越精细时，模型复杂度越高，求解越困难。当不确定集越宽泛时，所求出的最优解越保守，越不符合实际。为了权衡二者的关系，如何选择一个适合的不确定集来求解鲁棒优化一直是相关学者的研究热点。常见的不确定集主要有如下几类:1）盒式不确定集（Box Uncertainty Set）盒式不确定集是最简单的不确定集，也被称作区间集。由于鲁棒优化是考虑最差情况下的优化求解方法，针对于一些模型可能会出现所有不确定参数都在区间集上下界进行优化的情况，然而实际中该情

常见的有很多衡量概率分布差异的度量方式，比如total variation，还有经常被用到的KL散度。相比于这些度量方式，Wasserstein距离有如下一些好处。能够很自然地度量离散分布和连续分布之间的距离； 不仅给出了距离的度量，而且给出如何把一个分布变换为另一分布的方案； 能够连续地把一个分布变换为另一个分布，在此同时，能够保持分布自身的几何形态特征。 1. 其他距离度量的缺陷 首先注意到KL散度不是距离度量，它不满足对称性。常见的距离度量有，Kullback-Leibler Div

多臂老虎机问题是reward未知的MDP问题中最简单的一种，因为多臂问题不需要规划。也就是只需要估计action （选择哪个手臂）背后的reward的价值，这个action不会影响state的转移（因为任意手臂转一次，一个episode就结束了，我们就可以对选择的手臂背后的估值进行更新）。Q在马尔科夫过程代表广义状态转移矩阵，也就是P在时间上的微分，或者说状态转移强度矩阵。自然离散状态时刻下，就是差分啦。因为如果对所有action的估值你自信以后，你必然会做出bayes决策，所以最终的策略，每一个.