博文
全部博文|未分类|
生活点滴|
计算机核|
随笔|
教学点滴|
科技畅想|
计算机实验|
教学笔记|
计算机科普|
科研讨论|
机器计算|
国防科研|
科研论文|
3SAT解法|
k-SAT求解|
SAT问题|
P/NP问题|
子句消去法|
数学定义|
相关计算|
离散数学|
科研生活|
类脑计算|
计算机制造|
限位数|
数字密码锁|
仿量子计算机|
- 现在一个人能造计算机吗？
- 现在一个人能造计算机吗？ 姜咏江 自己一个人造计算机？说梦话吧！其实这已经成为了现实。当一二十年前出现了现场可编程器件 FPGA 之后，就有了一个人单独设计制造计算机的条件。 FPGA 器件借助现在已经存在的计算机，就可以进行任何的电子电路设计，让你成为计算机专家不是梦。 ...
- 写给教育部的一封公开信
- 热度 2
- 写给教育部的一封公开信 教育部长、高等教育司您们好！ 我是要提出的建议内容，是关于我国计算机专业高等教育的问题。请原谅我以这种方式与您们交流。因为内容要说清楚，那个部长信箱容纳不下，加之难以有与您们面谈的机会，还是写封公开信，既想让您们知道。同时也想让中国计算机业界的教育专家们了解。 ...
- 能与我合作的人一定会在世界计算机舞台崭露头角
- 能与我合作的人一定会在世界计算机舞台崭露头角 姜咏江 我早就研究过，计算机做为人类改造世界的有力武器，并不是只有一种结构和一种方法。现在的计算机架构和用所谓系统软件的方法，设计和管理计算机，确实给我们人类带来了翻天覆地的变化，然而给我们带来的危险和烦恼，也 ...
- NPC=P
- NPC=P 姜咏江 我说过， “搞创新科学研究就如同坐过山车。”在设计 3-SAT 问题求满足解程序的过程中，又让我坐了一次过山车。在用子句消去法求出联想的满足解，最后遇到了全是孤立变量的情况，而且孤立变量形成的 3-SAT 也可以无解！这是我先前没有深入思考的。 经过一个多月的深入研究，变换思路 ...
- 2017中国工业大数据创新发展高峰论坛感悟
- 热度 1
- 2017 中国工业大数据创新发展高峰论坛感悟 百忙之中今天去万寿路宾馆参会。做为听众，感到讲者论述的内容并不过瘾，似乎离高峰二字相去甚远。 大数据目前的特征是 AI ，这方面无人谈及。倪院士强调市场化，不能够从 0 开始。提示美国的 CIA 可以进入任何现在使用的 windows 、 Android 和 ios 等操作 ...
- 这么大的问题国内外专家不可能轻易认可你
- 热度 2
- 这么大的问题国内外专家不可能轻易认可你 姜咏江 P/NP 这个世界难题不知道耗费了多少人的精力。完成这个难题，需要研究人员精通数学和计算机两方面理论和方法，实属不易。 出于兴趣所致，我也钻进了这个圈子。用了三年多的时间，终于将这个问题中的 SAT 问题的多项式时间算法（子句消去法）研制出来了。能否 ...
- P与NP问题为什么会成为百万美元大奖的世界难题？
- P 与 NP 问题为什么会成为百万美元大奖的世界难题？ 姜咏江 P 与 NP 问题是美国克雷数学所悬赏百万美元大奖的七大世界难题之一。简单地说，用计算机在多项式时间内求出解的一类问题，称为 P 类问题；而在多项式时间可以验证是否是解的问题，称为 NP 类问题。回答 P 与 NP 是同一类问题吗？这就是 P ...
- 不快反慢的高版本操作系统windows10
- 不快反慢的高版本操作系统 windows10 姜咏江 不要以为用高版本的操作系统就一定会提高效率。下面图 1 是在旧电脑 i5 的 windows xp 操作系统下运行的 200 个变量的 3-SAT 子句消去法程序，运行时间不到一秒。同一程序在新买的 intel corei7 第七代处理器的电脑上， Windows10 操作系统下运行的时间如图 2 所示，时 ...
- “类脑计算”的新起点
- 热度 2
- “类脑计算”的新起点 姜咏江 一年一度的《 中国计算机大会》即将召开了。今年的大会宣传主题是 人工智能改变世界（ AI Changes the World） 本届大会以“人工智能改变世界 （AI Changes the World） ”为主题，探讨计算技术领域最新进展与未来发展趋势。大会主题论坛将围绕“什么是互联网应用下一个引 ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
