|
|
本帖最后由 乾隆江南 于 2026-7-13 23:06 编辑 - _ q! v& q, N! M$ n
# r2 [ J4 B+ P7 A一共牵头21项* o- |% |5 |; U; ]0 I
4 M/ A1 c5 }- z第一部分：国家自然科学奖 (6项)4 p5 t/ O4 s: _: M6 w/ [
1. 二等奖：基于不充分信息的机器学*理论与方法% |2 Y% L; e7 `" }4 {/ e
2. 二等奖：面向多义性对象的新型机器学*理论与方法! Q! r1 R R% U6 I# C. x# c
3.二等奖：跨媒体大数据图关联表征学*理论与方法/ k/ g- v# T- w2 B
4. 二等奖：并发系统模型检测理论1 N6 A6 ]9 k% L5 J
5. 二等奖：网构软件理论基础研究
- D& L$ I% O5 a& {2 O/ e4 s6. 二等奖：软件形式化验证理论
+ O6 t3 N9 C! W
# h9 l3 T2 |+ d, u第二部分：国家技术发明奖 (3项)5 G& c, K: _4 s% [8 |8 |( E
7. 二等奖：软件抗衰与自愈关键技术
3 U; i, z- w* L3 E' D4 T, }8. 二等奖：嵌入式软件可信测试技术9 c" Z5 B+ g1 H# T" f
9. 二等奖：面向互联网的自适应软件构造技术* u0 t1 y# r) O; k+ e+ V% y
2 \# j3 q- y/ C0 E( }! {7 j& C5 u0 E第三部分：国家科学技术进步奖(12项)( |# k! T0 C( F7 r( M7 t; M
10. 二等奖：分布式微型计算机系统ZCZ9 Q& U( T; r: b7 T
11. 二等奖：COSA软件开发平台系统
3 W7 q2 p! s3 S12. 二等奖：对象化与主体化的软件协同技术、平台与应用. Z/ |) x- R5 A7 [5 H3 e. u
13. 二等奖：网构软件中间件平台及行业应用系统
: W% d& j5 z/ A/ ], z8 u8 n14. 二等奖：国产政务软件支撑平台研发
7 W# _' u$ i. ?1 A1 |15. 二等奖：智能教育大数据处理系统
3 g/ ^# p0 t" y r+ z8 X- @16. 二等奖：分布式并行数据库系统
9 V. C- S" `2 ~1 n: u2 Q17. 三等奖：分布式专家系统开发环境
# o: |* _! e$ Q8 J; j' R a, B18. 三等奖：并行逻辑推理系统NDPIS# k j+ ~& ~# P* ?: K8 t5 i
19. 三等奖：汉字软件支撑环境研究- w @' H6 [- `
20. 三等奖：软件自动化原型开发工具- w. j: m% \3 z8 w7 k
21. 三等奖：分布式操作系统核心技术6 J: k x( F2 }% P+ x; B) a! E
5 J. M! o1 s. r4 l5 G' N' a
7 l9 F1 n7 K6 ?" T6 \
& N" c* x1 m9 H& B2 ]+ W; V
|
|
发表于 
楼主
