过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

动静态结合的部分求值技术

提出一种应用于过程式语言的动静态结合的部分求值技术,并给出该方法的形式描述．采用该方法,实现一个实验性的部分求值系统．     

一种并行融合部分求值的别名分析方法

通过并行融合部分求值和别名分析技术, 提出一种新的别名分析方法, 并给出形式化描述. 实践表明, 该方法在具有部分输入的情形下不仅优于传统的别名分析方法, 而且优于串行融合部分求值的别名分析方法.     

符号网络函数的求取和应用

本文证明了广义Sherman-Morrison公式,并由此导出了一个求取部分符号网络函数的新方法。这个方法具有计算量小、精度高等优点,优于现有的其它名类求解同样问题的方法。本文还推导了一系列网络函数及其导数的求值公式。综合应用这些公式可使网络分析和优化算法更为有效。     

关于广义积分(∫∞-∞)sinnx/xn dx求值

对于广义积分∫∞-∞(sinx x)ndx(n为正整数)的求值问题,提出并证明了一个引理.在复变函数范围内,选择积分围道,利用罗伦级数展开,在构造辅助函数、研究积分收敛性的基础上,得到以组合表达的该广义积分的求值公式;并在证明积分收敛的同时,得到几个新的有意义的组合系数恒等式.     

广义留数定理在计算某类广义积分中的应用

本文将广义留数定理的结论用于一类较复杂的广义积分的求值。给出一种简化计算的方法。     

例谈条件求值问题的基本解法

初中数学教学中,经常遇到这样一类题目,它是由已知条件和求值的代数式组成的,求值的代数式必须满足给定的已知条件,也即要求出满足已知条件的代数式的值,这类题目统称为条件求值问题。这类题目是常见题型,也是中考和数学竞赛中的一个亮点;由于它涉及     

一类广义积分的计算

广义积分．除少数外一般是不易计算其值的。本文用递推方法给出一类广义积分求值的方法。     

分簇结构模调度框架研究

构建了面向分簇体系结构的模调度编译框架.介绍了分簇结构和支持向量化执行的体系结构的机器资源描述方法,研究了模调度和循环展开的关系,并给出循环展开的有效性条件判断,提出了向量化体系结构下模变量扩展算法框架,有效解决该体系结构下模调度的代码生成问题.实验结果表明,提出的面向分簇向量化体系结构的模调度编译框架,可以大幅提升程序循环部分的性能,加速比为170%~680%.     

Maple在级数和广义积分中的应用

针对在分析、处理数据时,经常遇到大量复杂的运算,本文提出了解决方法———利用Maple软件进行计算及编程。本文主要在级数和广义积分两方面做了研究,利用Maple实现了各种级数的求值和审敛性、函数或表达式的泰勒展开或劳朗展开以及广义积分的求值,命令语句简单,为生产和科学研究提供了有效的工具和资料。     

N元皇后问题的快速矩阵解法及其计数算法

在基于N元皇后问题回溯算法的基础上,提出一种更快速的求解算法,该算法借助于矩阵不但避免了求解复杂的逻辑表达式,而且由于改进了使用循环结果的条件,从面减少了比较次数,使得算法的运行交率更高,同时,还讨论了N元皇后的彼此不等价的互不攻击的布局问题,并给出了具体算法。     

用虚位移法计算静磁场中磁介质的受力

用虚位移法计算静磁场中载流回路的受力是比较容易理解的,因为两个公式都是针对载流回路体系的情况给出的,本文给出了用虚位移法计算静磁场中磁介质受力与用虚位移法计算静磁场中载流回路受力的关系,从而说明了静磁场中磁介质受力的本质,阐明了静磁场中磁介质受力的计算可直接应用静磁场中载流回路受力公式的原因,给出了计算磁介质受力时可以运用计算载流回路受力公式的条件,并给出了具体的例子进行说明．使磁介质受力的计算变得明白、易懂．     

求解三块变量约束凸优化问题的邻近部分平行分裂算法

考虑线性约束三块变量的凸优化问题,在部分平行分裂算法中选取不同步长参数的基础上,提出一种邻近部分平行分裂算法,并证明该算法的收敛性.该算法通过在部分平行分裂算法中选取不同步长参数的基础上,在一个子问题的目标函数中加入邻近项,建立新的参数条件.与部分平行分裂算法相比,该算法极大放松了参数条件,使算法更具实用性.数值实验结果表明,与已有算法相比,该算法的迭代次数和计算时间均显著下降.     

外部多水源给水管网水力计算程序的应用

基于求解管网恒定流方程组的Hardr-Cross法(哈代-克罗斯法)及其算法原理,研究管网图形网络结构与水力计算中数据结构的特征．引入虚节点和虚环,将外部多水源管网问题转化为单水源问题．结合某管罔规划设计,以环为主线的编程思路,用C语言编制相应的计算程序并通过调试．     

基于智能算法的制造系统通用作业调度方法

通过生产实际情况分析,提出了制造系统通用作业调度问题(USP)概念,开发了混杂蚁群算法(HACO),对USP进行求解,并与采用遗传算法所得解进行了对比.算例研究采用75×20个标准算例,以工件的加工流程时间最小化为目标函数,分别运用运算代数和解集收敛度为结束条件.计算结果表明,在计算代数相同时,HACO算法更容易使解域集中;在得到同等收敛度时,HACO算法的计算时间更短.     

异步发电机恒压运行时机端无功补偿功率

为使异步发电机带不同负载时恒压运行,通过计算确定在机端进行补偿的无功功率。令发电机稳态运行时基值频率下等值电路回路阻抗为零,确定不同运行状况下保持端电压恒定时机端等效补偿电容值。以发电机端电压恒定为约束条件,用直接搜索优化方法进行求解。算出了异步发电机带电阻性负载和电感性负载恒压运行时机端所需无功补偿功率。无功功率以及定子频率的计算结果与实验结果相互吻合,由此证明了分析方法的有效性。     

一类热传导自由边界问题的数值解法

考虑一类抛物型偏微分方程的自由边界问题,在进行边界拉直坐标变换后,用泰勒级数展开方法给出该问题数值解的求解过程,这一数值方法计算量小.通过一个具体数值算例对所求的数值解和前人已经获得的解析解进行误差比较,发现其效果理想.     

基于Kay加权的高动态载波跟踪环路初始频差估计方法

在高动态环境下,过大的载波跟踪环路初始频差会导致环路失锁或误锁。针对该情况已有学者通过增强环路跟踪稳定性和鉴频能力来解决,但仍存在鉴频范围小,精度低和运算量大等问题。为解决上述问题,提出了一种基于Kay加权的载波跟踪环路初始频差估计方法,该算法首先对跟踪环路中I、Q两路的短时积分结果进行二倍角处理,然后,再对其使用四象限反正切鉴频器鉴频,最后借鉴Kay算法对鉴频结果加权得到频差估计值。通过与传统方法做计算机仿真对比,结果表明：在信噪比为-26 dB及以上时,在相同运算采样点数的前提下,本文方法估计精度相较于最大似然估计和三阶锁频辅助四阶锁相环路方法分别提升8.72 dB和19.59 dB或更高。在达到相同估计精度情况下,本文算法运算采样点数为最大似然估计方法的6.25%,算法运算量中加法与乘法次数仅为其1.7%和5.6%,计算时长为其1.56%。     

空间开环机械系统的位移分析

给出了一种在进行空间开环机械系统位移的分析递推中只需要用一个方向余弦变换矩阵的简化方法，将这种方法推广到自由浮动空间开环机械系统的位移分析。     

煤矿井下变电所选址评价

在综合考虑电网构架、建设投资、地质条件和环境问题等因素的基础上,建立了1套完整的井下变电所选址评价指标体系.针对井下变电所选址这一属性中度混合的多属性群决策问题,采用专家前置法,利用HWA算子和T-HWA算子将这一混合型多属性群决策问题转化为混合型多属性个体决策问题.对模糊物元分析方法的权重确定进行了改进,并结合所提出评价指标体系的多级性,提出了1种多级模糊物元分析评价方法用以解决井下变电所选址个体决策问题.经过实例验证,采用所提出的评价指标和评价方法,所得出的变电所位置与实际变电所位置选择相符,具有一定的实用性.