科学
用代数拓扑的同调群(Homology)分析逻辑系统的结构复杂性。例:命题逻辑的复杂性可通过其“拓扑不变量”(如贝蒂数)量化。这个对于我们用于哲学分析,很重要。拓扑逻辑通过融合空间结构与逻辑推理,实现了以下突破:动态真理观:真理不再是静态标签
04月12日
1942
科学
IT之家 4 月 11 日消息,中国电科今日官宣,旗下产业基础研究院科研团队联合中国科学院科研团队,成功研发高灵敏度集成金刚石氮空位色心量子磁强计和国内首个金刚石氮空位色心微波激射器。
04月11日
1248
科学
IT之家 4 月 12 日消息,2025 全球 6G 技术与产业生态大会(IT之家注:原全球 6G 技术大会)于 4 月 10 日至 12 日在江苏南京举行,集中展示了我国 20 多家企业、高校、科研院所在 6G 技术领域的最新研发进展与场景。据央视报道,紫金山实验室在此次大会上首次公开了最新构建的全球首个 6G 通智感融合外场试验网。该设施围...
04月12日
9925
科学
图为高纯石英矿矿石。自然资源部供图本报北京4月10日电 (记者常钦)记者10日从自然资源部获悉:自然资源部近日发布《新发现矿种公告》,高纯石英矿正式成为我国新的法定矿种。
04月11日
1719
科学
当AI遇见医疗,会碰撞出怎样的火花?AI医疗大模型、手术机器人、高端医学影像设备……各类带着AI医疗元素的前沿医疗器械在4月8日—4月11日召开的第91届中国国际医疗器械(春季)博览会(简称“CMEF”)上大放异彩。
04月12日
1992
科学
近日,紫金山实验室在江苏南京举办的2025全球6G技术和产业生态大会上,首次公开了最新构建的全球首个6G通智感融合外场试验网。记者在紫金山实验室的6G概念验证中心外场看到,工作人员正在用三架不同型号的无人机测试6G网络的感知能力。紫金山实验室工作人员 侯华舟:现在屏幕上显示的就是刚刚起飞的三架无人机的实时轨迹,...
04月12日
3966
科学
稳定的生态系统可提供可持续的生态功能和服务,研究生态系统稳定性的驱动机制尤为迫切和重要。近年来,研究影响稳定性的机制更多关注物种相互作用和物种多样性,如物种异步性、功能群或优势物种的动态等。
04月11日
1026
科学
郭爱克院士治丧工作小组发布讣告称,中国科学院院士、国际著名神经科学家和生物物理学家、中国科学院大学教授郭爱克因病医治无效,于2025年4月10日14时18分在浙江杭州逝世,享年85岁。中国科学院脑科学与智能技术卓越创新中心方面向第一财经记者表示,郭爱克近日在桐乡参加学术会议期间,突然在浴室晕倒,在送往杭州浙大二...
04月12日
8367
科学
我国科研人员在龙泉山脉中段发现一种卫矛属植物新种——成都卫矛,基于分子测序、形态学研究结果,确认该植物为新物种,并将其命名为“成都卫矛”,用以显示该植物被发现的区域位置。这一发现,为中国卫矛属植物增添了新成员。图为2021年5月科研人员拍摄
04月12日
1966
科学
来源:直新闻围绕科技、人工智能(AI)等热点,马云再次发声。4月10日,阿里云新财年启动会在杭州云谷园区举行,马云到场发表演讲。他表示,高科技绝不仅是征服星辰大海,更应该呵护人间烟火。科技人员的责任,不是让AI取代人类,而是让AI更懂人类、
04月11日
1847