弧长公式成立的充要条件

连续曲线不一定可求长，连续曲线可求长当且仅当它的参数表示是有界变差的，但弧长未必能用公式表达，利用勒贝格积分的基本理论证明绝对连续是弧长可用公式计算的充要条件。     

动力系统的遍历性

给出遍历性及唯一遍历的几个等价条件.主要结果是定理4、定理6及定理7.并利用定理4给出定理5的一个证明.定理6及定理7给出唯一遍历的等价条件,定理7的证明采用的是泛函分析的方法.     

用于齿轮齿面形状误差测量的光学系统设计与仿真

基于齿轮齿面的特殊性和激光干涉系统设计理论,以系统易实现、且能获得良好的干涉条纹图像为具体设计目标,提出了斜入射式的激光干涉测量系统结构方案。介绍了光学测量系统的结构、原理,阐述了基于光线追迹的光学系统计算仿真方法,给出了分别以平面、渐开线直齿轮齿面和渐开线斜齿轮齿面作为被测对象时的干涉条纹图像的仿真结果。     

平面电机散热器热流建模与尺寸-拓扑并行优化设计

为了提高平面电机水冷散热器热流性能,该文构建了散热器热流模型并开展了"结构尺寸-流道拓扑"并行优化设计.首先,构建了散热器3层热流模型,该模型囊括了盖板与流固混合层的流动/传热耦合效应以及散热器厚度方案对热流场的影响.其次,基于3层热流模型,引入孔隙度域来描述流道拓扑,构建了包含流道拓扑变量与层厚变量的连续伴随结构优化...     

群作用下的Khintchine回归定理

利用积分论得出保测变换的一个基本性质及庞加莱回归定理的一个等价命题,建立概率保测系统概念,并推广了Khintchine回归定理,利用一般的Khintchine回归定理得到了回归集的一些性质。     

有界变差连续函数族的纲性

利用Baire纲定理证明了连续函数空间C[a,b]上有界变差函数全体是第一纲集,多数连续函数的图像是不可求长曲线。     

基于Modelica的直线电机控制系统建模与仿真研究

Modelica是一种新型建模语言,采用代数微分方程对机电领域组件和耦合关系进行统一描述,适合于机电产品的建模与仿真。应用Modelica研究直线电机控制系统性能是一种新方法。在建立直线电机控制系统数学模型的基础上,展示了系统、电/机转换部件Modelica模型的建立过程。对系统进行图形化和语言化建模,实现了基于开源平台OpenModelica的模型仿真及结果输出;与基于Simulink的系统模型仿真进行对比,结果基本一致。