人民日报出版社主管 人民周刊杂志社主办
据中国卫星导航系统管理办公室消息,经联合处理分析结果表明,在阿拉伯国家上空平均可见北斗卫星数达到8颗以上,定位精度优于10米,可用性95%以上,可为阿拉伯国家和地区提供优质的卫星导航服务。
英国《自然·通讯》杂志近日发表了两项医学研究,展示了如何利用基于超声波的非侵入性方法,来调节神经活动和治疗啮齿类动物模型的炎性关节炎和高血糖症,研究表明,这种非药物学方法未来或可用于治疗炎症和代谢紊乱。
7日,有媒体报道,我国科学家在青藏高原中部发现了一片距今2500万年的棕榈叶化石。根据对这一化石的研究,科学家推测出了青藏高原年轻时的模样,同时也将青藏高原中部的抬升史推后了至少约1000万年。
“对于存在的问题,比如假海淘、涉及垄断、假冒伪劣等,要加大惩处力度,线上线下用同一个标准,严格监管,严厉惩罚。”11日,国家市场监督管理总局局长张茅在十三届全国人大二次会议记者会上如是说。
作为人工智能的诞生地,英国一直都在积极推动人工智能的发展:一方面,明确人工智能的技术性本质,注重这一领域的基础性和开创性研究;另一方面,在政策、资金、教育、国际合作等方面持续发力,不断优化发展基础和发展环境。
“未来汽车工业将朝着智能化、电动化、数字化、共享化的方向发展。”全国人大代表、广汽集团董事长曾庆洪在今年的全国两会上,带来了加快智能路网建设助力自动驾驶汽车量产应用、加快新能源汽车相关基础设施建设等多个建议。
2018年,我国新能源汽车产销量超过120万辆,同比增长约60%,居全球第一,预计到2020年产销量将突破200万辆大关。据测算,结合汽车报废年限、电池寿命等因素,2018—2020年,我国累计报废动力电池将达12—20万吨,到2025年,该数字将增至35万吨。
在符鸿飞看来,形式化方法是利用数学和逻辑的方法证明计算机系统正确性的研究领域。作为理论计算机科学的一个重要分支,它为关键系统组件正确性的自动化推理和证明提供了坚实的基础,因此能够为系统是否满足一些关键的正确性性质作出最强的保证。
每个人都是一本书,书中的内容由自己书写。陈皓勇的书中,书写着求知若渴,书写着创新,书写着他热爱的电力系统专业。从知识积累到创新探索,翻看陈皓勇的履历,每一页都留下了他奋斗的足迹。
“知之为知之,不知为不知,是知也。”数千年前,孔子就曾用它教育弟子。当下,关于转基因食品是否有害的争论从未停息,一争论就成为热门话题,虽然争论者据理力争,但他们是否真正理解转基因?
据英国《自然》杂志27日报道,日本“超级神冈”(Super-K)中微子天文台是迄今同类中微子探测器中的“带头大哥”,于今年1月完成重大升级,将继续捕获遥远的超新星发出的中微子,以揭示超新星的历史以及其他宇宙谜团。