基于Kronecker型替换的黑盒多项式稀疏插值

本文基于新的Kronecker型替换,给出两个由黑盒表示的稀疏多项式的新确定性插值算法.令f∈R[x1,……,xn]是一个稀疏黑盒多项式,其次数上界为D.当R是C或者是有限域时,相对于已有算法,新算法具有更好的计算复杂度或者关于D的复杂度更低.特别地,对于一般黑盒模型,D是复杂度中的主要因素,而在所有的确定性算法中,本文的第二个算法的复杂度关于D是最低的.     

牛骨粉加工中干燥动力学模型的研究

骨粉的制备是骨资源化利用的有效途径,它是以骨为原料,通过清洗、脱脂、酶解、干燥、超微粉碎等工序制成,其中干燥是骨粉制备过程中较为关键的步骤。本文以含水率、干燥速率为考察指标,研究温度、重量、酶解对牛肋骨骨粉含水率和干燥速率的影响。根据实验结果,运用数理分析方法,比较3种经典的经验、半经验数学模型,拟合骨粉干燥动力学模型,为骨粉的加工工艺和生产设备设计提供技术参数。试验结果表明:骨粉干燥动力学模型符合Page模型。     

新生代农民工收入消费统计分析——基于郑州市817位新生代农民工调查数据

近年来,我国农民工群体正处在代际更替的阶段,新生代农民工有其独特的消费观念、消费结构和消费行为。同时,新生代农民工也面临生产生活方式和消费方式的变化,其收入提高与消费行为转变更是实现我国经济转型的重要推动力。基于此,本文选取郑州市作为样本地区,对新生代农民工的收入状况、消费观念和消费行为进行实地调查,运用Logist模型分析其收入状况、消费观念对其消费行为选择的影响。最后,从改善新生代农民工收入状况、人力资本提升和消费观念的引导等方面提出科学、合理的建议。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

两种改进的非线性方程组四阶迭代求解法

文章基于两点Gauss型求积公式,分别结合梯形积分公式和Adomian分解法构造了两种牛顿型迭代格式.借助泰勒展开式,文章证明了这两种迭代格式都具有四阶收敛,并通过数值实验例子验证这两种迭代格式的有效性.