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

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

利用运算矩阵数值求解常微分方程的改进方法

给出一种基于Haar小波积分运算矩阵求解常微分方程的改进方法,称之为区间分段法.在相同误差条件下,该方法计算速度更快,同时,对于不同的子区间,可根据精度的要求来设定离散点数,增加了应用的灵活性.     

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

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

四档位行星变速箱传动方案综合法

为了探讨四档位行星变速箱传动方案综合方法，应用图论理论综合行星齿轮变速箱传动方案，研究了4个行星排变速箱传动方案拓扑图综合方法，该方法通过4个行星排拓扑图中基本构件的不同方式的相互结合，能综合出不同的变速箱传动方案；推导了依据给定的变速箱外传动比，计算了每个行星排内传动比的表达式，并编写了计算机辅助综合变速箱传动方案软件。该软件在给定不同的输入输出和依次固定不同的基本构件时，能得出所有可能的4个行星排变速箱传动方案。实例结果印证了该综合方法的有效性。     

毛细管气相色谱法测定煤焦油粗蒽中蒽的含量

建立煤焦油粗蒽中蒽含量的毛细管气相色谱测定方法。采用DB-5毛细管柱、氢火焰离子化检测器和程序升温，以氯代苯为溶剂，吩嗪为内标物，用内标法对蒽的舍量进行了测定。结果表明，粗蒽中各组分能很好地分离，并定性出11个组分。该法具有简便、快速、准确、操作简单等特点。所测定的结果有良好的准确度和精密度，样品的回收率为98．43％-100．73％，相对标准偏差为0．111％～0．911％。整个试样分析时间不超过15min，可直接用于产品质量分析与控制，为工厂进行现场分析和操作调节提供了简捷的方法。     

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

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

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

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

试析美国法治风尚的历史渊源

美国社会的移民特点及其政治社会形成的特殊性两者相结合，造就了美国鲜明的法治风尚。以英国人为主体的欧洲移民把法治观念带进了北美，并使它在这片土地上继续发展。随着美国政治社会的逐渐形成，法律至上主义成为美利坚民族的共同的价值取向。文章试图从历史的角度来探究美国法治风尚的原因，借以寻求法治社会形成的普遍规律。     

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

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

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

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