火山爆发的气象效应

历史上火山爆发时,炽热的岩浆吞没了无辜的平民和庄稼,埋葬了繁华的城堡和文明,而且还影响到全球气候,使之异常。最近,科学家发现,历史上火山爆发发生的气象效应,还曾影响到1815年的滑铁卢战役,使不可战胜的拿破仑一败涂地。滑铁卢战场的反常大雨英国著名的《地理杂志,最近发表的一篇论文指出,不可一世的拿破仑之所以兵败滑铁卢,还有一个被历史学家忽略的原因,那就是印度尼西亚群岛上,刚刚经历了一次剧烈的火山爆发。印度尼西亚群岛上的火山爆发与1815早6月拿破仑兵败滑铁卢战场又有什么联系呢?英国地理学家斯平克给予了肯定答复。答复虽然是肯定的,但是我们仍需要回顾那一段历史,以便找到客观证明。1815早4月5日凌晨,位于印度尼西亚松巴哇岛上的坦博拉火山,     

八仙过海 各显神通——动物运用“科技”手段求生存

自然界的动物,为求生存而使出的浑身解数,如同“八仙过海、各显神通”一样各具特色。这其中,又以动物运用“科技”手段求生存的本领,特别令人开眼界, 使入受到启发。下面,让我们一同欣赏这方面的精彩片段吧!     

高技术技术打造石蜡

据《梦溪笔谈》记载，很早以前，我们祖先就知道在石油中提取石蜡，用它来制造蜡烛和墨。直到现在，我国仍然是蜡烛制造和出口大国，蜡烛远销欧美许多国家。     

有限值方陣系統的公理化

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。     

邏輯系統的定則問題

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。     

关于数理逻辑的一些研究

本文共分七部份.第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统.指出,如果命题演算部分各组公理自足,那末只须把通常的全称规则适当加强便可以达到目的了.第二部份给出一个古典构造主义逻辑系统G,使得在整个系统内是古典逻辑系统M的共否系统;与极小演算J,直觉主义逻辑H相比,它是由J加个两个公理而得,或由H,M中把一个公理换为两个较弱公理而得.J是G的子系统,在命题演算内G是H的子系统,在谓词演算内G与H互不包含,而J,G,H又都是M的子系统.第三部份介绍Gentzen的矢列型系统.对系统G给出一个矢列型系统,从而证明上节所给的关于G的公理系统是相对于C而各组自足的.第四部份介绍假设型系统,对J,G,H,M系统都给出具有(准)子公式性质的假设型系统,由于有(准)子公式性质,在命题演算内它们的可证性都是可判定的.第五部份,对目前一些人对假设系统所作的一些错误解释予以评论.第六部份,讨论矢列型系统与假设型系统的关系,证明两者实质上是一致的,即任给其中一型的系统恒可作出另一型系统,它们不但可证公式全同,而且所使用的中间公式也相同.第七部分,利用自然推理系统而对蕴涵怪论问题的讨论给出一些新线索.在下文,我们不加区别地使用无括号系统(所谓波兰系统)与加点子的通常系统.     

非对称满应力拱的优化

文献[1]解决了对称满应力拱在外荷、自重和拱顶复盖层重作用下的优化问题。本文在文献[1]的基础上,继续研究了在外荷与自重作用下非对称满应力拱的优化问题。由于结构的非对称性,此问题的数学表达式变得极为复杂,给求解带来很大困难。本文在公式的推导上作了一些技巧性的安排,方使问题得解。所获得的解答均是闭合分析解,当退化到对称拱时,可回到文献[1]的结果。     

美国专利制度之管见

我国系世界上建立专利制度最晚的一个国家,虽起步甚晚,但能否后来者居上,使之适应我国日益加快改革、开发的步伐,此乃本文之渴望矣! “试看世界上那些国家最富强?我应与之并驾齐驱.”“美国致强原因何在?依吾人考察,乃专利使然也。”此乃1900年日本专利局局长赴美国考察前的豪情壮志和回国后下的结论。从此,日本积极研究专利制度、专利理论,尤其重视美国“任何一种堪称完善的制度,亦无法永远合适宜,在维护宪法基本精神与不改变专利制度基本原则下修改增订,使其发挥最大之功能”的经验,遂不断地修改其专利法使之完善。战后     

撩开气味的神奇面纱

在我们生活的自然界里,不仅是姹紫嫣红,而且是气味万千。据科学家介绍,一般人能区分4000种不同的气味,少数人能分辨出上万种不同的气味。象花草、林木、瓜果、蔬菜、人畜都有自己独特的气味,弥散在空气中。当我们用科学的方法撩开披在气味身上神奇的面纱时,就会惊奇地发现,那些始终伴随在我们身边的、常常不被重视的气味中,也有着许许多多的使人倾倒的奥秘。气味是有特殊标记的