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

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

灰岩单轴压缩过程中干燥与饱水状态对声发射特征的影响

为探究水岩耦合条件下的声发射规律,通过开展干燥与饱水灰岩单轴压缩条件下的声发射监测试验,并结合快速傅里叶变换、短时傅里叶变换与离散小波变换这3种常用的声发射信号分析方法,对比分析了干燥与饱水灰岩的时域参数、频率特征与典型破裂信号的时频特征。结果表明:水对于岩石的变形破坏特征影响显著,相对于干燥状态,饱水试样的单轴抗压强度下降明显,且幅值、能量以及振铃计数等基本时域特征参数均呈现出大幅降低的特点;岩样破坏前,干燥与饱水灰岩都表现出由“高主频、低幅值”向“低主频、高幅值”过渡的总体变化趋势;干燥岩样破坏前主频值高于饱水岩样,完全破坏后却低于饱水岩样,主频下降幅度大,而饱水岩样的主频值波动较小,频率较为稳定。研究结果对于工程尺度的防突机构声发射监测具有一定的参考价值。     

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

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

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

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

一种改进的末端区域能量管理轨迹设计与制导方法

末端区域能量管理是重复使用运载器实现精确无动力水平着陆非常重要的一个飞行阶段。本文将末端区域能量管理段水平轨迹和纵向轨迹分开设计,参数化的水平轨迹设计包含3个校正圆,以实现航向、航程以及位置的精确调整;纵向轨迹采用2段二次高度-航程曲线以实现对高度和速度的控制。在此基础上,给出了水平和纵向轨迹的跟踪制导方法。仿真结果及其分析表明该轨迹设计方法可以灵活地设计末端区域能量管理段的标称轨迹,且制导方法能够实现标称轨迹的良好跟踪。     

葡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电极单体电池具有较高的放电电压和较大的放电比容量。     

矩形通道弹状流液膜特性

为了深入探究矩形通道内弹状流机理,利用高速摄像系统,对矩形通道(3.25 mm×40 mm)内弹状流进行了可视化研究。实验中发现,泰勒气泡长度LT随分气相雷诺数ReG近似线性增长,但随着分液相雷诺数ReL增加,LT的增长速率减小。液膜脱离泰勒气泡时厚度δf随ReG增加而减小并趋于稳定,随ReL增加而增大。δf主要由ReG、ReL和LT决定;LT≥150 mm时,δf趋于稳定。液膜脱离泰勒气泡时速度Vf随ReL增加而增大。在低ReL时,Vf方向向下并随ReG增加而减小;当ReL≥9 102时,液膜始终向上运动,Vf随ReG变化较小,主要受ReL影响。通过数据回归分别得到了LT、δf和液膜相对脱离速度Vfr计算关联式,其与实验数据符合相对较好。     

软件度量的研究与进展

介绍了软件度量的发展阶段,分析了当今软件度量的发展程度。在研究软件度量方法框架和软件度量指标的基础上,重点研究了当前的3类度量方法,对各方法中典型产品的功能和特点进行分析。最后给出了软件度量的当前研究难点和将来发展趋势。