水下滑翔机纵垂面变浮力过程建模与控制优化

基于国产水下滑翔机"海燕-Ⅱ"的结构特点和控制特征,考虑不同深度下的海水密度和压强对水下滑翔机运动的影响,建立了一种精确的水下滑翔机动力学模型.该模型将水下滑翔机的前后导流罩和其他可浸水部分的海水质量作为水下滑翔机本身质量的一部分,并将水下滑翔机的回排油过程作为变质量过程,将海水的深度变化对其浮力的影响过程作为变浮力过...     

罩式退火炉炉台承重板裂纹分析与修复

炉台承重板作为罩式退火炉的重要设备,它的稳定运行对生产安全有着重大的影响。文章从工作环境、受力情况、安装精度及位置、材质等方面入手,运用有限元法,分析了承重板出现裂纹的原因,探讨了设备修复方法及注意事项,提高了设备的使用寿命,降低了设备维护成本。承重板裂纹修复方案确定后,共完成8件承重板的修复工作。修复后使用时间最长的承重板已使用一年以上,使用效果良好,承重板板面平整无变形,无裂纹再继续产生。承重板裂纹修复方案对类似工况及结构工件的维护方法、检查方式都有借鉴作用,为维修人员能更迅速、高效地查找出现故障的原因提供了参考。     

大学生个人信用评价模型

首先改进萤火虫算法的初始种群与移动步长,并用来优化BP神经网络初始权值与阈值参数,以构建IGSO-BP神经网络协同集成学习算法。建立基于该学习算法的大学生个人信用评价模型,Matlab仿真验证了模型的可行性。     

平整机组开卷机芯轴裂纹的分析与修复

对冷轧平整机组开卷机芯轴断裂的原因进行分析,并制定了修复改造方案。还对设备使用过程中的检查、维护方法提出了建议。     

电子数据表打印输出汉字的初步尝试

电子数据表是先进的计算和制表技术,广泛地应用于商业财务,使这些事务处理更为简单,更为容易。但是原电子数据表不能打印输出带汉字的报表,使推广应用受到一定限制。因此打印电子数据表输出汉字的尝试具有一定意义的实用价值。四川省电子计算机应用研究中心专门为“P、P”机设计了汉字打印处理软件。该软件的主要工作是对CP/M2.2进行修改和扩充某些功能。由于经改造后的操作系统具有处理汉字打印的能力,可以说凡是CP/M支持下的各种语言均能使用该软件来处理汉字打印。电子数据表是PERFECT SOFTW-ARE应用软件包之一,是在CP/M2.2操作系统支持下,用C语言编写的面问用户的软件。它有以下两个打印文件命令:     

基于Coq的杨忠道定理形式化证明

实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般拓扑学中的一个重要定理.基于定理证明辅助工具Coq,从公理化集合论机器证明系统出发,对一般拓扑学中的开集、闭集、邻域、凝聚点和导集等拓扑基本概念进行形式化描述,给出这些概念基本性质的形式化验证,建立了拓扑空间的形式化框架.在此基础上,实现基于Coq的杨忠道定理形式化证明.全部引理、定理和推论均完整给出Coq的形式化描述和机器证明代码,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.杨忠道定理的形式化证明是一般拓扑学形式化内容的一个深刻体现.     

铁道客车净水箱热分析仿真及试验对比

以铁道客车净水箱为研究对象,在对其结构特点、工作原理及传热过程进行分析的基础上,建立了净水箱的热分析仿真模型,并进行了保温性能和加热性能的瞬态热分析,最后通过与试验数据对比,验证了建模方法及仿真计算的可靠性。     

冷轧平整机架降噪治理

本文研究涉及一种平整机架空气吹扫降噪装置,特别适用于冷轧厂平整机架空气吹扫湿平整轧制带钢的工艺,降低噪音及改善生产环境的轧钢领域。     

基于有限元仿真技术的冷轧退火生产优化

运用有限元分析软件对退火炉炉内流场进行仿真模拟,分析柳钢冷轧板带厂全氢罩式退火炉生产的钢卷表面光洁度低、炉台法兰面积油过多等的原因,介绍对炉台结构实施的优化改造及其效果。