基于有限元方法的弹壳拉深成形工艺结构参数研究

为推进弹药智能制造的发展、提高枪弹制造水平,以小口径黄铜弹壳拉深成形工艺为研究对象,探究该工艺的最优模拟方法和最优结构参数组合。利用类拉深成形工艺的冲杯试验,基于有限元平台ABAQUS建立了不同模拟方法下的有限元模型,计算得到冲压力-位移曲线并与试验结果对比,确定了弹壳拉深成形工艺的最优模拟方法为二维静力学。基于二维静力学,研究了弹壳拉深成形工艺中3个主要的结构参数：凹模圆弧半径R、凹模锥角α、定径带长度h。结合正交试验得到了结构参数对工艺质量的影响趋势及结构参数的最优组合：R=7 mm、α=13.5°、h=3 mm,为后续弹药智能制造提供了参考。     

基于Franklin矩的亚像素级图像边缘检测算法

为了满足计算机视觉标定与精密测量对图像边缘定位的精确度高和抗噪性强的要求,提出一种基于Franklin矩的亚像素级图像边缘检测算法。首先,建立亚像素边缘模型,利用各级Franklin矩的卷积来提取图像边缘点的细节特征;然后,依据Franklin矩的旋转不变性原理,分析图像边缘旋转至垂直方向后各级Franklin矩之间的关系,从而确定图像中亚像素边缘的关键参数;最后,根据改进的边缘判断条件,确定图像中的实际亚像素边缘点。大量实验结果表明,与基于Zernike矩的亚像素级算法、基于小波变换与Zernike矩结合的亚像素级算法、基于Roberts算子与Zernike矩结合的亚像素级算法相比,本文提出的基于Franklin矩的亚像素级图像边缘检测算法速度更快,精度更高且抗噪性强,更好地满足了对于图像边缘定位稳定可靠及高精度测量的要求。     

单增李斯特菌在牛奶中生长曲线的拟合和预测模型的建立

通过生长动力学曲线拟合,建立牛奶中单增李斯特菌的生长预测模型。比较了5、15、25和35℃条件下Gompertz方程、Logistic方程和Hill方程的拟合情况,确定Gompertz方程为单增李斯特菌在牛奶中最优的初级模型。采用Belehradek方程描述温度对最大生长速率和延滞时间的影响,结果表明它们之间成良好的线性关系(R2分别为0.9721和0.9747),并建立了相应的二级模型。对20℃条件下由预测模型构建的微生物生长动力学方程进行了验证,同时对模型的可靠性进行了分析,结果表明预测值和真实值的残差均小于0.2,模型的偏差度为1.04,准确度为1.13,表明建立的模型有效且可靠。在已知初始菌数的情况下,可以根据模型快速预测5~35℃条件下不同贮藏时间点单增李斯特菌在牛奶中的生长情况。     

食用菌等生鲜食品液态N2和CO2深冷冻结技术

介绍了食用菌等生鲜食品速冻技术的最新研究进展与应用情况,就速冻食用菌等生鲜食品加工技术的方法、设备、冻结与冻藏工艺进行综述,并对食用菌等生鲜食品的开发利用前景进行了展望。     

温度对电子式电压互感器测量精度的影响研究北大核心CSCD

由于环境温度会对户外柱上开关用电容分压型电子式电压互感器(ECVT)产生干扰,降低其测量精度,因此,文中结合试验回路,研究ECVT运行过程中,温度变化对其测量精度的具体影响。文中首先研究分析了国内高压电容的产品特性,通过对比后选择NP0材料的高压陶瓷电容器作为测试电容,其次,设计一种适用一二次融合要求的ECVT精度测试回路,并根据国家标准和现场测试结构,提出一种改良后的电容误差测试方案。试验结果表明,基于此测试方法,环境温度在⁃40~70℃范围内变化时,用于测试的高压电容准确度能够达到国网要求的0.5级标准要求,但其难以达到更精细的0.2级标准要求。     

弱电网条件下并网逆变器的锁相环静态稳定分析

在新能源发电经由逆变器接入电网的系统中,并网逆变器的稳定性将随着接入点短路比的减小而降低。目前,学术界针对这一问题已有较多研究,但大多是基于状态空间模型线性化后利用相关控制理论进行分析,缺乏直观的机理分析。采用忽略了电流内环响应时间的准稳态模型,重点对并网逆变器中锁相环的静态稳定性进行分析,得出了与传统单机无穷大系统中类似的静态稳定判据。由此稳定判据能直观得出并网逆变器维持同步前提下的输出功率极限,并指出当并网逆变器超出此功率极限时将以过电压的形式失去稳定。采用并网逆变器的详细模型进行仿真分析,验证了所提静态稳定判据的正确性。     

开口钢箱梁的顶推工法

针对传统的钢箱梁顶推施工中因箱体自重过大而导致局部屈曲的问题,提出了无顶板的开口钢箱梁顶推施工方案.基于ABAQUS软件分析了开口钢箱梁模型在顶推过程中的应力和应变,对跨中处梁段的弯曲失稳情况进行了后屈曲分析.结果表明,开口梁顶推过程中的应力和应变均在材料的允许范围以内,结构的稳定性能够得到保证;开口梁的顶推工法能够减小钢箱梁顶推过程中箱体的自重,通过调节支承的高度可以很好地解决最大悬臂段由于起拱现象导致的支承所受应力过大的问题.     

SGARP中符号计算模块的实现及其应用

可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.     

点式支承玻璃建筑中金属连接件承载性能的试验研究

在点式支承玻璃建筑中 ,金属连接件的承载性能对整个结构的承载性能有很大影响。对北京植物园展览温室点式支承玻璃结构中的金属连接件进行了承载性能试验 ,分别研究了固接浮头、铰接浮头、铰接沉头紧固件和X形、H形中间肢、H形边肢支承件的承载能力 ,并且计算了这些紧固件和支承件在实际工作中的强度储备。分析表明 ,在工程中还可以对金属连接件的设计进行优化 ,以节约材料。