基于Lakatos证伪方法论的机器发现逻辑

介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。     

Alfv■n脉动对太阳风的加热

本文采用了空间飞船Helios 1和2在0.3AU到0.9AU之间对太阳风高速流的观测数据,检验了Alfvén脉动对太阳风加热的理论以及Alfvén脉动的衰减机制。计算表明,在Helios观测的空间范围内,(1)若脉动耗散的能量转化为质子的热能,由能量守恒方程计算出的质子温度的径向变化与观测一致;(2)经典粘性衰减机制预计的能量耗散率与实测结果相差很大,因而不能解释脉动能量转化为质子能量的过程;(3)波能串级模式预计的能量耗散率与实测一致,说明太阳风质子的加热很可能是由于串级到质子迴旋频率范围的脉动能量转化为质子的热能所致。     

应用故障模式规避提高卫星运行可靠性方法研究

可靠性指系统在各种可能条件下正常运行的能力,系统可靠性是系统工程研究的重要内容.卫星及其运行环境的特殊性导致其运行可靠性研究难以应用可靠性工程通常使用的概率和统计学方法.通过研究应用故障模式规避(FMA)方法提高卫星运行可靠性,识别了单边和双边故障模式,定义了故障模式及其规避过程的数学表述,提出了用于故障模式规避的扩充非关联控制因素约束边际区间、自主选择故障模式状态空间、故障模式状态空间预测、故障模式隔离和关联控制因素与故障模式策略,给出了相应的案例.      

木卫发现氧气及火山活动

1997年 12月 8日～ 12日，在美国三藩市举行的地球物理协会会议上，美国科罗拉多大学的太空科学高级研究员巴富及科迪斯的报告指出，无人驾驶太空探测船“伽利略”号正环绕木星及其卫星做出探索。根据由探测船上传来的“紫外光分光仪”的资料，有以下发现：离木星最远也是最大的四颗卫星之一的“卡利斯托”，发现有氢原子逸出，这表明此颗卫星的冰层之下可能有氧气存在。科学家推测，“卡利斯托”上的冰层受到太阳光照射，从而分解成氢原子及氧原子。其实，在 1996年“伽利略”号就已发现在“卡利斯托”邻近的卫星“简尼美”，同样逸出氢原…     

“发现”号：完美的终点

“发现”号的命名，源自于一艘18世纪的英国探险船——伴随著名的詹姆斯·库克船长远征南太平洋的“发现”号。在库克船长的探险中，完成了包括发现夏威夷群岛、新西兰乃至确认澳洲大陆存在等功绩，而同行中的另外一艘探险船“奋进”号也成为美国航空航天局另一架航天飞机“奋进”号的命名由来。除此之外，库克船长也曾搭乘“发现”号探索南阿拉斯加与加拿大西北之间的海岸线。虽然当时正值美国独立战争期间，     

卫星首次发现“厄尔尼诺”现象

美法合作的研究海洋形态学和动力学的T-P海洋观测卫星(Topex-Poseidon)最近观测到的数据表明,由于一股强大的暖水流通过太平洋,美国西部将再次遭受潮湿天气的袭击。这与所谓的“厄尔尼诺”现象有关。厄尔尼诺现象与其说是天气现象不如说是海洋现象,它是由一股强大的海洋暖水流所引起。这股暖水流通常生成于赤道太平洋西部、日本东南和菲律宾。最近的这股暖水流是T-P海洋观测卫星于去年12月开始发现,并一直跟踪着。这股暖水流的前沿被称为开尔文(Kelvin)波。美国海军研究实验室的科学家根据T-P卫星的观测数据提供的研究报告指出,最近的这股开尔文波暖水迁移,现已到达南美厄瓜多尔和     

生命进化的十大发现（四）

1977年，在加拉帕戈斯岛东北方200海里约2700米深处潜水摄影的鲍勃·巴拉德和“阿尔文”号海洋地质调查深潜器的工作人员在深海的热泉附近发现了令人惊讶的生命形式，它们完全不需要太阳的能量。这些海底间歇泉沿洋中脊的火山分布，在这里冰冷的海水渗入地壳的裂隙中。热水重新喷出与洋底冰冷的海水混合在一起产生了热柱，黑色的流体混杂着硫黄铁矿、黄铁矿、闪锌矿和铜、铁的硫化物等物质。     

重力波非线性传播过程中的饱和与破碎

采用水平方向的显式算法与垂直方向的隐式算法相结合的时间分裂法,建立了二维可压缩大气中重力波非线性传播的数值模式.用本模式对小振幅重力波传播过程的模拟结果与线性重力波理论预测的结果吻合很好,从而验证了本模式的正确性.我们用此模式模拟了有限振幅重力波在非线性传播过程中的饱和与破碎,结果表明,(1)翻转出现在饱和之前,但向破碎演化仍需要一段时间,由于非线性波-波和波-流相互作用使得非线性数值模拟的饱和高度(出现时间)高(早)于线性饱和理论预测的结果;(2)重力波在不稳定之前已经有能量向背景场中转移,破碎直接导致非线性波-波相互作用,造成能量向小尺度短波上转移;(3)背景风场的加速方向,形成射流的方向与重力波的水平传播方向一致,表明重力波与背景流的非线性相互作用加剧了背景风剪切和不稳定性的发展.      

国内对横电磁传输室的研究

主要论述如下几个问题:(1)我国学者对横电磁传输室理论的研究情况及成果;(2)对高阶模的模式判别、截止频率、谐振频率、最高可用频率问题的讨论;(3)关于我国学者提出的设计上的新思想和新方法;(4)对未来的展望及建议。对某些国内学术界尚有分歧的问题作了研讨,提出了横电磁传输室电压驻波比第一谐振峰频率与横向尺寸关系的经验曲线,讨论了与研制GTEM有关的问题。     

2010年十大太空发现

随着2010年进入尾声，“美国国家地理网站”评选出2010年十大太空探索发现，包括“适居行星”、“怪异极光”、“最大满月”、“预测时间尽头”、“黑洞内可能存在宇宙”以及“宇宙之外可能存在未知结构”在内的发现纷纷榜上有名，其中的“黑洞内可能存在宇宙”问鼎2010年最大太空发现宝座。     

火星表面的有机色素

美国航空航天局火星极地着陆器激光雷达实验首席研究员佩尔辛博士声称，他发现火星表面存在着与远古生命体光合作用有关的有机色素。这是俄罗斯科学家首次在美国太空船上进行实验。　　此项发现对于外空生物学研究来说无疑有着非常重大的意义。因为这不仅意味着火星上可能至今仍然存在有机生命体，而且，这些物质可能与24年前吉尔伯特·列芬和帕特里夏·安·斯图拉特博士通过“海盗”号太空船在火星表面发现的是同一物质。假如火星上一度存在海洋、湖泊和河流，当时的太阳辐射则可提供足够的能量支持类似地球蓝藻细菌的生命体的存在，而蓝藻…     

新闻左右看

拥有“数学大脑” 心理学家发现，一种利用轻微电击刺激大脑的仪器可改善记忆、解决问题和数学能力。一周内，卡多什的研究团队每天都对志愿者大脑顶叶进行30分钟的轻微电击刺激，结果发现在传统课中他们比以前能更快更有效地接受数学技能。他说：“经颅直流电刺激十分安全，电流造成伤害的几率非常低。”试验结果显示，志愿者接受治疗后，提升的数学能力持续了6个月时间。     

埃及发现“法老城市群”

一个由美、英、法、德、日及以色列等十多个国家的世界权威考古学家组成的专家小组，在经过长达 20年的考古研究后，于 2000年 6月 3日在埃及的亚历山大港宣布了一个考古学上的重大发现：在地中海南部边缘的欧亚交界处的海底，静静地躺卧着一个由公元前建造的、形形色色的建筑物组成的城市建筑群。他们推测，这就是传说中的“法老城市群 (Pharach City Groups)”。他们宣称，这是考古学家在 20世纪中两项最重要的考古发现之一 (另一项是在中国西安发现的秦代兵马俑 )。 　　早在 3000多年前，古希腊的寓言、神话和史诗中就先后多次提到了…     

太阳耀斑显著的热和非热事件的统计特征

本文利用GOES卫星和SMM卫星软、硬X射线耀斑观测资料,分析耀斑中软、硬X射线辐射流量的分布,发现太阳耀斑存在着显著的热事件(PT事件)和显著的非热事件(PNT事件),它们主要特征是:(1)PT事件为缓变型耀斑,PNT事件为脉冲型耀斑;(2)PT事件的硬X射线谱较软,PNT事件能谱较硬;(3)PNT事件非热能量释放速率比PT事件快3—10倍;(4)耀斑发展趋缓慢,PT事件中软X射线峰值流量越大;(5)耀斑中PNT事件约占60％,PT事件约占40％.最后定性讨论了产生PT和PNT事件的可能机制.      

美国航宇局的"发现计划"

在探索太空的过程中,会不断地发现新的事物,虽然从开始探索太阳系以来,已经获得了大量知识,但仍然有很多的谜等待人类去寻找答案。美国航宇局(NASA)的“发现计划”给予了科学家们发挥想象力和寻求新的方法揭开太阳系秘密的机会。     

NASA研究发现气候变化导致高层大气冷却和收缩

NASA网站7月1日报道,由NASA戈达德航天飞行中心(GSFC)、汉普顿大学和弗吉尼亚理工大学组成的研究团队利用热层-电离层-中间层能量和动力学(TIMED)、中层大气冰的大气物理学(AIM)和高层大气研究卫星(UARS)等3颗卫星的长期观测数据,发现夏季地球两极上空的中间层约冷却2.2～2.78℃,并且以每10年152～198 m的速度收缩.研究估测,如果人类活动所排放的二氧化碳没有变化,这种情况还将继续.相关论文发表在Jour-nal of Atmospheric and Solar-Terrestrial Physics上.     

太阳系发现的外星人文明

困扰人类的ＵＦＯ究竟来自何处？有人认为就太阳系来说 ,他们很可能来自月球、火星和金星。虽然至今尚未找到这些星球的智能生物 ,但这种说法也并非毫无道理。经初步探察 ,地外文明确实应该存在。月球背面发现飞碟基地和城市人类虽然已６次登上月球 ,却没有发现什么“月亮人”。但美国航空航天局公布了科学家多年记录的５７９起月球怪异现象 ,如突然发光、磁场变异、奇怪阴影、不明飞行物活动、几何图形的出现与消失和宇航员登月亲眼所见等 ,这些说明月球仍有许多扑朔迷离的谜题没有解开。美国人于１９６６年１１月２０日发射的“月球轨道环…     

中子星被发现有强力磁场

美国太空总署马素太空飞行中心的一组天文学家在五月份的“大自然”杂志宣布,发现一颗距离地球4万光年的中子星周围,有超强力磁场,这是在宇宙中有史以来被发现的最强力的磁场。这颗中子星的编号为SGR1806-20,是属于一种叫做“柔和伽马射线重复者”的中子星。它是在散发出柔和伽马射线时,被“洛斯X-射线时间探索者”人造卫星所发现的。这一发现证实宇宙有“磁星”的存在,这是一种特别种类的中子星,拥有非常强力的磁场,它的磁场是普通中子星的100倍,比地球的磁场更要强1000兆倍,天文学家相信有1/10的中子星是“磁星”。中子星被发现有强力磁…     

石英玻璃的机械振动能量损耗特性

为研究石英玻璃的机械振动能量损耗特性，以石英半球谐振子为实验对象，考察了铣磨、抛光、刻蚀和退火对石英玻璃机械振动能量损耗大小的影响，并分析其作用机理。研究结果表明：对于机械加工成型的石英玻璃，表面损耗占主导作用，亚表面损伤是造成表面损耗的主要原因；退火可以消除机械应力，降低石英玻璃的“假想温度”，改善石英玻璃的结构稳定性，减小本征损耗。     

波罗的海的发现引起的推测

比杰尔·林德别尔格领导的一支海洋勘察队在对瑞典与芬兰之间的波的尼亚湾的海底进行探测时，发现了直径约20米的盘状物。当时科学家正在利用安装在“海洋考察”号上的声呐对这一海底进行考察。他们在这里进行考察的目的并非单纯的科学研究，而是在寻找古代运载香槟酒的沉船。他们在这里曾经不止一次地发现一些瓶装酒，