博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- 一个可以快速求解的3SAT例题 ——答案
- 这个题我做用了8分钟，熟悉子句消去法的读者大约15分钟可以得到满足解的答案。 这里上传一个满足解的答案，供有兴趣的读者参考。 欢迎读者给出3SAT题目，我来替你解答。 姜咏江 2016-5-31 3SAT求解.xls 3SAT求解-答案.xls
- 一个可以快速求解的3SAT例题
- 我这里提供一个3SAT可以用子句消去法快速求解的例题。有兴趣的读者不妨试试在十几分钟内求出满足解如何？ 3SAT求解.xls 姜咏江 2016-5-30
- 我搞科技创新最缺什么？
- 热度 2
- 我搞科技创新最缺什么？ 姜咏江 不怕你笑话，我就是一个想吃“天鹅肉”的穷教书的。我在经济类大学教不被学校看好的计算机类课程。也是自己不入流，一开始就想从无到有设计一台完全自主的计算机。一晃 20 多年，我的愿望实现了。非但能够设计如西方人推崇的计算机 CPU 微体系结构，还有了自己的创新发明。发明 ...
- 能不能依靠国家的力量挺起中文科学发表？
- 热度 18
- 能不能依靠国家的力量挺起中文科学发表？ 姜咏江 中国这么一个大国，这些年科学研究界一直在追求着所谓的英文“科学论文发表”。英文科学论文发表对人类来说无疑是一件大好事，然而对追求“中华民族伟大复兴”的国家来说，追求英文发表却未必是一件益处颇多的壮举。 据说，世界上论文发表能够被认可的， ...
-
类脑计算若过分追求脑结构会让我们裹足不前
- 热度 9
- 类脑计算若过分追求脑结构会让我们裹足不前 姜咏江 计算机的发展从一开始就是出于仿真脑功能，而不是制造一个脑。这是因为从始至今电子器件的物质构成与生物脑的物质构成有着根本性的区别。做为生物学的脑科学无疑应该将脑的物质结构研究放在第一位，而做为类脑计算的计算机科学界来说，应该将用计算机如何实现脑功 ...
- 类脑计算必须放弃传统的OS理念
- 热度 2
- 类脑计算必须放弃传统的 OS 理念 姜咏江 昨天去参加 CCF YOCSEF “类脑计算”报告会。从计算机科学的角度出发，我赞成类脑计算的提法。因为目前的计算机仍然是机器，不是由生物细胞构成的，故直接说人工造脑恐怕为时尚早。 在会上我向清华大学著名教授、中国科学院院士、计算机专家、清华大学类脑计算研究中心 ...
- 类脑计算之理解
- 类脑计算之理解 姜咏江 今天下午 CCF YOCSEF 报告会 : 类脑计算（ 4 月 15 日 ( 星期五 )14:00-17:30 ） 报告会将要举行，在我看来这是一件大事。 中国脑计划主要属于计算机领域？医学领域？还是计算机医学相互结合的领域？但就“类脑计算”来看，这一定是计算机科学领域的问题。 其实计算机的 ...
- 图01表示的性质及在同构中的应用
- 姜咏江 将图的每个顶点用 1 表示，而与其相邻的顶点用 0 表示，这样形成的表就表示了一个顶点与周围顶点的相邻关系。全部顶点相邻关系的 01 表示就形成了一张行列数相同的表。 1. 图 01标准表 例如，图 1 的两个图直观来看，它们 ...
- 你知道这些哈密顿图哪几个同构吗？
- 你知道这些哈密顿图哪几个同构吗？ 姜咏江 顶点数相同，每个顶点的关联度（相邻顶点数）相同，都是哈密顿图，它们是否同构？下面的 8 个图，有哪几个同构？ 2016-4-10
- 证明两个图同构的例题
- 证明两个图同构的例题 姜咏江 下面的这两个图同构，用 01 同表法给出证明。提示：当前顶点用 1 表示，与其相邻顶点用 0 表示。 1. 用 0 和 1 表示图 1 图 1 的 01 表示如表 1 所示。复制表 1 的 01 表示，并去除表头顶点编号（见表 2 ），然后寻找两图顶点的一一对应关系。 表 1 图 ...
