自由曲面光学虚拟制造与检测系统的探讨

自由曲面光学产品设计、制造与检测的工艺流程，通常采取试凑法逐次逼近。由于加工 检测 再加工，循环往复，既费时，成本又高，产生了瓶颈问题。为了解决此弊端，本文运用虚拟制造技术，提出光学虚拟制造的基本构想，即虚拟制造系统结构模型，给出光学系统虚拟原型的构成和光学系统成像质量虚拟检测系统的构成，讨论光学成像质量的仿真检测以及敏度分析方法。研究结果表明：运用虚拟制造与检测技术，可缩短研发周期，降低成本，优化工艺并提高产品质量。     

旋转曲面的有理Bernstein—Bezier表示

本文考察了较更为一般的情况,证明了旋转曲面表为有理二次、三次Bernstein-Bézier曲面的充要条件,导出了一系列适用于计算机辅助几何设计和体素造型的算法公式,最后还给出了球面有理B-B表示的三个实例。     

一个二阶方程的振动性质及其应用

本文研究了一个二阶微分方程的解及其振动性质,利用它获得了一般二阶自共轭方程的振动性判别准则,特别对其中一类二阶微分方程的振动性给出了定量的判别方法.推广了E.Hille的工作,使E.Hille的研究结论成为本文结果的极特殊的情形,同时对一类具有“积分小”系数或可化为具有“积分小”系数的二阶微分方程的振动性与非振动性给出了简便、精确的判别方法.     

部分变量带非负约束的严格凸二次规划问题的新算法

本将正交校正共轭梯度法推广来解只有部分变量带非负约束而其它变量无约束的严格凸二次规划，所建立的新算法的优点是：在迭代过程中，不用求逆矩阵，这样能保持矩阵的稀疏性，数值结果表明，算法对大规模稀疏二次规划问题是可行和有效的。     

闭曲面上C0流有伪轨跟踪性质的条件

给出了闭曲面上奇点孤立的C⁰流有伪轨跟踪性质的充分必要条件     

p-块的结构

研究了亏群满足某些特殊条件时块的结构, 对这些块证明了K(B)-猜想成立.这些特殊条件包括:亏群中的元素在群中共轭当且仅当在亏群中共轭; p -部分共轭包含在亏群$P$中的共轭类的个数不超过|P|等.     

加强p除环上自共轭矩阵的几个定理

本文将实对称矩阵和复Hermiitian环矩阵,以及更特殊的正定与半正定矩阵的一些较为深入的定理推广到加强p除上矩阵中来.     

多元函数总体极小的双参数广义填充函数法

1 广义填充函数的一般方法 设函数F:R~n→R二阶连续可微,我们的目的是求出x~0∈R~n,使不等式对一切x∈R~n成立,也就是求解函数F的总体极小。 为了求F的总体极小,葛人溥引进了双参数填充函数法,这一方法是有意义的,在[1]中填充函数形式为:     

参数曲面保凸的一个定理

本文讨论了参数曲面的凸性，给出了参数曲面为凸的充要条件．并给出了具体的应用实例．     

精确搜索下的非线性共轭梯度法

该文提出一种无约束优化非线性共轭梯度法，证明了精确线性 搜索下的全局收敛性。当目标函数为一致凸函数时，证明了算法具有线性收敛速度。数值实验表明算法对于求解实际问题是有效的。