复杂网络
在网络理论的研究中，复杂网络是由数量巨大的节点和节点之间错综复杂的关系共同构成的网络结构。用数学的语言来说，就是一个有着足够复杂的拓扑结构特征的图。复杂网络具有简单网络，如晶格网络、随机图等结构所不具备的特性，而这些特性往往出现在真实世界的网络结构中。复杂网络的研究是现今科学研究中的一个热点，与现实中各类高复杂性系统，如的網際網路、神经网络和社会网络的研究有密切关系。 定义 无论在社会科学、生命科学还是信息科学中，都存在着拥有十分复杂的…
标签：#计算机科学基础理论
共 3 篇文章
计算思维
计算思维、運算思维（，縮寫為）。计算思维是一种思考能力。 运用计算和计算机科学的概念、方法、技术、和逻辑推理来解决各类领域内的问题, 包括日常生活。计算思維的研究包含计算思维研究的内涵和计算思维推广与应用的外延两个方面。其中立足计算机科学本身来研究的该学科中的涉及到的构造性思维是狭义计算思维；而对计算思维进行推广和应用后的思维方式可称为广义计算思维。 歷史 2006年3月，美国卡内基·梅隆大学计算机科学系主任周以真（Jeannette …
形式验证
在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。 解释 软件测试无法证明系统不存在缺陷，也不能证明它符合一定的属性。只有形式化验证过程可以证明一个系统不存在某个缺陷或符合某个或某些属性。系统无法被证明或测试为无缺陷，这是因为不可能形式地规定什么是「没有缺陷」。所有可以做的，就是证明一个系统没有任何可以想到的缺陷，并且满足所有的使系统符合功能要求的和…