中国科学技术大学：Full Camera Calibration from a Single View of Planar Scene
文件格式: PDF大小: 2.83MB页数: 10
中国科学技术大学：Distance Between a Catmull-Clark Subdivision Surface and Its Limit Mesh
文件格式: PDF大小: 203.91KB页数: 8
中国科学技术大学：Non-Uniform Recursive Doo-Sabin Surfaces
文件格式: PDF大小: 2.73MB页数: 29
中国科学技术大学：Non-Uniform Recursive Doo-Sabin Surfaces
文件格式: PDF大小: 1.73MB页数: 8
第1章 导论 第2章 大数据安全 第3章 大数据安全挑战 第4章 大数据安全法规政策和标准化现状 第5章 大数据安全标准体系 第6章 大数据安全标准化工作建议
文件格式: PDF大小: 5.16MB页数: 139
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）RTE规范与建模方法之 Domain Specific Modeling Languages（MARTE、AADL、Autosar）
文件格式: PDF大小: 2.97MB页数: 66
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）
文件格式: PDF大小: 1.89MB页数: 62
• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？
文件格式: PDF大小: 1.21MB页数: 44