一类三次复平面样条

本文借助于有限元方法的思想对一类三次复平面样条进行了讨论,得到了其存在唯一性的条件,并研究了收敛性、拟正则性和拟共形性等重要性质.     

二元有限域GF（2）上友矩阵的性质

本文主要研究定义在二元有限域GF（2）上友矩阵的性质，文中采用对矩阵性质的一般研究方法，较系统地讨论了定义在二元有限域上友矩阵的行列式、可逆性、特征值、秩、对角化以及极小多项式等有关问题，并得到了一些相关结论。     

关于二阶实矩阵的一个问题

设n是正整数，A是二阶实矩阵．该文证明了：如果A^n=E2且｜A—E2｜=n,其中E2是二阶单位矩阵，则必有n=3，A=（^a c ^b -1-1a），其中a、b、c是适合a^2＋a＋bc＋1=0的实数．     

COMPUTATIONAL COMPLEXITY OF INTEGRATION AND DIFFERENTIATION OF CONVEX FUNCTIONS

In this paper,we study the computational complexity of the integrals and the derivatives ofconvex functions defined on the interval [0,1].     

一类复合并行机排序问题的多项式时间算法

在经典排序论中，一般都作以下两条假设：每台机器在任一时刻至多加工一个零件，每个零件在任一时刻至多被一台机器加工。本文研究在并行加工中多台机器可同时加工一个零件的排序问题，且每个零件可在固定的一个机器的子集上加工。在机器总数确定，零件加工可间断的条件下，设计出求这类问题最优解的计算方法，并研究这种问题的计算复杂性。     

基于傅里叶系数插值的短波信道迭代频偏估计

针对短波突发通信中存在的频偏问题,结合短波调解器的波形格式以及低信噪比的信道条件,提出了一种基于傅里叶系数插值的迭代频偏估计算法.该算法首先利用离散傅里叶变换(DFT)确定频谱峰值;然后对其结果进行Jacobsen插值,通过对插值结果进行误差分析,得出其方差与训练序列长度及信噪比的函数关系,并依此自适应调节其置信度为0.99999时的置信区间,将其作为精频偏估计的搜索区间;最后在搜索区间内进行迭代,并利用抛物线插值获取更精确的结果.仿真结果表明:对于长度为128、256、512的训练序列,在低信噪比条件下,文中算法均可逼近Cramer-Rao下界(CRLB),特别是在信噪比为0 d B时,两次迭代即可使算法的均方误差与CRLB的比值达到1.005左右.     

重庆市降雨空间模拟方法研究

基于重庆市气象站台的实测数据和DEM数据,首先利用空间自相关系数估计重庆市降雨量的全局空间自相关性;然后利用空间联系的局部指标估计降雨量的局部空间自相关情况;最后利用反距离加权法、克里金方法、样条函数和协克里金法这4种插值方法探讨重庆市降雨量的空间的分布;分析结果表明:重庆市的年降雨量空间分布具有较强的正相关性,局部空间自相关分析表明:重庆市不同地区降雨空间的依赖程度不同,协克里金插值法的插值结果较好,降雨量的模拟结果最佳。     

五轴联动刀具路径NURBS插补技术

针对复杂曲面五轴加工直线圆弧插补的不足,对五轴加工NURBS插补算法进行相关研究,同时对NURBS插补过程中插补点的曲率分析计算,推导出插补误差与进给速度的关系,实现用进给速度对插补误差自适应地调整。最后,针对双转台五轴数控机床,基于IMSPOST开发了具有NURBS插补的专用后置处理器,实现了NC 程序的输出。实验结果表明：该技术方法提高了刀具运动平稳性和加工精度,优化了加工精度与加工效率,为五轴NURBS插补加工提供了理论指导。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

电网检修排序问题

研究一个从实践中提出的电网检修排序（调度）问题,并证明了该问题的一般情形是ＮＰ－困难的,对其特殊情形给出了多项式时间的算法．