否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

基于蓝光扫描仪的高光面小圆角结构测量方法

对于高光表面及小圆角结构工件，传统的光学测量方法以及设备难以满足工程要求，基于蓝光扫描仪，提出一种球心偏置测量方法。在待测工件表面附着经220目砂粒喷砂处理的钢球，利用蓝光扫描仪对钢球进行快速扫描并拟合出扫描点云的球心点，沿待测工件表面法矢方向偏置钢球半径可得到工件表面实测点。利用该方法对标准圆棒进行测量，拟合直径差值为0.000 2 mm，测量精度在0.03 mm以内，验证了该方法原理的可行性。以进排气边圆角R < 0.1 mm的抛光叶片某条截面线为例，测量精度在0.03 mm以内。该方法不受待测工件表面材质影响，对于高反光表面以及具有微小结构特征工件的测量具有重要意义。     

一个代数恒等式及其应用

在证明三元重要不等式“若a,b,c> 0,那么a~3+b~3+c~3≥3abc”过程中,得到一个非常有用的代数恒等式:a~3+b~3+c~3-3abc=(a+b+c)(a~2+b~2+c~2-ab-bc-ca),结合实例介绍其应用.     

富里叶级数的收敛速度

对正弦和余弦富立叶级数,通过合并相邻同号项,使其重排成交错级数.讨论了重排形成的交错级数的敛散性.指出根据自变量x的不同取值,该交错级数可能是单调递减或周期递减的级数.按照莱布尼茨判定法提出了不同精度要求的级数项数的计算公式.选取一到三阶收敛的富立叶级数计算了不同比值精度及差值精度要求的级数项数.计算表明,在x的取值为2π的等分点时,富立叶级数的部分和随项数的增加单调地逼近其收敛值.在x的取值为其它点时,富立叶级数的部分和随项数的增加围绕收敛值上下变动,周期地逼近其收敛值.低收敛阶富立叶级数的收敛速度较慢.要达到0.01%的精度,一收敛阶富立叶级数需要数万项,二收敛阶富立叶级数也需要数百项.在不同计算点处,要达到相同的计算精度,需要的级数项数差别较大.     

非交换加权Lorentz空间的对偶空间

设μ是一个半有限von Neumann代数.对于0P∞,0q≤∞,定义了非交换加权Lorentz空间Λ_ω~(p,q)(μ)及其associate空间Λ_ω~(p,q)(μ)',给出了空间Λ_ω~(p,q)(μ)'和Λ_ω~(p,q)(μ)'的一些基本性质.应用这些性质,还给出了非交换加权Lorentz空间Λ_ω~p(μ),0P∞的对偶空间.     

漫谈几何图形之面积——数学教学实践中导学策略初探

在数学学习中,我们经常会遇到求图形面积的题目,并且其中大部分图形的面积不能直接套用现成的面积公式,这就要求我们必须根据图形的具体特点转化成能直接套用公式的情形,或者借助其他代数方法求解.具体作法有以下几种.     

提高CG-V型光速测定仪精度的方法探究

利用CG-V型光速测定仪测量光速时,该仪器实验精度除了与频率和光程差的准确测量有关外,还由相位差的判断决定。由于仪器操作不当,产生了虚假的相移,造成误差的产生。本次实验通过对光速测定仪调节过程的细化,提出了可以提高CG-V型光速测定仪精度的调节方法——光斑定位法。     

完备化Witt代数中自然出现的一些非有限阶化李代数的表示

讨论了完备化Witt代数的三类非有限阶化子代数的不可约非权模的实现,并利用它们的表示得到一些有趣的组合恒等式.     

地球静止轨道远程交会过程导航性能评估

远程交会是静止轨道共位卫星自主定点置入的关键途径。针对远程交会过程中大距离跨度下相对运动模型的误差信号特性,理论推导了误差的传递机理,给出了相对导航EKF算法期望及噪声特性的定量分析模型。研究表明,确定距离区间存在最优过程噪声量级及其对应的最优滤波性能,且滤波误差与交会距离正相关,可作为全局最优滤波器的定量设计依据,解决了静止轨道远程交会过程EKF导航算法性能的量化评估问题。仿真表明,分析结论正确,相对速度滤波误差全程优于0.005 m/s(1σ),满足交会任务需求。     

优化背景值的GM(1,1)幂模型及其应用

GM(1,1)幂模型中幂指数的连续性,使得模型在一般的S形曲线序列的预测和拟合中具有更广泛的实用性.通过将背景值转化为相邻序列点的确定性函数建立了改进的GM(1,1)幂模型,给出了背景值序列的有关性质,借助已有文献中的算例验证了模型在拟合和预测方面的优越性.