科学网—zhtprog的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › zhtprog的博文

zhtprog

https://wap.sciencenet.cn/?2398747

语义处理| 自动索引| 手机的物理| 天文| 观点| 雾霭| Terry Pratchett| 拓扑| 数学符号| 机器证明| 答疑| 人工智能| 物理|

对爱因斯坦布朗运动论文结论的现代理解: 热度 1 张海涛 2016-12-25 13:43; 岳东晓博主的《粘滞阻力、布朗运动、爱因斯坦》一文介绍了Einstein在1905年发表的关于Brownian motion的论文，并链接了Einstein原文的英文译文。老实地说，我对Einstein的原文并不能吃透。如果哪位老师能完整地介绍Einstein原文，特别是他关于热力学的推导，那我会是感激不尽。 1905年是Einstein的奇迹之年(an ...; 个人分类: 物理|7634 次阅读|4 个评论热度 1

波尔兹曼方程的单粒子解: 张海涛 2016-2-26 05:08; 波尔兹曼方程在统计上描述粒子的运动（transport）。有博主认为该方程有误，但更可能是该博主理解有误。由于这是一个统计力学的问题，单粒子解本身没有太多的物理意义，但可以让我们认识到波尔兹曼方程和牛顿力学是没有矛盾的，并同时理解分布函数的坐标与粒子轨迹的区别。单粒子的分布函数显然是: ，其中f(x,v,t) ...; 个人分类: 答疑|3519 次阅读|没有评论

有限群理论的机器证明: 张海涛 2015-7-11 10:10; 今天我刚完成了一个数学定理的机器证明，是有限群理论里的一个重要定理First Sylow Theorem。这个证明花了两个多月时间，因为使用的是一个新型的机器证明工具，很多基础工作都是从头做起。证明发在这里： https://github.com/htzh/leanproved 一共用了3317行代码， 21715个词， 134230个字符。实际上写的代码还多 ...; 个人分类: 机器证明|3320 次阅读|没有评论

没有收敛序列的聚点是否存在？: 热度 2 张海涛 2015-4-5 06:22; 本篇是我自己推导的结果，为了不犯错，写得比较严格，而且对题目中的问题没有找到肯定的答案。关心标题问题的朋友可以先看下一篇，更容易理解一些。当然喜欢严格推导的朋友，应该坚持下去，相信会有收获。应老师有一篇博文讲拓扑。在应老师的尽心指导下，快速地学了一些拓扑学的知识。特别是 ”第一可数“和聚点的 ...; 个人分类: 拓扑|6407 次阅读|5 个评论热度 2

Google的老前辈: 张海涛 2015-2-1 11:01; 随便浏览一下ACM（Association for Computing Machinery）的数字图书馆，注意到CACM（Communications of the ACM）杂志的第十高引文章是： A vector space model for automatic indexing 文章发表于1975年。摘要是这么起头的： In a document retrieval, or other pattern matching environment where ...; 个人分类: 自动索引|1900 次阅读|没有评论

推荐Software Abstractions: Logic， Language and Analysis: 张海涛 2015-1-31 14:10; 这是MIT的Daniel Jackson介绍使用relational algebra来模拟抽象模型的书。书是围绕着他创立的Alloy语言及其开源软件工具而写的，但使用First Order Relational Logic(FORL)的技巧是通用的，而且写得非常引人入胜。Alloy工具的独特之处是使用model checker在维度够小的空间全自动地验证模型或给出反例，比起使用theorem p ...; 个人分类: 语义处理|2423 次阅读|没有评论

会议

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

GMT+8, 2024-4-25 05:38

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部