耦合拟不动点定理

根据耦合拟不动点和上半连续算子的定义，讨论了在一定连续条件下集值混合单调算子的耦合拟不动点存在性问题，证明了，若A是非空弱闭值上半连续增算子，则A存在不动点以及若A是非空弱闭值上半连续混合单调算子，则A存在偶合拟不动点等结论．     

横向爆炸载荷下开孔弹性板的应力集中

基于ANSYS 7.0/LS-DYNA程序,对3 m×3 m四边简支、厚度为0.025 m、中心开有0.3 m×0.3 m方孔的弹性板,在下三角爆炸载荷作用下的应力响应进行了分析;利用能量密度时间分布函数(TDFED)确定了动应力集中因子,重点讨论了时间步长和采样时间间隔对计算结果的影响。     

线性空间上凸函数若干等价命题

本文在线性空间中的凸集上定义一种导数.应用于研究凸函数,得到了凸函数的若干等价命题.     

关于亚纯函数的ρ（r）—亏量与ρ（r）—相对亏量

Ｖａｌｉｒｏｎ，Ｓａｒａｎｇｉ和Ｐａｔｉｌ等人先后定义并研究了有穷正级ρ的亚纯函数的ρ（ｒ）－亏量。作者曾定义并研究ρ（ｒ）－相对亏量。本文定义并研究了有穷正级ρ的亚纯函数关于小函数的ρ（ｒ）－亏量与ρ（ｒ）－相对亏量。     

氧同位素标准样品的研制

使用高纯同位素物质精确配制同位素混合物,作为标准物,确定质谱仪器的系统误差。本工作用天然丰度水定量稀释高浓重氧水,制取从0.1982至96.92原子％~(18)O的氧同位素标准水样,用来校准质谱仪器。 实验采用BrF_5将水样转化成O_2。用质谱峰高法测定(18)~O和(17)~O丰度。比较质谱测定值和计算得到的丰度值C,求出质谱仪固有偏差校正系数K、并得到K与C的线性相关关系。 共得到16个具有准确丰度值的氧同位素标准水样。     

有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献   

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

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

类乘法半模和类余乘法半模

作为类乘法模和类余乘法模的真推广,引入了类乘法半模和类余乘法半模的概念.设S是交换半环,M是S-半模.若对M的任意非零子半模N,有Ann_S(M)?Ann_S(M/N),则称M是类乘法S-半模;若对任意真subtractive子半模N,有Ann_S(M)?Ann_S(N),则称M是类余乘法S-半模.讨论了类乘法半模与类余乘法半模的性质;证明了M是次S-半模当且仅当对M的任意真subtractive子半模N,Ann_S(M/N)=Ann_S(M)当且仅当P=Ann_S(M)是S的素理想且M是可除S/P-半模;证明了类乘法半模是semi-hopfian半模且类余乘法半模是semicohopfian半模.     

基于残差卷积自注意力神经网络的铝电解过热度识别方法

过热度是反映铝电解槽当前生产效率的重要指标,由于过热度难以在线实时测量,本文提出一种基于残差卷积自注意力神经网络的过热度识别方法.针对铝电解生产过程数据为时间序列数据且具有多源异构特性,设计异构数据的同构表示方法.在此基础上建立残差卷积自注意力神经网络模型以提取同构时间序列数据的全局与局部特征.针对过热度数据标签少且类别分布不均匀问题,采用基于自动编码器的无监督预训练方法与加权交叉熵损失函数以提高过热度识别任务的性能.在基准数据集上进行仿真对比实验以验证本文所提方法的有效性,然后在只包含少量不平衡标签的铝电解过热度数据集上进行实验验证,结果表明本文构建的过热度识别模型相较与其他现有模型不仅提高了过热度识别准确率,而且在训练样本较少时保证了模型的泛化能力.