微分方程公式的机器推导(Ⅱ)

在文献[1]中我们开展了微分方程公式的机器推导,并在一个特例,即型的情形,计算了V_3、V_5、V_7。在文献[1]中V_3为2项,V_5为17项,V_7为74项。在V_3=0的条件下,加工出为5项,在V_3=V_5=0的条件下,加工出为9项。     

地质学学科资助格局及主要进展

1 资助格局自我国实施自然科学基金制以来(1982～1997),地质学学科共资助各类项目1507项,总经费15398.20万元.其中自由申请项目1245项,经费10358.00万元;高技术探索1项,经费4.5万元;青年基金项目205项,经费1408.80万元;地区基金项目18项,经费112.50万元;重大项目7项,经费1240.40万元;重点项目19项,经费1650.00万元;专项基金项目12项,经费624.00万元.可以看出70%的经费用于支持面上自由申请项目,鼓励科学家自由探索.对于已经出现的一些新的生长点、或对国民经济和社会发展具重要意义的成果,当它们需     

中国正成为"全球研究村"中活跃一员

环境、大气、海洋、人类健康……面对日新月异的科技发展，各国科技界正联手组成一个“全球研究村”，中国正是其中活跃的一员。在当今最具代表性的51项国际大科学合作研究计划中，我国已参与了21项，并取得多项举世瞩目的成果。     

KdV-Burgers方程和Fisher方程的异宿轨道

含有非线性项、频散项和耗散项的KdV-Burgers方程а_u/а_t+а_u/а_x-v×а~2u/аx~2+r×а~3u/аx~3=0     

山西省优秀科技工作者——山西省第二建筑设计院副院长 毛玉康

毛玉康1979年毕业于郑州工学院水利水电工程建筑专业,1983年调入长治市建筑设计院,从此与城建设计工作结下了不解之缘.二十多年来,她先后主持和参与了500多项工程的设计工作,其中包括国家重点工程、省市重点工程20余项,并有多项设计获省、市优秀设计奖.     

一类时滞积分微分不等式

本文将建立一类含有无界时滞项、无穷积分项及非齐次项的高维时滞积分微分不等式。使用符号:用ρ(a_(ij))_(n×n)表示n×n矩阵(a_(ij))_(n×n)之谱半径。主要结果如下:     

安全社区建设的地位和作用

文章从安全社区建设是社区建设的重中之重、安全社区建设是一项庞大的系统工程、安全社区建设是一项永不竣工的工程三个方面,阐述了安全社区建设的地位和作用。     

等价组态光谱项速算法

本文提出了确定等价组态光谱项的“总旋分组法”,这是一种按原子的确定组态迅速、准确推引其光谱项的新方法,其规则如下:     

培养具有高科技素质的坦克射击人才应着重把握的几个问题

培养具有高科技素质、适应未来作战需要的合格坦克射击人才,是部队的一项经常性、基础性工作,也是高标准落实军事斗争准备要求的一项现实而紧迫的任务,培养坦克射击人才应注意培养目标、培养重点、科学文化等问题。     

培养具有高科技素质的坦克射击人才应着重把握的几个问题

培养具有高科技素质、适应未来作战需要的合格坦克射击人才,是部队的一项经常性、基础性工作,也是高标准落实军事斗争准备要求的一项现实而紧迫的任务,培养坦克射击人才应注意培养目标、培养重点、科学文化等问题.     

红外分光计：一份持续30年的坚持——记殷德奎等人完成的2011年度上海市科技进步一等奖

2011年度的上海市科技进步一等奖中．有一项“由中国科学院上海技术物理研究所殷德奎等人完成”的“星载宽光谱大气垂直探测关键技术（风云三号B星红外分光计）”。这是277项科技进步奖中的42项一等奖中的一项．是2011年度上海市科技进步的一个代表。     

“非遗”项目迎来“中国年”

中国22个世界"非遗"申请项目全部获得通过,在入选名录国家中,加上此前入选的昆曲,古琴、新疆维吾尔木卡姆和蒙古族长调民歌这4项,以总数26项名列第一。     

2011年十大科学进展

去年12月23日出版的美国《科学》杂志公布了其评选出的2011年度十大重要科学突破。其中。一项大规模艾滋病临床试验成果被列为当年度最重要的科学突破．其他九项突破涉及行星科学、考古学、生命科学、天文学和化学等领域。     

20世纪的"第一大发明"--拉链

1986年,美国著名的《科学世界》杂志根据广大读者的推荐,从成千上万件发明中,选出了20世纪对人类生活影响最大的10项发明。这10项发明中有集成电路、飞机、尼龙、火箭、飞艇、电视机、电冰箱等赫赫有名的科技成果,可是名列榜首的却是一件小玩意儿——拉链。     

含有高阶导数项的Einstein方程的一个旋转度规解

最近几年许多作者研究了含有高阶导数项(即各阶Gauss-Bonnet项)的Einstein方程,高阶导数项来自超弦理论在低能极限下的有效拉氏量。所有的作者只求得球对称解和宇宙解。本文用Newman的复坐标变换方法导出了旋转度规解。 含有Gauss-Bonnet项L_2的广义Einstein-Maxwell方程为     

干扰项注意水平对选择性注意抑制过程的影响

使用负启动范式考察在选择性注意的抑制过程中干扰信息获得的注意水平对抑制强度的影响. 在基于客体的负启动任务和重复启动任务中, 通过操纵目标项与干扰项之间的空间重叠或分离来改变目标项与干扰项获得的注意资源, 进而考察干扰项注意水平的变化所引起的负启动效应的相应变化. 实验结果发现, 与空间分离条件相比, 在部分重叠条件下产生了更大的负启动效应, 说明增加对干扰项的注意水平, 会使其受到的抑制作用相应地增强, 这是由于注意水平的提高使得干扰项的早期激活强度增大, 从而引起了更强的抑制反馈. 这一结果与Houghton和Tipper的抑制模型是一致的. 研究中还发现, 正启动效应也随着对目标项注意水平的提高而显著增大, 进一步证明了本研究操纵注意水平的方法的有效性.     

百年奥运 科技弄潮

奥运的历史就是一部人类征服时间、空间和速度的历史。从古希腊著名的阿加德米运动场到恢弘的现代化体育馆,从希腊的5项全能竞技到现代奥运会百余项竞赛运动,奥运,在更高、更快、更强的人类精神鼓舞下,依靠科技而不断展现着自身的魅力。     

名师与高徒——陈省身与丘成桐

当今国际数学界,设有两项奖励,可谓举世瞩目,堪与诺贝尔奖相比。一项是在国际数学家大会上颁发的菲尔兹(Fields)奖,这项奖只授予年龄不超过40岁的年轻数学家;一项是由     

2000年科技的重大突破

美国《科学》杂志编辑部从浩瀚的宇宙到微小的量子这么庞大的范围内选出九项被科学界公认的重大突破，其中三项属于生命科学，两项属于天文学，两项属于物理学与宇宙学，一项属于化学，一项属于古人类学。这一布局大体反映了当今科学研究的主流趋势。 揭示核糖体的秘密 研究人员在２０００年对细胞中最重要的角色之一──蛋白质工厂（即核糖体），有了更深的认识。每个细胞必须将其２个蛋白质──ＲＮＡ（核糖核酸）亚基精确匹配起来，才能使核糖体这个大分子具备生产蛋白质的能力。面对核糖体如何能以如此惊人的精确性来制造蛋白质，生物学…     

山西省优秀科技工作者——大同市农机局党委书记 蒋泉山

蒋泉山,高级工程师,现任大同市农机局党委书记。自1975年太原工学院毕业以来,先后在研究所和农机局负责农机生产、技术和科研工作。30多年来,面向农业生产、和基层企业,运用新理论、新技术,完成五项重大和重点科研项目和十多项新产品研发和技术改造项目。