肖明清 唐明 陈少华 陈璟华 马玉梅 程进军 朱小平 王磊

不等式 系统架构 面向对象 教学软件 多核 顺序测试 数学归纳法 并行测试系统

陕西西安 710038西安 空军工程大学工程学院 广东工业大学自动化学院 珠海亚洲仿真股份有限公司 大连民族学院理学院数学系 山东建材学院无机材料科学与工程系