《电子商务 E-business》参考资料（大数据）：面向大数据的海云数据系统关键技术研究

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第1章 引言（主讲：陈意云）

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《编译原理与技术》课程教学资源（PPT课件讲稿）第1章 引论（主讲：张昱、陈意云）

隧道健康状态诊断过程作为一个模糊系统，具有随机性和模糊性的特点.传统的隧道结构健康诊断方法无法妥善地将系统的模糊性和随机性关联在一起.基于此，针对隧道结构健康状态诊断系统的模糊性和随机性特点，提出了基于云理论的隧道结构健康状态诊断方法.首先，建立反映隧道结构健康状况等级评语集的正态云模型.然后，依据逆向云发生器原理，将隧道结构健康状态指标的监测数据的归一化结果值转化为隶属度云模型.将健康状态指标的重要性语言值转化为权重云，用于表征各健康状态指标的重要程度.最后，运用云理论的计算方法对隧道结构健康状态等级进行诊断，得到健康状态等级诊断结果的云模型.应用云模型的改进方法，对某市地铁2号线盾构隧道结构健康状态进行了诊断，极大提高了诊断结果的可视化和鲁棒性

《软件工程》课程电子教案（PPT教学课件）第一章 软件工程概述（授课教师：王燕兴、计晓云）§1.1 软件工程的背景和历史

今天的大环境 移动应用——崭新的应用客户端 云计算——超级应用服务器平台 大数据——实时数据/信息处理 未来的趋势

第一部分：云计算 1、概念 2、软件即服务 3、基础设施即服务 4、平台即服务 第二部分：平台即服务 ⚫ 概述 ⚫ 基础设施层 ⚫ 平台运行层 ⚫ 服务管理 ⚫ 服务需要遵守的约束 ⚫ 面临的挑战

4.1 技术生态的初步理解 4.2 物联网技术：知道得多 4.3 云计算技术：处理得快 4.4 移动互联技术：传播的远 4.5 人工智能技术：调控得准 4.6 “物、云、移、大、智”技术融合后的协同生态环境 4.7 本章小结

6.1 操作系统安全技术 • 6.1.1 基本概念 • 6.1.2 可信计算机评价标准(TCSEC) • 6.1.3 操作系统安全的基本原理 • 6.1.4 操作系统安全机制 • 6.1.5 Linux的安全 6.2 数据库安全技术 • 6.2.1 传统数据库安全技术 • 6.2.2 外包数据库安全 • 6.2.3 云数据库/云存储安全 6.3 可信计算技术 • 6.3.1 概念和基本思想 • 6.3.2 TCG可信计算系统