科学空间|Scientific Spaces

浩浩荡荡的“地球工程”似乎就要开始了，不知道这会为我们带来什么呢？是喜是忧？关于气候变暖问题，还需要我们深刻反思一下。

科学家计划研制造云船对抗全球变暖

点击阅读全文...

CRF是做序列标注的经典方法，它理论优雅，实际也很有效，如果还不了解CRF的读者欢迎阅读旧作《简明条件随机场CRF介绍（附带纯Keras实现）》。在BERT模型出来之后，也有不少工作探索了BERT+CRF用于序列标注任务的做法。然而，很多实验结果显示（比如论文《BERT Meets Chinese Word Segmentation》）不管是中文分词还是实体识别任务，相比于简单的BERT+Softmax，BERT+CRF似乎并没有带来什么提升，这跟传统的BiLSTM+CRF或CNN+CRF的模型表现并不一样。

基于CRF的4标签分词模型示意图

这两天给bert4keras增加了用CRF做中文分词的例子（task_sequence_labeling_cws_crf.py），在调试过程中发现了CRF层可能存在学习不充分的问题，进一步做了几个对比实验，结果显示这可能是CRF在BERT中没什么提升的主要原因，遂在此记录一下分析过程，与大家分享。

点击阅读全文...

gam2010-logo

“同是地球人，共享一片天”（One People, One Sky）

超越2009国际天文年，“2010全球天文月”应运而生。“全球天文月”希望号召全世界各地的人们参与到仰望星空的活动中来，创造更大的共享意识。正如口号说的那样——“同是地球人，共享一片天”（One People, One Sky）。北京天文馆在4月将组织一系列活动，欢迎您的参与。

点击阅读全文...

转载自2011年1月的《天文爱好者》 作者：钟晚晴

生命出现是天体演化的必然结果

探索地外文明

15世纪时，欧洲的文艺复兴运动引起了人们宇宙观的大革命。哥白尼学说的主要传播者之一，意大利思想家布魯诺毫不含糊地宣扬日心说并且提及“外星人”是否存在问题，他这样写到：“宇宙中存在着无数的太阳，存在着无数绕自己太阳运转的地球，就像我们的七个行星绕着我们的太陌运转似的……。在这些世界上居住着各种生物。”科学大师伽利略率先把望远镜指向星空，继而几百年以来有了一系列天文发现。太空视野的大幵阔常引发人类这样的追问：除了地球之外，茫茫宇宙中还存在别的文明星球吗？如果存在，能否找到人类的知音一智慧生命？

科学家通过研究地球化石发现，早在35亿年前地球上就已有了一种发育得比较高级的单细胞生物，即蓝藻类;根据恒星演化理论以及对地球上古老岩石和陨星物质分析知道，太阳和地球的形成比这种生物的出现至少还要早约十几亿年左右。太阳系自原始星云形成后大约经过50亿年地球上才有人类。此外，科学考察表明，在最近五亿年来（根据化石考查）已经有过五次生命大灭绝，人类是五亿年来最后一次灭绝以后从猿进化而来。天体的环境变化往往决定着许许多多生命的命运，例如6500万年前恐龙的绝灭，据说就是遭遇了寒冷的冰期或地球被一颗直径十几千米的小天体撞击的结果。

从20世纪初以来，天文学的研究成果是显著的，例如关于银河系的许多发现，河外星系及宇宙膨胀的发现，特别是后来发现类星体、星际分子、脉冲星、河外星系超新星爆发等等。在进入空间科学和电子计算机科学时代以来，人们对宇宙天体的研究更加深入，每年都有许多新的天体被发现、探究。

点击阅读全文...

在上一篇文章《抛物线内的一根定长弦》中，我们解决了抛物线内的定长弦中点轨迹问题，那还算是一个比较简单的问题。虽然同是圆锥曲线，但把同样的问题延伸到椭圆上，却不是那么简单了。因为椭圆的轨迹方程的x,y坐标通过平方相互“纠缠”在一起，不像抛物线方程那样可以容易分离开来（指的是分离成$y=f(x)$的形式）。BoJone尝试了若干种方法，还是难以把它的轨迹求出来。最后通过“化圆法”，终得轨迹方程。

椭圆内的定长弦1

所谓化圆法，就是将椭圆通过拉伸变成一个圆，利用圆的性质来解决一些问题。众所周知，相比椭圆，圆具有相当多的简单性。这是我高考前研究各种各样的高考圆锥曲线题时，所总结出来的一种方法。有时候，把椭圆拉伸为圆后，结论就相当显然了；同时，圆作为一个特殊的椭圆，椭圆的一般结论，放在圆上自然也是成立的。所以要研究椭圆问题，不妨先研究它的特例——圆问题；另一方面，利用圆的对称性等等，也可以大幅度地减少计算量，所以BoJone很喜欢这个方法。更想不到的是，它居然在求本文的轨迹时派上用场了。

点击阅读全文...

欢聚兴隆，畅言科普
记信息时代的天文科普研讨会暨第三届宇宙驿站站长联谊会

在信息时代的今天，利用互联网相互交流以及查找各种资讯已经成为了许多天文爱好者的必经之道。同好们也许都浏览过牧夫天文论坛、星友空间站、空间天文网等天文科学网站，事实上，它们都源于一个共同的科普网站群体——宇宙驿站。正如她的名字所言，宇宙驿站是我们一大群天文爱好者在互联网上的“家”，她为我们这群热衷于网络科普的站长免费提供了稳定的网站空间。

宇宙驿站发起于2002年，是国家天文台LAMOST项目之一，迄今已经有近百位站长在上面“安家”。2013年6月28日到6月30日，我们这群站长齐聚兴隆，开展了一次别开生面的会议——“信息时代的天文科普研讨会暨第三届站长联谊会”。

点击阅读全文...

从这个系列的第一篇文章到本文，已经隔了好多天。其实本文的内容是跟第一篇的内容同时完成的，为什么这么久才更新呢？原因有二，其一是随着春天的到来人也开始懒起来了，颓废呀～；其二，我在思考着规范变换的问题。按照朗道《场论》的逻辑，发展完质点力学理论后，下一步就是发展场论，诸如电磁场、引力场等。但是场论中有个让我比较困惑的东西，即场论存在着“规范不变性”。按照一般观点，我们是将规范不变性看作是电磁场方程的一个结果，即推导出电磁场的方程后，“发现”它具有规范不变性。但是如果用本文的方法，即假定场有这种对称性，然后就可以构建出场方程了。可是，为什么场存在着规范不变性，我还未能思考清楚。据我阅读到的资料来看，这个不变性似乎跟广义不变性有关（电磁场也是，这似乎说明即使在平直时空的电磁场理论中也暗示了广义不变性？）。还有，似乎这个不变性需要在量子场论中才能得到比较满意的解释，可是这样的话，就离我还很远了。

好吧，我们还是先回到相对论力学的推导中。

“无”中生有

上一篇文章我们已经构建了相对论力学的无穷小生成元，并进行了延拓。我已经说过，仅需要无穷小的变换形式，就可以构建出完成的相对论力学定律出来（当然这需要一些比较“显然”的假设）。这是个几乎从“无”到有的过程，也是本文标题的含义所在。另一方面，这种从局部到整体的可能性，也给我们带来一些启示：假如方法是普适的，那么可以由此构造出我们需要的物理定律来，包括电磁场、引力场方程等。（当然，我离这个目标还有点远。）

点击阅读全文...

今天早上同学问了我有关伽马函数和$n$维空间的球体积之间的关系，我记得我以前想要研究，但是并没有落实。既然她提问了，那么就完成这未完成的计划吧。

标准思路

简单来说，$n$维球体积就是如下$n$重积分
$$V_n(r)=\int_{x_1^2+x_2^2+\dots+x_n^2\leq r^2}dx_1 dx_2\dots dx_n$$
用更加几何的思路，我们通过一组平行面（$n-1$维的平行面）分割，使得$n$维球分解为一系列近似小柱体，因此，可以得到递推公式
$$V_n (r)=\int_{-r}^r V_{n-1} \left(\sqrt{r^2-t^2}\right)dt$$
设$t=r\sin\theta_1$，就有
$$V_n (r)=r\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} V_{n-1} \left(r\cos\theta_1\right)\cos\theta_1 d\theta_1$$

点击阅读全文...