汽车转向系统模态的分析与优化

汽车转向系统方向盘怠速振动特性是评价其舒适性的重要指标.本研究提出了转向系统模态固有频率的计算方法,通过灵敏度分析确定转向系统上下支架连接处5个钣金件的厚度值为设计变量.基于响应面模型和序列二次规划算法相结合,给出了转向系统模态的优化方法.在转向系统质量增加0.14 kg的条件下,系统一阶固有频率增加了2.66 Hz.本研究提出的转向系统模态分析与优化方法对转向系统的设计具有一定的指导意义.     

基于电化学老化衰退模型的锂离子动力电池外特性

当前锂离子动力电池电化学模型存在模型复杂、建模难度大、计算效率低、老化评估效果差的问题,本文提出一种考虑电池衰退老化的机理模型(ADME).本文首先通过有限差分法对伪二维(P2D)电化学模型进行离散降阶处理,得到简化伪二维(SP2D)模型.在SP2D模型的基础上,基于阴阳两极发生的副反应导致的衰退老化现象,提出一种考虑电池衰退老化的机理模型.其次,使用多变量偏差补偿最小二乘法实现模型参数辨识.最后通过动力电池衰退老化性能循环实验,对比分析了恒流、脉冲工况下SP2D模型和ADME模型的终端电压输出.结果表明:ADME模型较为简单、计算效率和估算精度高,可以有效评估电池容量老化衰退,得到理想的锂离子动力电池外特性曲线.     

离散型二维竞争系统中某群体消亡的条件

研究了离散型二维竞争系统的渐近稳定性,得到了这类竞争系统中各类平衡点的坐标及其性质,获得了系统在边界上的平衡点处渐近稳定的一系列充分条件.这些条件等价于该系统中的某个群体在竞争过程中消亡或被淘汰的相应条件.     

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

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

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

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

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

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

可修系统中半马氏过程的稳态分布

众所周知,可修系统是可靠性理论中讨论的一类非常重要的系统,也是可靠性数学主要研究对象之一,研究可修系统的主要数学工具是马氏理论.当构成系统各部件的寿命分布和故障后的修理时间分布,及其出现的有关分布均为指数分布时,只要适当的定义系统的状态,这样的系统总可以用马氏过程来描述.大部分学者为了方便,均是在马氏框架下研究问题的.但是在实践中经常遇到部件的寿命或修理时间分布不是指数分布的情形,这时可修系统所构成的随机过程是半马氏过程,用现有的马氏理论无法解决相关问题.目前,关于半马氏的理论研究的研究又很少,基于此,针对半马氏的随机模型给出了与马氏理论相平行的稳态分布的求解方法.     

汉语文化学习词典中观念词的释义研究

文章以待出版的《汉语文化学习词典》中收录的观念词为研究素材，探讨观念词的释义理念、释义方式，提取恰当的释义参数，构建完整有效的释义模式。根据基义内部义素的层级结构和框架语义学，为观念词设置合理的释义参数并建立有效的释义模式。将观念词进行详细分类，按照不同的小类提取释义参数，建立释义模式。观念词的释义要最大程度地满足学习者对于学习汉民族文化的需求，遵循同场同模式原则，顺应学习者的认知过程，以充分发挥文化词典的工具效能。     

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

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