赛博朋克 2013 和 2020 书籍 代码编号 CP13 赛博朋克 2013 CP3001 CP20 赛博朋克 2020 CP3002 BH 黑手街头武器 CP3461 Chr1 Chromebook 1 CP3701 Chr2 Chromebook 2 CP3181 Chr3 Chromebook 3 CP3331 Chr4 Chromebook 4 CP3471 CB1 Corpbook 1 CP3111 CB2 Corpbook 2 CP3151 CB3 Corpbook 3 CP3161 DS Deep Space CP3211 NO Near Orbit CP3301 ER Edgerunners Inc. CP3391 ES Eurosource CP3901 ES+ Eurosource Plus CP3421 SF Firestorm: Stormfront CP3481 SW Firestorm: Shockwave RT03491 HoB勇敢者的家园 CP3221 LU 听着 原始螺丝头 CP3291 LD 现场直播 CP3431 MM 最大金属 CP3191 NEO 新部落 CP3371 NC 夜之城 CP3501 PAC 环太平洋 CP3311 P&S 保护和服务 CP3171 BB R 巴特莫斯的脑机接口井喷 CP3521 NET 瑞秋·巴特莫斯的网络指南 CP3241 RB 摇滚男孩 CP3401 UK 英国粗略指南 CP3281 SOF 财富独奏 CP 3101 SOF2 财富独奏 2 CP3361 WS 狂野之地 CP3271 ET 欧洲之旅 (c) CP3131 LoF 自由之地 (c) CP 3231 FH 绝望的故事 (c) CP3121 WCD 何时芯片故障 (a) CP3801 HW 硬接线 (w) CP3201 WGF 重力失效 (w) CP3601
本报告对排水型船体水动力冲击载荷的最新进展进行了全面评估。本主题从三种不同的现象出发,即砰击、波浪拍击和正面冲击。导致水动力冲击的因素是根据环境和船舶特性来定义的。冲击理论在二维和三维分析水动力模型、水弹性模型、耐波性理论、模型试验和全尺寸数据等子类别中进行回顾。确定并描述了适合分析和潜在设计应用的技术和程序,总结了每种技术和程序的特点,并介绍了与这些技术和程序相关的示例计算。本报告最后提出了未来研究的建议。
本报告并非旨在作为任何特定技术的教程,尽管重点介绍了一些技术并进行了简要讨论。感兴趣的读者应查阅适当的文献,以获取有关使用本文所述技术的更多详细信息。最近,形式化方法在安全关键软件开发中的应用非常活跃,我们将在本报告后面概述形式化方法的类别及其使用方法。我们不专注于特定方法,因为应选择一种方法来匹配正在构建的系统。相反,我们讨论开发人员可以选择一种类型的方法而不是另一种类型的方法的选项。
nasa.gov › api › citations › downloads PDF 1993年11月15日 — 1993年11月15日 checklist also contains procedures ... 6044440 (Hughes Aircraft Co.) ... The hooks are designed with safety and reliability in mind, because they are primary ... 750 页