论文部分内容阅读
太平洋——“和平之洋”公元1513年9月26日,西班牙探险家巴斯科·巴尔沃亚,命名此洋为“南海”。1520年,葡萄牙航海家麦哲伦,率领船队寻找通往东方的航线。经过4个多月的艰难航程,他们进入了新的大洋。时值这里天气晴朗,风平浪静,囚
“四大洋”名称的由来
【摘 要】
：
太平洋——“和平之洋”公元1513年9月26日,西班牙探险家巴斯科·巴尔沃亚,命名此洋为“南海”。1520年,葡萄牙航海家麦哲伦,率领船队寻找通往东方的航线。经过4个多月的
【出 处】
：
青年科学
【发表日期】
：
2004年5期
其他文献
陕西火石咀矿煤矿有限责任公司4号煤,煤层厚度较大,顶煤及老顶硬度较大,采用放顶煤开采的过程中表现出顶煤冒落滞后、大块煤堵塞放煤口、周期来压能量的特点,严重影响了工作
我国号称“诗国”,唐代是我国诗歌的黄金时代,诗人辈出。诗人诗号各具特色,异彩纷呈,饶有趣味,发人深思。“诗杰”王勃(650-676)字子安。王勃、杨炯、卢照邻、骆宾王,号称“
期刊
目前,健康体检受国际潮流的影响,越来越受到社会和人们的广泛关注和重视。健康保健,已成为一种现代人追求时尚的生活观念。全国各地,尤其是广东、深圳、上海、北京、山东、辽
期刊
介绍上海证券交易所新一代交易系统中的日志复制和热备切换技术。首先介绍日志和复制的概念与特性,提出基于内存的事务日志模型。其次介绍实现模型的数据结构、功能模块和主机部署情况,描述正常日志复制的机制和主机热备切换的机制。之后介绍在算法优化和操作系统特性方面的性能优化工作。对证券交易系统日志复制方面的建模和主机热备切换机制的设计为其它领域企业级高性能高可用性系统的架构设计提供了参考。
简述了立井井筒排水管路的受力情况,提出改善排水管路受力的措施。同时对井筒管路防弯装置的形式及防弯梁受力进行分析,提出防弯梁的设计校验方法,为立井井筒排水管路防弯装
香菜属伞形科植物，因香菜具有辛香味，很少有虫害发生。它能耐-1℃至2℃的低温，适宜生长温度为17℃—20℃，超过20℃生长缓漫，30℃停止生长。
唐钢二炼铁厂１号高炉（１２６０ｍ＾３）由于采取了精料、合理装料制度、及时加装冷却器、科学补炉、钛矿护炉等措施，使一代高炉寿命达到９年零３个月，实现了高炉长寿。
可满足性求解(SAT)问题被广泛应用于软件验证、理论证明、微处理器验证、模块验证等领域,工业应用实例问题求解变量规模已达到百万数量级,传统的基于CPU的串行和并行SAT求解方法已无法满足如此规模的问题求解。不同于以往的并行SAT研究,利用GPU并行处理的特点和SAT算法的特点,将SAT算法中最耗时的BCP(Boolean Constraint Propagation)过程并行化,设计实现了基于GP