Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
|
|
- 林爱 上官
- 5 years ago
- Views:
Transcription
1 Detecting Inaccuracies in Floating- Point Programs Yingfei Xiong, Peking University Collaboration with Daming Zou, Ran Wang, Zhendong Su, Xinrui He, Lu Zhang, Gang Huang, Hong Mei
2 Floating-Point Inaccuracy times Code: float x = 0, a = 0.1; for(int i = 0; i < 10000; i++) { x = x + a; } printf("%.6f", x); Output:
3 Floating-Point Inaccuracy times Code: double x = 0, a = 0.1; for(int i = 0; i < 10000; i++) { x = x + a; } printf("%.6lf", x); Output:
4 问题背景 浮点误差会导致严重的后果 在海湾战争中, 爱国者导弹由于累积的浮点误差拦截失败, 造成了 28 人丧生
5 Measure Errors Absolute error: Error abs = x ideal x fp Relative error: Error rel = x ideal x fp x ideal x ideal
6 Precision Tuning Code: float x = 0, a = 0.1; for(int i = 0; i < 10000; i++) { x = x + a; } printf("%.6f", x); x orignal = Raise precision Code: double x = 0, a = 0.1; for(int i = 0; i < 10000; i++) { x = x + a; } printf("%.6lf", x); x high =
7 Measure Errors with Precision Tuning Absolute error: Error abs = x ideal x fp Relative error: Error rel = x ideal x fp x ideal x high x original x high x original x high
8 Precision-Unspecific Semantics Floating-point variables Real numbers Floating-point operations Real number operations Technique: precision tuning On-the-fly detection of instability problems in floating-point program execution A dynamic program analysis to find floating-point accuracy problems Efficient search for inputs causing high floating-point errors Trustworthy numerical computation in scala Automatically improving accuracy for floating point expressions A genetic algorithm for detecting significant floating-point inaccuracies
9 Assumption: High precision usually produce more accurate output Is it true?
10 Example A code piece simplified from exp function in the GNU C library: 1: double x = 3.7; 2: double n = ; 3: double y = (x + n) n; Answer from computer: y = 4 Raise precision to long double: Answer from computer: y =
11 Example A code piece simplified from exp function in the GNU C library: 1: double x = 3.7; 2: double n = ; 3: double y = (x + n) n; The goal of this code is to round x to the nearest integer. n is a magic number specially designed for double precision. (n = )
12 Example A code piece simplified from exp function in the GNU C library: 1: double x = 3.7; 2: double n = ; 3: double y = (x + n) n; A precision-specific operation
13 Precision-Specific Semantics double x = 3.7; double n = ; double y = (x + n) n; Interpret as rounding x to the nearest integer Problems Any other form of precision-specific operations? How to understand its intention? How to compose n for different precisions?
14 Precision-Specific Semantics double x = 3.7; double n = ; double y = (x + n) n; Interpret as rounding x to the nearest integer Problems Any other form of precision-specific operations? How to understand its intention? How to compose n for different precisions? Solution A heuristic to detect precision-specific operations. A fixing approach to enable precision tuning under the presence of precision-specific operations.
15 Heuristic An instruction is possibly precision-specific if it results in large error inflation in most executions. Intuition Two sources of errors in computations Accumulated Errors: usually small Cancellation: normally occurs in a few executions
16 Fixing High precision normal operation normal operation normal operation normal operation normal operation Precision-specific operation normal operation normal operation normal operation normal operation High precision Original precision High precision
17 Fixing Example... x = 3.7; n = ; temp = x + n; y = temp n;... Long Double Double Long Double
18 Automatic Detection Overview Sampling Fixing Execution Detection
19 Evaluation
20 Subjects 48 double version math functions of the GNU C library (GLIBC).
21 Research Questions Distribution Precision and recall Fixing Existing studies
22 RQ1: Distribution of Precision- Specific Operations FUNCTIONS Others 23 Precisionspecific functions 25
23 RQ1: Distribution of Precision- Specific Operations FILES Precisionspecific files 10 Others 33
24 RQ1: Distribution of Precision- Specific Operations In total, 48 precision-specific operations are detected. PRECISION SPECIFIC OPERATIONS Rounding 44 Multiplication 2 Bit operation 2
25 RQ2: Precision and Recall Precision: 77.5% Recall: 97.92% Detected operations False positives Multiplication Rounding Bit operation
26 RQ3: Fixing How effective is our fixing approach? We evaluate the average relative error to standard value. Original precision Average Relative error Program High precision Average Relative error Standard value High precision with fixing Average Relative error
27 RQ3: Automatic Fixing Automatic fixing: fix detected instruction. The results from automatic fix are more accurate than the original precision and the high precision in the vast majority of cases. Precision Recall, error, error Automatic Fixing (E = 10 7 ) > O < O > H < H O: original precision. H: high precision. >: better than. <: worse than
28 RQ4: Review Existing Study subjects subjects subjects return call Precision-specific Fixed precisionspecific functions functions in GLIBCin GLIBC Function Reported error Actual error exprel_2 2.85e e-12 synchrotron_1 5.35e e-13 synchrotron_2 3.67e e-15 equake (sin, cos) Around 5.00e-01 --
29 小结与问题 修复精度特定运算之后, 我们可以得到一次计算的误差 如何知道整个程序上是否存在较大误差? 通常我们无法遍历整个程序的输入空间
30 基于搜索的误差查找 从输入空间选择一个输入 采用动态分析获得对应误差 分析获得下一个输入 关键问题
31 实证研究 从 GSL 中选取 4 个函数, 仅变化浮点数的尾数位或指数位, 观察它们和内部误差之间的关系 IEEE 754 Floating-Point Representation Single Precision Double Precision Sign Exponent Significand
32 Log(Relative Error) Log(Relative Error) Log(relative Error) Log(Relative Error) 指数位与误差的关系 Relative Error by Exponent - legendre_q Exponent of Input Relative Error by Exponent - erf Exponent of Input Relative Error by Exponent - Ci Relative Error by Exponent - bessel_k Exponent of Input Exponent of Input
33 指数部分对误差的大小有重大影响
34 能触发大误差的指数往往只存在于一个很小的范围
35 在大误差的附近常常有高于平均误差的小波动
36 大误差常常出现在浮点数中段位置
37 尾数位和浮点数之间的关系
38 尾数位对浮点误差有显著影响
39 大量尾数都能触发大误差, 并且在数轴上呈均匀分布
40 局部敏感型遗传算法 根据以上特征, 本研究设计了局部敏感型遗传算法 对于指数位 初始化时更多生成中位数附近 数值变异 对于尾数位 随机生成 随机变异
41 实验评估 有效性检验 : 在 6 个经典浮点数程序上测试 结果证明 LSGA 可以区分 stable 和 unstable 程序, 初步证明了算法的可行性与有效性 检验结果 Newton Inv Root Poly Exp Cos Stable? stable stable unstable unstable unstable unstable Max. Error Detected 2.8E E E E E E-01
42 实验评估 从 GSL 中选取 154 个函数 与随机算法, 标准遗传算法对比
43 实验评估 检测到最大误差 Total RAND STD LSGA Tied (7%) 24 (16%) 105 (68%) 14 (9%) Sign Test 结果 n+ n- N p LSGA vs. RAND < 4.14e-22 LSGA vs. STD < 2.46e-11 STD vs. RAND < 6.52e-06
44 实验评估 找到潜在内部精度问题的能力 如何定义潜在问题? 相对误差大于 0.1% 绝对误差大于预估绝对误差 10 倍以上
45 实验评估
46 小结 浮点数误差是软件开发的经典问题 本研究成果可以自动查找软件代码中的浮点误差问题 本研究成果避免了已有方法可能产生的错误结论 实验结果显示, 我们设计的算法可以在实践中被广泛使用的库函数中找到潜在的精度问题 相关论文 Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE'15: 37th International Conference on Software Engineering, pages , May 2015 Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors. FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 2016.
Microsoft PowerPoint - STU_EC_Ch02.ppt
樹德科技大學資訊工程系 Chapter 2: Number Systems Operations and Codes Shi-Huang Chen Sept. 2010 1 Chapter Outline 2.1 Decimal Numbers 2.2 Binary Numbers 2.3 Decimal-to-Binary Conversion 2.4 Binary Arithmetic 2.5
More informationImproved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl
SKLOIS (Pseudo) Preimage Attack on Reduced-Round Grøstl Hash Function and Others Shuang Wu, Dengguo Feng, Wenling Wu, Jian Guo, Le Dong, Jian Zou March 20, 2012 Institute. of Software, Chinese Academy
More informationMicrosoft PowerPoint _代工實例-1
4302 動態光散射儀 (Dynamic Light Scattering) 代工實例與結果解析 生醫暨非破壞性分析團隊 2016.10 updated Which Size to Measure? Diameter Many techniques make the useful and convenient assumption that every particle is a sphere. The
More information~ ~
* 40 4 2016 7 Vol. 40 No. 4 July 2016 35 Population Research 2014 1 2016 2016 9101. 0 40 49. 6% 2017 ~ 2021 1719. 5 160 ~ 470 100872 Accumulated Couples and Extra Births under the Universal Tw o-child
More informationC C
C C 2017 3 8 1. 2. 3. 4. char 5. 2/101 C 1. 3/101 C C = 5 (F 32). 9 F C 4/101 C 1 // fal2cel.c: Convert Fah temperature to Cel temperature 2 #include 3 int main(void) 4 { 5 float fah, cel; 6 printf("please
More informationMicrosoft Word - 澎湖田調報告_璉謙組.doc
越 籍 新 住 民 妊 娠 醫 療 照 護 : 訪 談 李 亞 梅 女 士 組 長 : 郭 璉 謙 成 大 中 文 所 博 二 組 員 : 阮 壽 德 成 大 中 文 所 博 一 黃 榆 惠 成 大 中 文 所 碩 一 許 愷 容 成 大 中 文 所 碩 一 何 珍 儀 成 大 中 文 所 碩 一 指 導 老 師 : 陳 益 源 教 授 前 言 2009 年 03 月 21 日, 下 午 2 時 30
More information(baking powder) 1 ( ) ( ) 1 10g g (two level design, D-optimal) 32 1/2 fraction Two Level Fractional Factorial Design D-Optimal D
( ) 4 1 1 1 145 1 110 1 (baking powder) 1 ( ) ( ) 1 10g 1 1 2.5g 1 1 1 1 60 10 (two level design, D-optimal) 32 1/2 fraction Two Level Fractional Factorial Design D-Optimal Design 1. 60 120 2. 3. 40 10
More information2/80 2
2/80 2 3/80 3 DSP2400 is a high performance Digital Signal Processor (DSP) designed and developed by author s laboratory. It is designed for multimedia and wireless application. To develop application
More informationC/C++语言 - C/C++数据
C/C++ C/C++ Table of contents 1. 2. 3. 4. char 5. 1 C = 5 (F 32). 9 F C 2 1 // fal2cel. c: Convert Fah temperature to Cel temperature 2 # include < stdio.h> 3 int main ( void ) 4 { 5 float fah, cel ;
More informationCC213
: (Ken-Yi Lee), E-mail: feis.tw@gmail.com 49 [P.51] C/C++ [P.52] [P.53] [P.55] (int) [P.57] (float/double) [P.58] printf scanf [P.59] [P.61] ( / ) [P.62] (char) [P.65] : +-*/% [P.67] : = [P.68] : ,
More informationA VALIDATION STUDY OF THE ACHIEVEMENT TEST OF TEACHING CHINESE AS THE SECOND LANGUAGE by Chen Wei A Thesis Submitted to the Graduate School and Colleg
上 海 外 国 语 大 学 SHANGHAI INTERNATIONAL STUDIES UNIVERSITY 硕 士 学 位 论 文 MASTER DISSERTATION 学 院 国 际 文 化 交 流 学 院 专 业 汉 语 国 际 教 育 硕 士 题 目 届 别 2010 届 学 生 陈 炜 导 师 张 艳 莉 副 教 授 日 期 2010 年 4 月 A VALIDATION STUDY
More informationSHIMPO_表1-表4
For servo motor ABLEREDUCER SSeries Coaxial shaft series Features S series Standard backlash is 3 arc-min, ideal for precision control. High rigidity & high torque were achived by uncaged needle roller
More informationMicrosoft Word - 論文封面-980103修.doc
淡 江 大 學 中 國 文 學 學 系 碩 士 在 職 專 班 碩 士 論 文 指 導 教 授 : 呂 正 惠 蘇 敏 逸 博 士 博 士 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 研 究 生 : 陳 麗 淑 撰 中 華 民 國 98 年 1 月 淡 江 大 學 研 究 生 中 文 論 文 提 要 論 文 名 稱 : 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 頁 數 :128 校 系 (
More informationSHIMPO_表1-表4
For servo motor ABLEREDUCER L Series Features Coaxial shaft series L series Helical gears contribute to reduce vibration and noise. Standard backlash is 5 arc-min, ideal for precision control. High rigidity
More informationTA-research-stats.key
Research Analysis MICHAEL BERNSTEIN CS 376 Last time What is a statistical test? Chi-square t-test Paired t-test 2 Today ANOVA Posthoc tests Two-way ANOVA Repeated measures ANOVA 3 Recall: hypothesis testing
More informationMicrosoft Word - chnInfoPaper6
文 章 编 号 :3-77(2)-- 文 章 编 号 :92 基 于 中 文 拼 音 输 入 法 数 据 的 汉 语 方 言 词 汇 自 动 识 别 张 燕, 张 扬 2, 孙 茂 松 (. 清 华 大 学 计 算 机 系, 北 京 市 84;2. 搜 狗 科 技 公 司, 北 京 市 84) 摘 要 : 方 言 研 究 领 域 中 的 语 音 研 究 词 汇 研 究 及 语 法 研 究 是 方 言
More informationMicrosoft Word - A201302-143_1361686654.doc
5 10 15 20 大 宗 交 易 的 价 格 效 应 : 信 息 泄 露 还 是 价 格 操 纵? # 黄 张 凯, 洪 洁 瑛, 王 浩 ( 清 华 大 学 经 济 管 理 学 院, 北 京 100084) 摘 要 : 本 文 运 用 事 件 研 究 的 方 法 分 析 大 宗 交 易 的 价 格 效 应 与 过 去 的 研 究 不 同, 本 文 将 分 析 拓 展 到 交 易 前 的 价 格
More informationMicrosoft PowerPoint ARIS_Platform_en.ppt
ARIS Platform www.ixon.com.tw ARIS ARIS Architecture of Integrated Information System Prof. Dr. Dr. h.c. mult. August-Wilhelm Scheer ARIS () 2 IDS Scheer AG International Presence >> Partners and subsidiaries
More informationShanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes
上 海 外 国 语 大 学 硕 士 学 位 论 文 对 外 汉 语 初 中 级 副 词 情 境 教 学 研 究 与 实 践 院 系 : 国 际 文 化 交 流 学 院 学 科 专 业 : 汉 语 国 际 教 育 姓 名 : 顾 妍 指 导 教 师 : 缪 俊 2016 年 5 月 Shanghai International Studies University THE STUDY AND PRACTICE
More information®
中 草 药 Chinese Traditional and Herbal Drugs 第 45 卷 第 15 期 214 年 8 月 2277 稳 心 颗 粒 治 疗 心 律 失 常 的 Meta 分 析 * 何 颖, 刘 莹, 邹 爱 英 天 津 中 医 药 大 学 第 二 附 属 医 院, 天 津 15 摘 要 : 利 用 Meta 分 析 法 评 价 稳 心 颗 粒 治 疗 心 律 失 常 的
More informationMcGraw-Hill School Education Group Physics : Principles and Problems G S 24
2017 4 357 GLOBAL EDUCATION Vol. 46 No4, 2017 * 1 / 400715 / 400715 / 400715 1 2010-2020 2 * mjzxzd1401 2012 AHA120008 1 23 3 4-7 8 9 McGraw-Hill School Education Group Physics : Principles and Problems
More information<4D6963726F736F667420576F7264202D20B1D0B14DACE3313031502D303133A6A8AA47B3F8A76928A4FDAFC0AD7329>
桃 園 創 新 技 術 學 院 教 師 專 題 研 究 計 畫 成 果 報 告 ********************** * 家 長 的 早 期 療 育 選 擇 ********************** 計 畫 編 號 : 教 專 研 101P-013 計 畫 類 別 : 個 別 型 計 畫 執 行 年 度 :101 年 度 執 行 期 間 :101 年 1 月 1 日 至 101 年 12
More informationMicrosoft Word - Preface_1_14.doc
中 文 混 淆 字 集 應 用 於 別 字 偵 錯 模 板 自 動 產 生 Chinese Confusion Word Set for Automatic Generation of Spelling Error Detecting Template 陳 勇 志 Yong-Zhi Chen, 吳 世 弘 Shih-Hung Wu 朝 陽 科 技 大 學 資 訊 工 程 系 Department of
More information(Pattern Recognition) 1 1. CCD
********************************* ********************************* (Pattern Recognition) 1 1. CCD 2. 3. 4. 1 ABSTRACT KeywordsMachine Vision, Real Time Inspection, Image Processing The purpose of this
More informationMicrosoft PowerPoint - STU_EC_Ch08.ppt
樹德科技大學資訊工程系 Chapter 8: Counters Shi-Huang Chen Fall 2010 1 Outline Asynchronous Counter Operation Synchronous Counter Operation Up/Down Synchronous Counters Design of Synchronous Counters Cascaded Counters
More informationJOURNAL OF EARTHQUAKE ENGINEERING AND ENGINEERING VIBRATION Vol. 31 No. 5 Oct /35 TU3521 P315.
31 5 2011 10 JOURNAL OF EARTHQUAKE ENGINEERING AND ENGINEERING VIBRATION Vol. 31 No. 5 Oct. 2011 1000-1301 2011 05-0075 - 09 510405 1 /35 TU3521 P315. 8 A Earthquake simulation shaking table test and analysis
More information穨423.PDF
Chinese Journal of Science Education 2002,, 423-439 2002, 10(4), 423-439 1 2 1 1 1 2 90 8 10 91 4 9 91 8 22 ) NII 1995 7 14, 1999 1997 (Cooperative Remotely Accessible Learning CORAL) 424 (Collaborative
More information一般社団法人電子情報通信学会 信学技報 THE INSTITUTE OF ELECTRONICS, IEICE Technical Report INFORMATION THE INSTITUTE OF AND ELECTRONICS, COMMUNICATION ENGINEERS IEICE L
一般社団法人電子情報通信学会 信学技報 THE INSTITUTE OF ELECTRONICS, IEICE Technical Report INFORMATION THE INSTITUTE OF AND ELECTRONICS, COMMUNICATION ENGINEERS IEICE LOIS2016-85(2017-03) Technical Report INFORMATION AND
More informationCorpus Word Parser 183
95 182 2010 1946 5 15 1948 6 15 1949 3 15 8 1 2011 2012 11 8 2015 12 31 Corpus Word Parser 183 2017. 1 ROST Content Mining 2003 20 60 2003 184 2003 20 60 1999 2009 2003 Discourse Analysis 1952 Language
More informationMicrosoft Word - 01李惠玲ok.doc
康 寧 學 報 11:1-20(2009) 1 數 位 學 習 於 護 理 技 術 課 程 之 運 用 與 評 值 * 李 惠 玲 ** 高 清 華 *** 呂 莉 婷 摘 要 背 景 : 網 路 科 技 在 教 育 的 使 用 已 成 為 一 種 有 利 的 教 學 輔 助 工 具 網 路 教 學 的 特 性, 在 使 學 習 可 不 分 時 間 與 空 間 不 同 進 度 把 握 即 時 性 資
More informationVol. 36 ( 2016 ) No. 6 J. of Math. (PRC) HS, (, ) :. HS,. HS. : ; HS ; ; Nesterov MR(2010) : 90C05; 65K05 : O221.1 : A : (2016)
Vol. 36 ( 6 ) No. 6 J. of Math. (PRC) HS, (, 454) :. HS,. HS. : ; HS ; ; Nesterov MR() : 9C5; 65K5 : O. : A : 55-7797(6)6-9-8 ū R n, A R m n (m n), b R m, b = Aū. ū,,., ( ), l ū min u s.t. Au = b, (.)
More information(Microsoft Word - \261M\256\327\272\353\302\262\263\370\247iEnd.doc)
摘 要 長 榮 大 學 資 訊 管 理 學 系 畢 業 專 案 實 作 專 案 編 號 : 旅 遊 行 程 規 劃 - 以 台 南 市 為 例 Tour Scheduling for Tainan City CJU-IM- PRJ-096-029 執 行 期 間 : 95 年 2 月 13 日 至 96 年 1 月 20 日 陳 貽 隆 陳 繼 列 張 順 憶 練 哲 瑋 專 案 參 與 人 員 :
More information纽约留学日记
孔 令 帅 博 士 纽 约 留 学 日 记 ( 一 ) 2012.1.26, 周 四, 晴 转 小 雨 今 天 终 于 踏 上 飞 往 美 利 坚 合 众 国 的 路 途 经 过 漫 长 的 近 14 个 小 时 的 飞 行, 终 于 体 会 到, 其 实 坐 飞 机 也 是 件 痛 苦 的 事 情 坐 的 是 东 航 的 飞 机, 飞 机 上 大 多 是 中 国 人, 各 有 各 的 素 质, 不
More information28 2015 3 1 2 2011-2012 38 985 31 EXCEL 2005-2010 985 3 985 2011 2012 EXCEL 38 985 31 985 2011-2012 38 985 1. 38 985 90 20 70 1 2005-2010 2011-2012 13
36 3 Vol. 36 No.3 2 0 1 5 5 May 2 0 1 5 985 2011-2012 361005 2011-2012 985 985 985 2005-2012 985 985 G645 A 1001-4519 2015 03-0027 - 12 DOI 10. 14138 /j. 1001-4519. 2015. 03. 002712 2005-2010 985 2012
More information< F63756D656E D2D796E2D31C6DABFAF2D31D6D0D2BDD2A9CFD6B4FABBAF2D C4EA2DB5DA38C6DA2D30362DC3F1D7E5D2BDD2A92E6D6469>
绎 1 2 1. 8300112 援 830000 CNKI 1979-20121989-2013 PubMed/MEDLINE Jadad Cochrane RevMan 5.2.0 Meta 4 360 Meta OS WMD 95%-0.48-0.81-0.160.04-0.150.22 RR 95% 1.671.292.151.220.354.20 doi: 10.11842/wst.2014.08.030
More informationMicrosoft PowerPoint - ATF2015.ppt [相容模式]
Improving the Video Totalized Method of Stopwatch Calibration Samuel C.K. Ko, Aaron Y.K. Yan and Henry C.K. Ma The Government of Hong Kong Special Administrative Region (SCL) 31 Oct 2015 1 Contents Introduction
More information林教授2.PDF
83 Taiwan Congress Function and Trend After Embellishing Constitute LinSuei - gie Abstract National Assembly becomes to be the non-permanent conference aimed at the particular assignments. For this reason,
More informationVol. 22 No. 4 JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Aug GPS,,, : km, 2. 51, , ; ; ; ; DOI: 10.
22 4 2017 8 Vol. 22 No. 4 JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Aug. 2017 150080 GPS,,, : 27. 36 km, 2. 51, 110. 43, ; ; ; ; DOI: 10. 15938 /j. jhust. 2017. 04. 015 U469. 13 A 1007-2683
More informationVLBI2010 [2] 1 mm EOP VLBI VLBI [3 5] VLBI h [6 11] VLBI VLBI VLBI VLBI VLBI GPS GPS ( ) [12] VLBI 10 m VLBI 65 m [13,14] (referen
31 2 Vol. 31, No. 2 2013 5 PROGRESS IN ASTRONOMY May., 2013 doi: 10.3969/j.issn.1000-8349.2013.02.08 VLBI 1,2 1 ( 1. 200030 2. 100049 ) VLBI VLBI VLBI VLBI VLBI VLBI P228.6 A 1 (VLBI) 20 60 (ITRF) (EOP)
More information2 137 [5]. [6].. [7]. [8-9].. (PCA) PCA HIS C1C2C3.. RGB Hotelling. [1-11]. R G B 3. RGB 1) RGB M N 3 x = [x R x G x B ] T. RGB 3 3 C x (1)
28 2 21 3 JOURNAL OF APPLIED SCIENCES Electronics and Information Engineering Vol. 28 No. 2 Mar. 21 255-8297(21)2-136-6 4379. 1... TP751 P231.5 A Detection and Compensation of Shadows in High Resolution
More information1 ABSTRACT 3 5 13 14 14 15 15 16 17 18 18 18 18-21 28 33 34 46 47 53 54 2
: - S99017212 O O 1 1 ABSTRACT 3 5 13 14 14 15 15 16 17 18 18 18 18-21 28 33 34 46 47 53 54 2 - A L Aeq CNE 463 3-5 L Aeq L Aeq CNE WHO/ISH 1999 [49] 18.6kPa / 12.0kPa EpiInfo6.04 SPSS10.0 Logistic 10
More information156 ( ) [2] [ 3 ] [ 4 ] [5] [6] 1747 [ 7 ] ( ) [ 8 ] [2] 12 [3] [4] [5] [6] [7] [
BIBLID 1026-5279 (2005) 94:2 p. 155-172 (2005.12) 155 1324 1254 1 330 1936 1747 [ 1 ] Keywords Ma Tuan-lin Wen-hsien T ng-k ao Catalog Edition E-mail: craacl@faculty. pccu.edu.tw [1] 1626 6 156 (2005.12)
More information2015年4月11日雅思阅读预测机经(新东方版)
剑 桥 雅 思 10 第 一 时 间 解 析 阅 读 部 分 1 剑 桥 雅 思 10 整 体 内 容 统 计 2 剑 桥 雅 思 10 话 题 类 型 从 以 上 统 计 可 以 看 出, 雅 思 阅 读 的 考 试 话 题 一 直 广 泛 多 样 而 题 型 则 稳 中 有 变 以 剑 桥 10 的 test 4 为 例 出 现 的 三 篇 文 章 分 别 是 自 然 类, 心 理 研 究 类,
More information2015 Chinese FL Written examination
Victorian Certificate of Education 2015 SUPERVISOR TO ATTACH PROCESSING LABEL HERE Letter STUDENT NUMBER CHINESE FIRST LANGUAGE Written examination Monday 16 November 2015 Reading time: 11.45 am to 12.00
More information度 身 體 活 動 量 ; 芬 蘭 幼 兒 呈 現 中 度 身 體 活 動 量 之 比 例 高 於 臺 灣 幼 兒 (5) 幼 兒 在 投 入 度 方 面 亦 達 顯 著 差 異 (χ²=185.35, p <.001), 芬 蘭 與 臺 灣 幼 兒 多 半 表 現 出 中 度 投 入 與 高 度
臺 灣 與 芬 蘭 幼 兒 園 室 內 自 由 遊 戲 內 涵 之 探 討 林 昭 溶 毛 萬 儀 經 國 管 理 暨 健 康 學 院 幼 兒 保 育 系 副 教 授 joyce@ems.cku.edu.tw 吳 敏 而 國 家 教 育 研 究 院 研 究 員 rozwu@mail.naer.edu.tw wanyi@ems.cku.edu.tw 摘 要 自 由 遊 戲 被 視 為 是 幼 兒 的
More informationii
i ii iii iv Abstract This senior project is to use compute simulation to accomplish analysis and synthesis of Cam. The object of these focuses on three major partsthe first one is to establish the mathematical
More informationPowerPoint Presentation
ITM omputer and ommunication Technologies Lecture #4 Part I: Introduction to omputer Technologies Logic ircuit Design & Simplification ITM 計算機與通訊技術 2 23 香港中文大學電子工程學系 Logic function implementation Logic
More informationSuperMap 系列产品介绍
wuzhihong@scu.edu.cn 3 / 1 / 16 / John M. Yarbrough: Digital Logic Applications and Design + + 30% 70% 1 CHAPTER 1 Digital Concepts and Number Systems 1.1 Digital and Analog: Basic Concepts P1 1.1 1.1
More informationAchieving One TeraFLOPS with 28-nm FPGAs
28nm FPGA TeraFLOPS WP011421.0 DSP 101 Innovation Drive San Jose, CA 95134 www.altera.com 2010 Altera ALTERA ARRIA CYCLONE HARDCOPY MAX MEGACORE NIOS QUARTUS STRATIX Altera www.altera.com/common/legal.html
More information<4D6963726F736F667420506F776572506F696E74202D20B5DAD2BBD5C228B4F2D3A1B0E6292E707074205BBCE6C8DDC4A3CABD5D>
Homeworks ( 第 三 版 ):.4 (,, 3).5 (, 3).6. (, 3, 5). (, 4).4.6.7 (,3).9 (, 3, 5) Chapter. Number systems and codes 第 一 章. 数 制 与 编 码 . Overview 概 述 Information is of digital forms in a digital system, and
More informationJournal of Curriculum Studies September, 2013, Vol. 8, No. 2, pp. 23-52 A Study of the Relationship between Senior High School Curriculum and the Mult
主 題 論 文 課 程 研 究 8 卷 2 期 2013 年 9 月 頁 23-52 十 二 年 國 教 變 革 下 高 中 課 程 與 大 學 多 元 入 學 方 案 關 係 之 研 究 丘 愛 鈴 摘 要 在 十 二 年 國 民 基 本 教 育 的 變 革 下, 本 研 究 目 的 有 三 : 一 分 析 高 中 教 育 與 大 學 多 元 入 學 政 策 目 標 的 關 係 ; 二 探 討 大
More informationWWW PHP
WWW PHP 2003 1 2 function function_name (parameter 1, parameter 2, parameter n ) statement list function_name sin, Sin, SIN parameter 1, parameter 2, parameter n 0 1 1 PHP HTML 3 function strcat ($left,
More informationMicrosoft Word - 24217010311110028谢雯雯.doc
HUAZHONG AGRICULTURAL UNIVERSITY 硕 士 学 位 论 文 MASTER S DEGREE DISSERTATION 80 后 女 硕 士 生 择 偶 现 状 以 武 汉 市 七 所 高 校 为 例 POST-80S FEMALE POSTGRADUATE MATE SELECTION STATUS STUDY TAKE WUHAN SEVEN UNIVERSITIES
More informationENGG1410-F Tutorial 6
Jianwen Zhao Department of Computer Science and Engineering The Chinese University of Hong Kong 1/16 Problem 1. Matrix Diagonalization Diagonalize the following matrix: A = [ ] 1 2 4 3 2/16 Solution The
More informationMicrosoft PowerPoint - NCBA_Cattlemens_College_Darrh_B
Introduction to Genetics Darrh Bullock University of Kentucky The Model Trait = Genetics + Environment Genetics Additive Predictable effects that get passed from generation to generation Non-Additive Primarily
More informationuntitled
Co-integration and VECM Yi-Nung Yang CYCU, Taiwan May, 2012 不 列 1 Learning objectives Integrated variables Co-integration Vector Error correction model (VECM) Engle-Granger 2-step co-integration test Johansen
More informationUntitiled
学术 时空 中国高等教育自学考试研究 0 年 回顾与反思 中国高等教育自学考试研究0年 回顾与反思* 邵晓枫 摘要 高等教育自学考试制度创立 0 多年来 涌现出大量的研究成果 主要对这一制度的产生 发展 本 质 功能 考生 社会助学 教育教学 国家考试 以及农村自考等方面进行研究 形成了一个专门的研究领 域 自学考试既是一种国家考试制度 又是一种教育形式 也是一种以学习者为主体的自主学习制度 学术界对
More information普通高等学校本科专业设置管理规定
普 通 高 等 学 校 本 科 专 业 设 置 申 请 表 ( 备 案 专 业 适 用 ) 学 校 名 称 ( 盖 章 ): 学 校 主 管 部 门 : 专 业 名 称 : 浙 江 外 国 语 学 院 浙 江 省 教 育 厅 金 融 工 程 专 业 代 码 : 020302 所 属 学 科 门 类 及 专 业 类 : 金 融 学 / 金 融 工 程 类 学 位 授 予 门 类 : 修 业 年 限 :
More information,,,;, ;,,,,,,,,,,, ;, (),, ; ; ;,,,,,,,,,,,,,, ;,,,,, :;,,,,,,,,,, ;,,,;,,;,,,,;,,,, 41
Ξ :,,,, :,,,,,,,,,,, (), 1, 2, ;, Ξ 1 11, 1993,430 2,1996,1608 40 ,,,;, ;,,,,,,,,,,, ;, (),, ; ; ;,,,,,,,,,,,,,, ;,,,,, :;,,,,,,,,,, ;,,,;,,;,,,,;,,,, 41 2001 6,,,,,,,,,,,,,,;,,,,, (),,,,,,,,,,,,,,,,,,,
More information59 1 CSpace 2 CSpace CSpace URL CSpace 1 CSpace URL 2 Lucene 3 ID 4 ID Web 1. 2 CSpace LireSolr 3 LireSolr 3 Web LireSolr ID
58 2016. 14 * LireSolr LireSolr CEDD Ajax CSpace LireSolr CEDD Abstract In order to offer better image support services it is necessary to extend the image retrieval function of our institutional repository.
More informationMicrosoft Word - 11-秦华伟.doc
热 带 海 洋 学 报 JOURNAL OF TROPICAL OCEANOGRAPHY 海 洋 调 查 与 观 测 仪 器 doi:10.3969/j.issn.1009-5470.2013.01.011 2013 年 第 32 卷 第 1 期 : 76 80 http://www.jto.ac.cn * 应 用 于 龟 山 岛 热 液 喷 口 探 寻 的 散 射 光 式 水 下 浊 度 仪 研
More information01 招 生 简 章 03 考 试 说 明 04 笔 试 样 题 2 emba.pbcsf.tsinghua.edu.cn
01 招 生 简 章 03 考 试 说 明 04 笔 试 样 题 2 emba.pbcsf.tsinghua.edu.cn 清 华 五 道 口 金 融 EMBA 招 生 简 章 金 融 EMBA 教 育 中 心 2012 年, 为 加 快 现 代 金 融 学 科 建 设, 培 养 高 端 金 融 人 才, 促 进 金 融 界 与 金 融 教 育 界 的 联 系, 提 高 金 融 研 究 水 平, 推
More information1.2 资 金 的 管 理 1.1 权 利 义 务 来 源 MOU 1.3 数 据 的 使 用 和 保 护 2 国 际 空 间 站 资 源 分 配 方 案 54
第 29 卷 第 12 期 全 球 科 技 经 济 瞭 望 Vol. 29 No. 12 2014 年 12 月 Global Science, Technology and Economy Outlook Dec. 2014 刘 阳 子 ( 中 国 科 学 技 术 信 息 研 究 所, 北 京 ) 摘 要 : 空 间 探 索 既 复 杂 艰 巨 又 耗 资 甚 大, 因 此, 世 界 各 国 无
More information"航海王"人物人格特質探究doc
篇 名 : 航 海 王 人 物 人 格 特 質 探 究 作 者 : 徐 巧 珊 草 屯 商 工 會 二 一 班 指 導 老 師 : 黃 瓊 瑤 老 師 壹 前 言 夢 想 是 人 追 尋 成 功 的 第 一 步, 有 了 它 便 有 朝 前 的 動 力, 有 人 說 : 人 因 夢 想 而 偉 大, 在 這 裡 我 便 有 深 感 受, 在 航 海 王 裡 他 們 都 有 屬 於 自 己 的 夢 想,
More information2016-3-2ZS.indd
中 国 科 技 资 源 导 刊 ISSN 1674-1544 2016 年 5 月 第 48 卷 第 3 期 40-44, 50 CHINA SCIENCE & TECHNOLOGY RESOURCES REVIEW ISSN 1674-1544 Vol.48 No.3 40-44, 50 May. 2016 安 徽 省 新 型 产 学 研 合 作 组 织 的 发 展 1 任 媛 媛 等 沙 其 富
More information<4D6963726F736F667420576F7264202D20B8DFB9B0B0D3B0D3F5E0D3A6C1A6CAB5B2E2D3EBBCC6CBE3BDE1B9FBB2EED2ECD4ADD2F2B7D6CEF62DD5C5B9FAD0C22E646F6378>
高 拱 坝 坝 踵 应 力 实 测 与 计 算 结 果 差 异 原 因 分 析 张 国 新 周 秋 景 ( 中 国 水 利 水 电 科 学 研 究 院, 北 京 100038) 摘 要 : 坝 踵 应 力 是 关 系 到 混 凝 土 坝 是 否 开 裂 和 安 全 的 一 个 重 要 指 标, 不 管 是 用 结 构 力 学 法 还 是 有 限 元 法 都 能 计 算 出 坝 踵 有 一 定 的 拉
More informationCorporate Social Responsibility CSR CSR CSR 1 2 ~ CSR 6 CSR 7 CSR 8 CSR 9 10 ~ CSR 14 CSR CSR 2013 A A 23.
24 3 Vol. 24 No. 3 2015 6 OPERATIONS RESEARCH AND MANAGEMENT SCIENCE Jun. 2015 1 2 2 1. 300071 2. 300071 Markowitz 10 F830. 59 A 1007-3221 2015 03-0275-13 Improvement of Portfolio Models Research An Empirical
More informationChinese Journal of Applied Probability and Statistics Vol.25 No.4 Aug (,, ;,, ) (,, ) 应用概率统计 版权所有, Zhang (2002). λ q(t)
2009 8 Chinese Journal of Applied Probability and Statistics Vol.25 No.4 Aug. 2009,, 541004;,, 100124),, 100190), Zhang 2002). λ qt), Kolmogorov-Smirov, Berk and Jones 1979). λ qt).,,, λ qt),. λ qt) 1,.
More information(2005 (2006, (2006 ( , ( ,,,,,, ( (ASFR ASFR : x, B x x, P f x x (1 (2 4,, , 2 1 :, 1 2, 20-29
2011 5 26 ( 107 SOUTH CHINA POPULATION No.5 2011 Vol. 26 General No. 107 * (, 430073 [ ] 5490 (TFR, 1985, TFR,, 1985-2008 ; 2009-2014, 2015 Logit, : [ ] ; ; ; Logit [] C92-05 [] A [ ] 1004-1613 (2011 05-0034-09
More information中 国 药 事 2016 年 7 月 第 30 卷 第 7 期 709 体 外 诊 断 试 剂 是 指 用 生 物 化 学 免 疫 学 微 生 物 学 分 子 生 物 学 等 原 理 或 方 法 制 备, 在 体 外 用 于 对 人 体 疾 病 的 诊 断 筛 查 或 监 测 及 流 行 病 学 调
708 中 国 药 事 2016 年 7 月 第 30 卷 第 7 期 医 院 药 事 2010-2015 年 北 京 医 院 体 外 诊 断 试 剂 采 购 情 况 及 管 理 模 式 探 讨 田 晓 鑫, 刘 蕾 *, 穆 林 ( 北 京 医 院 药 学 部, 北 京 100730) 摘 要 目 的 : 对 我 院 体 外 诊 断 试 剂 采 购 情 况 进 行 评 价 与 分 析, 对 使 用
More information3.1 num = 3 ch = 'C' 2
Java 1 3.1 num = 3 ch = 'C' 2 final 3.1 final : final final double PI=3.1415926; 3 3.2 4 int 3.2 (long int) (int) (short int) (byte) short sum; // sum 5 3.2 Java int long num=32967359818l; C:\java\app3_2.java:6:
More information2011_1_核红.indd
中 国 科 技 资 源 导 刊 ISSN 1674-1544 2011 年 1 月 第 43 卷 第 1 期 24-32 CHINA SCIENCE & TECHNOLOGY RESOURCES REVIEW ISSN 1674-1544 Vol.43 No.1 24-32, Jan. 2011 山 西 省 区 域 竞 争 测 算 与 评 价 分 析 芦 晶 ( 上 海 对 外 贸 易 学 院, 上
More information%
38 1 2014 1 Vol. 38No. 1 January 2014 51 Population Research 2010 2010 2010 65 100028 Changing Lineal Families with Three Generations An Analysis of the 2010 Census Data Wang Yuesheng Abstract In contemporary
More information254-256 1931 300 1982 338 132 133 219 220 101 184 45 45 149 151 155 129 130 30 210 106 318 319 77 166 160161 128 130 1982 18 19 131 191 41 1943 11 13 47 222 16 29 1979 12 27 62 80 78 79 119
More information~ 10 2 P Y i t = my i t W Y i t 1000 PY i t Y t i W Y i t t i m Y i t t i 15 ~ 49 1 Y Y Y 15 ~ j j t j t = j P i t i = 15 P n i t n Y
* 35 4 2011 7 Vol. 35 No. 4 July 2011 3 Population Research 1950 ~ 1981 The Estimation Method and Its Application of Cohort Age - specific Fertility Rates Wang Gongzhou Hu Yaoling Abstract Based on the
More information國家圖書館典藏電子全文
- - I - II - Abstract Except for few intellect games such as chess, mahjong, and poker games, role-play games in on-line games are the mainstream. As for the so-called RPG, briefly speaking, it is the
More information天 主 教 輔 仁 大 學 社 會 學 系 學 士 論 文 小 別 勝 新 婚? 久 別 要 離 婚? 影 響 遠 距 家 庭 婚 姻 感 情 因 素 之 探 討 Separate marital relations are getting better or getting worse? -Exp
天 主 教 輔 仁 大 學 社 會 學 系 學 士 論 文 小 別 勝 新 婚? 久 別 要 離 婚? 影 響 遠 距 家 庭 婚 姻 感 情 因 素 之 探 討 Separate marital relations are getting better or getting worse? -Explore the impact of emotional factors couples do not
More information27 :OPC 45 [4] (Automation Interface Standard), (Costom Interface Standard), OPC 2,,, VB Delphi OPC, OPC C++, OPC OPC OPC, [1] 1 OPC 1.1 OPC OPC(OLE f
27 1 Vol.27 No.1 CEMENTED CARBIDE 2010 2 Feb.2010!"!!!!"!!!!"!" doi:10.3969/j.issn.1003-7292.2010.01.011 OPC 1 1 2 1 (1., 412008; 2., 518052), OPC, WinCC VB,,, OPC ; ;VB ;WinCC Application of OPC Technology
More information4 115,,. : p { ( x ( t), y ( t) ) x R m, y R n, t = 1,2,, p} (1),, x ( t), y ( t),,: F : R m R n.,m, n, u.,, Sigmoid. :,f Sigmoid,f ( x) = ^y k ( t) =
2007 4 4 :100026788 (2007) 0420114206, (, 430074) :,,,,,,GIS.,,. : ; ; ; ; : TP391 ;P338 : A Development of Combinatorial Intelligentized Decision2Making Support System and Its Utilization in Runoff Forecasting
More informationThesis for the Master degree in Engineering Research on Negative Pressure Wave Simulation and Signal Processing of Fluid-Conveying Pipeline Leak Candi
U17 10220 UDC624 Thesis for the Master degree in Engineering Research on Negative Pressure Wave Simulation and Signal Processing of Fluid-Conveying Pipeline Leak Candidate:Chen Hao Tutor: Xue Jinghong
More information2 ( 自 然 科 学 版 ) 第 20 卷 波 ). 这 种 压 缩 波 空 气 必 然 有 一 部 分 要 绕 流 到 车 身 两 端 的 环 状 空 间 中, 形 成 与 列 车 运 行 方 向 相 反 的 空 气 流 动. 在 列 车 尾 部, 会 产 生 低 于 大 气 压 的 空 气 流
第 20 卷 第 3 期 2014 年 6 月 ( 自 然 科 学 版 ) JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE) Vol. 20 No. 3 June 2014 DOI: 10.3969/j.issn.1007-2861.2013.07.031 基 于 FLUENT 测 轨 道 交 通 隧 道 中 电 波 折 射 率 结 构 常 数 张 永
More informationuntitled
19932005 1 1993-2005 The Urban Residential Housing System in Shanghai 1993-2005: the Marketization Process and Housing Affordability Jie Chen, Assistant Professor, Management School of Fudan University,
More information國立中山大學學位論文典藏.PDF
I II III The Study of Factors to the Failure or Success of Applying to Holding International Sport Games Abstract For years, holding international sport games has been Taiwan s goal and we are on the way
More informationPowerPoint Presentation
Decision analysis 量化決策分析方法專論 2011/5/26 1 Problem formulation- states of nature In the decision analysis, decision alternatives are referred to as chance events. The possible outcomes for a chance event
More information国学思想与大学数学
Pure Mathematics 理 论 数 学, 2013, 3, 201-206 http://dx.doi.org/10.12677/pm.2013.33030 Published Online May 2013 (http://www.hanspub.org/journal/pm.html) Chinese Traditional Culture and College Mathematics
More information<4D6963726F736F667420576F7264202D20B8BDBCFE3220BDCCD3FDB2BFD6D8B5E3CAB5D1E9CAD2C4EAB6C8BFBCBACBB1A8B8E6A3A8C4A3B0E5A3A92E646F6378>
批 准 立 项 年 份 2007 通 过 验 收 年 份 2013 教 育 部 重 点 实 验 室 年 度 报 告 ( 2015 年 1 月 2015 年 12 月 ) 实 验 室 名 称 : 机 器 智 能 与 先 进 计 算 教 育 部 重 点 实 验 室 实 验 室 主 任 : 张 军 实 验 室 联 系 人 / 联 系 电 电 : 詹 志 辉 /13826089486 E-mail 地 址
More information~ 4 mm h 8 60 min 1 10 min N min 8. 7% min 2 9 Tab. 1 1 Test result of modified
30 1 2013 1 Journal of Highway and Transportation Research and Development Vol. 30 No. 1 Jan. 2013 doi 10. 3969 /j. issn. 1002-0268. 2013. 01. 004 1 2 2 2 2 1. 400074 2. 400067 240 U416. 217 A 1002-0268
More informationMicrosoft Word - 上傳電子檔.doc
創 新 設 計 研 究 所 碩 士 學 位 論 文 臺 北 聯 營 公 車 站 立 輔 助 設 備 最 適 設 置 高 度 研 究 In Search of the Appropriate Height for the Standing Support Equipments on the City Bus at Taipei 研 究 生 : 賴 振 永 指 導 教 授 : 黃 啟 梧 中 華 民 國
More informationmm 400 mm 15 mm EOF mm/10a Fig. 1 Distributions
7 2 2011 3 ADVANCES IN CLIMATE CHANGE RESEARCH Vol. 7 No. 2 March 2011 1673-1719 (2011) 02-0097-07 1961 2007 77 5 5 6 2 3 8 11 1980 1980 1990 2015 8 11 P426.6 A 7.86% 4 50 0.35 5 6 19 7 8 9 1 1906 2005
More information<4D6963726F736F667420576F7264202D2032303132BFC6BCBCB9A4D7F7C4EAB1A82D3034313020205FD0DEB8B4B5C45F2E646F63>
科 技 工 作 年 报 (2012) 科 技 管 理 处 2013 年 3 月 1 目 录 一 科 技 工 作 总 结... 1 ( 一 ) 科 技 项 目 与 经 费... 1 ( 二 ) 科 技 成 果... 4 ( 三 ) 科 技 成 果 奖 励... 7 ( 四 ) 科 技 论 文 与 著 作... 9 ( 五 ) 科 技 创 新 条 件 能 力 建 设... 13 ( 六 ) 院 属 横
More informationMicrosoft Word - ch05note_1210.doc
Section 5. Antiderivatives and indefinite integrals 反 導 函 數 與 不 定 積 分 上 一 章 我 們 已 經 學 過 微 分 以 及 它 的 應 用 現 在 我 們 考 慮 反 向 的 過 程, 稱 為 積 分 (antidifferentiation), 給 定 一 個 導 函 數, 找 出 它 原 始 的 函 數 積 分 也 有 許 多
More informationg 100mv /g 0. 5 ~ 5kHz 1 YSV8116 DASP 1 N 2. 2 [ M] { x } + [ C] { x } + [ K]{ x } = { f t } 1 M C K 3 M C K f t x t 1 [ H( ω )] = - ω 2
10 2016 10 No. 10 Modular Machine Tool & Automatic Manufacturing Technique Oct. 2016 1001-2265 2016 10-0012 - 05 DOI 10. 13462 /j. cnki. mmtamt. 2016. 10. 004 * 116024 MIMO TH166 TG502 A Dynamic Performance
More information[1] Nielsen [2]. Richardson [3] Baldock [4] 0.22 mm 0.32 mm Richardson Zaki. [5-6] mm [7] 1 mm. [8] [9] 5 mm 50 mm [10] [11] [12] -- 40% 50%
38 2 2016 4 -- 1,2, 100190, 100083 065007 -- 0.25 mm 2.0 mm d 10 = 0.044 mm 640 3 300. Richardson--Zaki,,, O359 A doi 10.6052/1000-0879-15-230 EXPERIMENTAL STUDY OF FLUID-SOLID TWO-PHASE FLOW IN A VERTICAL
More informationMicrosoft Word doc
中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的
More informationAbstract There arouses a fever pursuing the position of being a civil servant in China recently and the phenomenon of thousands of people running to a
Abstract There arouses a fever pursuing the position of being a civil servant in China recently and the phenomenon of thousands of people running to attend the entrance examination of civil servant is
More information2005硕士论文模版
基 于 输 入 法 用 户 词 库 和 查 询 日 志 的 若 干 研 究 Some Research based on User Dictionary of Input Method and Query Log ( 申 请 清 华 大 学 工 学 硕 士 学 位 论 文 ) 培 养 单 位 : 计 算 机 科 学 与 技 术 系 学 科 : 计 算 机 科 学 与 技 术 研 究 生 : 王 鹏
More informationCoudert and Couharde 2005 Goldstein and Lardy % 36% Cline and Williamson 2007 Penn World Table = 100 Krugman 2009 Berg
* / 1 1980 2005 25 2004 1980 37% 2006 1 2002 2004 2005 2007 2009 enhanced-ppp 2005 30% Bosworth 2004 Coudert and Couharde 2005 Frankel 2006 Subramanian * 100871 tangxiang_pku@ 163. com 1 108 2006 2012
More information1. 前 言 由 於 石 油 價 格 浮 動, 汽 油 價 格 節 節 高 升 及 二 氧 化 碳 等 廢 棄 大 量 排 放 造 成 全 球 環 境 的 改 變, 因 此 世 界 各 國 都 極 力 提 倡 節 能 減 碳 進 而 掀 起 腳 踏 車 城 市 的 風 潮 因 應 目 前 自 行 車
JHGT-18.2(158) (2011-07) 華 岡 紡 織 期 刊 第 十 八 卷 第 二 期 ISSN 1025-9678 不 同 吸 濕 排 汗 織 物 應 用 於 自 行 車 衣 之 研 究 Study of Wicking Fabrics Used in Different Research Bicycle clothing 摘 要 曾 冠 臺, 李 貴 琪, * 游 輝 仁 G. T.
More information論文集29-1_前6P.indd
土木史研究論文集 Vol.29 2010 年 * ** Abstract Fukuchiyama Line, which locates in suburban of Osaka Megalopolis, has performed a part of Japanese trunk railway network. Because it was chosen as a national railway
More information92南師學術研討會
2003 92115 1 2003 25 50 1601 229 37 24 17 15 7 38 26 18 18 52.3 55.8 54.1 52.5 48.6 48.0 90% 85% 90% 83% 65.1 61.2 54.4 43.3 TIMSS 2003 92115 1 2003 1991 IAEP 1990-1991 Educational Testing Service International
More information