裴喜龙 24-07-30 21:10 发布于 上海 来自 微博网页版 今天给同济大学计算机系学生上课,学生问我一个问题,我答不上来。学生的疑问:数字逻辑是完备的吗?就是CPU这点指令,加上IO的端口读写,它对客观世界的(信息、控制)处理,是完备的吗(够用,啥都能表示出来)?我给学生介绍了“哥德尔不完备定理”,但显然没...
我教同济大学计算机系的学生,从“计算+机”这个层次做学问,从根基上做出创新的事情来。别整天弄得自己是个攒电脑的或者是个码农。【转发】@前HR本人:华为轮值董事长徐直军最新讲话:坚定不移打造计算产业生态!...
Watch 4 Star 7 Fork 3 同济大学-裴喜龙/CarCorpusLModels 代码 Issues 10 Pull Requests 0 Wiki 统计 流水线 服务 Gitee Pages 质量分析 Jenkins for Gitee 腾讯云托管 腾讯云 Serverless 悬镜安全 阿里云 SAE Codeblitz 我知道了,不再自动展开 统计 搜索 Watchers (4) 黑伽罗 关注 wangxu 关注 Zhaoqi...
最好的中文近义词工具包。 synonyms可以用于自然语言理解的很多任务:文本对齐,推荐算法,相似度计算,语义偏移,关键字提取,概念提取,自动摘要,搜索引擎等。 Table of Content: Install Usage Quick Get Start Valuation Benchmark Statement References Frequently Asked Questions License Welcome pip install -U synonyms ...
同济大学-裴喜龙/VehicleSynonyms 代码 Issues 0 Pull Requests 0 Wiki 统计 流水线 服务 加入Gitee 与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :) 免费加入 已有帐号? 立即登录 文件 master 分支(2) 标签(20) 管理 管理 master add-code-of-conduct-1 3.10.2 3.8...
裴喜龙 20-11-15 21:16 来自iPhone客户端 同济大学计算机系王小平老师说:传统的硬件描述语言是FPGA,但它距离程序的计算结构太远,其指令要按照指令集系统来,开发一个计算系统(可以为描述为一个语言自动机)起来难度比较大,也很复杂,如果面向神经网络模型计算需求进行抽象,可以加快神经芯片的开发。相当于汇编语言到面向...
//@裴喜龙:我教同济大学计算机系的学生,从“计算+机”这个层次做学问,从根基上做出创新的事情来。别整天弄得自己是个攒电脑的或者是个码农。【转发】@HW前HR:华为轮值董事长徐直军最新讲话:坚定不移打造计算产...
XilongPei将关联仓库设置为同济大学-裴喜龙/CarCorpusLModels4年前 展开全部操作日志 XilongPei拥有者4年前 Faiss是Facebook AI团队开源的针对聚类和相似性搜索库,为稠密向量提供高效相似度搜索和聚类,支持十亿级别向量的搜索,是目前最为成熟的近似近邻搜索库。它包含多种搜索任意大小向量集(备注:向量集大小由RAM内存决...
裴喜龙 24-10-14 08:36 发布于 上海 来自 微博网页版 O网页链接 @同济大学 团队开发的运行在Linux操作系统上的功能安全计算(高铁控制系统、医疗器械上的控制系统)需要的表决器 Voter,开源的,把大家关心的实时、安全防护等计算技术做了个示范,省得对操作系统不熟的人探索了。这种专用技术的开源项目,有助于国内...
裴喜龙 23-07-2 09:09 发布于 上海 来自 微博网页版 我向同济大学计算机系王小平教授讨教了一下,他计算机理论功底比我深厚,属于理论派:请教一个问题:哥德尔不完备定理是不是说的是:一个逻辑方法表示的事,比如计算机程序描述的逻辑,是无法完全用另外一个逻辑表达手段表达出来的?比如概率模型。