• 语音交互与言语障碍康复训练技术 2025-10-09
• 人机增强计算平台 2025-10-09
• 情感交互与心理健康评估技术 2025-10-09
• 笔式人机交互关键技术研究及应用 2025-10-09
• ReadyGo™运动功能定量评价系统 2025-10-09
• MetaRehab™虚拟现实神经功能康复训练系统 2025-10-09
• EyeKnow™智能眼动检测系统 2025-10-09
• BrainFit™认知功能测评与训练系统 2025-10-09
• 上下文无关文法的句子生成、枚举与分析技术 2025-10-09
• 基于自动机的字符串约束求解器OSTRICH 2025-10-09
• 斧雕大场景三维建模软件 2025-10-09
• 大规模并发程序运行时验证技术 2025-10-09
• XSS漏洞自动化漏洞挖掘与防御 2025-10-09
• RISC-V软件迁移保障：符合性与性能测试 2025-10-09
• RISC-V处理器Chisel设计指令集一致性形式验证方法 2025-10-09
• ReDoS检测、修复系统 2025-10-09
• Justin Java程序单元测试用例自动生成工具 2025-10-09
• Chisel高层电路设计的转换和验证方法 2025-10-09
• Chisel断言语言的类SVA扩展及形式化验证方法 2025-10-09
• 复杂装备CAE云服务平台 2025-08-27