科学网

 找回密码
  注册
信息与信息量的本质
热度 1 姜咏江 2020-1-10 22:44
姜咏江 关键词: 信息 信息处理 信息熵 前言 什么是信息?时至今日仍然有 ...
个人分类: 教学笔记|6166 次阅读|2 个评论 热度 1
炮轰现行的计算机组成原理教材
热度 3 姜咏江 2018-5-29 06:10
炮轰现行的计算机组成原理教材 姜咏江 前一段时间曾参加过国产 CPU 的的研讨会,各计算机 CPU 设计公司都认为,我们的计算机专业高等教育,培养的人才不适应计算机核心技术的创新发展,所学的计算机原理专业知识似是而非。因而包括计算机专业博士研究生在内,缺乏对计算机核心 CPU 的设计能力。 众所周 ...
个人分类: 教学笔记|6050 次阅读|8 个评论 热度 3
温故而知新
热度 1 姜咏江 2017-11-14 21:28
温故而知新 姜咏江 本学期选择微体系结构课程的研究生一下子多了起来。这些学生将来都是要搞计算机设计的,任务重大,我自然也马虎不得。自从我设计出第一个真正意义上的计算机,屈指一算也有十二个年头了。现在再回头看看我最早设计自作的 ...
个人分类: 教学笔记|2397 次阅读|2 个评论 热度 1
计算机的使用者应用者和设计制造者
热度 1 姜咏江 2017-1-19 05:24
一学期'计算机微体系结构设计'的研究生课程结束了,还是觉得应该矫正一些人们的认识。 在中国多数人是计算机使用者,这不必说。那些对计算机比较精通的,也不过是计算机的应用者,其特征就是能够用计算机语言进行编程,进行所谓的开发。这些人中有很多人称为计算机专家,其实应该叫计算机应用专家更为贴切。真正 ...
个人分类: 教学笔记|2658 次阅读|2 个评论 热度 1
一个可以快速求解的3SAT例题 ——答案
姜咏江 2016-5-31 09:37
这个题我做用了8分钟,熟悉子句消去法的读者大约15分钟可以得到满足解的答案。 这里上传一个满足解的答案,供有兴趣的读者参考。 欢迎读者给出3SAT题目,我来替你解答。 姜咏江 2016-5-31 3SAT求解.xls 3SAT求解-答案.xls
个人分类: 教学笔记|3427 次阅读|没有评论
这个简单图能够找到几条哈密顿回路?
热度 1 姜咏江 2016-3-20 09:58
这个简单图能够找到几条哈密顿回路? 姜咏江 下面这个简单图是哈密顿图吗?若是,可以有几条哈密顿回路? 2016-3-20
个人分类: 教学笔记|6445 次阅读|2 个评论 热度 1
这100个顶点的哈密顿回路是如何求出的你想到了吗?
姜咏江 2016-3-13 21:15
姜咏江 随便给出一个顶点相互关联的图,是不是哈密顿图,只要找出哈密顿回路就可以了。下面这 100 个顶点的哈密顿回路,很快就可以求出来,你能够看出个究竟吗?粗实线是选择的路径。 当作游戏来玩玩,是很有意思的事情。 2016 - 3 - 13
个人分类: 教学笔记|4668 次阅读|没有评论
谈3SAT特殊的唯一解
姜咏江 2015-11-30 08:17
谈 3SAT 特殊的唯一解 姜咏江 在 3-SAT 求解中,很关键的是一个变量具有 4 个相同值的子句块,我们称之为 4 同值子句块。表 1 子句块的解只与变量 x 的值有关,与其余变量是无关的。只有当 x =0 时,这个子句块有解,其余情况都无解。 表 1 变量4 同值子句块 x y z 0 0 ...
个人分类: 教学笔记|1973 次阅读|没有评论
3SAT解题步骤与规则
姜咏江 2015-11-19 10:04
3SAT 解题步骤与规则 姜咏江 随着我对 3SAT 的分段子句消去法的深入,使求解 3SAT 的过程也在不断地瘦身,此次介绍的分段子句消去法步骤更加简单化,解法更加易学。 一、规则 运用分段子句消去法求解 3SAT 的满足解,要遵循如下两条规则: ( 1 )处理好可能无解子句块。 3SAT 数值表示法可能无解的子句 ...
个人分类: 教学笔记|2106 次阅读|没有评论
3-SAT求解基本方法
姜咏江 2015-11-18 08:38
3-SAT 求解基本方法 姜咏江 分段子句消去法的求解,最关键的是关联段求解。 3SAT 关联段无解只有 3 中情况: ( 1 )出现有 8 个子句的子句块; ( 2 )出现了只有一个变量需要确定值,却无值可选的动态块; ( 3 )在确定了一个变量值之后,出现了 4 个 2SAT 子句的动态块,叫全 2sat 动态块。 3SAT 解 ...
个人分类: 教学笔记|4157 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 17:31

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部