杨晓东 杨强 李思昆 李暾 刘胜 傅祎晖 李勇 庞征斌 徐心和 杨军 胡昌平 郭荣亮 彭宇行 屈婉霞 杨光年 吴茂传 朱丹 万海

虚拟原型 概念设计 抽象 数据预取 形式化验证 链接切片 数字系统 CAD 系统安全 集成框架 多处理机系统 模型检验 企业应用集成 失效流水 误差分析 分布对象 人工路标 交比不变量 程序切片 非阻塞Cache 电路提取 数据安全 机器视觉 电子CAD Petri网 可达性分析 Cache一致性协议 V-desModel模型 DSP 单点登录

江苏连云港 中国船舶重工集团第七一六研究所 国防科技大学计算机学院 辽宁沈阳 东北大学信息科学与工程学院 东北大学理学院 湖南长沙