近期准备做一个上位机采集传感器的数据 使用串口进行通信 翻看vs的说明文档 看到有关serialport的部分 特此记录 后续仍有不懂的地方 再行记录 此处放上关于串口中关于数据接受事件的例子 https://docs.microsoft.com/en-us/dotnet/api/system.io ...
前言 在 "上一篇文章" 末尾处，为了更方便地解释thunk函数的作用，引入了一小部分yield关键字的介绍，但没有具体说明怎么用yield来进行异步编程（yield也是异步编程中的一种方法），所以在这里记录一些学习yield异步编程的心得和一些co库函数的新理解（新坑）。 重识yield关键字 上 ...
分类：
Web程序 时间：
2020-05-24 19:27:26
阅读次数：
90
1、学习编程和学数学不一样，要多练习，光看就会不能学懂 学数学一周学习定理，还学不会，等学会了所有的例题都会解了，但是学习编程，以看就会，结果看完了练习时发现连环境变量都不会 2、初级工程师改bug,中级写主要80%代码，高级工程师处理紧急情况，重大BUG，性能调优，每一级别都要锻炼一两年怕 3、要 ...
分类：
编程语言 时间：
2020-05-24 13:58:47
阅读次数：
77
一、本章学习内容小结：本章学习了新的数据结构--树，与前面的学习不同的是，树是一种非线性结构，树只有一个根结点，其子树本身也是一棵树，所以其定义是递归定义。本章还学习了二叉树和哈夫曼树。 二叉树：结点的度不超过2的树，其中完全二叉树是每个结点都与深度为k的满二叉树编号相同。遍历二叉树是对数的基本操作 ...
分类：
其他好文 时间：
2020-05-24 13:21:19
阅读次数：
69
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
最近因工作需要从python转而维护一些java的web项目，在学习过程中bean自动注入一直有点疑惑，写了点心得 ...
分类：
编程语言 时间：
2020-05-23 16:45:11
阅读次数：
49
最近在山寨一款网页微信的产品，对于div用contenteditable属性做的编辑框有不少心得，希望可以帮到入坑的同学。 废话不多说了，我们先来理解一下HTML的光标对象是如何工作的，后面我会贴完整的DEMO代码，不用急，先去理解，才能做出更加好的输入体验。 在HTML里面，光标是一个对象，光标对 ...
分类：
Web程序 时间：
2020-05-22 21:35:33
阅读次数：
64
首先，做下简单说明： DEDECMS系统，以及DZ的HOME系统如果能够完美结合，那么这两个系统都将把自身发挥到极致 而整合的最大关键就是获取UC的用户uid值这样在程序和用户数据的调用上都很方便了 在整合中出现了一些2B的问题比较棘手 1，DEDE不能完美的体现UC的用户ID造成无法正常的通信 2 ...
分类：
其他好文 时间：
2020-05-22 17:33:05
阅读次数：
59
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
