类别如下计算机系统与高性能计算，计算机网络，网络与信息安全，软件工程，系统软件与程序设计语言，数据库、数据挖掘与内容检索，计算机科学理论，计算机图形学与多媒体，人工智能与模式识别，人机交互与普适计算，前沿、交叉与综合中国计算机学会推荐国际学术会议 (计算机系统与高性能计算）一、A类序号会议简称会议全...
分类：
其他好文 时间：
2015-06-04 16:59:40
阅读次数：
939
宏观大图：
简单来说，运筹学这本书，理论挺好懂的，计算部分太多了，需要动手去做。在运筹学的科学理论指导下进行决策。
我将本书分为了三个部分：决策程序，库存管理，以及决策方法。
在决策程序阶段，一看步骤我就想起了信息系统开发管理编的知识网，系统开发步骤啥的。既然是步骤，那肯定都会有模板的，就例如这个决策程序步骤吧！...
分类：
其他好文 时间：
2015-02-06 21:52:44
阅读次数：
279
?状态和状态机状态、状态表示法及状态机?状态 是指在对象生命周期中满足某些条件、执行某些活动或等待某些事件的一个条件和状况?一个状态通常包括名称、进入/退出活动、内部转换、子状态和延迟事件 等五个部分组成?状态机 是计算机科学理论的一部分，但UML中的状态机模型主要是基于David Harel所做的...
分类：
其他好文 时间：
2014-11-22 16:02:19
阅读次数：
221
看完了近期比较火的影片星际穿越，重新刷新了我对世界对宇宙的价值观，可以说这是一部较为实体化把理论把宇宙呈现在观众眼中的影片，让那些不太明白理论的人同样可以感受到宇宙的奥秘，穿梭在宇宙之间，领略着超乎自然神奇力量的世界里，真是一个心旷神怡。相信每一个看完影片的观众都会为之称赞，称赞着自然法则的规律，称赞着科学的伟大，称赞着导演的构思与想象力。影片在现在看来太超前了，也尊重科学，对于科学理论的描述还是...
分类：
其他好文 时间：
2014-11-21 23:23:27
阅读次数：
379
在计算机科学理论中，枚举是一个被命名的整型常数的集合。定义形式如下：enum 枚举名{ 标识符[=整型常数], 标识符[=整型常数], ... 标识符[=整型常数], } 枚举变量...
分类：
移动开发 时间：
2014-10-12 16:14:28
阅读次数：
292
2.1 函数编程的基础
可以回顾一下第一章，lambda 演算起源于上世纪 30 年代的数学理论，如今，它是计算机科学理论的重要组成部分。在逻辑上证明及验证系统的辅助工具 （例如，CPU 设计），还是简单形式编程语言，可以准确地解释其他语言的行为。
注意
在下一节，会看到几个用 lambda 演算写的示例“程序”，能以最纯洁和最干净的形式展示很多概念，在本章后面会看到。在 la...
分类：
其他好文 时间：
2014-08-14 10:55:18
阅读次数：
184
