摘要：
https://blog.csdn.net/aman1984/article/details/77774811 阅读全文
摘要：
“Unicode Error ”unicodeescape" codec can't decode bytes… Cannot open text files in Python 3 问题于字符串 "C:\Users\Eric\Desktop\beeline.txt" 在这里，\U启动一个八字符的U 阅读全文
摘要：
一。测试与正确性论证 测试主要是考虑程序的逻辑，根据不同的情况考虑输入数据，通过输出与正确输出的对比来判断程序是否有bug。这种方法仅能证明程序有bug，即无法证明程序没有bug。但在于我们现在的作业中，通过测试已经能够想当程度保证程序的正确运行。 而正确性论证，则是对程序的各方法在逻辑层面进行推理 阅读全文
摘要：
1.规则化发展历史 形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程 序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动 阅读全文
摘要：
oo第二次博客总结 一、前言 从三部多线程电梯开始，oo终于进入了多线程的控制。多线程中的线程安全是非常重要的方面，需要更多的精力和更加小心的去设计代码和修改bug 二、多线程电梯 在三部多线程电梯中，我的设计并不完善，其中从输入到调度器再从调度器到托盘的过程若均使用生产者消费者模型会因为无输入而导 阅读全文