考虑集卡到港时间延迟的堆场起重机动态调度研究

在集装箱码头的集港作业中,集卡延迟到港可能导致已制订堆场起重机作业计划变得次优甚至不可行.因此,及时为延迟到港任务更新作业计划具有必要性.考虑集卡到港时间延迟的堆场起重机动态调度问题,基于任务批次分配策略,将调度期划分为多个时段,在每个时段内生成作业计划.以完成时间最短为目标,建立起重机调度混合整数规划优化模型,并提出下界推导模型.提出迭代重优化框架,每当任务延迟到港,就会重优化相应批次的作业计划.在框架内,设计遗传算法求解各批次原有作业计划;设计贪婪插入算法重优化带延迟到港的任务,更新原有计划.实验结果表明,模型、下界推导模型具有正确性和有效性,算法具备良好的求解性能;缩短调度时段长度有利于快速生成起重机作业计划;延迟到港箱量占比越大,作业时间越长,且随着调度时段长度减小,这一影响逐渐弱化.     

咬合管幕结构的抗弯性能及影响参数分析

依托咬合管幕结构的抗弯性能试验,利用ABAQUS有限元软件建立了咬合管幕结构模型,在对模型的准确性进行验证的基础上,对咬合管幕结构在集中荷载作用下的抗弯性能进行分析.选取咬合距离、钢管直径、钢管壁厚及钢筋直径进行研究,得到不同参数组合下结构的抗弯承载力水平.结果表明：加载过程中,钢管与核心混凝土中存在明显的应力重分布,咬合管幕结构具有良好的抗弯性能,钢管直径是影响咬合管幕结构抗弯性能的主要因素,当钢管直径增加45.7%时,结构抗弯承载力最大可提高294.3%.     

关于二重极限教学的一点注记——与《微积分解题方法与技巧》一书的作者商榷

本文首先对《微积分解题方法与技巧》一书中某题的解法提出质疑;然后研究了三种不同情形下可以得出不同的结果;进而否定了该书的解法;最后指出,被高等数学广泛采用的“极坐标代换法”不能直接用于二重极限,并给出了理论上的解释和证明。     

关于Hadamard矩阵的若干结果

研究了著名的Ｈａｄａｍａｒｄ猜想,对任一正整数Ｋ,给出了４Ｋ×４Ｋ阶Ｈａｄａｍａｒｄ矩阵存在的一些必要条件。     

综放开采在小峪3^#煤层应用的可行性研究

采用多因素分析综合评价方法,论证了在小峪３＾＃煤层应用综放开采是可行的,并提出了具体实施方案,对矿井生产及类似条件的煤层开发有指导借鉴意义。     

等导重根特征对的泰勒展开

讨论多参数非亏损特征对的可微性,推导了具有等同一阶偏导数的重根特征的计算公式,进而得到了它们的泰勒开展开式。     

关于随机子列的重对数律的一个注记

本文研究随机子列的重对数律,改进了ＴｏｒｒａｎｇＩ．的结果。     

亚纯函数的重值与唯一性问题

讨论了亚纯函数的重值与唯一性问题,得到了若干结果。这些结果推广并改进了熊庆来、谢军春,仪供勋等人得到的有关定理。     

最大似然估计的重对数律

讨论了最大似然估计的渐近性质,利用Taglor展开和Havtman-Wintner定理,证明了最大似然估计满足重对数律。     

角谷猜想的证明

应用马尔可夫链推导出角谷链的状态转移概率,从而得出角谷链中的奇数和偶数出现的概率,再以概率的大数定律为基础证明日本数学家角谷静夫提出的猜想.