中文版 | English

在结果中检索

IMECH-IR

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
海上固定式导管架平台疲劳寿命评估及程序系统 期刊论文
计算力学学报, 1997, 卷号: 14, 期号: 3, 页码: 342
作者:  柳春图;  王维明;  丁克勤
Adobe PDF(232Kb)  |  收藏  |  浏览/下载：516/143  |  提交时间：2009/08/03
固定式导管架平台  疲劳寿命评估  疲劳分析  断裂力学  程序系统  
数学机械化问题中的向量加工 期刊论文
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
作者:  刘尊全;  秦朝斌
Adobe PDF(126Kb)  |  收藏  |  浏览/下载：432/134  |  提交时间：2009/08/03
数学机械化  多项式算法  微分方程组  机械化算法  人工智能  公式推导  程序系统  数学问题  机器定理证明  
FORTRAN语言的非数值应用 期刊论文
计算机学报, 1980, 卷号: 3, 期号: 3, 页码: 280-285
作者:  刘尊全;  秦朝斌
Adobe PDF(294Kb)  |  收藏  |  浏览/下载：430/116  |  提交时间：2009/08/03
非数值应用  Fortran语言  微分方程  公式推导  极限环  系统设计  数值计算  程序系统  Hilbert第16问题  
微分方程公式推导程序系统的设计和实现 期刊论文
自然杂志, 1980, 卷号: 3, 期号: 6, 页码: 473
作者:  刘尊全;  秦朝斌
Adobe PDF(78Kb)  |  收藏  |  浏览/下载：406/107  |  提交时间：2009/08/03
公式推导  微分方程  程序系统  多项式运算  高速计算机  新尝试  中国科学院  应用软件  通用性  
微分方程公式的机器推导(Ⅰ) 期刊论文
中国科学A辑, 1980, 期号: 8, 页码: 812-819
作者:  刘尊全;  秦朝斌
Adobe PDF(258Kb)  |  收藏  |  浏览/下载：578/134  |  提交时间：2009/08/03
微分方程  公式推导  极限环  多项式方程  渐近稳定  结果  研究成果  算法  数值计算