物理
热力学笔记
态函数 态函数是仅由系统的当前平衡状态决定的物理量，而与其达到该状态的具体路径无关。例如温度、压力、密度、内能、焓、熵等都是态函数。 对于态函数 ，其微元 是全微分。这意味着在状态空间中，沿闭合路径的积分恒为零： 而功 和 热量 不是态函数，它们被称为过程量。想象一个气块从地面上升到...
Read articleLatest
KeiTsuki
KeiTsuki's Blog
物理
克劳修斯——克拉伯龙方程
描述了单组分系统在相平衡（如液滴与环境水汽平衡）时，饱和水汽压 随温度 变化的速率。其基本形式为： 克劳修斯-克拉伯龙方程的推导 推导的核心起点是吉布斯自由能（Gibbs Free Energy）。单位物质的吉布斯函数通常称为化学势，用 表示。 其中： 为单位物质的内能 为压力 为单位物质的体积 为温度 为单位物质的熵...
Read article大气科学
云降水和大气物理
水汽饱和条件 其中， 为实际水汽压， 为饱和水汽压， 为相对湿度。 平面水面的饱和水汽压与温度的关系，可以使用克劳修斯——克拉伯龙方程 其中 为饱和水汽压， 为绝对温度， 为汽化潜热， 为水汽比气体常数， 为水汽比气体常数。 可见，增大相对湿度两个途径：增加水汽 和降温...
Read article我
找自己
昨天晚上做了個夢 我走進撒哈拉沙漠。 空無一人 站在太陽下。 攝氏六十六點六度 快要焚化我的眼珠。 忽然一場大雨降下來。 汗水被那雨水沖走 結束四十天的折磨。 荒漠一轉變成了綠洲。 彩虹下有一棵大樹 大樹上有一顆蘋果。 咬下一口 我就全明白。 可不可以讓我再 讓我再一次 回到那個美麗世界裡。 找自己。 ...
Read articleCS
实现一个 Hindley-Milner 类型系统
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。...
Read article我
多谢你
当我一踏进家门。 我就感觉怪怪的。 当你坐在客厅瞪着TV。 你眉头上的皱纹。 你一直在深呼吸。 告诉我今晚我要小心。 我不明白什么事。 又让你发飚。 是不是这一次你能好好讲。 两个人什么事可以好商量。 ...
Read article