{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
出租车新运营模式下的LED广告精准投放策略
综述:基于轨道角动量光子态的高维量子密钥分发
地下水雍高诱发黄土滑坡离心模型试验研究
程序模块理论研究
消息传送进程的代数理论
传值并发系统的语义模型与验证工具
带递归π-演算的证明系统
范型(Paradigm)统一化问题
模型检测的理论、技术与工具
分形几何中的若干前沿问题
重味物理中若干前沿问题的研究
控制理论中若干前沿问题的新探索
量子场论中若干前沿问题及其应用