其他-周排行
generator函数 es6提供的 function ,这就是generator函数 通过next（）调用，调用几次就执行几个任务 promise es6 async await 第一种写法 第二种写法 ...
一、JML简介 1.JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Larch方法构建。B ...
numpy官方教程：https://www.numpy.org/devdocs/user/quickstart.html numpy 是几个知名ML库的基础，其中基本上所有 numpy 功能都是围绕 ndarray 设计，ndarray 本质是一个同类型元素多维矩阵 (NumPy’s main ob ...
一、语法 if： if判断其实是在模拟人做判断。就是说如果这样干什么，如果那样干什么。对于ATM系统而言，则需要判断你的账号密码的正确性。 例如：输入姑娘的年龄后，进行以下判断： 1. 如果姑娘小于18岁，打印“未成年” 2. 如果姑娘大于18岁小于25岁，打印“表白” 3. 如果姑娘大于25岁小于 ...
(1)梳理JML语言的理论基础、应用工具链情况 (1)梳理JML语言的理论基础、应用工具链情况 ·关于建模语言 JML（Java Modeling Language）直译成中文就是Java建模语言；建模语言是一种描述信息或者数据模型的概念的语言，其目的在于实现模型概念的传递，提供了系统的设计蓝图，在 ...
基于JML的地铁系统设计 本次实验的主要内容是根据JML的需求描述，完成一个支持增删检查以及多种最短路查询的地铁系统设计。主要运用到了JML的相关语法，以及基本的图论知识。 1. JML理论基础 JML是Java Modeling language的简称，是一种对Java程序开发的一种接口规格语言， ...
Jupyter导出PDF从入门到绝望（已解决） 问题描述 我在使用jupyter lab的时候，想要把我的代码和结果导出成pdf格式的（由于里面有图片，所以不想导出成html）。然后报错： 然后我用pip安装了pandoc，发现并没有什么luan用。并且好像跟报错所指的pandoc不一样。反正就是绝 ...
Docker是一个开源的应用容器引擎，基于Go语言并遵从Apache2.0协议开源。 Docker可以让开发者打包他们的应用以及依赖包到一个轻量级、可移植的容器中，然后发布到任何流行的Linux机器上，也可以实现虚拟化。 Docker的应用场景： Web应用的自动化打包和发布 自动化测试和持续集成、 ...
常用GoogleHacking语法： 1、intext：（仅针对Google有效） 把网页中的正文内容中的某个字符作为搜索的条件 2、intitle： 把网页标题中的某个字符作为搜索的条件 3、cache： 搜索搜索引擎里关于某些内容的缓存，可能会在过期内容中发现有价值的信息 4、filetype： ...
1.安装Sippip3 install Sip { 安装 SIP异常: pip版本问题 https://pypi.python.org/pypi/pip 选择这个压缩包下载到本地并解压缩 进入对应目录，python setup.py install}2.安装PyQt5pip3 install PyQ... ...
今天第一题的实现计算机的那个，其实一开始是真的没啥思路的，布局的分类应用也不是很熟。后面老师演示之后才有了思路，然后再看发现真的理解起来不难，先将基础的弄好，再一步步来就好做了。然后就是第二个，我觉得我实现的应该没有符合老师的要求，但是我不知道怎么去改动了。我做的就一个面板，三个按钮然后分别实现它们 ...
rsync服务器配置文档1、配置/etc/rsyncd.conf文件，写入如下内容：uid=rsyncgid=rsyncfakesuper=yesusechroot=nomaxconnections=2000timeout=600pidfile=/var/run/rsyncd.pidlockfile=/var/run/rsync.locklogfile=/var/log/rsyncd.logign
开场白 这个是三篇博客中的第一篇, 用来提供go调度背后的机制和语法. 这篇博客主要关注操作系统调度. 三篇博客的顺序是: 1) go调度: 第一部分 - 操作系统调度 2) go调度: 第二部分 - go调度器调度 3) go调度: 第三部分 - 并发 介绍 go调度器的设计和行为使得你的多线程g ...
简介：Dialog推出的号称全球功率最低、体积最小的SmartBond DA14580蓝牙智能系统级芯片（SoC），与竞争方案相比，该产品可将搭载应用的智能型手机配件，或计算机周边商品的电池巡航时间延长一倍。 DA14580简介 Dialog推出的号称全球功率最低、体积最小的SmartBond DA ...
The highest building in our city has only one elevator. A request list is made up with N positive numbers. The numbers denote at which floors the elev ...
事件背景 随着世贸战役的愈演愈烈，已经进入了战争2.0时期，曾经1.0我们定义中兴事件是所谓的序幕，那么华为事件则表示中华民族已经要在这场和平的金融科技领域的大战中，扮演者重要的角色。那么这样的金融科技领域的贸易战争中，中国普通的民营企业该何去何从，最坏的预期是什么，影响又会有什么，今天作为一个国内 ...