1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

8.1 概述 8.2 流式存储音频/视频 8.2.1 具有元文件的万维网服务器 8.2.2 媒体服务器 8.2.3 实时流式协议 RTSP 8.3 交互式音频/视频 8.3.1 IP 电话概述 8.3.2 IP 电话所需要的几种应用协议 8.3.3 实时运输协议 RTP 8.3.4 实时运输控制协议 RTCP 8.3.5 H.323 8.3.6 会话发起协议 SIP 8.4 改进“尽最大努力交付”的服务 8.4.1 使因特网提供服务质量 8.4.2 调度和管制机制 8.4.3 综合服务 IntServ 和资源预留协议 RSVP 8.4.4 区分服务 DiffServ

18.2.1 逐次逼近式 A/D 转换器原理 18.2.2 双积分式 A/D 转换器原理 18.2.3 A/D 转换器的主要指标 18.2.4 实用的模/数转换器

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

第四节安全保持器 一、安全防爆的基本知识 二、齐纳式安全保持器 三、输入式安全保持器

输入/输出设备是计算机的重要组成部分。 外设种类繁多,可以是机械式、电动式、电子 式、手动式;输入信息也可以是数字量、模拟量 、开关量;信息传送的速度相差悬殊,所以不能 直接连接,而必须设置专门的I/O接口

对ASP生产Ti-IF钢的退火再结晶过程分别进行了罩式退火和连续退火模拟实验,通过金相组织观察和力学性能检测,并结合X射线衍射和电子背散射衍射技术,从不同的实验角度对再结晶组织和织构的形成及演变进行了研究.结果表明,由于罩式退火和连续退火两者的热历史过程不同,其再结晶组织转变温度及晶粒度有所不同,但是再结晶核心的形成位置及演变方式趋于一致,形核方式趋向于择优形核

基于流化床干燥理论,采用热风循环充分的电热烘箱作为干燥器,对小麦进行了一系列的薄层干燥实验研究,模拟小麦流态化干燥过程,总结出适用于流化床小麦干燥时间预测的经验回归公式.开发了热泵流化床谷物干燥实验系统,并将小麦干燥的经验回归公式应用于此实验台的干燥实验过程.结果表明,小麦干燥经验回归式可用于预测小麦在流态化条件下的干燥时间,所开发的热泵流化床谷物干燥装置经济性合理,有市场应用前景

当导体置于交变磁场或在固定磁场中运动时，导体内引起感应电流，此电流在导体内闭合,称为涡流

虚拟现实(Virtual Reality,VR)是3D视频或虚拟世界，遮蔽了现实世界，增强现实(Augmented Reality,AR)则是将电子信息叠加于现实世界中，例如：军方的模拟飞行训练是VR、飞行员头盔上的信息提示是AR。 VR技术难点 其它连PC式头显 插手机式头盔 应用举例 AR Coming Magic Leap