石诚 叶普 杨军 葛海通 郑飞君 胡长流 赵立权 杨莘元 蔡健 贾雁飞 严晓浪 肖宏芳 张朝柱 孙波 刘中柱

质心 科学进步 符号模型检验 融贯主义 惯性力 惯量矩阵 整函数 实空间重正化群 加速度 刚体平面运动 力矩 矩阵积 计算量 定点运动 临界行为 变换公式 质点系 认知迭代 组合变换 盲源分离 复值非高斯最大化 Kripke结构 完备格 坐标旋转 序同态映射 标记 刚体转动 刚体 理论力学 点控