|
|
本帖最后由 乾隆江南 于 2026-7-13 23:06 编辑
6 v* g9 C6 v3 J( ^* s: V4 [6 V# h# b. a- I! b! s
一共牵头21项
$ u, H8 X9 `( J+ n5 I4 J. Y
0 Z$ T+ u! ?" c( c第一部分：国家自然科学奖 (6项)
, L5 t/ r# c `" } J1. 二等奖：基于不充分信息的机器学*理论与方法
: @5 i: [' q" v/ f& q" @5 y% w" K2. 二等奖：面向多义性对象的新型机器学*理论与方法
& @7 B: m( @: r" |; r+ K3.二等奖：跨媒体大数据图关联表征学*理论与方法' h5 H7 |+ H! K6 n- W# i+ n
4. 二等奖：并发系统模型检测理论2 w8 f* a o6 s+ B e" U# C, C- E
5. 二等奖：网构软件理论基础研究5 q* _0 R( k& i `, ^1 e$ @7 s: q
6. 二等奖：软件形式化验证理论+ M5 v6 j3 r. O9 _* P+ m- h
' ~, x0 H+ ] F8 A5 |第二部分：国家技术发明奖 (3项)- T& J/ |3 N `% U+ _
7. 二等奖：软件抗衰与自愈关键技术
* k/ m" h1 a$ T+ f9 G4 i$ R8. 二等奖：嵌入式软件可信测试技术& B; p/ Q( M% f$ ^# |
9. 二等奖：面向互联网的自适应软件构造技术, H% J- b0 O$ i; j/ C
( n) Y- X& ~6 y g' W7 R0 [第三部分：国家科学技术进步奖(12项)
& J0 d3 x* k7 ^+ f) e% B5 T7 {10. 二等奖：分布式微型计算机系统ZCZ
# s0 @1 l7 L" j3 w) J11. 二等奖：COSA软件开发平台系统& v6 d# p( n0 V+ d# i8 ^
12. 二等奖：对象化与主体化的软件协同技术、平台与应用' e, S9 g! V& e' F
13. 二等奖：网构软件中间件平台及行业应用系统; x1 @! Q5 ^( k" c, W0 N( }
14. 二等奖：国产政务软件支撑平台研发5 y* }9 h* G4 E: ?) Q- ?1 u6 x
15. 二等奖：智能教育大数据处理系统$ j2 K4 I( a5 w# Q6 J) K) t* \
16. 二等奖：分布式并行数据库系统: F$ Z9 ]) N& z4 _4 M
17. 三等奖：分布式专家系统开发环境
. k+ K7 J( U: r" }( @18. 三等奖：并行逻辑推理系统NDPIS9 ~) a [5 N! y4 D* r4 | q, J1 F% t2 _
19. 三等奖：汉字软件支撑环境研究$ |& J5 C8 g) L
20. 三等奖：软件自动化原型开发工具
; s9 Y* I1 E# y! ~21. 三等奖：分布式操作系统核心技术, R0 v/ _/ C& e: w: }2 Q" c
, U# m- \) m. ^3 M" g 8 ~0 k! e/ e9 _/ G: n
1 U- x7 L4 K) J7 y1 l( | {! F |
|
发表于 2026-7-13 23:04:02
楼主
