Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

结晶器内连铸坯热弹塑性应力的有限元分析

建立了结晶器内连铸坯热弹塑性应力有限元分析模型,在推导的热弹塑性本构方程中考虑了材料力学性能,屈服函数随温度和应变速率的变化,模拟计算了结晶器内连铸坏应力分布。模拟结果表明,在铸坯的热节约内,高温坯壳受到拉应力的作用,易于产生裂纹,从而说明铸坯偏角区形成的热节约是连铸坯裂纹缺陷乃至漏钢事故发生的诱因。     

∑N_im_i强子产生过程中质量增加的经验公式和(英文)

强子质量ｍｉ和强子的平均数〈Ｎｉ〉遵从公式（βｍｍｉ／〈ｍ〉）μ＋νＫν（βｍｍｉ／〈ｍ〉）．自旋、奇异数压低和大产生截面（σ（Ｄ）,σ（Ｂ）,σ（Λ０））都是质量效应．质量产生过程受到在扩散方程和相对论波动方程之间连续变化所决定的连续阶导数（／ｔ）μＧＸα（ｘ,ｔ）控制．     

桁架结构拓扑优化设计的模拟退火算法

研究了平面桁架结构拓扑优化设计的模拟退火算法．构造了一个双重控制Ｍｅｔｒｏｐｏｌｉｓ准则处理应力约束,提出了一个基于力平衡的启发式准则,以实现优化过程中单元的自动增删．算例表明,该方法能够克服桁架结构拓扑优化中因存在非凸星形可行域而造成的拓扑优化求解困难．     

TSCR工艺生产IF钢相变及组织演变规律

采用Gleeble-1500热模拟试验机,研究了薄板坯连铸连轧工艺条件下(TSCR)无间隙原子钢(IF钢)的动态连续冷却转变规律,并分析了其组织演变规律.研究表明:Ti-IF钢的相变开始温度随着冷却速度的增大而下降,即Ar3降低,有利于低温终轧,并获得性能良好的IF钢.同时IF钢的硬度值随着冷却速度的增大而增大,冷却速度从1℃/s变化到30℃/s时,HRB从53.4增加到68.3,即其强度随冷却速度增大而增加.     

两流方式下薄板坯连铸连轧生产组织方法及仿真

针对薄板坯连铸连轧两流供料方式下生产组织中出现的新问题,提出两种生产计划组织方式,建立模型进行仿真分析.根据仿真分析结果对薄板坯连铸连轧的生产组织方式选择提出建议.     

退火条件对LDPE空间电荷特性的影响研究

使用冷却速率不同的3种退火方法制备了不同微观形态的LDPE薄膜,对薄膜试品进行了显微观测,并运用傅立叶红外分析对3种试品的结晶度进行了比较,同时使用PEA空间电荷测量技术对不同电场下这3种试品的空间电荷分布进行了观测,并基于结晶度和微观形态对LDPE空间电荷特性做了讨论.研究结果表明施加电场撤压后,高速冷却试品比低速冷却试品和正常冷却试品积聚更多的空间电荷,而随着撤压时间的增加,低速冷却试品中积聚的空间电荷衰减得最快.     

高阶非线性中立型时滞偏微分方程系统解的强迫振动性

研究具有连续分布偏差变元的高阶非线性中立型偏微分方程系统，获得了系统解振动的若干充分条件。     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

双向微积-连续分部积分研究

应用微积恒等变形规律，提出双向微积一连续分部积分公式，可以快速的解决一类高次多项式与指数函数、三角函数乘积的积分问题．