形式推导相关论文
利用瞬时源的格林函数卷积,可求解具有一定时间分布源粒子的输运问题。首先从输运方程的一般形式推导得到了格林函数时间卷积法......
本文综合了已有的插值小波和相应的平均插值小波的构造方法,提出了任意形式的插值小波和对应的平均插值小波的构造方法,然后用多相位......
本文指出了算法形式化推导在程序设计和软件复用中的作用.通过对算法程序的功能规约进行等价变换,自然而且方便地得到求解问题的设......
本文采用一种新的、系统的、简洁的和易于理解的符号形式推导了不可压流动的压力修正算法,其基本思想是采用离散的动量方程和压力......
本文主要分析以Poncelet和Parodi阻力公式推导的弹丸对土之类介质的侵彻行程。并对这两种阻力公式之间的关系进行了分析。另外,还......
长方形面积计算的教学,经历了从教具演示到学具操作,从观察数据联系的形式推导到计算单位面积数与长、宽联系的意义理解的变化过程......
逻辑思维能力是按照严谨的形式逻辑分析问题的能力,即所谓的逻辑分析.本文对在工科数学教学过程中贯彻逻辑分析、对如何分析问题以......
简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法厦其平台使用一阶谓......