基于3次样条插值的数控机床几何与热复合定位误差建模

通过分析机床整个温升直到热平衡的误差数据,总结误差分布的数学规律,将热误差和几何误差分离,运用基于压紧样条条件下的3次样条插值算法,以线性拟合后的余差为建模数据,建立了数控机床几何与热复合定位误差数学模型.实验结果表明,该数学模型能很好地拟合数控机床定位误差曲线,补偿后数控机床定位精度提高了80%以上.该方法可运用于不同时刻或不同机床温度下的机床定位误差补偿,建模原理明了、过程快速,模型适用性好.     

States of ignorance and ignorance of states: Examining the Quantum Principal Principle

Earman (2018) has recently argued that the Principal Principle, a principle of rationality connecting objective chance and credence, is a theorem of quantum probability theory. This paper critiques Earman's argument, while also offering a positive proposal for how to understand the status of the Principal Principle in quantum probability theory.     

基于改进遗传算法的自适应越区切换方案

针对列车通信在越区切换过程中切换触发率和切换成功率均较低的问题, 提出一种基于改进遗传算法的自适应联合判决切换算法. 首先, 以遗传算法为基础, 在高速特性下对切换判决过程中的相关参数进行优化, 针对列车的不同运行速度动态选择出满足快速切换需求的迟滞容限值； 其次, 引入满意通信概率（SCP), 当列车在小区之间移动时, SCP值达不到要求的将不能接入下一个小区, 以保障通信质量的优良. 仿真结果表明, 与传统切换方案相比, 该方案可实现提高切换触发率和切换成功率的目标, 具有较高的满意通信概率.     

基于双响应曲面的精密产品子集模拟可靠稳健优化设计

针对不确定性场景下小失效概率的精密产品可靠性问题,提出了基于双响应曲面法(dual response surface methodology,DRSM)与子集模拟的可靠稳健优化方法。首先,建立精密产品多失效模式极限状态的RSM模型和以质量特性均值-方差为优化目标的功能函数DRSM模型。其次,在此基础上运用子集模拟法进行可靠性分析,将精密产品小失效概率描述成一系列较大的条件失效概率之积。最后,将极值事件的优化问题视作稀有事件的可靠性问题的特例,基于该转换思想采用子集模拟法将优化问题在可靠性问题的框架内进行求解。案例分析及验证结果表明所提方法的有效性。     

铝胺钻井液在青东古1井的应用

通过优选抑制剂和封堵剂，确定了铝胺钻井液体系配方，配合相应的现场维护处理工艺，解决了沙河街组地质构造复杂，断层、地应力及层理性泥岩易导致井壁失稳等问题，保证了沙河街组的井壁稳定，使该井提前完钻，提高了钻井时效．该井的钻探成功为深化研究青东区块成藏条件提供了基础资料，有助于该区块进一步的勘探开发．     

Image separation using wavelet-complex shearlet dictionary

This paper presents a new method for image separation through employing a combined dictionary consisting of wavelets and complex shearlets. Because the combined dictionary sparsely represents points and curvilinear singularities respectively, the image can be decomposed into pointlike and curvelike parts as accurate as possible. The proposed method based on the geo- metric separation theory introduced by Donoho in 2005 shows that accurate geometric separation of the morphologically distinct fea- tures of points and curves can be achieved by l1 minimization. The experimental results show that the proposed method can not only be effective but also greatly reduce the computing time.     

一个具有Markov性的入圈问题

研究序列{Xn},{Xn}满足Xn=Yn(mod 2),其中Yn∈Z+,Y0≥2,Yn+1=Yn+[Yn/2],证明了{Xn}为一独立随机变量序列,并且是一时间齐次Markov链.最后,利用该Markov链{Xn}的性质,证明了入圈问题经过有限次插点,Cm的任意一边上都至少插入一个新点.     

苏通大桥主桥中跨顶推辅助合龙技术

通过综合国外顶推合龙工艺和国内温度配切合龙工艺优点，提出了全新的顶推辅助合龙工艺，并介绍了顶推辅助合龙工艺实施条件、关键施工参数和主要工艺措施的计算分析要点以及实施情况。     

Geometric error control in the parabola-blending linear interpolator

This paper considers geometric error control in the parabola-blending linear interpolation method （Zhang, et al., 2011）. Classical model of chord error by approximation with contact circle on the parabolas leads to incorrect result. By computing the geometric error directly without accumulating the approximation error and chord error, the authors realize correct geometric error control by establishing inequality constraints on the accelerations of the motion.     

古典概型问题的数学模型

在古典概型问题中引入了n次随机试验,n维样本点,n维随机事件和n维样本空间等概念,对解决古典概型的应用问题提供了相应的数学模型.