前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主 语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

在对板式楔横轧轧制过程进行分析基础上,建立了板式楔横轧的几何数学模型,确定了板式楔横轧模具与轧件轧制接触面方程及边界方程。最后利用计算机辅助绘图技术,将结果以图形显示方式形象输出

《高等数学》 《大学物理》 《物理实验》 《物理化学》 《物理化学实验》 《化工原理》 《化工原理实验》 《电工电子技术》 《线性代数》 《原子物理与原子核物理》 《铀钚化学》 《分析化学》 《分析化学实验》 《核化学与放射化学》 《无机化学》 《无机化学实验》 《金工实训》 《电工电子实训》 《复变函数与积分变换》 《概率论与数理统计》 《画法几何与化工制图》 《核化工与核燃料工程专业导论》 《文献检索》 《核安全法规》 《核材料物理基础》 《核化工与核燃料工程专业毕业设计（论文）》 《核化工毕业实习》 《核化工认识实习》 《核化工生产实习》 《核化工专业实验》 《核燃料工艺学》 《核燃料后处理工程》 《同位素分离》 《铀化合物转化工艺学》 《铀水冶工艺学》 《放射性废物处理与处置》 《核化工专业英语》 《化工仪表及自动化》 《核技术应用概论》 《核化工与核燃料工程专业课程设计》 《仪器分析测试技术》

为了连续地预测电弧炉熔池中碳含量,实现对冶炼终点碳含量的控制,以红外烟气分析技术和物质质量守恒计算为基础,结合入炉总碳量和供氧量等生产数据,建立了电弧炉炼钢脱碳数学模型.对莱芜钢铁股份有限公司特殊钢厂50tUHP电弧炉实际冶炼数据的模拟计算表明,该模型能实现对熔池碳含量的连续预测和终点控制.模拟计算结果还表明,电弧炉冶炼过程中,脱碳速度主要受供氧流量的影响,最大可达0.12%～0.16% min-1.该模型用于电弧炉供氧优化后,氧气消耗明显降低

在一维平面层流煤粉气流着火的数学模型的基础上,发展了一种更加逼近工程实际的一维平面紊流煤粉气流着火模型.在该数学模型的指导下,设计了高温空气煤粉点火试验台.通过大量的空气加热试验和煤粉气流着火试验,对模型进行了实验验证.结果显示,理论模型的计算结果与实验相符合,验证了高温空气煤粉点火技术的可行性

§4.1 概述 §4.2 正弦波的数学描述 4.2.1 正弦波的特征量 4.2.2 正弦波的相量表示方法 §4.3 正弦交流电路的分析计算 4.3.1 单一参数的正弦交流电路 4.3.2 R-L-C串联交流电路 4.3.3 交流电路的一般分析方法 4.3.4 功率因数的提高

6.1 投入产出模型 6.2 CT技术的图像重建 6.3 原子弹爆炸的能量估计 6.4 市场经济中的蛛网模型 6.5 减肥计划——节食与运动 6.6 按年龄分组的种群增长

3.1 信道定义与数学模型 3.2 恒参信道及其传输特性 3.3 随参信道及其传输特性 3.4 分集接收技术 3.5 加性噪声 3.6 信道容量的概念

一、线性分组码的一般性定义 二、线性分组码的严格数学定义 三、G与H的关系 四、线性分组码的最小距离、检错和纠错能力 五、线性分组码的译码 六、由一个已知码构造新码的简单方法 七、线性码的不可检测错误概率Pu(e) 八、线性码的码距限

一、循环码的数学概念 二、xn-1的因式分解 三、循环码的校验矩阵H 和生成矩阵G 四、循环码的循环子码 五、缩短循环码 六、常用的CRC国际标准 七、循环码的编码电路