绪论 一、畜牧场生产工艺与畜舍设计的课程性质与任务 二、畜牧场与畜牧生产三、我国畜牧场建设的现状和发展趋势 四、畜牧场设计的基本原则五、本课程与其他学科的关系 六、《畜牧场生产工艺与畜舍设计》的研究方法

 第十一章 质量问题—分析模型的完整性和一致性  第十二章 编制分析模型的文档  第十三章 评审和修正分析模型  第十四章 过渡到设计  第十五章 问题论域中的问题  第十六章 定义用户界面  第十七章 任务管理问题  第十八章 数据库设计  第十九章 设计级的质量问题  第二十章 设计模型的文档编制和评审  第二十一章 实现方面的问题  第二十二章 转向面向对象方法的十二个步骤

对实验演示系统的系统架构、系统设计、体系结构进行了论述，创新性的采用RIA技术作为系统的表现层。首先论述了RIA技术的特点及优势，系统架构采用浏览器/服务器结构，系统设计中分析了系统模块的组成、系统安全性等。在体系结构中论述了系统的分层设计以及数据交换的方式。通过系统的实际使用，提高了学生自主学习能力，同时也提高了学习兴趣，减少了教师的工作量。对学生自主学习以及数字化教学方法改革做了关键的一步

【教学课题】:10-6斜齿圆柱齿轮传动的强度计算 【教学目的】:掌握斜齿轮传动的强度计算及参数的选择计算。 【教学重点及处理方法】:斜齿轮传动的强度计算及参数的选择计算

在机械稳健性优化设计中不确定变量常被假定为服从某种特定分布的随机变量,在随后的优化模型中丢掉了这些不确定变量的初始数据,这种对不确定变量的处理方式往往不能真切地反映不确定变量的本质,使得出的结论偏离事实.为了更加真切地反映这些不确定变量,使用盲数表达机械设计中的不确定变量,运用盲数运算规则表达各不确定变量之间的关系,把盲数理论和稳健设计相结合,建立基于盲数理论的稳健设计优化模型.使用该优化模型对一个气动换向装置进行了优化计算,优化结果好于传统的稳健设计结果.基于盲数的方法是一种离散化的数值计算方法,算例充分展示了其灵活性,证明了该优化方法是合理的和实用的

6.1 串行通信基础 6.1.1 并行通信与串行通信 6.1.2 同步通信与异步通信 6.1.3 串行通信的传输模式 6.1.4 串行通信的错误校验 6.2 串行口的结构 6.2.1 串行口控制寄存器SCON 6.2.2 特殊功能寄存器PCON 6.3 串行口的4种工作方式 6.3.1 方式0 6.3.2 方式1 6.3.3 方式2 6.3.4 方式3 6.4 多机通信 6.4.1 多机通信通信的工作原理 6.4.2 多机通信设计举例 6.5 波特率的制定方法 6.5.1 波特率的定义 6.5.2 定时器T1产生波特率的计算 6.5.3 定时器/计数器T2作为波特率发生器 6.5.4 定时器/计数器T2的可编程时钟输出 6.6 串行通信接口标准 6.6.1 RS-232C双机通信接口 6.6.2 RS-422A双机通信接口 6.6.3 RS-485双机通信接口 6.6.4 20mA电流环串行接口 6.6.5 各种串行接口性能比较 6.7 串行口的应用设计举例 6.7.1 串行通信设计需要考虑的问题 6.7.2 双机串行通信软件编程 6.7.3 PC机与单片机的点对点串行通信接口设计 6.7.4 PC机与单片机与多个单片机的串行通信接口设计

本章介绍AT89S52单片机片内串行口的工作原理，与串行口有关的特殊功能寄存器以及串行口的4种工作方式，串行口多机通信的工作原理，串行通信中的各种接口标准，以及双机串行通信的软件编程设计。 6.1 串行通信基础 6.1.1 并行通信与串行通信 6.1.2 同步通信与异步通信 6.1.3 串行通信的传输模式 6.1.4 串行通信的错误校验 6.2 串行口的结构 6.2.1 串行口控制寄存器SCON 6.2.2 特殊功能寄存器PCON 6.3 串行口的4种工作方式 6.3.1 方式0 6.3.2 方式1 6.3.3 方式2 6.3.4 方式3 6.4 多机通信 6.4.1 多机通信通信的工作原理 6.4.2 多机通信设计举例 6.5 波特率的制定方法 6.5.1 波特率的定义 6.5.2 定时器T1产生波特率的计算 6.5.3 定时器/计数器T2作为波特率发生器 6.5.4 定时器/计数器T2的可编程时钟输出 6.6 串行通信接口标准 6.6.1 RS-232C双机通信接口 6.6.2 RS-422A双机通信接口 6.6.3 RS-485双机通信接口 6.6.4 20mA电流环串行接口 6.6.5 各种串行接口性能比较 6.7 串行口的应用设计举例 6.7.1 串行通信设计需要考虑的问题 6.7.2 双机串行通信软件编程 6.7.3 PC机与单片机的点对点串行通信接口设计 6.7.4 PC机与单片机与多个单片机的串行通信接口设计

基于钢铁流程的精准设计思想,提出了甘特图组合产能核算的两步设计法.首先依据产品大纲,利用传统设计方法确定初始流程;然后根据合理的甘特图组合模式和产品大纲中各类钢种的产量比例,建立甘特图组合模式方程组,利用逐次松弛迭代法进行求解,计算得到流程的产能.结果显示流程产能小于传统设计法中各工序的产能.通过甘特图组合产能核算,分析了脱碳转炉公称容量和连铸机拉速对流程产能和工序作业率的影响规律,找出了对应脱碳转炉不同公称容量的流程合理产能规模和应达到的连铸机拉速水平

将一种机器学习算法——支持向量机引入到软岩工程支护设计领域,并根据问题需要提出了一种支持向量机回归算法且编制了相应的计算程序.工程算例证明,这种算法在学习样本数量很少的情况下就可以得到很高的预测精度,且具有推广性能好的优点,避免了人工神经元由于存在过学习问题而带来的网络参数难以确定的弊病,为类似工程的支护设计提供了一种新的途径

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？