30 Oct

11月03日美国“发现号”航天飞机“绝唱”

美“发现”号航天飞机将于11月踏上绝唱之旅

美“发现”号航天飞机将于11月踏上绝唱之旅

美国航天局29日说,由于“发现”号航天飞机右侧轨道操控系统的加压部分发现两处氦气泄漏,其发射日期将被推迟一天。

“发现”号原计划美国东部时间11月1日发射升空。根据美国航天局最新安排,其发射将推迟到11月2日16时17分(北京时间3日4时17分)。这将是“发现”号计划中的绝唱之旅,也是美国航天飞机今年最后一次飞行任务。

点击阅读全文...

26 Jan

唠叨下,关于三体问题周期轨道

自从查看到有一个8字形的周期轨道后,就对三体问题的周期轨道产生了浓厚的兴趣。而看到此文后,兴趣就倍增了。原来无法直接积分的三体问题还有这么多有趣的东西....所以寒假的一个研究目标就是三体问题的周期轨道。

先报告一下目前的探索结果:

1、有了自己的一个求周期轨道的方法;
2、貌似已经解出了8字的轨道方程,但是还未知正确与否;
3、好像发现了更多的周期轨道,也未知正确与否(这些都在验证中)

点击阅读全文...

1 Jan

2012年快乐!

眨眼间又一年了。时间如流水,匆匆不待人。

愿大家在新的一年里事事如意,突飞猛进!

今晚有事加班,就不多说些什么了。希望大家有空会来这里看看(不过高三里更新会非常慢,请谅解^_^)

龙年到

龙年到

12 Feb

漫谈几何量子化

在查找量子化有关资料的时候,笔者查找到了一系列名为《漫谈几何量子化》的文章,并进一步查询得知,作者为季候风,原来发表在繁星客栈(顺便提一下,繁星客栈是最早的理论物理论坛之一,现在已经不能发帖了,但是上面很多资料都弥足珍贵),据说这是除正则量子化和路径积分量子化外的第三种量子化方法。网上鲜有几何量子化的资料,更不用说是中文资料了,于是季候风前辈的这一十五篇文章便显得格外有意义了。

然而,虽然不少网站都转载了这系列文章,但是无一例外地,文章中的公式图片已经失效了,后来笔者在百度网盘那找到其中的十四篇pdf格式的(估计是网友在公式图片失效前保存下来的),笔者通过替换公式服务器的方式找回了第十五篇,把第十五篇也补充进去了。(见漫谈几何量子化(原文档).zip

虽然这样已经面前能够阅读了,但是总感觉美中不足,虽然笔者花了三天时间把文章重新用$\LaTeX$录入了,主要是把公式重新录入了,简单地排版了一下。现放出来与大家分享。

点击阅读全文...

2 Aug

七夕-雨

七夕,想随便说一些。大家路过就行~~

印象之中,连续几年的七夕这一天都下雨,今天也下了一点雨。妈妈说七夕的雨是神仙水,很小的时候,如果七夕下雨,还专门装一些来洗澡。

牛郎织女相会了没有?

研究数学了。

4 Dec

结果恒为整数的多项式

昨晚上初等数论的时候,有这么一道题

求证
$$\frac{1}{3}x^3+\frac{1}{5}x^5+\frac{7}{15}x$$
恒为整数,其中$x$是一个整数。

更一般地,可以得到
$$\sum_{p\in\mathbb{P}}\frac{1}{p}x^p + \left(1-\sum_{p\in\mathbb{P}}\frac{1}{p}\right)x$$
恒为整数,其中$\mathbb{P}$是有限个素数的集合,还有更多整数值函数问题。要证明这些函数的值恒为整数,可以通过同余分析,证明分子总能被分母整除。但是,更妙的、同时往往会更简单的方法是,将结果赋予必然为整数的意义——可以是计算上的,也可以是操作上的。

点击阅读全文...

29 Apr

节省显存的重计算技巧也有了Keras版了

不少读者最近可能留意到了公众号文章《BERT重计算:用22.5%的训练时间节省5倍的显存开销(附代码)》,里边介绍了一个叫做“重计算”的技巧,简单来说就是用来省显存的方法,让平均训练速度慢一点,但batch_size可以增大好几倍。该技巧首先发布于论文《Training Deep Nets with Sublinear Memory Cost》,其实在2016年就已经提出了,只不过似乎还没有特别流行起来。

探索

公众号文章提到该技巧在pytorch和paddlepaddle都有原生实现了,但tensorflow还没有。但事实上从tensorflow 1.8开始,tensorflow就已经自带了该功能了,当时被列入了tf.contrib这个子库中,而从tensorflow 1.15开始,它就被内置为tensorflow的主函数之一,那就是tf.recompute_grad

找到tf.recompute_grad之后,笔者就琢磨了一下它的用法,经过一番折腾,最终居然真的成功地用起来了,居然成功地让batch_size从48增加到了144!然而,在继续整理测试的过程中,发现这玩意居然在tensorflow 2.x是失效的...于是再折腾了两天,查找了各种资料并反复调试,最终算是成功地补充了这一缺陷。

最后是笔者自己的开源实现:

该实现已经内置在bert4keras中,使用bert4keras的读者可以升级到最新版本(0.7.5+)来测试该功能。

点击阅读全文...

7 Dec

【龟鱼记】全陶粒的同程底滤生态缸

最近一段时间入了水族的坑,整了个60cm×40cm的超白缸来玩,主要是龟鱼共养。个人比较追求自然仿生,所以希望能在缸里建立一个相对稳定的仿生态环境。当然,其实这都是借口,根本原因是懒得换水,也不想洗过滤棉,所以就想着依靠生态系统自身的净化能力来延长换水时间。为此,参考网上的资料搞了个同程底滤,并且根据自己的经验做了一些修改。

生态缸-俯视图

生态缸-俯视图

点击阅读全文...