软件所推出量子程序证明工具
软件所推出量子程序证明工具。为了保证程序的正确性及应用系统的安全性，程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同 ...... 查看全文
软件所推出量子程序证明工具。为了保证程序的正确性及应用系统的安全性，程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同 ...... 查看全文
南京古生物所等头足类研究揭示中–晚奥陶世板块漂移。奥陶纪时中国的大部分板块都位于冈瓦纳东北缘的低纬度热带地区，包括华南、华北、塔里木、喜马拉雅、拉萨、滇 ...... 查看全文
金属所发现纳米金属机械稳定性的反常晶粒尺寸效应。纳米金属的晶界在机械变形作用下容易发生晶界迁移并伴随晶粒长大，使得纳米材料发生软化，这种现象在拉伸、压缩、 ...... 查看全文
科学家利用人干细胞“年轻因子”治疗骨关节炎取得进展。4月1日，中国科学院生物物理研究所刘光慧研究组同北京大学汤富酬研究组、中科院动物研究所曲静研究组合作，在 ...... 查看全文
微生物所等发现裂谷热病毒治疗性抗体。裂谷热病毒(Rift Valley fever virus，RVFV)属于布尼亚病毒目白纤病毒科白蛉病毒属。经蚊虫传播，可感染动物和人。RVFV可引起 ...... 查看全文
神经流苏研究实现对大脑信息的稳定读取。解析大脑功能是人类认识自然与自身的终极目标。大脑通过神经元细胞的电活动进行信息的传递、转换和整合，进而完成各种功能 ...... 查看全文
狗能嗅出癫痫发作吗？《科学报告》发表的一项小型研究Dogs demonstrate the existence of an epileptic seizure odour in humans指出，狗或能鉴别与癫痫发作有关的一 ...... 查看全文
减轻治疗结核的经济负担：新的筹资支付模式为何难以起效？ Infectious Diseases of Poverty。每年的3月24日是世界防治结核病日，今年世界防治结核病日的主题是时不我待 ...... 查看全文
沈阳生态所在氮沉降对生物多样性影响研究中取得进展。日益增加的大气氮沉降对陆地生态系统的生物多样性和生态系统功能具有重要影响。尽管大气氮沉降中氮素形态多 ...... 查看全文
福建物构所二维铁电体偏振光电探测研究获进展。二维(2D)材料如石墨烯、黑磷、MoS2等已成为组装新型光电子器件的一类重要光电材料。基于2D材料固有结构各向异性形 ...... 查看全文
大连化物所在酸性条件下长寿命非贵金属电解水催化剂方面获进展。近日，中国科学院大连化学物理研究所催化基础国家重点实验室、太阳能研究部研究员韩洪宪和中科院院 ...... 查看全文
兰州化物所在多孔石墨烯的制备及应用方面取得系列进展。多孔石墨烯作为一种重要的石墨烯衍生物，不仅具有石墨烯本身的优异性质，而且相比完美晶格的石墨烯表面，孔的引 ...... 查看全文