基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

复杂曲面宽行数控加工的刀位和刀具姿态综合整体优化的内蕴几何学方法

阐述了复杂曲面非球面刀具单触点宽行加工中刀位和刀具姿态综合整体优化的通用方法。基于微分几何的曲面活动标架理论,推导了以刀具曲面和设计曲面运动不变量描述非球面刀具宽行数控加工复杂曲面的刀具运动方程;在综合考虑刀位和刀具姿态的影响下,分别以一个走刀过程的加工效率和加工精度最优为目标,建立能确保刀具相对工件运动连续光滑的刀位和刀具姿态优化的泛函极值模型。最后,分别以一个鼓形曲面刀具通过旋转的主切削运动和一个椭圆抛物曲面片刀具通过直线平动的主切削运动数控加工复杂曲面的仿真实例论证了本方法的精确性、有效性和通用性。     

我国食品安全法律研究——评《食品安全法规与标准》

随着我国社会经济的不断发展,社会大众生活水平显著提升,在此背景下,人们不断提高了对食品安全的关注度。食品安全问题往往受环境污染很大程度影响,倘若食品加工、销售、运输、储存等环节出现操作不当,便会引发相关问题,这也使得食品安全成为第四大社会问题。针对食品安全法律,即便我国政府部门制定有相关的法律法规,然而当前我国食品安全法律仍旧不够完善,如果不及时改善必然会影响法律的执行。基于此,本文从评述《食品安全法规与标准》一书着手,分析我国现行食品安全法律存在的问题,提出探讨构建健全我国食品安全法律体系的相关建议。     

基于未确知测度理论的三山岛金矿充填工艺方案优选

针对三山岛金矿立式砂仓分级尾砂充填工艺存在放砂浓度低且波动大,深井输送流速高、磨损快,料浆离析、分层、泌水严重,充填成本高等难题,结合生产实际及国家重点研发项目要求,开展了全尾砂胶结充填工艺方案研究,提出了5种充填工艺方案。基于未确知测度理论,选择对充填系统影响较大的12个因素,如放砂浓度、制备能耗、溢流浓度、井下充填任务调节能力等作为评价指标,并建立了充填工艺方案评价模型。通过构建12个指标的单指标测度函数,得出5种方案单测度矩阵。依据评价向量,经一系列计算得出方案一优越度值最高,确定方案一为最佳充填工艺方案。该研究为三山岛金矿科学合理地选择最佳充填工艺方案提供理论支撑。     

大型锻钢支承辊的机加工工艺设计

轧钢机械中的大型支承辊由于其特殊的结构和用途,要求其有很高的精度要求,因此加工工艺方法的选择显得尤为重要.主要论述了大型支承辊的结构特性及其加工工艺方法、难点,具有很强的实用性.     

煤制乙二醇工业技术实现新跨越

<正>从华东理工大学获悉,由该校教授李伟研发的煤制乙二醇技术成果在内蒙古亿利资源集团和安徽淮化集团"落地开花",正式投料开车的两大型装置每年分别可生产30万t和10万t的优等级乙二醇。据专家介绍,该技术催化剂指标先进,且单台套达10万t/a的规模,是我国煤制乙二醇工     

晋祠博物馆存宋代建筑小样的断代及修复方案(下)

本文对保存在太原晋祠博物馆的一座宋代楼阁式建筑的小样进行了详细的断代分析和鉴定,并针对其残损情况,参照现存同时期宋代建筑的法式特征和构造特点,提出了小样的修复方案。通过断代分析,确认了"扎小样"这一重要的营造技术手段至迟在宋代就已经成功应用。对中国古代建筑技术史的研究和认识具有重要意义。     

云计算环境下有线通信网络连接方案优化

随着信息技术的不断发展,智能化网络在人们生活中得到了普及,为有线通信网络连接方案优化提供了基础条件,确保有线通信实现稳定连接。基于此,总结了有线通信网络的发展现状,并从云计算处理环境的建设、设计有效的连接方案、控制效率成本和连接方案的整体性优化理论四个方面,论述了云计算环境下有线通信网络连接方案的优化方法。