电脑体验，效果更佳

马麟图谱-计算机领域：

相关人员

沈海华 岳阳 梁国星 谢克明 陈云霁 关荣昌 吕川 吴鸿修

研究领域

SAT CNF VR 形式验证 有界模型检验 远程测控 内齿珩轮模型 并行转移网（PaTNet） 维修性

所属机构

山西太原 太原理工大学 太原理工大学机械工程学院 北京航空航天大学可靠性工程研究所 中国科学院计算技术研究所微处理器研究中心

标签云