a42675492的博客

包括Python语言基础、选择结构程序设计、循环结构程序设计、函数、正则表达式、文件与文件夹操作、面向对象程序设计、模块和包、算法与数据结构基础、错误和异常处理、图形用户界面、用matplotlib实现数据可视化等内容。

云计算产生背景 云计算出现的机遇 云计算出现的技术支持 云计算的定义 云体系结构 云计算目标

NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova and the Mechanized Reasoning Group at University of Trento.

怎样创暂停重启仿真，以及动态创建数据中心代理

用VC6.0写的人脸定位实例，对人脸进行相似度二值化，然后人脸定位

对图像进行光线补偿，读入的第一张图是个类似于模板的东西，第二张是待处理的图片