利用逐步回归实现某型导弹火控系统数学模型解算

机译：导弹火控系统的智能设计与实现

机译：一类可实现的二阶闭包的近似Roe型Riemann解算器

机译：美国海军为弹道导弹潜艇选择通用动力电动船火控系统

机译：利用外部进给和提高原始性的准确性来实现CRAM耗竭解算器的实现

机译：通过利用CDCL的经验特性来改进SAT解算器。

机译：智利圣地亚哥的伤寒：利用成功疾病控制程序中古老的档案数据的数学模型得出的见解

机译：通过CIP方法实现通用解的最终目标：3D空间和6D相空间解算器（偏微分方程和相关主题的数值解）

机译：非结构有限体积流动解算器中隐式自适应网格细化的实现。

机译：实时解算装置及实时解算方法

机译：多重解算器连续缠绕方法和多重解算器

机译：Layens型框架的解算器。