MIT技术大牛课程资料,非线性动态分析有限元方法,同时含有流固耦合、壳单元、波传播等新研究进展
2021-12-12 21:48:11 3.04MB CFD MIT 非线性 FEA
1
关于有限元的一本英文教材,写得非常好,经典中的经典!
2021-10-23 11:10:13 12.08MB Finite Element Procedures FEA 英文书
1
Decision Procedures - An Algorithmic Point of View
2021-09-30 00:05:54 5.83MB Decision Procedures
1
IEC TS 62788 Series Measurement procedures for materials used in photovoltaic modules - 包含全部10份最新英文版标准文件.7z
2021-09-02 12:02:01 14.42MB 资料
ISO 3951-1_5 Series - Sampling procedures for inspection by variables - 包含全部5份最新英文标准文件.7z
2021-09-02 12:01:49 26.16MB 资料
作者: Daniel Kroening / Ofer Strichman 出版社: Springer 副标题: An Algorithmic Point of View 出版年: 2008-5-23 介绍:Z3 等 SMT 求解器理论基础
2021-07-23 22:55:00 3.72MB SMT Z3 Logic
1
本《程序规则》由无线电通信局实施,并通过澄清特定规则的实施或通过制定目 前管理条款中没有规定的必要的应用程序,补充了《无线电规则》(RR)的内容。本 文件纳入了在2019年世界无线电通信大会(WRC-19)之前无线电规则委员会(RRB) 对《程序规则》的全面复审和修订的结果。因此,本文件中所含的规则替代之前公布 布的所有《程序规则》。本《程序规则》供主管部门和无线电通信局在实施《无线电 规则》时使用。本《程序规则》分为三部分: A 部分:仅与无线电规则条款中的一项或数量有限的几项相关的程序规则; B 部分: 与某个过程,比如某项技术审查相关的程序规则; C 部分: 无线电规则委员会内部安排和工作方法。
2021-07-20 14:01:33 4.38MB ITU 程序 规则 无线电
本《程序规则》由无线电通信局实施,并通过澄清特定规则的实施或通过制定目 前管理条款中没有规定的必要的应用程序,补充了《无线电规则》(RR)的内容。本 文件纳入了在2019年世界无线电通信大会(WRC-19)之前无线电规则委员会(RRB) 对《程序规则》的全面复审和修订的结果。因此,本文件中所含的规则替代之前公布 布的所有《程序规则》。本《程序规则》供主管部门和无线电通信局在实施《无线电 规则》时使用。本《程序规则》分为三部分: A 部分:仅与无线电规则条款中的一项或数量有限的几项相关的程序规则; B 部分: 与某个过程,比如某项技术审查相关的程序规则; C 部分: 无线电规则委员会内部安排和工作方法。
2021-07-20 14:01:32 5.46MB ITU 程序 规则 Rule
ANSI ASQ Z1.9 2003 (R 2018) ANSI ASQ Z1.9 2003 (R 2018) sampling procedures and tables for inspection by variables for percent noncon forming
2021-07-16 09:48:24 566KB ANSI ASQ Z1.9 2018
1
White Paper:Protocol Signaling Procedures in LTE.pdf
2021-05-22 16:03:08 1.96MB 行业