1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
在找到满意的工作之后，本菜菜退出博客圈1年多了吧（其实也没发过几篇博文hh）。。本萌新社畜可以说非常懈怠颓废了（所在公司据说是什么上海三大养老院之首，具体哪个厂就不说了😂）。。BUT，经历身边童鞋工作变故后，本菜菜决定重振旗鼓，继续努力，争取早日摆脱菜菜属性，立于不败之地，在此立下flag攻克le ...
分类：
其他好文 时间：
2020-05-23 13:20:24
阅读次数：
57
@[TOC](总计和小计、逐行累计求和)### 一、总计和小计使用函数#### 1、rollupgroup by 我们都知道，是一个分组函数，用于针对某一列做分组操作。但是当它搭配其他的函数一起使用的时候，就像一对男女孩，撞出不一样的火花。==rollup(字段1，字段2，.....) rollup ...
分类：
数据库 时间：
2020-05-23 13:10:27
阅读次数：
192
成功是多个变量互动的结果 如有人在学校刻苦学习，学习成绩很好，重点大学毕业后混得不怎样，而有些上学时成绩不好的人混得很好，于是得出这样的结论：读书没什么用。 混得好不好，时众多变量互动的结果，学习成绩只是其中一个变量，不是决定性变量。 聪明人会欣赏聪明人，而且只有聪明人才会欣赏聪明人 找一个漂亮且聪 ...
分类：
其他好文 时间：
2020-05-23 09:49:41
阅读次数：
73
一.基础知识 1.TCP和UDP的根本区别 ● TCP面向连接，如打电话要先拨号建立连接；UDP是无连接的，即发送数据之前不需要建立连接。● TCP提供可靠的服务。也就是说，通过TCP连接传送的数据，无差错，不丢失，不重复，且按序到达；UDP尽最大努力交付，即不保证可靠交付。● TCP通过校验和、重 ...
分类：
Web程序 时间：
2020-05-23 09:22:29
阅读次数：
76
1、TCP是面向连接的，UDP是无连接的即发数据前不需要先建立连接。 2、TCP提供可靠的服务。也就是说，TCP可以保证发送过程中数据无差错、不丢失、不重复，且按序到达；UDP尽最大努力交付，即不保证可靠交付。而且因为TCP可靠，面向连接，不会丢失数据因此适合大数据量的交换。 3、TCP是面向字节流 ...
分类：
其他好文 时间：
2020-05-21 13:24:34
阅读次数：
51
亲爱的爸爸！ 520快乐呀，嘿嘿。我是你的涛涛大宝贝哦(*?´╰╯`?)? 今天不知道爸爸过得怎么样，( ?? ﹏ ?? ) 我希望爸爸感冒能早点好起来，介样子，我就能把爸爸装进麻袋啦！?(?^o^?)? 爸爸，我知道我不乖。但是，听爸爸的话，我能变成一个好孩子吧！( ￣▽￣)σ 我以后要改掉我的坏 ...
分类：
其他好文 时间：
2020-05-21 00:09:15
阅读次数：
52
蚂蚁E3退役：大量矿工开始转战GRD（渲染币）挖矿蚂蚁E3矿机因为内存的问题已经无法继续挖矿，大量的LTC矿工被迫撤出，加上莱特币的行情一直不温不火，GRD云渲染挖矿成为早期LTC老矿工们一致的选择。GRD挖矿不需要再次购买矿机，风险小：为了避免出现像E3矿机这样的硬性故障，矿工多数选择从RHY上购买云算力挖GRD（渲染币），云算力挖GRD，一次性投入不大，不用承担运维的工作，收入高不说工作比以往
分类：
其他好文 时间：
2020-05-19 20:48:00
阅读次数：
149
电池间自燃后怎么应急处置？1、监控报警-发现警情，值班人员迅速到达指定电池间；2、切断电源-到达现场后迅速切断电源，并且迅速拨打报警电话，以免更大损失；3、应急处置-机房暂停后应对一切网络问题，尽可能的减少对正常工作的影响；4、设备抢修-统计烟熏设备明细，尽最大努力抢救设备；5、设备外移-把设备移动到指定地点清理除尘，把需着急恢复的设备安排专用场合预先恢复；6、机房环境-清理机房（或重新装修），更
分类：
其他好文 时间：
2020-05-19 16:36:13
阅读次数：
132
人都说，背靠大树好乘凉!将来的VR就是你的创业路上最完美的选择成熟的开发模式！高效的管理质控！深耕多年的制作经验，丰富的行业资源，专业的运营团队，一对一的市场服务，完善的售后跟进，我们不断的努力和追求，最终实现合作商互利共赢
分类：
其他好文 时间：
2020-05-18 22:17:19
阅读次数：
114
