论文部分内容阅读
火星直面美国“勇气”
【出 处】
:
国外科技动态
【发表日期】
:
2004年1期
其他文献
二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级的,因此为了设计和实现一个高效BDD包,研究者
通用规划(解)是针对某个领域的像算法一样的规划解,通过对其的解释可以直接得出具体问题的规划解,而不需要调用任何规划系统.但是目前通用规划的提取只能在一些简单或者特殊的
对计算机系统运行时功耗值的实时获取,是进行功耗动态管理的先决条件.性能计数器能够准确地反映各硬件部件的使用情况,进而反映其功耗情况.文中提出了一种基于细粒度性能计数器建
酵母和蠕虫之类的简单生物是如何进化为鸟和哺乳动物这样的复杂生物的呢?一项针对基因组进行的广泛比较研究显示,问题的答案可能就隐藏在生物的垃圾脱氧核糖核酸(DNA)中。美国科
探测火星是美国在本世纪头20年航天领域的一项重要的既定目标。为保证这一目标的实现,美国国家航空航天局制定了一系列详细的长期发展计划,其中最重要的部分当属“火星技术发展
最近,一种独特的转基因植物引起了世人的关注。当这种水芹探测到埋藏在土里的地雷时,会改变自身的颜色,同时发出信号,标示出地雷的埋藏地点,从而使工作人员可以准确扫雷,避免人员伤
日本科学家打算于明年1月发射第一艘飞船,派出机器“蜘蛛”展开实验,以期在太空中“织出”结构十分复杂的太阳能电池网,从而为日本获得无限的能源!所谓的太空“蜘蛛”使命是一项
2005年10月8日,欧洲航天局的一颗名为“冷星(CryoSat)”的地球环境遥感卫星将由俄罗斯的普列谢茨克航天发射场发射升空.这是欧洲航天局“生命行星”计划中的第一颗卫星.
“根据活组织切片检查结果,罗宾·沃伦发现50%左右的病人的胃腔下半部分附生着许多微小的、弯曲状的细菌.他发现发炎部位总是位于接近十二指肠的地方,这个发现至关重要.