有理三次Bezier样条的曲线修正方法

提出了一种新的用于曲线修正的方法:对于初始的G2分段有理三次Bezier样条曲线,首先根据需要给出约束边界,对于与约束边界相交的曲线段,将被其所在的曲线族中的一条与约束边界相切或过约束边界顶点的曲线所取代,最后依据曲率恢复其G2连续性.修正后的曲线不穿过约束边界,且继续保持原有的几何连续性.数值实验表明,该方法简单、快速、有效.     

多面体约束非光滑复合函数的序列有效集方法

对带多面体约束的非光滑复合函数问题的求解进行了研究。针对非光滑复合函数问题,首先,构造光滑函数来逼近非光滑目标函数,通过求解光滑近似问题来达到求解原问题的目的。在此基础上,考虑多面体约束的特殊结构,运用序列二次规划算法的思想,利用有效集策略,通过逐次求解一系列仅含等式约束的二次规划问题来逼近搜索方向的最优解,再通过线搜索求得步长,进而得到下一步的迭代点。最后,从理论上证明了算法的全局收敛性,并进行了初步的数值实验。将该算法与光滑序列投影收缩算法作对比,结果表明,该算法在迭代次数和计算时间上都有一定的优势。     

蒙若定理及其应用

应用蒙若定理解决二次曲面相交时,表面交线的定位问题,提供了一种新的方法,在工程设计中具有较实用的价值.     

具有二阶细焦点的二次系统的定性研究

讨论了二次系统（Ⅱ）δ＝０具有二阶细焦点的条件，并对ｎ＝０时以原点Ｏ（０，０）为二阶细焦点的二次系统（Ⅱ）δ＝０作了全局分析。     

二次损失下一般Gauss-Markov模型的线性预测的Minimax的可容许性

对不带约束的一般Gauss-Markov模型的线性预测在齐次线性预测类中的Minimax可容许性作了较深入的讨论，得出线性预测在齐次预测类中Minimax可容许的充要条件．     

Pascal定理的投影证明

给出了利用中心投影证明 Pascal 定理的过程,并用较为初等的方法,导出了一些结论.     

四维超曲面可视化及其在多元样条中的应用

提出了一种用四维正等轴测投影实现四维超曲可视化的新方法，该方法与以往的等值面方法相比，更容易显示函数的几何形状和光滑度。通过对四维空间中多元样条超曲面的应用结果，显示这种新方法是实用和有效的。     

判定平方布尔函数的计数算法

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ＾２）的计数算法，与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计算，并适合于并行实现。     

发电机出口PT二次负荷的计算与分析

为了提高发电厂的经济效益，充分利用计算机对发电石进行监测，发电机出口ＰＴ二次侧的负荷是比较大的，线路压降也比较大。需要采用相应的措施，提高仪表的测量精度，保证发电机安全可靠地工作。     

新型拷贝机的设计与研究

给出了拷贝机的系统结构及其特点,并对明室拷贝系统的设计原理和微电脑自控系统进行了分析、讨论、研究,最后给出了机盖举力P。