Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors

Size: px
Start display at page:

Download "Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors"

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

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 information

Improved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl

Improved 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 information

Microsoft PowerPoint _代工實例-1

Microsoft 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 information

C C

C 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 information

Microsoft Word - 澎湖田調報告_璉謙組.doc

Microsoft 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

(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 information

2/80 2

2/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 information

C/C++语言 - C/C++数据

C/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 information

CC213

CC213 : (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 information

A 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

A 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 information

SHIMPO_表1-表4

SHIMPO_表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 information

Microsoft Word - 論文封面-980103修.doc

Microsoft Word - 論文封面-980103修.doc 淡 江 大 學 中 國 文 學 學 系 碩 士 在 職 專 班 碩 士 論 文 指 導 教 授 : 呂 正 惠 蘇 敏 逸 博 士 博 士 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 研 究 生 : 陳 麗 淑 撰 中 華 民 國 98 年 1 月 淡 江 大 學 研 究 生 中 文 論 文 提 要 論 文 名 稱 : 倚 天 屠 龍 記 愛 情 敘 事 之 研 究 頁 數 :128 校 系 (

More information

SHIMPO_表1-表4

SHIMPO_表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 information

TA-research-stats.key

TA-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 information

Microsoft Word - chnInfoPaper6

Microsoft Word - chnInfoPaper6 文 章 编 号 :3-77(2)-- 文 章 编 号 :92 基 于 中 文 拼 音 输 入 法 数 据 的 汉 语 方 言 词 汇 自 动 识 别 张 燕, 张 扬 2, 孙 茂 松 (. 清 华 大 学 计 算 机 系, 北 京 市 84;2. 搜 狗 科 技 公 司, 北 京 市 84) 摘 要 : 方 言 研 究 领 域 中 的 语 音 研 究 词 汇 研 究 及 语 法 研 究 是 方 言

More information

Microsoft Word - A201302-143_1361686654.doc

Microsoft Word - A201302-143_1361686654.doc 5 10 15 20 大 宗 交 易 的 价 格 效 应 : 信 息 泄 露 还 是 价 格 操 纵? # 黄 张 凯, 洪 洁 瑛, 王 浩 ( 清 华 大 学 经 济 管 理 学 院, 北 京 100084) 摘 要 : 本 文 运 用 事 件 研 究 的 方 法 分 析 大 宗 交 易 的 价 格 效 应 与 过 去 的 研 究 不 同, 本 文 将 分 析 拓 展 到 交 易 前 的 价 格

More information

Microsoft PowerPoint ARIS_Platform_en.ppt

Microsoft 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 information

Shanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes

Shanghai 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 information

McGraw-Hill School Education Group Physics : Principles and Problems G S 24

McGraw-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>

<4D6963726F736F667420576F7264202D20B1D0B14DACE3313031502D303133A6A8AA47B3F8A76928A4FDAFC0AD7329> 桃 園 創 新 技 術 學 院 教 師 專 題 研 究 計 畫 成 果 報 告 ********************** * 家 長 的 早 期 療 育 選 擇 ********************** 計 畫 編 號 : 教 專 研 101P-013 計 畫 類 別 : 個 別 型 計 畫 執 行 年 度 :101 年 度 執 行 期 間 :101 年 1 月 1 日 至 101 年 12

More information

Microsoft Word - Preface_1_14.doc

Microsoft 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 ********************************* ********************************* (Pattern Recognition) 1 1. CCD 2. 3. 4. 1 ABSTRACT KeywordsMachine Vision, Real Time Inspection, Image Processing The purpose of this

More information

Microsoft PowerPoint - STU_EC_Ch08.ppt

Microsoft 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 information

JOURNAL OF EARTHQUAKE ENGINEERING AND ENGINEERING VIBRATION Vol. 31 No. 5 Oct /35 TU3521 P315.

JOURNAL 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

穨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 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 information

Corpus Word Parser 183

Corpus 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 information

Microsoft Word - 01李惠玲ok.doc

Microsoft Word - 01李惠玲ok.doc 康 寧 學 報 11:1-20(2009) 1 數 位 學 習 於 護 理 技 術 課 程 之 運 用 與 評 值 * 李 惠 玲 ** 高 清 華 *** 呂 莉 婷 摘 要 背 景 : 網 路 科 技 在 教 育 的 使 用 已 成 為 一 種 有 利 的 教 學 輔 助 工 具 網 路 教 學 的 特 性, 在 使 學 習 可 不 分 時 間 與 空 間 不 同 進 度 把 握 即 時 性 資

More information

Vol. 36 ( 2016 ) No. 6 J. of Math. (PRC) HS, (, ) :. HS,. HS. : ; HS ; ; Nesterov MR(2010) : 90C05; 65K05 : O221.1 : A : (2016)

Vol. 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)

(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 information

28 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

28 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>

< 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 information

Microsoft PowerPoint - ATF2015.ppt [相容模式]

Microsoft 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

林教授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 information

Vol. 22 No. 4 JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Aug GPS,,, : km, 2. 51, , ; ; ; ; DOI: 10.

Vol. 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 information

VLBI2010 [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

VLBI2010 [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 information

2 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)

2 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 information

1 ABSTRACT 3 5 13 14 14 15 15 16 17 18 18 18 18-21 28 33 34 46 47 53 54 2

1 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 information

156 ( ) [2] [ 3 ] [ 4 ] [5] [6] 1747 [ 7 ] ( ) [ 8 ] [2] 12 [3] [4] [5] [6] [7] [

156 ( ) [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 information

2015年4月11日雅思阅读预测机经(新东方版)

2015年4月11日雅思阅读预测机经(新东方版) 剑 桥 雅 思 10 第 一 时 间 解 析 阅 读 部 分 1 剑 桥 雅 思 10 整 体 内 容 统 计 2 剑 桥 雅 思 10 话 题 类 型 从 以 上 统 计 可 以 看 出, 雅 思 阅 读 的 考 试 话 题 一 直 广 泛 多 样 而 题 型 则 稳 中 有 变 以 剑 桥 10 的 test 4 为 例 出 现 的 三 篇 文 章 分 别 是 自 然 类, 心 理 研 究 类,

More information

2015 Chinese FL Written examination

2015 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), 芬 蘭 與 臺 灣 幼 兒 多 半 表 現 出 中 度 投 入 與 高 度

度 身 體 活 動 量 ; 芬 蘭 幼 兒 呈 現 中 度 身 體 活 動 量 之 比 例 高 於 臺 灣 幼 兒 (5) 幼 兒 在 投 入 度 方 面 亦 達 顯 著 差 異 (χ²=185.35, p <.001), 芬 蘭 與 臺 灣 幼 兒 多 半 表 現 出 中 度 投 入 與 高 度 臺 灣 與 芬 蘭 幼 兒 園 室 內 自 由 遊 戲 內 涵 之 探 討 林 昭 溶 毛 萬 儀 經 國 管 理 暨 健 康 學 院 幼 兒 保 育 系 副 教 授 joyce@ems.cku.edu.tw 吳 敏 而 國 家 教 育 研 究 院 研 究 員 rozwu@mail.naer.edu.tw wanyi@ems.cku.edu.tw 摘 要 自 由 遊 戲 被 視 為 是 幼 兒 的

More information

ii

ii 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 information

PowerPoint Presentation

PowerPoint 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 information

SuperMap 系列产品介绍

SuperMap 系列产品介绍 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 information

Achieving One TeraFLOPS with 28-nm FPGAs

Achieving 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>

<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 information

Journal 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

Journal 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 information

WWW PHP

WWW 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 information

Microsoft Word - 24217010311110028谢雯雯.doc

Microsoft Word - 24217010311110028谢雯雯.doc HUAZHONG AGRICULTURAL UNIVERSITY 硕 士 学 位 论 文 MASTER S DEGREE DISSERTATION 80 后 女 硕 士 生 择 偶 现 状 以 武 汉 市 七 所 高 校 为 例 POST-80S FEMALE POSTGRADUATE MATE SELECTION STATUS STUDY TAKE WUHAN SEVEN UNIVERSITIES

More information

ENGG1410-F Tutorial 6

ENGG1410-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 information

Microsoft PowerPoint - NCBA_Cattlemens_College_Darrh_B

Microsoft 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 information

untitled

untitled 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 information

Untitiled

Untitiled 学术 时空 中国高等教育自学考试研究 0 年 回顾与反思 中国高等教育自学考试研究0年 回顾与反思* 邵晓枫 摘要 高等教育自学考试制度创立 0 多年来 涌现出大量的研究成果 主要对这一制度的产生 发展 本 质 功能 考生 社会助学 教育教学 国家考试 以及农村自考等方面进行研究 形成了一个专门的研究领 域 自学考试既是一种国家考试制度 又是一种教育形式 也是一种以学习者为主体的自主学习制度 学术界对

More information

普通高等学校本科专业设置管理规定

普通高等学校本科专业设置管理规定 普 通 高 等 学 校 本 科 专 业 设 置 申 请 表 ( 备 案 专 业 适 用 ) 学 校 名 称 ( 盖 章 ): 学 校 主 管 部 门 : 专 业 名 称 : 浙 江 外 国 语 学 院 浙 江 省 教 育 厅 金 融 工 程 专 业 代 码 : 020302 所 属 学 科 门 类 及 专 业 类 : 金 融 学 / 金 融 工 程 类 学 位 授 予 门 类 : 修 业 年 限 :

More information

,,,;, ;,,,,,,,,,,, ;, (),, ; ; ;,,,,,,,,,,,,,, ;,,,,, :;,,,,,,,,,, ;,,,;,,;,,,,;,,,, 41

,,,;, ;,,,,,,,,,,, ;, (),, ; ; ;,,,,,,,,,,,,,, ;,,,,, :;,,,,,,,,,, ;,,,;,,;,,,,;,,,, 41 Ξ :,,,, :,,,,,,,,,,, (), 1, 2, ;, Ξ 1 11, 1993,430 2,1996,1608 40 ,,,;, ;,,,,,,,,,,, ;, (),, ; ; ;,,,,,,,,,,,,,, ;,,,,, :;,,,,,,,,,, ;,,,;,,;,,,,;,,,, 41 2001 6,,,,,,,,,,,,,,;,,,,, (),,,,,,,,,,,,,,,,,,,

More information

59 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

59 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 information

Microsoft Word - 11-秦华伟.doc

Microsoft 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 information

01 招 生 简 章 03 考 试 说 明 04 笔 试 样 题 2 emba.pbcsf.tsinghua.edu.cn

01 招 生 简 章 03 考 试 说 明 04 笔 试 样 题 2 emba.pbcsf.tsinghua.edu.cn 01 招 生 简 章 03 考 试 说 明 04 笔 试 样 题 2 emba.pbcsf.tsinghua.edu.cn 清 华 五 道 口 金 融 EMBA 招 生 简 章 金 融 EMBA 教 育 中 心 2012 年, 为 加 快 现 代 金 融 学 科 建 设, 培 养 高 端 金 融 人 才, 促 进 金 融 界 与 金 融 教 育 界 的 联 系, 提 高 金 融 研 究 水 平, 推

More information

1.2 资 金 的 管 理 1.1 权 利 义 务 来 源 MOU 1.3 数 据 的 使 用 和 保 护 2 国 际 空 间 站 资 源 分 配 方 案 54

1.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

航海王人物人格特質探究doc 篇 名 : 航 海 王 人 物 人 格 特 質 探 究 作 者 : 徐 巧 珊 草 屯 商 工 會 二 一 班 指 導 老 師 : 黃 瓊 瑤 老 師 壹 前 言 夢 想 是 人 追 尋 成 功 的 第 一 步, 有 了 它 便 有 朝 前 的 動 力, 有 人 說 : 人 因 夢 想 而 偉 大, 在 這 裡 我 便 有 深 感 受, 在 航 海 王 裡 他 們 都 有 屬 於 自 己 的 夢 想,

More information

2016-3-2ZS.indd

2016-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>

<4D6963726F736F667420576F7264202D20B8DFB9B0B0D3B0D3F5E0D3A6C1A6CAB5B2E2D3EBBCC6CBE3BDE1B9FBB2EED2ECD4ADD2F2B7D6CEF62DD5C5B9FAD0C22E646F6378> 高 拱 坝 坝 踵 应 力 实 测 与 计 算 结 果 差 异 原 因 分 析 张 国 新 周 秋 景 ( 中 国 水 利 水 电 科 学 研 究 院, 北 京 100038) 摘 要 : 坝 踵 应 力 是 关 系 到 混 凝 土 坝 是 否 开 裂 和 安 全 的 一 个 重 要 指 标, 不 管 是 用 结 构 力 学 法 还 是 有 限 元 法 都 能 计 算 出 坝 踵 有 一 定 的 拉

More information

Corporate Social Responsibility CSR CSR CSR 1 2 ~ CSR 6 CSR 7 CSR 8 CSR 9 10 ~ CSR 14 CSR CSR 2013 A A 23.

Corporate 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 information

Chinese Journal of Applied Probability and Statistics Vol.25 No.4 Aug (,, ;,, ) (,, ) 应用概率统计 版权所有, Zhang (2002). λ q(t)

Chinese 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

(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 体 外 诊 断 试 剂 是 指 用 生 物 化 学 免 疫 学 微 生 物 学 分 子 生 物 学 等 原 理 或 方 法 制 备, 在 体 外 用 于 对 人 体 疾 病 的 诊 断 筛 查 或 监 测 及 流 行 病 学 调

中 国 药 事 2016 年 7 月 第 30 卷 第 7 期 709 体 外 诊 断 试 剂 是 指 用 生 物 化 学 免 疫 学 微 生 物 学 分 子 生 物 学 等 原 理 或 方 法 制 备, 在 体 外 用 于 对 人 体 疾 病 的 诊 断 筛 查 或 监 测 及 流 行 病 学 调 708 中 国 药 事 2016 年 7 月 第 30 卷 第 7 期 医 院 药 事 2010-2015 年 北 京 医 院 体 外 诊 断 试 剂 采 购 情 况 及 管 理 模 式 探 讨 田 晓 鑫, 刘 蕾 *, 穆 林 ( 北 京 医 院 药 学 部, 北 京 100730) 摘 要 目 的 : 对 我 院 体 外 诊 断 试 剂 采 购 情 况 进 行 评 价 与 分 析, 对 使 用

More information

3.1 num = 3 ch = 'C' 2

3.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 information

2011_1_核红.indd

2011_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 information

254-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

~ 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? -Exp 天 主 教 輔 仁 大 學 社 會 學 系 學 士 論 文 小 別 勝 新 婚? 久 別 要 離 婚? 影 響 遠 距 家 庭 婚 姻 感 情 因 素 之 探 討 Separate marital relations are getting better or getting worse? -Explore the impact of emotional factors couples do not

More information

27 :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 :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 information

4 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) =

4 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 information

Thesis for the Master degree in Engineering Research on Negative Pressure Wave Simulation and Signal Processing of Fluid-Conveying Pipeline Leak Candi

Thesis 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 information

2 ( 自 然 科 学 版 ) 第 20 卷 波 ). 这 种 压 缩 波 空 气 必 然 有 一 部 分 要 绕 流 到 车 身 两 端 的 环 状 空 间 中, 形 成 与 列 车 运 行 方 向 相 反 的 空 气 流 动. 在 列 车 尾 部, 会 产 生 低 于 大 气 压 的 空 气 流

2 ( 自 然 科 学 版 ) 第 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 information

untitled

untitled 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

國立中山大學學位論文典藏.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 information

PowerPoint Presentation

PowerPoint 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>

<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

~ 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 information

Microsoft Word - 上傳電子檔.doc

Microsoft Word - 上傳電子檔.doc 創 新 設 計 研 究 所 碩 士 學 位 論 文 臺 北 聯 營 公 車 站 立 輔 助 設 備 最 適 設 置 高 度 研 究 In Search of the Appropriate Height for the Standing Support Equipments on the City Bus at Taipei 研 究 生 : 賴 振 永 指 導 教 授 : 黃 啟 梧 中 華 民 國

More information

mm 400 mm 15 mm EOF mm/10a Fig. 1 Distributions

mm 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>

<4D6963726F736F667420576F7264202D2032303132BFC6BCBCB9A4D7F7C4EAB1A82D3034313020205FD0DEB8B4B5C45F2E646F63> 科 技 工 作 年 报 (2012) 科 技 管 理 处 2013 年 3 月 1 目 录 一 科 技 工 作 总 结... 1 ( 一 ) 科 技 项 目 与 经 费... 1 ( 二 ) 科 技 成 果... 4 ( 三 ) 科 技 成 果 奖 励... 7 ( 四 ) 科 技 论 文 与 著 作... 9 ( 五 ) 科 技 创 新 条 件 能 力 建 设... 13 ( 六 ) 院 属 横

More information

Microsoft Word - ch05note_1210.doc

Microsoft Word - ch05note_1210.doc Section 5. Antiderivatives and indefinite integrals 反 導 函 數 與 不 定 積 分 上 一 章 我 們 已 經 學 過 微 分 以 及 它 的 應 用 現 在 我 們 考 慮 反 向 的 過 程, 稱 為 積 分 (antidifferentiation), 給 定 一 個 導 函 數, 找 出 它 原 始 的 函 數 積 分 也 有 許 多

More information

g 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

g 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%

[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 information

Microsoft Word doc

Microsoft Word doc 中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的

More information

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 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 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 information

2005硕士论文模版

2005硕士论文模版 基 于 输 入 法 用 户 词 库 和 查 询 日 志 的 若 干 研 究 Some Research based on User Dictionary of Input Method and Query Log ( 申 请 清 华 大 学 工 学 硕 士 学 位 论 文 ) 培 养 单 位 : 计 算 机 科 学 与 技 术 系 学 科 : 计 算 机 科 学 与 技 术 研 究 生 : 王 鹏

More information

Coudert and Couharde 2005 Goldstein and Lardy % 36% Cline and Williamson 2007 Penn World Table = 100 Krugman 2009 Berg

Coudert 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 information

1. 前 言 由 於 石 油 價 格 浮 動, 汽 油 價 格 節 節 高 升 及 二 氧 化 碳 等 廢 棄 大 量 排 放 造 成 全 球 環 境 的 改 變, 因 此 世 界 各 國 都 極 力 提 倡 節 能 減 碳 進 而 掀 起 腳 踏 車 城 市 的 風 潮 因 應 目 前 自 行 車

1. 前 言 由 於 石 油 價 格 浮 動, 汽 油 價 格 節 節 高 升 及 二 氧 化 碳 等 廢 棄 大 量 排 放 造 成 全 球 環 境 的 改 變, 因 此 世 界 各 國 都 極 力 提 倡 節 能 減 碳 進 而 掀 起 腳 踏 車 城 市 的 風 潮 因 應 目 前 自 行 車 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

論文集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 information

92南師學術研討會

92南師學術研討會 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