分辨矩阵在逻辑优化中的应用

真值表的化简对于逻辑电路的分析与设计具有及其重要的意义.对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用.首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题.然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式.为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题.最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性.     

基于一次二阶矩法渡槽系统模糊可靠度分析

为了更合理地评价钢筋混凝土渡槽结构在正常使用极限状态下的安全可靠性,针对在役钢筋混凝土渡槽结构,考虑影响其结构稳定性因素的随机性及模糊性,基于一次二阶矩法建立了渡槽结构底板与侧墙抗裂随机模糊可靠度模型,编制了相应的程序,并利用PNET法针对某工程实例进行了系统模糊可靠度分析。结果表明:在相同条件下,中心点法和验算点法可靠性指标计算结果与建立的模糊可靠度方法基本一致,验证了模糊可靠度方法的正确性;在不同条件下,渡槽系统可靠性指标随着考虑相关变量因素的增多而减小,这与实际情况相符,即考虑变量的随机性与模糊性更接近于结构真实情况,所得解更为合理;传统可靠度计算方法所得抗裂能力可靠性指标结果偏大,高估了渡槽结构整体的可靠性,采用传统方法得到的极限状态设计值偏于不安全,实际工程中应考虑影响因素的随机模糊性。     

航空地球物理调查全矢量插图编图方法

为了解决单一依靠MapGIS软件编制航空地球物理调查成果图件或插图存在制图复杂、周期长等问题,采用MapGIS编图与矢量插图修编、整饰分离的技术路线,利用通用的矢量图形软件进行图件编辑、修改和整饰,以提高编绘质量与制图效率。研究中重点解决了MapGIS格式图件进行任意图幅范围的全矢量输出问题,保证了矢量图形编辑软件能够无损利用已有MapGIS图件的图形与渲染,实现地质、地球物理数据从地理信息系统到绘图系统的全保真转换。并且采用该编图方法编制了莽岭地区航空物探(磁、放)调查综合图件,结合具体的编图实例进一步阐述了编图思想、方法及具体的技术要求,实际编图效果表明,图件整体清晰、美观,能够准确地反映出该区的地球物理场特征,且编图效率有了较大的提高。     

一种基于互联网+的倒闸操作防误模拟预演系统研究

文章介绍了传统的防误闭锁方式(微机闭锁、电气闭锁等)存在的问题,提出了通过互联网的形式,将现场设备运行方式与监控中心进行实时对位联络,采用语音报警和信号告警为辅助手段,从而确保现场倒闸操作安全。     

瞬态瑞雷波法在滑坡工程勘查中的应用

在地形起伏较大,地质条件复杂、勘查现场干扰严重等的情况下,为了提高滑坡勘查的勘查精度和勘查工作效率,综合采用瞬态瑞雷波与常规勘查方法,可以弥补单一常规勘查方法的精度及数据量不足的局限性。介绍了瞬态瑞雷波法的原理及实际操作中参数设置方法,结合山西省某滑坡勘查的工程实例,结果表明了瞬态瑞雷波法在滑坡勘查中勘查优势。     

葡61区块扶余油层精细构造分析及有利区预测

为提高葡北油田扶余油层复杂断裂区带构造解释精度,针对研究区井控程度低、发育多期微小断裂和断裂切割关系复杂等,根据高分辨率地震资料,运用变面积和变密度剖面显示、水平切片、相干体切片及相位谱分解等方法,完成葡61区块扶余油层精细构造和断裂分析.结果表明:新井构造误差小于5‰,准确识别5~10m圈闭高度的微幅度构造.扶余油层顶面构造特征形态为断裂切割背斜形成的、以地垒、地堑和断阶为主的局部断裂—构造圈闭.综合构造、断裂及砂体发育特征,在研究区优选1个Ⅰ类有利区块,面积为44.3km2;2个Ⅱ类有利区块,面积为82.4km2;5个Ⅲ类有利区块,面积为29.2km2.该研究结果对扶余油层开发具有一定的指导作用.     

冷连轧过程控制中轧制力和前滑模型的综合自适应

为了提高冷连轧过程控制系统中轧制力模型的设定精度,提出了一种轧制力和前滑模型的综合自适应算法.通过建立综合自适应目标函数,以变形抗力和摩擦系数模型中的自适应系数作为寻优参数,并采用Rosenbrock算法求解目标函数,可以同时得到满足轧制力模型和前滑模型计算精度的自适应系数.该模型自适应算法可成功应用于某1 450 mm冷连轧机组.结果表明,采用该模型的综合自适应算法后,轧制力设定精度显著提高,且满足在线控制要求.     

高电位CuV_2O_6正极材料在热电池中的应用

采用固相法以CuO粉末和V2O5粉末为原料制备α-CuV2O6粉末,用X射线衍射分析(XRD)、差热分析(DTA)和粒度分析方法对铜钒氧材料进行了表征,并对其作为热电池正极材料的电化学行为进行了研究。电化学性能测试表明,制备的α-CuV2O6电极单体电池具有较高的放电电压和较大的放电比容量。     

高温合金IN690管材挤压损伤模拟

采用有限元软件对高温合金IN690管材挤压损伤进行预测,研究挤压速度对损伤的影响规律,得到不同的挤压条件下的挤压阈值。不同挤压速度下损伤的变化随着挤压速度变化呈现先增大后减小的趋势。模拟摩擦系数为0.01、0.05、0.1、0.2条件下的损伤,在摩擦系数为0.01时,坯料表面比较光滑,损伤比较轻;摩擦系数为0.2时,表面凹凸不平,损伤严重。     

涡轮增压器叶轮低压铸造工艺设计及优化

采用UG NX8.0对某涡轮增压器叶轮的三维立体图进行有限元网格划分,应用ProCAST对铝合金叶轮的低压铸造充型过程和凝固过程进行数值模拟,利用VisualCAST对产生的缺陷进行可视化的对比,分析浇注温度、模具温度及压力-时间参数对铝液充型状态和凝固顺序的影响,并获得合适的低压铸造工艺参数。对试铸样品进行检测,结果表明:利用ProCAST可对叶轮的低压铸造工艺进行定量优化。