定理 7－6：任一（n，k）线性分组码若要纠 正 t 个以内错误，其充要条件是 H 矩阵中任 何 2t 列线性无关。 定理 7－7：（n，k）线性分组码最小距离等 于 d0 的充要条件是 H 矩阵中任何 d0-1 列线 性无关

本文从热力学原理出发,推导出:二元系中化合物的标准生成自由能符合拟抛物线规则;推广到三元系中则应符合抛物面规则;并且利用上述规则判定含稀土体系中化合物的稳定性

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

应用固体电解质定氧探头测定了碱性复杂炉渣的FexO活度,并对结果进行了误差分析。炉渣中的FexO活度对拉乌尔定律呈正偏差,且偏差的程度随CaF2、FexO含量及碱度的增加而减小,随P2O5含量的增加而增大。当炉渣的碱度大于2.1时,FexO活度随温度的上升而减小。根据实验结果,绘制了1450℃时FexO-(SiO2+P2O5+Al2O3)-(CaO+MgO+MnO+CaF2)准三元系的等FexO活度图

研究了液态FexO渣及碱性复杂炉渣中FexO对定氧探头的作用。纯FexO渣对探头的ZrO2(MgO)管有强烈的侵蚀,且随温度的上升而加剧;碱性复杂炉渣对ZrO2(MgO)管的侵蚀较轻微,当侵蚀达到一定程度时会使探头损坏。在碱性复杂炉渣中CaF2的作用下,渣液与ZrO2(MgO)管反应,在其表面生成锆酸钙,使电池电动势达到平衡的时间后延,甚至使测定失败。因此,它不宜用于测定高CaF2含量的碱性炉渣

定理 7－4：每一个（n，k）线性分组码 都能纠正 2 n-k个错误图样。 定理 7－5：标准阵列中每个陪集的 2 k个 矢量都有相同的伴随式，且不同的陪集 有不同的伴随式

一、国民生产总值GNP与国民收入NI 1 GNP:一定时期内本国生产的全部最终产品和服务的总价值。 2 NI:同期所有生产要素报酬总和。 3 GNP和NI都是衡量一定时期内一国所发生的经济活动的总规模,理论上讲二者是一致的;但在具体统计实践中二者还存在差异

本文討論電子毫秒微差放炮器的基本原理及設計,此儀器能按一定時間間隔向電雷管組供給電流脈沖,它的優點是:(1)時間間隔可在1毫秒至500毫秒範圍內調節,調節手續很簡單。(2)此儀器的時間間隔的誤差小於同類型的其他儀器。(3)在此儀器中用閘流管作為開關元件,它的性能很穩定,拒爆可以避免

本文用金相显微镜和扫描电镜对定向凝固试样中各种石墨形态的转化进行了观察分析。结果表明:随着残留稀土元素含量的下降,石墨形态会出现球墨→蠕墨→片墨的序列转化,并且,这些转变都是一个连续的过程,无需重新形核。电子探针分析结果表明:在蠕虫状石墨的生长前沿有稀土元素Ce的富集。此外,还对冷却速度和稀土元素含量对石墨形态的交互作用进行了分析。结果表明:在不出现白口的条件下,提高冷却速度（即凝固速度）与增加稀土元素含量有相似的效果

分析了板材轧制过程中出口厚度变化的成因.将不确定扰动的影响归结为轧机刚度系数摄动和轧件塑性系数摄动,建立了双摄动厚度控制模型.综合考虑轧机系统的外部不确定扰动,针对轧制道次间的不确定性,在频域内将板厚信息转化为轧机系统边界性能指标,设计抑制前馈扰动的外部自激励定量反馈控制器.仿真实验表明,设计的控制器能有效抑制轧制过程中的外部扰动,具有良好的鲁棒性能,并能直观保证系统调整时的鲁棒稳定性,适于工业生产