北京大学：《离散数学》离散数学之二：《代数结构与组合数学》引言（主讲：屈婉玲）

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

采用热膨胀仪测试研究了Q450NQR1钢连铸坯5℃·min-1及20℃·min-1冷却速率下的线性热膨胀(ΔL/L0)和热膨胀系数随温度的变化规律.在此基础上,建立了一种基于平均原子体积的相体积计算模型,量化研究了奥氏体相变过程中各相体积分数的变化规律,并在将计算结果与显微组织观察结果对比分析基础上,讨论了连铸冷却速率对铸坯奥氏体相变过程的影响.结果表明:该计算模型可以较为准确地描述铸坯的奥氏体相变过程,适用于多相连续析出相变;随着冷却速率的增大,铸坯热膨胀曲线中对应于铁素体和珠光体析出的两个变化峰向低温区移动,峰值明显增大;冷却速率由5℃·min-1上升至20℃·min-1时,铁素体及珠光体起始析出温度分别降低约32℃和37℃,最终体积分数分别由0.894和0.106变为0.945和0.055

采用数值模拟方法对连铸电磁旋流水口内流体流动和夹杂物碰撞长大行为进行了研究.数值结果表明电磁旋流水口出口处流体流动扩张角与低熔点合金实验值相符.旋转磁场对浸入式水口内壁夹杂物沉积行为存在两个相反的作用:一方面旋转磁场作用加强了水口壁面处钢液的湍流流动,加速了夹杂物在水口内壁的沉积吸附速率;另一方面水口内壁附近夹杂物在旋转磁场产生的旋流作用下易被携带至水口中心,削弱了水口内壁对夹杂物的黏附.在上述两方面因素作用下,钢液区存在一个最佳磁感应强度可使水口内壁夹杂物沉积速率降至最低,从而减轻水口结瘤现象

《Excel与数据处理》课程教学资源（数据表）从ACCESS查询到的数据表

基于欧拉-拉格朗日方法的离散相模型,针对锌液体外循环系统下连续热镀锌锅中三种不同类型的锌渣,利用数值模拟的方法计算锌锅中锌渣的浓度差分布.分析锌渣扩散得到了锌渣在带钢表面及锌锅中的运动轨迹和分布规律.结果表明:锌渣在带钢上的沉积率随着锌渣粒度的减小而升高;由于锌渣密度的差异,当锌渣直径小于80μm时,沉积率从高到低依次为悬浮渣、面渣和底渣.面渣在带钢出口后侧区域的平均停留时间最长,在该位置设置抽锌管将有利于面渣的去除;在V形区内侧区域带钢上的悬浮渣质量浓度最高,对带钢影响最大;底渣主要运动区域为锌锅底部,基本不会黏附于带钢表面,对带钢质量影响最小

为了解决社交网络中用户申请加入群组的合适性判断问题，将安全多方计算技术中的求和协议与秘密比较协议相结合提出了保护私有信息的合群判定协议.其中基础协议解决一维线性模型下问题的安全求解，扩展协议对基于圆边界的多维模型情况进行判定.针对单一申请者与网络群组多用户的特点，将问题转换为两方计算模型可实现的形式，在证明了协议正确性的基础上分析协议的复杂度，并且利用安全视图的方法逐步验证了在协议执行过程中不会泄露任何个人的隐私数据.实际使用中协议能够有效地回避盲目的系统推荐和管理员离线所产生的判定时延，同时保护申请者和群组成员的隐私数据

基于相似模拟理论，通过试验台架设计、监测系统设计、加载系统设计和岩体模型制作等流程，完成了双孔并行隧道模型试验系统的研制工作；试验中实时监控模型各关键位置的位移变化、应力变化及隧道岩壁破坏情况.研究表明，试验观测结果与基于Mohr-Coulomb模型所得数值模拟结果相对误差较大，而基于Plastic-Hardening模型进行数值模拟计算时，所得岩土体屈服状态和变化规律与相似模型试验结果吻合度较高.综合各方面分析研究结果，认为Plastic-Hardening模型能够更为精确合理的反映实际工程及试验中岩土体状态的真实变化情况，可为相似地质条件下的双孔并行隧道施工及维护提供重要参考

本文介绍一种新型晶闸管直流调速系统中应用的数字触发器的工作原理和方法,并给出程序框图和实验结果

4.1赋值语句 4.2注释、暂停与程序结束 4.3数据输入 4.4数据输出 4.5字体和字形 4.6打印机输出