陆斌
- 作品数：7 被引量：11H指数：3
- 供职机构：大连理工大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 弹性力学通解的完备性的机械化证明方法被引量：2
- 2001年
- 在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.
- 陆斌张鸿庆
- 关键词：弹性力学通解
- 验证形式可积系统解的完备性的机械化算法被引量：4
- 2002年
- 在 Reid等人标准型概念的基础上 ,引进形式可积系统的概念 .并给出验证形式可积系统解的完备性的机械化算法 ,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题 .
- 陆斌张鸿庆
- 关键词：机械化
- “AC=BD”理论和吴微分特征列及其应用
- 随着计算机的发展和应用领域的不断扩大,符号计算在数学领域中体现出了日益强大的生命力,该文就是以计算机代数为工具,微分代数为理论背景,讨论了'AC=BD'理论及微分特征列法的相关理论问题以及它们在微分方程组中的应用.197...
- 陆斌
- 文献传递
- 构造一类偏微分方程组通解的机械化方法及力学方程的自动推理被引量：4
- 2002年
- 用微分代数的观点 ,把标准型算法和矩阵多元多项式的带余除法相结合 ,获得构造一类微分方程组的通解的新方法 ,并在标准型算法的基础上给出了力学方程的推理的机械化方法。
- 陆斌张鸿庆
- 关键词：微分方程组通解
- 非线性微分方程求解中的构造性方法与符号计算
- 本文以数学机械化思想和AC=BD模式为指导,以计算机代数系统软件为工具,研究了孤立子理论中若干重要的孤子方程的精确求解问题,微分差分方程的对称和孤子方程的的代数几何求解. 第一章介绍数学机械化与计算机代数、孤立...
- 陆斌
- 关键词：数学机械化精确解孤立子
- 文献传递
- 铁路信号联锁操作模拟系统设计与实现
- 本文对上海应用技术学院所研制的信号联锁操作模拟系统的软件设计与实现进行论述。本文主要针对该系统面向调度人员技术培训而开发的信号仿真功能叙述该系统的需求分析、软件设计及程序实现。 论文首先概要介绍计算机联锁系统的技术基础...
- 陆斌
- 关键词：铁路信号模拟系统软件开发C#语言数据库
- 文献传递
- 判定线性偏微分方程组解的完备性的一个符号计算方法被引量：4
- 2002年
- 从微分代数的角度出发 ,借助于吴微分特征集理论 ,对于线性偏微分方程组 ,给出了判定它的解的完备性的一个符号计算方法· 这个算法是一个机械化的算法 ,借助于符号计算软件Maple 。
- 张鸿庆谢福鼎陆斌
- 关键词：微分代数偏微分方程组特征集
