叶轮曲面5轴高速铣加工刀轨生成算法

为适应高速切削,提出了一种新的侧刃铣削5轴加工刀轨生成算法和全局刀轨碰撞检查算法.算法的前者采用5次NURBS直纹面拟合原加工刀轨面,生成了全程C2连续的刀位曲线和空间平滑变化的刀轴矢量;后者通过设置刀轴矢量变化的阈值并采用集合碰撞体,实现了刀位的跳点检查和集合运算检查.应用于Superman CAMⅡ原型系统中,经测试,刀轨生成算法的运行速度已接近于UG,用于精加工叶轮,叶片的表面质量可达到Ra 0.8μm;刀具碰撞检查算法不仅可实现集合体之间碰撞的快速检查,而且可精确地检查出碰撞干涉量.     

关注幼小数学课程目标的衔接——基于全美《州共同核心数学标准》K-1年级的内容解读

幼小数学课程目标的衔接是整个幼小数学课程衔接的关键环节,解读全美《州共同核心数学标准》K-1年级部分的内容,认为其在儿童心理与内容制定角度上较好地衔接了幼小数学课程目标。目前,我国幼小数学课程目标的衔接存在一定问题,需要制定幼(学前一年)小统一的数学课程标准;将数学作为学前教育中独立的学习领域;兼顾行为性与展开性的数学课程目标取向;注重幼小数学课程目标内容的衔接。     

有限域上的一类量子码

在Avanti Ketkar等工作的基础上,进一步研究给出了有限域上的另一类类似BCH码的经典码,并证明与该经典码相对应的[[N,K,D]]q量子码和[[N+1,K-1,D+1]]q(q≥2)扩展量子码都存在.在二元域上构造扩展量子码的过程主要采用了偶校验,其运算在内积上进行;在非二元域上构造扩展量子码的过程主要采用了使得行向量各个元素相加为0的方法,并借助了有限域上本原元的性质,其运算在Hermitian内积上进行.研究结论扩展了利用经典码构建量子码的范围,证明了扩展量子码的最小距离为D+1,并给出了有关经典非二元码校验位的构造及其相关纯量子码存在的构造性证明方法.分析表明,[[N+1,K-1,D+1]]q扩展量子码比[[N,K,D]]q量子码更适宜于信息的传递.     

动态大变形计算模拟的无网格强积分核函数

作为一种基于强函数积分形式的无网格计算方法,SPH（Smoothed Particle Hydrodynamics）方法在高能炸药爆炸、流体动力学及固体强冲击模拟计算中已经得到了广泛的应用.然而,目前该方法还存在许多问题,主要表现在拉伸不稳定性、零能量模式、边界条件实施困难、精度较差等,研究表明通过提高核函数的一致性可以使这些问题得到不同程度的改善.在RKPM（Reproducing Kernel Particle Method）方法基础上推导了高阶一致性核函数的公式,构造了适用于SPH方法的简化线性一致性核函数.通过算例证明了简化线性一致性核函数的可行性和优越性,即随着核函数一致性的提高,数值计算精度不断改善,最后对线性一致性核函数的非负特性进行了讨论.     

缺失数据下广义线性回归拟似然估计的强相合性

研究了响应变量随机缺失下的广义线性模型,利用处理缺失数据的完全数据方法,构造了广义线性模型中未知参数的拟似然估计.结合随机缺失机制和若干极限定理,证明了该拟似然估计的渐近存在性、强相合性和收敛速度.     

在ARFIMA模型中使用小波的另一种极大似然估计

用小波变换方法提出ARFIMA(p,d,q)模型中分形差分参数d的另一种极大似然估计(MLE).这种极大似然估计被证明是相合的和渐近正态的.仿真结果显示这种极大似然估计偏差较小,并且与Tse的估计值相比较有更小的根均方误差(RMSE),该方法估计长记忆时间序列是有效的.     

LDPC编码的MIMO-OFDM系统的双涡轮迭代检测译码方法

采用迭代检测译码接收方法的LDPC(low density parity check,低密度奇偶校验)编码MIMO-OFDM(multiple-input multiple-output orthogonal frequency division multiplexing,多天线正交频分复用)传输,是在宽带无线通信系统中逼近多输入多输出(MIMO)信道容量的一种简单而有效的方法.在迭代检测译码过程中,既存在检测器和译码器之间的迭代,也存在译码器内迭代.首先给出LDPC编码MIMO-OFDM系统的因子图分析,进而提出双涡轮迭代检测译码方法.在所提方法中,检测器与译码器并发工作且实时交互软信息.与传统的串行迭代检测译码方法相比,双涡轮迭代检测译码方法可有效地降低检测译码时延.仿真结果证实,采用双涡轮迭代检测译码方法的接收机能在给定运算复杂度的条件下改善误帧率性能,有助于实现"绿色通信".     

基于DS18B20模块固化的CRC校验漏检率补偿算法研究

为了提高DS18B20温度数据的可靠性,通过降低DS18B20模块自身CRC校验的漏检率,提出了一种温度采集补偿算法。该算法对DS18B20模块采集到的温度数据进行分析,排除数据队列中相对错误率较高的数据,再经滤波和迟滞处理后作为实际温度数据。结果表明,在给定的精度下,选定相应的数据队列长度及排除数据数,该算法不仅能够降低DS18B20的CRC漏检率,同时能平滑温度显示数据,有效抑制温度显示的闪烁现象。     

删失数据下NA样本核密度估计的相合性

在｛Xn;n≥1｝和｛Yn;n≥1｝是相互独立的同分布NA随机变量序列的情形下,研究了随机删失数据下概率密度函数的核估计,获得了此核估计的逐点强相合性和一致强相合性。     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.