基于变芯径光纤的光学系统在光造型中的应用

光学系统采用变芯径光纤，可大幅度提高光的传输效率，增加光学子系统柔性。描述了光造型工作原理及其理论依据，在介绍所研制的光的成型系统光学子系统的基础上，阐述了紫外光源的选择与设计，及变芯径光纤的设计、传输、耦合与聚焦等技术。该套基于变芯径光纤的光学子系统成本低、体积小、效率高，巳成功应用于所研制的台式低成本快速成型系统中，为该系统的进一步推广奠定了技术基础。     

局部紧集上的广义向量均衡问题

利用数值化方法和 Browder 不动点定理,得到一类新的广义向量均衡问题解的存在定理,并用于向量变分不等式、向量相补问题和抽象向量优化问题,得到其解的存在定理.     

A Multisymplectic Variational Framework for the Nonlinear Elastic Wave Equation

A multisymplectic variational internal energy corresponding equation, its associated local framework for the nonlinear elastic wave equation is presented. The modified to the approximate nonlinea.r elastic wave equation is derived, we obtain the energy and momentum conservation laws as well as the multisymplectic form simultaneously directly from the variational principle     

广义Hénon映射的滑模变结构控制同步

基于可线性化的非线性离散变结构跟踪控制方法实现了广义Hénon映射混沌系统的同步.广义Hénon映射的混沌吸引子比Hénon映射的混沌吸引子要复杂得多,对于保密通信来说,这种复杂性正是所期望的.提出的同步方法允许参数有适当的失配程度,这对工程实现是非常有利的,理论分析和仿真结果证实了该方法的有效性 关键词： 广义Hénon映射 混沌 同步 变结构控制     

关于概率测度收敛的注记(英文)

本文给出并证明了概率测度收敛中不为人俗知的一个结果 .     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，     

位置参数模型变点问题的非参数检验

本文引入Fisher-Yates提出的计分函数和Van der Waerden提出的计分函数,对只有一个变点的位置参数模型的假设检验问题分别给出了四个检验统计量.利用Monte-Carlo随机模拟的方法,求出了检验的渐近临界值,并且对本文提出的检验,以及Pettitt在文[1] 中提出的检验,Schechtman和Wolfe在文[2]中提出的检验的势进行了比较。