基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

凸约束非线性方程组的非单调投影L-M方法

提出一种非单调投影L-M方法求解凸约束非线性方程组,在通常假设条件下,证明了算法具有强收敛性,给出了数值试验结果.     

交调客梯生产技术工艺准备系统中物料代码的编制

物料代码的编制是交调客梯生产技术工艺准备系统开发中一项十分重要的基础工作，文中介绍了物料编码的重要性、编码原则、编制方法、编制步骤，并给出了实例。     

三峡大学沙河生态环境需水量研究综述

河流系统的生态需水是指维持河流正常的生态结构和功能所需要的一定水质最小水量,具有明显的时空变化特征.对河流生态环境需水,在国外已经引起了政府管理部门的重视,并有了一些计算方法.结合三峡大学沙河河道环境需水,介绍了国外的生态环境需水量研究方法.     

各向异性复合材料板混合型裂纹尖端的J-积分

利用叠加原理,将各向异性纤维复合材料单层板混合型裂纹尖端的力学模型-偏微分方程的边值问题化为Ⅰ型和Ⅱ型两个边值问题求解,应用复变函数公式,得到裂纹尖端的应力场和位移场的复形式,将其代入J-积分的一般公式,推出了各向异性纤维复合材料单层板混合型裂纹尖端J-积分的复形式--复变函数积分的实部,再利用柯西-古萨基本定理证明了该J-积分的路径无关性,进而利用柯西积分公式得到它的具体计算公式.     

相关误差的变系数模型的估计

在误差相关的情况下，使用局部线性方法给出变系数模型的估计，并讨论估计的渐近正态性。     

非均匀层状介质中感应测井响应的新型计算方法

数值模式匹配(NMM)法是电法测井数值模拟的有效方法,但是由于其在解析部分要推导反射矩阵和透射矩阵公式,因而比较烦琐.以非均匀层状介质中感应测井为例,探索了径向上数值、轴向上解析数值模式匹配理论,并对解析部分进行了改进,即应用电场强度和磁感应强度在界面的连续性条件推导出了上行波和下行波的递推关系,并提出了界面转换阵的概念.其思路简单,具有更加明确的物理意义,易于编程实现.经对比,新算法的数值模拟结果与原来的NMM方法和有限元方法(FEM)的计算结果是一致的.而且,这一思想同样适用于电极型测井方法的数值模拟,对于精确反演也具有重要意义.     

中国石油天然气集团公司清洁燃料生产发展战略和基地优选模型

在对中国石油天然气集团公司(CNPC)炼油业实际情况进行分析的基础上,给出了CNPC清洁燃料油的发展战略,并建立了基地优选模型.结果表明,油业的投资应以价值最大、成本最低为原则,采取分层次、分阶段与新建和扩建并举的方式.CNPC生产清洁燃料油需要炼化业从科技人手,加快技术改造力度,更需要政府从政策上引导、扶持,以创造良好的消费环境,确保炼油企业持续、稳定、快速发展.该评价结果可为CNPC清洁燃料生产基地的发展提供决策依据.     

三电平逆变器的直流侧电压平衡控制新方法

三电平逆变器应用于中高压游梁式抽油机变频驱动装置不仅可以节能降耗,而且能提高油井的采收率.然而,中点箝位式三电平逆变器的直流侧电压平衡问题直接影响逆变器及其电机调速系统的可靠性.在分析其产生原因的基础上,提出了一种压频转换式电压平衡控制新方法,并给出了利用87C196MC单片机实现的具体编程思路.该方法不受逆变器输出交流电压的影响和限制,实现简单,特别适合于单片机的控制,而且可以扩展到多于三电平的逆变器.仿真和实验结果证明了该方法的正确性.     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.