曹大卫
- 作品数：3 被引量：0H指数：0
- 供职机构：西北工业大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：航空宇航科学技术一般工业技术自动化与计算机技术更多>>
- 微机符号解析系统的研制和其用例
- 1991年
- 参照REDUCE系统,在PC微机上,建立了一个用于非数值处理的符号解析系统和语言。本系统具有较为完备的系统控制功能与错误处理能力,允许作业嵌套,并可随时打断作业的运行。窗口和功能键的设置为使用者提供了很大的方便。最后,给出两个非数值用例。
- 曹大卫何华灿陈楸
- 关键词：人工智能LISP语言
- 复合材料叠层板壳材料非线性有限元分析
- 1992年
- 本文采用通用于复合材料叠层厚、薄板壳的Heferosis三维退化曲壳元,利用Hill屈服准则和层状模型法,研制了针对金属基复合材料叠层板壳进行弹塑性分析的超参元程序。算例结果表明,叠层板壳分析方法和所编程序是可靠的,精度良好。
- 曹大卫蒋协治
- 关键词：非线性
- 求常、偏微分方程Lie对称的REDUCE软件包
- 1991年
- 求解非线性微分方程是应用数学和数学物理中最艰难的领城之一,而Lie 群则是这方面强有力的工具。本文描述 REDUCE 语言实现的求常、偏微分方程 Lie 对称的软件包。
- 尚宪忠曹大卫
- 关键词：LIEREDUCE非线性微分方程偏微分方程
