- 博客(2)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 【笔记】程序正确性的证明
程序规约程序功能的精确描述程序规约：对程序所实现功能的精确描述， 由程序的前置断言和后置断言两部分组成。前置断言：程序执行前的输入应满足的条件， 又称为输入断言。后置断言：程序执行后的输出应满足的条件， 又称为输出断言。 程序规约的分类非形式化程序规约非形式化程序规约采用自然语言描述程序功能，简单、方便，但存在二义性，因此，不利于程序的正确性证明。
2016-09-19 01:13:08
3520
原创 ANSYS使用笔记(一)：开始使用
刚刚入坑了ANSYS，一上手就遇到了相当复杂的问题，学习得相当痛苦。写点笔记记录一下这几天了解到的一点点内容，希望能够对他人有所帮助。关于安装网上流传的17.0版本内置了英文版的说明文档，sever的安装比较麻烦，而有local已经可以足够使用了，于是就没有尝试安装。local版的安装步骤如下： Install ANSYS Products 17.0. Do not install ANS
2016-09-01 03:05:10
13410
3
正则表达式必知必会
正则表达式是一种威力无比强大的武器，几乎在所有的程序设计语言里和计算机平台上都可以用它来完成各种复杂的文本处理工作。本书从简单的文本匹配开始，循序渐进地介绍了很多复杂内容，其中包括回溯引用、条件性求值和前后查找，等等。每章都为读者准备了许多简明又实用的示例，有助于全面、系统、快速掌握正则表达式，并运用它们去解决实际问题。
本书适合各种语言和平台的开发人员。
2016-01-29
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人