|
|
本帖最后由 乾隆江南 于 2026-7-13 23:06 编辑 3 Z5 C( d# F: m5 ~
e( f! [) r( e1 u一共牵头21项
# m" `' U. O& X" A1 i8 h5 I2 G8 g/ }
$ t2 @) F4 _& `# |0 @" a3 f, u- K第一部分：国家自然科学奖 (6项)
4 _. i, [) w H* a1. 二等奖：基于不充分信息的机器学*理论与方法
: i, ^# d9 E9 \! e4 K4 B$ y" S8 C2 l3 g2. 二等奖：面向多义性对象的新型机器学*理论与方法% d1 C [( ` _* D+ Z: V: {. V+ {& D
3.二等奖：跨媒体大数据图关联表征学*理论与方法
; u& `3 r* N& E* V4. 二等奖：并发系统模型检测理论! ~3 y. h; ?7 I7 S( W0 P( X" i+ K
5. 二等奖：网构软件理论基础研究
% q' G, @$ {& Z3 H1 y6. 二等奖：软件形式化验证理论/ k0 l7 ^# M2 Q0 I) X! X9 w
+ t$ b; W4 }$ J* }$ E# `0 m
第二部分：国家技术发明奖 (3项)! u' x- U8 z! f* D& [/ d6 T6 e
7. 二等奖：软件抗衰与自愈关键技术
9 N) O) ?6 Y' H1 d( T8. 二等奖：嵌入式软件可信测试技术- L0 F4 E& Z0 E* U
9. 二等奖：面向互联网的自适应软件构造技术- W- Z0 d0 M/ F) Z2 I
5 d, `) G( O0 ~/ x$ E$ Z第三部分：国家科学技术进步奖(12项)7 i2 K$ G* }& u
10. 二等奖：分布式微型计算机系统ZCZ8 l0 r0 \5 | Z
11. 二等奖：COSA软件开发平台系统% b3 u. n* W" x5 [3 x
12. 二等奖：对象化与主体化的软件协同技术、平台与应用
3 m5 H+ ]( ~& X2 F7 j. w13. 二等奖：网构软件中间件平台及行业应用系统+ s9 O, c. k' e; k b+ @
14. 二等奖：国产政务软件支撑平台研发& P7 }* k _/ b7 Y4 _5 H
15. 二等奖：智能教育大数据处理系统: {; O, Z% E/ ]- _
16. 二等奖：分布式并行数据库系统1 u _% N1 E6 j: o
17. 三等奖：分布式专家系统开发环境+ a' R+ g; D4 i. B! [3 E" X8 |0 Y
18. 三等奖：并行逻辑推理系统NDPIS9 d' |5 @5 c2 m; s/ o, e' R
19. 三等奖：汉字软件支撑环境研究# X, `0 p5 z4 o8 u/ Y6 S; W6 O
20. 三等奖：软件自动化原型开发工具
( j' {) h$ _: E. {. v3 Q21. 三等奖：分布式操作系统核心技术
7 C* s. a/ B0 r
- B; Z: C" h, e( G. O& _
y7 d+ ]+ {2 X, H2 h. a; t
3 |0 J. \* K& O) Q9 ?; `6 v0 ] |
|
发表于 2026-7-13 23:04:02
楼主
