博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- 3-SAT分段子句消去法求唯一解例题
- 热度 1
- 3-SAT 分段子句消去法求唯一解例题 姜咏江 利用子句块唯一解和动态块唯一解来处理 3-SAT 求解，最方便的是 3-CNF=1 有唯一解的情况。这也是用其他方法求解 3-SAT 问题最不易的事情。 在用关联段子句消去的过程中，如果出现动态块消去呈现多解的情况，如果选择的变量值不合适，有可能出现后续无解的情况。正确的做 ...
- 3SAT16个变量37个子句求解2秒钟不到
- 热度 1
- 3SAT16个变量37 个子句求解 2 秒钟不到 姜咏江 3 阶合取范式为： (x1’+x2’+x3’) (x1+x2’+x3’) (x1’+x2+x3’) (x1+x2+x3’) (x1’+x2’+x3) (x1+x2’+x3) (x4’+x5+x6) (x4+x5+x6) (x4’+x5’+x6’) (x4+x5’+x6) (x4’+x5’+x6) (x7+x8+x9’) (x7+x8’+x9) (x7’+x8’+x9’) (x7+x8+x9) (x7’+x8+x9’) ( ...
- 3-CNF一秒钟求出解
- 热度 2
- 3-CNF 一秒钟求出解 姜咏江 给出 5 个变量的合取范式，能够在一秒中之内求出解吗？利用我设计的运算器，一秒就可以求出。例如合取范式 : (x1’+x2’+x3’)(x3+x4+x5’)(x2+x4’+x5)(x1’+x2’+x3)(x2’+x3’+x4)(x1’+x4’+x5)(x1+x3+x5’) (x1’+x2+x3)(x1+x3’+x4’)(x1’+x2+x4)(x1’x3+x4’)(x1’+x4+x5)(x2 ...
- 人类大脑与动态计算机
- 人类大脑与动态计算机 姜咏江 人脑的研究无疑是信息科学研究的最高境界。人脑的信息传输处理系统如 图 1 所示。从人脑的解剖图不难看出人脑是由传感器、传输神经、处理器、存储器、信号交控器等元器件组成。 图 1 人脑信息传输与处理系统 从计算机科学研究的角度来看，人脑就是一个复杂的多 ...
- 吴晓波专家曝中国大量货币正诡异“蒸发”
- 热度 1
- 吴晓波 专家曝中国大量货币正诡异“蒸发” 财经作家，“蓝狮子”财经图书出版人 吴晓波报料：中国大量货币正诡异“蒸发”。这是真的吗？ 我在银行系统工作过，从未听说过“大量货币正诡异‘蒸发’”这样的事情。我想这种蒸发不会出现在现钞方面，因为国家发行的货币是不会蒸发的，一定是在银行计算机系统上出 ...
- 任意给15个数能够快速找出哪些数之和为零吗？
- 热度 2
- 任意给 15 个数能够快速找出哪些数之和为零吗？ 子集合问题称为世界性难题。其实编好程序做起来很容易！例如给出的数是： 56 ， 59 ， 128 ， -47 ， 85 ， -129 ， -1 ， -3 ， 2895 ， -25 ， 1198 ， -345 ， 78 ， -45 ， -55. 你能找到全部和为零的子集吗？ 下面图中给你答案，你能找出全部吗？ ...
- 颠覆现代操作系统
- 热度 6
- 颠覆现代操作系统 在计算机界，居然有人认为操作系统（ OS ）是计算机的大脑，这表明了对操作系统缺乏根本性的认识。操作系统是计算机的大管家，是一种管理计算机程序执行的软件程序，而不是计算机的大脑。 计算机的大脑是什么？是能够执行程序的计算机部件，这种部件现在叫做“核”，它才是计算机的大脑。人无大脑 ...
- 什么是计算与存储分离？
- 热度 5
- 什么是计算与存储分离？ 姜咏江 “‘透明计算’的基本思路，是通过网络将存储、计算与管理分离，不仅能像云计算那样把数据和应用软件放在云端，而且把‘计算机的大脑’——操作系统也放到了云端。” 上面这段话是透明计算的发明人作出的解释，其中“计算”、“透明”的来源，“存储、计算与管理分离”还有什么是 ...
- 姜老师带你设计CPU（1）
- 热度 2
- 1. 机器计算的理论 机器为什么能够代替我们人脑进行算数运算？这其中要用到限位记数的理论。限位数理论主要解决如何用固定位数的数码来表示实数，进而实现用机器来进行数值运算。 1.1. 限位记数 所谓的限位记数就是记数的位数一定的记数方法，它来源于机器记数。在纸上用数码 ...
- 数学该知道（3）
- 比较分为两种，一种是从内向外的比较，另一种是从外向内的比较。向外的比较产生整数，向内的比较产生分数。不能直接比较，而采用间接方法得到比较数的过程叫测量。测量得到的数叫测度。测量和比较统称度量。 从内向外的比较，一般要用固定的尺子，这个尺子对应的数是单位1。而从外向内的比 ...
