2020-12-03

最新推荐文章于 2020-12-26 19:38:18 发布
最新推荐文章于 2020-12-26 19:38:18 发布
阅读量75 收藏
点赞数
分类专栏： 笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/vibiasong/article/details/110582390
版权

20201203 周四

1.结合这几天看的文献，包括可能性测度和DTMC中的LTL描述，试着总结由有限区间状态序列派生出的无限区间状态序列集合定义，下一步要想怎么证明路径的概率测度是一个完备的概率空间。
2.浏览了prism发布时的论文，提到了一个Quantitative abstraction refinement方法，处理状态爆炸，相关文献待看。

CBM209X UMPToolV7200(2020-03-19).rar
08-22
《CBM209X UMPToolV7200(2020-03-19)：U盘量产修复与存储器管理详解》 在IT领域中，存储设备的管理和维护是一项至关重要的任务，尤其是对于U盘这类便携式存储器。"CBM209X UMPToolV7200(2020-03-19)"是一个专用于...
eclipse_java_2020-03安装包.7z
03-30
"eclipse_java_2020-03安装包.7z" 和 "eclipse-java-2020-03-R-win32-x86_64-Windows安装包.zip" 都是Eclipse针对Java开发者的2020年3月版本的安装文件，适用于Windows 64位操作系统。这两个文件可能包含了不同的...
2020-03-14
东哥的博客
03-14 1173
<% } %> 这个怎么改成随机
2020-12-03 matlab 反馈函数 feedback
热门推荐
qingfengxd1的博客
12-03 2万+
matlab 反馈函数 matlab中feedback（sys1,n）函数的作用将模型的反馈连接成n级负反馈循环。例如： 例如传递函数G和C G = tf([2 5 1],[1 2 3],'inputname',"torque",'outputname',"velocity"); C = tf([5,10],[1,10]); sys = feedback(G,C,-1) sys = From input "torque" to output "v...
2020-03-12
花花毛毛虫
03-12 1万+
2020-03-12 今天很累。
2020-05-10
zcz19920114的博客
05-10 1326
本人camera hal小白，无从下手有没有camera hal 的大佬可以指点一下或者提供一点资料，在此谢了
2020-04-09
zero_one666的博客
04-09 1447
每日书单 每日书单 1/ There is only one time in a person’s life when he can make a difference. That is the moment. 2/Can coral be kept away from the erosion of stormy waves? It’s nothing more than to bury thei...
2020-04-10
m0_46591785的博客
04-10 2500
Super关键字 可以访问父类中定义的属性 可以调用父类中定义的成员方法 可以在子类构造器中调用父类构造器 .子类所有的构造器默认都访问父类中空参数的构造器 .子类一定会调用父类构造器（默认过程调用无参） //如果没有显示定义构造方法，Java编译阶段提供一个默认构造方法 //如果定义了自己的构造器，Java使用自己的构造器 //父类所有的构造器：子类必须实现它，子类默认当中一定使用到了父类的构造...
2020-06-07
lyyzxl的博客
06-07 2857
arcgis engine 实现栅格计算器，包括数学运算、逻辑运算、三角函数运算和代数运算。有大佬能帮一下吗？arcgis用10.2版本，环境用vs2015，代码加注释。求大佬。
2020-07-02
thinkoutresult的博客
07-02 1182
标题java String类型复杂json串如果解析 1.根据json串解析相应的成相应的entity 2. Gson gson = new Gson（）； 3. gson.fromJson(String类型复杂的json串，根据json串解析的类entity.class ） 4. 注意解析成entity的类其他的类需要注明是public，如果要张一个entity里面去弄的话 ...
2020-12-26
wubaoyu123的博客
12-26 4022
博客园Logo 首页 新闻 博问 专区 闪存 班级 代码改变世界 搜索 注册 登录 返回主页 哥不是小萝莉 博客园 首页 新随笔 联系 订阅 管理随笔 - 145 文章 - 0 评论 - 425 Kafka数据每5分钟同步到Hive 1.概述 最近有同学留言咨询Kafka数据落地到Hive的一些问题，今天笔者将为大家来介绍一种除Flink流批一体以外的方式（流批一体下次再单独写一篇给大家分享）。 2.内容 首先，我们简单来描述一下数据场景，比如有这样一个数据场景，有一批实时流数据实时写入Kafka，然后
ChipsBank(芯邦)CBM209X UMPToolV7200(2020-03-19)
05-02
ChipsBank(芯邦)APToolV7200(2020-05-20)CBM2099，CBM2199 相对新一点，这个型号的试了可以用。 显示是CBM2099，但实际上好像是CBM2199 　主控厂商: ChipsBank(芯邦) 　主控型号: CBM2099E - [2019-11-11]
eclipse-jee-2020-09-R-win32-x86_64.zip
10-29
标题中的“eclipse-jee-2020-09-R-win32-x86_64.zip”指的是Eclipse IDE for Java EE Developers的2020年9月版本，适用于Windows 32位和64位系统的安装包。Eclipse是一款著名的开源集成开发环境（IDE），广泛用于...
疫情实时爬取-2020-03-27-12-12-46.xls
06-12
2020年3月27日爬取的疫情实时
智慧城市-2012年NEC智慧城市解决方案.zip
最新发布
05-01
智慧城市-2012年NEC智慧城市解决方案.zip
IBMERP实施应收模块业务方案和用户操作手册手册超详.doc
05-01
IBMERP实施应收模块业务方案和用户操作手册手册超详.doc
spring-boot-1.4.4.RELEASE.jar中文文档.zip
05-01
# 压缩文件中包含： 中文文档 jar包下载地址 Maven依赖 Gradle依赖 源代码下载地址 # 本文件关键字： jar中文文档.zip,java,jar包,Maven,第三方jar包,组件,开源组件,第三方组件,Gradle,中文API文档,手册,开发手册,使用手册,参考手册 # 使用方法： 解压最外层zip，再解压其中的zip包，双击 【index.html】 文件，即可用浏览器打开、进行查看。 # 特殊说明： ·本文档为人性化翻译，精心制作，请放心使用。 ·只翻译了该翻译的内容，如：注释、说明、描述、用法讲解 等； ·不该翻译的内容保持原样，如：类名、方法名、包名、类型、关键字、代码 等。 # 温馨提示： （1）为了防止解压后路径太长导致浏览器无法打开，推荐在解压时选择“解压到当前文件夹”（放心，自带文件夹，文件不会散落一地）； （2）有时，一套Java组件会有多个jar，所以在下载前，请仔细阅读本篇描述，以确保这就是你需要的文件；
spring-boot-2.4.0.jar中文文档.zip
05-01
# 压缩文件中包含： 中文文档 jar包下载地址 Maven依赖 Gradle依赖 源代码下载地址 # 本文件关键字： jar中文文档.zip,java,jar包,Maven,第三方jar包,组件,开源组件,第三方组件,Gradle,中文API文档,手册,开发手册,使用手册,参考手册 # 使用方法： 解压最外层zip，再解压其中的zip包，双击 【index.html】 文件，即可用浏览器打开、进行查看。 # 特殊说明： ·本文档为人性化翻译，精心制作，请放心使用。 ·只翻译了该翻译的内容，如：注释、说明、描述、用法讲解 等； ·不该翻译的内容保持原样，如：类名、方法名、包名、类型、关键字、代码 等。 # 温馨提示： （1）为了防止解压后路径太长导致浏览器无法打开，推荐在解压时选择“解压到当前文件夹”（放心，自带文件夹，文件不会散落一地）； （2）有时，一套Java组件会有多个jar，所以在下载前，请仔细阅读本篇描述，以确保这就是你需要的文件；
我现在的索引格式是Index([2020-12-03 00:00:00-05:00, 2020-12-04 00:00:00-05:00,，输出代码将上面的索引转换成时间索引
11-30
index = pd.DatetimeIndex(['2020-12-03 00:00:00-05:00', '2020-12-04 00:00:00-05:00']) ``` 你不需要做太多的转换，因为`DatetimeIndex`本身就是表示日期和时间的。如果你想要获取每个元素之间的相对时间差，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值