OO第三单元总结 一、关于JML Java Modeling Language,即JML是一种规格化表示语言，主要用于对Java程序的各种方法功能的规范描述。这样做既可以给程序设计人员明确清晰的功能要求，又可以充分全面地验证已有的代码实现保证其满足规格描述的要求。 1、语法梳理 JML的语法清晰直观 ...
分类：
其他好文 时间：
2019-05-22 20:58:01
阅读次数：
94
规格化设计——OO第三单元总结 一、JML语言理论基础、应用工具链 1.1 JML语言 ? JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格语言 （Behavior Interface Speci?cation Lan ...
分类：
其他好文 时间：
2019-05-22 19:16:48
阅读次数：
116
平台： freescale CodeWarrior MCU：MC9S12G128(汽车级芯片) #include "Ds18b20.h" /************************************************************ * DS18B20 status in ...
分类：
其他好文 时间：
2019-05-02 13:17:27
阅读次数：
173
linux 常见的打包命令: gzip >> .gz 结尾 bzip2 >> .bz2 结尾 xz >> .xz 结尾 打包: tar 选项 压缩包名 待被压缩归档的源文档 解压: tar 选项 压缩包名 -C 待释放文件的存放目录 tar 集成备份工具: >>保留源文件,另生成一个压缩归档tar包 ...
分类：
系统相关 时间：
2019-04-06 16:47:20
阅读次数：
168
一.结构型设计模式 门面模式与单例模式，工厂模式不同，它是一种结构型模式。 结构型模式描述如何将对象和类组合成更大的结构 结构型模式是一种能够简化设计工作的模式，它能找出更简单的方法来认识或表示实体之间的关系。 结构型模式是类和对象模式的综合体。类模式通过继承来描述抽象，从而提供更有用的程序接口，而 ...
分类：
编程语言 时间：
2018-11-29 11:02:17
阅读次数：
215
互联网营销时代，获取海量数据成为营销推广的关键。而获得数据的最佳方式就是利用爬虫去抓取。但是爬虫的使用少不了代理ip太阳HTTP的支撑。当然网络上现在有很多开源爬虫，大大方便了大家使用。但是开源网络爬虫也是有优点也有缺点，清晰认知这一点才能达成自己的目标。对于爬虫的功能来说。用户比较关心的问题往往是：1）爬虫可以爬取ajax信息么？网页上有一些异步加载的数据，爬取这些数据有两种方法：使用模拟浏览器
分类：
编程语言 时间：
2018-11-16 15:08:59
阅读次数：
168
Template模板 Template模板的使用帮助我们将数据对应的插入到html文档中显示给用户。 一.Template和Context对象 t = Template('My name is {{ name }}.') c = Context({'name': 'sfencs'}) print(t ...
分类：
其他好文 时间：
2018-11-04 19:24:08
阅读次数：
193
一、常用变量 当前栏目ID $GLOBALS['navclassid'] 当前父栏目ID $class_r[$cid]['bclassid'] 栏目路径 $class_r[栏目ID]['classpath'] 当前终极栏目值 $class_r[$cid][islast] 网站名称 $public_r ...
分类：
其他好文 时间：
2018-10-29 18:25:34
阅读次数：
194
最近一段时间学习并做的都是对图像进行处理，其实自己也是新手，各种尝试，所以我这个门外汉想总结一下自己学习的东西，图像处理的流程。但是动起笔来想总结，一下却不知道自己要写什么，那就把自己做过的相似图片搜索的流程整理一下，想到什么说什么吧。 首先在进行图片灰度化处理之前，我觉得有必要了解一下为什么要进行 ...
分类：
编程语言 时间：
2018-10-17 00:30:10
阅读次数：
386
项目部署 WEB工作原理 客户端(chrom) <=> WEB服务器(nginx) <=> WSGI(uWSGI) <=> Python(Flask) <=> 数据库(MySQL) Flask框架自带一个测试服务器，开发时直接运行即可；但是在生成环境中，必须进行完整部署。 nginx服务器 安装：s ...
分类：
其他好文 时间：
2018-10-07 11:03:33
阅读次数：
205
