实数二项式系数在HOL4中的形式化

定理证明是一种形式化方法,在高可靠性系统验证中起着越来越重要的作用。分数阶微积分是高可靠性系统分析的基础,实数二项式系数是分数阶微积分定义的重要组成部分。在高阶逻辑定理库中还没有实数二项式系数的形式化。提出实数二项式系数高阶逻辑形式化方法。首先研究阶乘幂在HOL4中的形式化,然后利用阶乘幂的高阶逻辑形式分析实数二项式系数,最后将实数二项式系数应用于分数阶微积分的形式化。分数阶微积分的形式化分析表明了实数二项式系数及其运算性质形式化的正确性和有效性。     

原料场智能逻辑控制系统

以唐钢原料场为例,介绍了大型原料场的工艺流程和控制方式,对常用的控制模式和实现方法进行了详细论述,介绍了控制系统的架构和硬件、软件设计.将工业现场总线技术和工业以太网技术结合,应用到大型综合原料场控制系统,解决了远程、强干扰、大容量复杂的系统数据和信息传输控制问题.     

关于小麦储存品质判定规则几点探讨

该文结合实际工作,对小麦品质判定规则中有关小麦粘度测定、面筋吸水量测定、小麦品尝评分试验影响因素进行分析,并提出具体改进办法,以期进一步完善小麦品质判定规则。     

烧结系统终点温度与点火强度最优控制算法

铁矿石烧结是钢铁生产流程的关键环节,烧结矿的物理特性,如强度、粉末含量、粒度,以及化学成分的稳定性直接影响高炉的炉况及铁水质量.通过最优控制算法,建立了烧结过程工艺参数与烧结终点温度之间的最优控制模型,实现了烧结终点温度与点火强度的最优控制.     

一种反辐射武器作战效能评估方法

反辐射武器作战效能评估是反辐射武器研制、引进、装备过程中必要的步骤.随着反辐射武器研制的加速发展,反辐射武器的效能评估已经由单纯的精度指标考核向综合对抗能力转变.与此对应,如何综合评估复杂对抗环境下的反辐射武器作战效能成为相关研究重点.针对目前反辐射武器靶场试验的现状,提出了-种基于非线性指标聚合的反辐射武器作战效能评...     

利用Excel和Access构建粮油检验数据管理系统

结合实际经验,以粮油检验为例,介绍了利用电子表格软件Excel和数据库软件Access构建粮油检验数据管理系统的过程.     

激光并电针灸治疗先天性隐性骶椎裂合并尿失禁

目的：探讨激光穴位照射并电针灸治疗先天性隐性骶椎裂合并尿失禁的临床疗效。方法：将93例患者随机分为3组,治疗组31例,采用激光穴位照射同时用电针灸治疗;电针灸组31例,单纯用电针灸治疗;中药组31例,单纯用中药治疗。结果：治疗组总有效率96．8%;电针灸组总有效率90．3％,中药组总有效率61．3％。3组比较：治疗组优于电针灸组和中药组（P＜0．05）;电针炙组优于中药组（P＜0．05）。结论：激光穴位照射并电针灸治疗先天性隐性骶椎裂合并尿失禁明显优于电针炙组和中药组,而电针炙组优于中药组。     

利用磁性金属物测定仪对小麦粉样品进行混匀前处理的研究

本文就利用甲基紫为示踪物,测定采用磁性金属物测定仪进行混匀的小麦粉样品的混合均匀度的试验进行了研究,结果显示,在15min后,能够达到我们所要求的均匀度,并且不会对其他检测项目结果产生显著影响。     

基于粒子群算法求解GM(1,1)模型参数的研究

探讨用粒子群优化算法求解GM(1,1)模型参数a,b,将用该参数建立的GM(1,1)模型与最小二乘法建立的GM(1,1)预测模型进行了效果比较.实例验证结果表明:对于较平缓变化数据序列,2种方法建立的GM(1,1)模型拟合还原精度相差不大,粒子群算法稍优;对于非平缓变化数据序列,经粒子群算法优化参数后,模型精度显著高于最小二乘法;灰色关联度分析表明,粒子群算法优化参数建立的GM(1,1)模型拟合序列几何形状上更接近原始序列.