Chap 1 Intro to computers and the Fortran language
|
|
- 臣识 龙
- 7 years ago
- Views:
Transcription
1 Loops 2/2 迴圈 Chap 4 Loops and Character Manipulation 迴圈和字元操控 Fortran 95/2003 for scientists and Engineers by Stephen J. Chapman Prepared by Walter Chen, Dept. of Civil Engineering, NTUT For classroom teaching purpose
2 Incomplete loops & nested loops
3 CYCLE statement If the cycle statement is executed in the body of a DO loop, the execution of the current iteration of the loop stops and control returns to the top of the loop 在 DO 迴 圈中碰到 CYCLE 指令時 回到迴圈的開端 程式碼 結果
4 EXIT statement If the EXIT statement is executed in the body of a loop, the execution of the loop stops and control is transferred to the first executable statement after the loop 在迴圈中碰 到 EXIT 指令時 跳出迴圈到迴圈後的第一行 結果 程式碼
5 CYCLE 流程圖 EXIT 流程圖
6 Named loops 取名的迴圈
7 Named loops Name may be up to 31 alphanumeric characters long, beginning with a letter 最多 31 個字元 以字母開 頭 Must be unique 必須是獨特的 If a name is assigned to a loop, then the same name must appear on the associated END DO 如果迴圈有 名字 那麼 END DO 也要有名字 Names are optional on any CYCLE and EXIT statements 但是 CYCLE 和 EXIT 的名字可有可無
8 Nesting loops 巢狀迴圈 程式碼 結果
9 Incorrectly nested loops Wrong! 錯誤 迴圈交叉了
10 CYCLE in nested loops 程式碼 結果 If a CYCLE or EXIT statement appears inside an unnamed set of nested loops, then the CYCLE or EXIT statement refers to the innermost of the loops containing it 如果迴圈沒有取名的話 CYCLE 和 EXIT 的對象是最裡面的迴圈
11 CYCLE outer loop 結果 程式碼 It is possible to make the CYCLE and EXIT statement refer to the outer loop by specifying a loop name in the statement 如果迴 圈有名字的話 也可以指定 CYCLE 和 EXIT 的對象是外層的 迴圈
12 Determine how many times each loop is executed 決定每個迴圈執行多少次
13 Determine the value in ires at the end of each loop 決定迴圈 終了時 ires 的值
14 Whether or not valid 是否有效 Invalid: these statements redefine DO loop index i within the loop Valid Illegal: DO loops overlap
15 Example 4-7 the flight of a ball 球 的軌跡 球丟出後在任 一時間的高度 球的軌跡是拋物線 球丟出後在任 一時間的水平 距離 球的初速的分量
16 Problem 問題分析 Assume that the ball is initially thrown from position (0, 0) with an initial velocity of 20 m/sec 假定球在座標原點 初 速是 20 m/sec Design, write, and test a program to determine the horizontal distance traveled by the ball from the time it is thrown until it touches the ground again 決定球在落地前 飛行的距離 The program should do this for all angles from 0 to 90 degrees in 1 degree steps 針對 0 到 90 度的每一度加以計 算 Determine the angle that maximizes the range of the ball 求 出那個角度的飛行距離最遠
17 先解出落地時間 再把時間代入 求水平距離的表示式
18 Solution State the problem 定義問題 Define the inputs and outputs 決定輸入和輸出 No inputs are required Outputs: a table showing the range of the ball for each angle and the angle for which the range is maximum Design the algorithm 導出演算法 Turn the algorithm into Fortran statements 轉變為程 式碼 Test the program 測試程式
19 流程圖
20 程式碼
21 Test run
22 4-25 Geometric mean 幾何平均值 geometric _ mean = n x1 x2 x3...xn Write a Fortran program to read in an arbitrary number of positive values and then calculate the arithmetic mean and the geometric mean of those values. Please use a while loop when inputting the data, and stop the loop when a negative number is encountered. 寫一個 Fortran 程式來讀取任意個正的輸入值 然後計算 1 算數平均值及 2 幾何平均值 請使用 WHILE loop 來接受輸 入值 並且在使用者輸入負值時中止 測試值 10, 5, 4, 5 Test values: 10, 5, 4, 5
23 4-27 Harmonic mean 調諧平均值 harmonic _ mean = N x1 x2 xn Write a Fortran program to read in an arbitrary number of positive values and then calculate the harmonic mean of those values. Any method to take user input is allowed. 寫一個 Fortran 程式來讀取任意個正的輸入值 然後計算調諧 平均值 允許使用任何方式來接受輸入值 測試值 10, 5, 2, 5 Test values: 10, 5, 2, 5
24 Exercise 4-24 infinite series 無窮級 數 Original infinite series for sin x 原始的 無窮級數 Truncated infinite series for sin x 有限 項的級數 Write a Fortran program that reads in a value for x in radians and calculates the sine of x using the intrinsic function 以內建函數計算 sin x Calculate the sine of x using truncated series with N = 1, 2, 3,, 10 以 有限項級數和不同的 N 計算 sin x Compare the true value of sin x with the values calculated 比較結果 How many terms are required to calculate sin x to the full accuracy of the computer? 需要多少項才能達到電腦的精確度
25 測試值是 3 wchen@retro:~$./aaaaaaaaa.out Please enter x: 3 sine intrinsic = N = 1 sin(x) = N = 2 sin(x) = N = 3 sin(x) = N = 4 sin(x) = E-02 N = 5 sin(x) = N = 6 sin(x) = N = 7 sin(x) = N = 8 sin(x) = N = 9 sin(x) = N = 10 sin(x) = wchen@retro:~$ 舊的 32 位元電腦
26 誤差值小於 1e-17 才停下來 新的 64 位元電腦 請將 real 改宣告為 double precision
27 指數函數 e 的泰勒展開式 x Taylor Series Expansion of Exponential Function 2 3 x x e =1+ x ! 3! x
28 Exercise 4-18 binary to decimal conversion 二進位到十進位轉換 Write a program that prompts a user for a binary number, and then convert the input binary number into a decimal number 寫一個程式 將使用者輸入的二進位字串轉換為十進位數字 The program should handle numbers from to 處理數字的範圍 The program should also test for and handle an invalid value among the input characters 程式也要能測試並處理無效的字元 Test the program with these numbers: 以這些數字加以測試
29 Exercise 請寫一個 Fortran 程式計算右式的值 2. 其中 ln 是自然對數 以 e 為底 請用 一個 While 迴圈讓程式不斷重複 直到 出現無效值為止 當無效值出現時 請 印出相關訊息並終止程式 3. 注意 ln(x) 中 x 必須大於 0 1 y ( x) = ln 1 x
30 Ex 4-21 Tension on a Cable 張力 T= W lc lp d lp 2 d 2 寫一個程式找出使張力最小的 d 間距 0.1 m T = tension on the cable W = weight of the object lc = length of the cable lp = length of the pole d = distance along the pole at which the cable is attached d = 0.5 m to 2.8 m
31 4-30 Ideal Gas Law 理想氣體定律 理想氣體有三項特徵參數 絕對壓力 P 體積 V 和絕對溫度 T 而且它們滿足以下的關係式 PV = nrt 其中 P 的單位是 kpa V 的單位是 L 公升 n 是氣體的分 子數目 單位 莫耳 mol R 是常數 L*kPa/mol*K 而 T 的單位是 K 註 1 mol = 6.02*10^23 個分子 假設現有 1 莫耳的氣體 溫度是 273 K (a) 請寫一個程式計算當壓力從 1 kpa 增加到 1001 kpa 時 該 氣體的體積會是多少 間隔 100 kpa (b) 假設氣體的溫度升為 373 K 請將 (a) 重算一次
32 4-32 槓桿施力 槓桿施力與所能舉起的物體的重量關係如下 如果 Weight = 600 kg, d2 = 1 m 請計算當 d1 = m 時 0.1 m 間隔 施力 F 應各為多少 如果施力最 大為 400 kg 可以舉起 600 kg 重物的最短距離 d1 是多 少
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 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 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 informationC/C++ - 字符输入输出和字符确认
C/C++ Table of contents 1. 2. getchar() putchar() 3. (Buffer) 4. 5. 6. 7. 8. 1 2 3 1 // pseudo code 2 read a character 3 while there is more input 4 increment character count 5 if a line has been read,
More informationComputer Architecture
ECE 3120 Computer Systems Assembly Programming Manjeera Jeedigunta http://blogs.cae.tntech.edu/msjeedigun21 Email: msjeedigun21@tntech.edu Tel: 931-372-6181, Prescott Hall 120 Prev: Basic computer concepts
More informationC/C++ - 函数
C/C++ Table of contents 1. 2. 3. & 4. 5. 1 2 3 # include # define SIZE 50 int main ( void ) { float list [ SIZE ]; readlist (list, SIZE ); sort (list, SIZE ); average (list, SIZE ); bargragh
More information穨control.PDF
TCP congestion control yhmiu Outline Congestion control algorithms Purpose of RFC2581 Purpose of RFC2582 TCP SS-DR 1998 TCP Extensions RFC1072 1988 SACK RFC2018 1996 FACK 1996 Rate-Halving 1997 OldTahoe
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 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 information1.ai
HDMI camera ARTRAY CO,. LTD Introduction Thank you for purchasing the ARTCAM HDMI camera series. This manual shows the direction how to use the viewer software. Please refer other instructions or contact
More informationMicrosoft Word - template.doc
HGC efax Service User Guide I. Getting Started Page 1 II. Fax Forward Page 2 4 III. Web Viewing Page 5 7 IV. General Management Page 8 12 V. Help Desk Page 13 VI. Logout Page 13 Page 0 I. Getting Started
More information2017 CCAFL Chinese in Context
Student/Registration Number Centre Number 2017 PUBLIC EXAMINATION Chinese in Context Reading Time: 10 minutes Working Time: 2 hours and 30 minutes You have 10 minutes to read all the papers and to familiarise
More informationC/C++ 语言 - 循环
C/C++ Table of contents 7. 1. 2. while 3. 4. 5. for 6. 8. (do while) 9. 10. (nested loop) 11. 12. 13. 1 // summing.c: # include int main ( void ) { long num ; long sum = 0L; int status ; printf
More informationspss.doc
SPSS 8 8.1 K-Means Cluster [ 8-1] 1962 1988 8-1 2 5 31 3 7 20 F2-F3 2 3 F3-F4 3 4 109 8 8-1 2 3 2 3 F2-F3 F3-F4 1962 344 3333 29 9 9.69 1.91 1963 121 1497 27 19 12.37 1.34 1964 187 1813 32 18 9.70 1.06
More informationIntroduction to Hamilton-Jacobi Equations and Periodic Homogenization
Introduction to Hamilton-Jacobi Equations and Periodic Yu-Yu Liu NCKU Math August 22, 2012 Yu-Yu Liu (NCKU Math) H-J equation and August 22, 2012 1 / 15 H-J equations H-J equations A Hamilton-Jacobi equation
More informationK301Q-D VRT中英文说明书141009
THE INSTALLING INSTRUCTION FOR CONCEALED TANK Important instuction:.. Please confirm the structure and shape before installing the toilet bowl. Meanwhile measure the exact size H between outfall and infall
More informationcoverage2.ppt
Satellite Tool Kit STK/Coverage STK 82 0715 010-68745117 1 Coverage Definition Figure of Merit 2 STK Basic Grid Assets Interval Description 3 Grid Global Latitude Bounds Longitude Lines Custom Regions
More information科学计算的语言-FORTRAN95
科 学 计 算 的 语 言 -FORTRAN95 目 录 第 一 篇 闲 话 第 1 章 目 的 是 计 算 第 2 章 FORTRAN95 如 何 描 述 计 算 第 3 章 FORTRAN 的 编 译 系 统 第 二 篇 计 算 的 叙 述 第 4 章 FORTRAN95 语 言 的 形 貌 第 5 章 准 备 数 据 第 6 章 构 造 数 据 第 7 章 声 明 数 据 第 8 章 构 造
More informationMicrosoft PowerPoint - Lecture7II.ppt
Lecture 8II SUDOKU PUZZLE SUDOKU New Play Check 軟體實作與計算實驗 1 4x4 Sudoku row column 3 2 } 4 } block 1 4 軟體實作與計算實驗 2 Sudoku Puzzle Numbers in the puzzle belong {1,2,3,4} Constraints Each column must contain
More information2009 Japanese First Language Written examination
Victorian Certificate of Education 2009 SUPERVISOR TO ATTACH PROCESSING LABEL HERE STUDENT NUMBER Letter Figures Words JAPANESE FIRST LANGUAGE Written examination Monday 16 November 2009 Reading time:
More informationsummerCampBookP1~16.pdf
2011 SUMMER CAMPER RULES 1. No campers are allowed to leave camp after check-in. Campers should act with his/her buddy or team. 2. Please follow camp rules and instructions from your counselor at all time.
More information2010 Japanese First Language Written examination
Victorian Certificate of Education 2010 SUPERVISOR TO ATTACH PROCESSING LABEL HERE STUDENT NUMBER Letter Figures Words JAPANESE FIRST LANGUAGE Written examination Monday 15 November 2010 Reading time:
More informationMicrosoft Word - Final Exam Review Packet.docx
Do you know these words?... 3.1 3.5 Can you do the following?... Ask for and say the date. Use the adverbial of time correctly. Use Use to ask a tag question. Form a yes/no question with the verb / not
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 information2009 Korean First Language Written examination
Victorian Certificate of Education 2009 SUPERVISOR TO ATTACH PROCESSING LABEL HERE STUDENT NUMBER Letter Figures Words KOREAN FIRST LANGUAGE Written examination Tuesday 20 October 2009 Reading time: 2.00
More informationuntitled
數 Quadratic Equations 數 Contents 錄 : Quadratic Equations Distinction between identities and equations. Linear equation in one unknown 3 ways to solve quadratic equations 3 Equations transformed to quadratic
More informationuntitled
Fortran Chapter 7 Subroutine ( ) and Function 7-1 subroution 行 不 行 來 行 The general form of a subroutine is subroutine subroutine_name ( argument_list) (Declaration section) (Execution section) retrun end
More information2015年4月11日雅思阅读预测机经(新东方版)
剑 桥 雅 思 10 第 一 时 间 解 析 阅 读 部 分 1 剑 桥 雅 思 10 整 体 内 容 统 计 2 剑 桥 雅 思 10 话 题 类 型 从 以 上 统 计 可 以 看 出, 雅 思 阅 读 的 考 试 话 题 一 直 广 泛 多 样 而 题 型 则 稳 中 有 变 以 剑 桥 10 的 test 4 为 例 出 现 的 三 篇 文 章 分 别 是 自 然 类, 心 理 研 究 类,
More informationStates and capital package
: 1 Students are required to know 50 states and capitals and their geological locations. This is an independent working packet to learn about 50 states and capital. Students are asked to fulfill 4 activities
More informationOA-253_H1~H4_OL.ai
WARNINGS Note: Read ALL the following BEFORE using this product. Follow all Guidelines at all times while using this product. CAUTION This warning indicates possibility of personal injury and material
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 informationImportant Notice SUNPLUS TECHNOLOGY CO. reserves the right to change this documentation without prior notice. Information provided by SUNPLUS TECHNOLO
Car DVD New GUI IR Flow User Manual V0.1 Jan 25, 2008 19, Innovation First Road Science Park Hsin-Chu Taiwan 300 R.O.C. Tel: 886-3-578-6005 Fax: 886-3-578-4418 Web: www.sunplus.com Important Notice SUNPLUS
More informationMicrosoft Word - TIP006SCH Uni-edit Writing Tip - Presentperfecttenseandpasttenseinyourintroduction readytopublish
我 难 度 : 高 级 对 们 现 不 在 知 仍 道 有 听 影 过 响 多 少 那 次 么 : 研 英 究 过 文 论 去 写 文 时 作 的 表 技 引 示 巧 言 事 : 部 情 引 分 发 言 该 生 使 在 中 用 过 去, 而 现 在 完 成 时 仅 表 示 事 情 发 生 在 过 去, 并 的 哪 现 种 在 时 完 态 成 呢 时? 和 难 过 道 去 不 时 相 关? 是 所 有
More informationC
C 2017 4 1 1. 2. while 3. 4. 5. for 6. 2/161 C 7. 8. (do while) 9. 10. (nested loop) 11. 12. 3/161 C 1. I 1 // summing.c: 2 #include 3 int main(void) 4 { 5 long num; 6 long sum = 0L; 7 int status;
More informationepub 94-3
3 A u t o C A D L AY E R L I N E T Y P E O S N A P S T Y L E X R E F - AutoLISP Object ARX A u t o C A D D C L A u t o C A D A u t o d e s k P D B D C L P D B D C L D C L 3.1 Wi n d o w s A u t o C A D
More information入學考試網上報名指南
入 學 考 試 網 上 報 名 指 南 On-line Application Guide for Admission Examination 16/01/2015 University of Macau Table of Contents Table of Contents... 1 A. 新 申 請 網 上 登 記 帳 戶 /Register for New Account... 2 B. 填
More informationCHAPTER VC#
1. 2. 3. 4. CHAPTER 2-1 2-2 2-3 2-4 VC# 2-5 2-6 2-7 2-8 Visual C# 2008 2-1 Visual C# 0~100 (-32768~+32767) 2 4 VC# (Overflow) 2-1 2-2 2-1 2-1.1 2-1 1 10 10!(1 10) 2-3 Visual C# 2008 10! 32767 short( )
More information01.dvi
物理資優營微積分教材 1 y = f ( ) (, f ( ) ) 點的切線斜率 : =lim f ( + ) f () 若 f () = n,n 為自然數 =lim ( + ) n n 微分的基本性質 : (i) 線性 : 若 a, b 是常數 (ii) 萊布尼茲律 : n n 1 + O ( ) = n n 1 {af ()+bg ()} = a + bg {f () g ()} = g + f
More informationC/C++程序设计 - 字符串与格式化输入/输出
C/C++ / Table of contents 1. 2. 3. 4. 1 i # include # include // density of human body : 1. 04 e3 kg / m ^3 # define DENSITY 1. 04 e3 int main ( void ) { float weight, volume ; int
More information投影片 1
資料庫管理程式 ( 補充教材 -Part2) 使用 ADO.NET 連結資料庫 ( 自行撰寫程式碼 以實現新增 刪除 修改等功能 ) Private Sub InsertButton_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles InsertButton.Click ' 宣告相關的 Connection
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 information92 (When) (Where) (What) (Productivity) (Efficiency) () (2) (3) (4) (5) (6) (7) em-plant( SiMPLE++) Scheduling When Where Productivity Efficiency [5]
DYNAMIC SCHEDULING IN TWO-MACHINE FLOW-SHOP WITH RECIRCULATION em-plant( SiMPLE++) Jen-Shiang Chen, Jar-Her Kao, Chun-Chieh Chen, Po-Cheng Liu, and Wen-Pin Lin Department of Industrial Engineering and
More informationGo构建日请求千亿微服务最佳实践的副本
Go 构建 请求千亿级微服务实践 项超 100+ 700 万 3000 亿 Goroutine & Channel Goroutine Channel Goroutine func gen() chan int { out := make(chan int) go func(){ for i:=0; i
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 information教学大纲
山 东 城 市 建 设 职 业 学 院 工 程 数 学 教 学 大 纲 一 课 程 的 性 质 与 任 务 工 程 数 学 是 工 科 各 专 业 的 一 门 重 要 的 基 础 课, 也 是 该 专 业 的 核 心 课 程 主 要 分 为 高 等 数 学 部 分, 工 程 数 学 部 分, 数 学 实 验 部 分, 数 学 建 模 部 分 通 过 本 课 程 的 学 习, 使 学 生 获 得 向
More informationA dissertation for Master s degree Metro Indoor Coverage Systems Analysis And Design Author s Name: Sheng Hailiang speciality: Supervisor:Prof.Li Hui,
中 国 科 学 技 术 大 学 工 程 硕 士 学 位 论 文 地 铁 内 移 动 通 信 室 内 覆 盖 分 析 及 应 用 作 者 姓 名 : 学 科 专 业 : 盛 海 亮 电 子 与 通 信 导 师 姓 名 : 李 辉 副 教 授 赵 红 媛 高 工 完 成 时 间 : 二 八 年 三 月 十 日 University of Science and Technology of Ch A dissertation
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 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 informationAN INTRODUCTION TO PHYSICAL COMPUTING USING ARDUINO, GRASSHOPPER, AND FIREFLY (CHINESE EDITION ) INTERACTIVE PROTOTYPING
AN INTRODUCTION TO PHYSICAL COMPUTING USING ARDUINO, GRASSHOPPER, AND FIREFLY (CHINESE EDITION ) INTERACTIVE PROTOTYPING 前言 - Andrew Payne 目录 1 2 Firefly Basics 3 COMPONENT TOOLBOX 目录 4 RESOURCES 致谢
More information中国科学技术大学学位论文模板示例文档
University of Science and Technology of China A dissertation for doctor s degree An Example of USTC Thesis Template for Bachelor, Master and Doctor Author: Zeping Li Speciality: Mathematics and Applied
More informationQQGQ2.E Power Supplies, Information Technology Equipment Including Ele... 1/10
QQGQ2.E232014 - Power Supplies, Information Technology Equipment Including Ele... 1/10 QQGQ2.E232014 Power Supplies, Information Technology Equipment Including Electrical Business Equipment - Component
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 informationA Study on the Relationships of the Co-construction Contract A Study on the Relationships of the Co-Construction Contract ( ) ABSTRACT Co-constructio in the real estate development, holds the quite
More informationKnowledge and its Place in Nature by Hilary Kornblith
Deduction by Daniel Bonevac Chapter 7 Quantified Natural Deduction Quantified Natural Deduction As with truth trees, natural deduction in Q depends on the addition of some new rules to handle the quantifiers.
More informationTX-NR3030_BAS_Cs_ indd
TX-NR3030 http://www.onkyo.com/manual/txnr3030/adv/cs.html Cs 1 2 3 Speaker Cable 2 HDMI OUT HDMI IN HDMI OUT HDMI OUT HDMI OUT HDMI OUT 1 DIGITAL OPTICAL OUT AUDIO OUT TV 3 1 5 4 6 1 2 3 3 2 2 4 3 2 5
More informationChapter 24 DC Battery Sizing
26 (Battery Sizing & Discharge Analysis) - 1. 2. 3. ETAP PowerStation IEEE 485 26-1 ETAP PowerStation 4.7 IEEE 485 ETAP PowerStation 26-2 ETAP PowerStation 4.7 26.1 (Study Toolbar) / (Run Battery Sizing
More informationIBM 全 球 企 业 咨 询 服 务 部 中 国 五 矿 筑 起 人 力 资 源 信 息 大 厦 2 回 顾 篇 慎 选 巧 选 软 件 平 台 由 于 五 矿 集 团 下 属 的 很 多 公 司 是 最 近 几 年 才 加 盟 的 新 成 员 企 业, 这 些 公 司 所 应 用 的 人 力 资
IBM 全 球 企 业 咨 询 服 务 部 IBM 商 业 价 值 研 究 院 案 例 研 究 中 国 五 矿 筑 起 人 力 资 源 信 息 大 厦 中 国 五 矿 集 团 公 司 ( 以 下 简 称 五 矿 集 团 ) 人 力 资 源 系 统 就 像 一 座 虚 拟 的 人 力 资 源 大 厦, 它 帮 助 五 矿 集 团 创 建 了 一 套 人 力 资 源 的 信 息 标 准, 形 成 了 一
More information甄試報告1125.PDF
LabVIEW LabVIEW Laboratory Virtual Instrument Engineering Workbench G LabVIEW DAQ LabVIEW LabVIEW LabVIEW LabVIEW ph LabVIEW DAQ LabVIEW PZT LabVIEW / =2 10-8 1 LabVIEW DAQ LabVIEW DAQ DAQ LabVIEW DAQ
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 information旅 句 良 年 理 了 來 不 不 更 更 說 識 更 樓 歷 練 靈 旅 論 不 了 契 諒 老 老 老 不 勵 老 不 良 論 漏 不 老 老 不 勵 不 了 了 老 論 利 行 老 見 不 見 更 老 玲 歷 老 料 理
立 論 年 六 旅 句 良 年 理 了 來 不 不 更 更 說 識 更 樓 歷 練 靈 旅 論 不 了 契 諒 老 老 老 不 勵 老 不 良 論 漏 不 老 老 不 勵 不 了 了 老 論 利 行 老 見 不 見 更 老 玲 歷 老 料 理 女 路 路 力 臨 玲 老 不 若 不 識 年 六 歷 行 來 參 論 說 說 歷 狀 年 錄 料 行 料 料 年 列 異 力 識 論 若 Research
More informationC/C++语言 - 运算符、表达式和语句
C/C++ Table of contents 1. 2. 3. 4. C C++ 5. 6. 7. 1 i // shoe1.c: # include # define ADJUST 7. 64 # define SCALE 0. 325 int main ( void ) { double shoe, foot ; shoe = 9. 0; foot = SCALE * shoe
More informationMicrosoft Word - C-pgm-ws2010.doc
Information and Communication Technology 資訊與通訊科技 Loops (while/for) C 廻路 姓名 : 班別 : ( ) CS C Programming #1 Functions 函數 : 1 若 n=14, 求以下表示式的值 Expressions 表示式 Value 值 Expressions 表示式 Value 值 A 20 2 * (n /
More informationMicrosoft PowerPoint - CH 04 Techniques of Circuit Analysis
Chap. 4 Techniques of Circuit Analysis Contents 4.1 Terminology 4.2 Introduction to the Node-Voltage Method 4.3 The Node-Voltage Method and Dependent Sources 4.4 The Node-Voltage Method: Some Special Cases
More informationFun Time (1) What happens in memory? 1 i n t i ; 2 s h o r t j ; 3 double k ; 4 char c = a ; 5 i = 3; j = 2; 6 k = i j ; H.-T. Lin (NTU CSIE) Referenc
References (Section 5.2) Hsuan-Tien Lin Deptartment of CSIE, NTU OOP Class, March 15-16, 2010 H.-T. Lin (NTU CSIE) References OOP 03/15-16/2010 0 / 22 Fun Time (1) What happens in memory? 1 i n t i ; 2
More informationHCD0174_2008
Reliability Laboratory Page: 1 of 5 Date: December 23, 2008 WINMATE COMMUNICATION INC. 9 F, NO. 111-6, SHING-DE RD., SAN-CHUNG CITY, TAIPEI, TAIWAN, R.O.C. The following merchandise was submitted and identified
More informationMicrosoft PowerPoint - C_Structure.ppt
結構與其他資料型態 Janet Huang 5-1 結構的宣告 struct 結構名稱 struct 結構名稱變數 1, 變數 2,, 變數 m; struct 結構名稱 變數 1, 變數 2,, 變數 m; student; student; 5-2 1 結構變數初值的設定 struct 結構名稱 struct 結構名稱變數 = 初值 1, 初值 2,, 初值 n student="janet","1350901",100,95
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 information【摘要】
RUC-BK-101-110204-11271343 TCL 2001 11271343 2005 4 1 2004 TCL 2004 TCL TCL TCL TCL TCL A TCL TCL TCL TCL 2 Look back the 2004, China's stock market is not all calm At the beginning of the year TCL group
More informationMicrosoft Word - 3D手册2.doc
第 一 章 BLOCK 前 处 理 本 章 纲 要 : 1. BLOCK 前 处 理 1.1. 创 建 新 作 业 1.2. 设 定 模 拟 控 制 参 数 1.3. 输 入 对 象 数 据 1.4. 视 图 操 作 1.5. 选 择 点 1.6. 其 他 显 示 窗 口 图 标 钮 1.7. 保 存 作 业 1.8. 退 出 DEFORMTM3D 1 1. BLOCK 前 处 理 1.1. 创 建
More informationMicrosoft Word - 09.數學136-281.docx
136. 計 算 梯 型 面 積 (1 分 ) 請 以 JAVA 運 算 式 計 算 下 面 梯 形 面 積, 並 輸 出 面 積 結 果 梯 形 面 積 公 式 為 :( 上 底 + 下 底 ) 高 2 每 一 組 依 序 分 別 輸 入 梯 形 的 上 底 下 底 及 高 的 整 數 輸 出 梯 形 面 積 輸 入 輸 出 94 190 120 99 54 47 137. 計 算 三 角 形 面
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 informationUntitled-3
SEC.. Separable Equations In each of problems 1 through 8 solve the given differential equation : ü 1. y ' x y x y, y 0 fl y - x 0 fl y - x 0 fl y - x3 3 c, y 0 ü. y ' x ^ y 1 + x 3 x y 1 + x 3, y 0 fl
More information高中英文科教師甄試心得
高 中 英 文 科 教 師 甄 試 心 得 英 語 學 系 碩 士 班 林 俊 呈 高 雄 市 立 高 雄 高 級 中 學 今 年 第 一 次 參 加 教 師 甄 試, 能 夠 在 尚 未 服 兵 役 前 便 考 上 高 雄 市 立 高 雄 高 級 中 學 專 任 教 師, 自 己 覺 得 很 意 外, 也 很 幸 運 考 上 後 不 久 在 與 雄 中 校 長 的 會 談 中, 校 長 的 一 句
More informationOncidiumGower Ramsey ) 2 1(CK1) 2(CK2) 1(T1) 2(T2) ( ) CK1 43 (A 44.2 ) CK2 66 (A 48.5 ) T1 40 (
35 1 2006 48 35-46 OncidiumGower Ramsey ) 2 1(CK1) 2(CK2) 1(T1) 2(T2) (93 5 28 95 1 9 ) 94 1-2 5-6 8-10 94 7 CK1 43 (A 44.2 ) CK2 66 (A 48.5 ) T1 40 (A 47.5 ) T2 73 (A 46.6 ) 3 CK2 T1 T2 CK1 2006 8 16
More informationPreface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies to all d
WeChat Search Visual Identity Guidelines WEDESIGN 2018. 04 Preface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies
More informationChn 116 Neh.d.01.nis
31 尼 希 米 书 尼 希 米 的 祷 告 以 下 是 哈 迦 利 亚 的 儿 子 尼 希 米 所 1 说 的 话 亚 达 薛 西 王 朝 二 十 年 基 斯 流 月 *, 我 住 在 京 城 书 珊 城 里 2 我 的 兄 弟 哈 拿 尼 和 其 他 一 些 人 从 犹 大 来 到 书 珊 城 我 向 他 们 打 听 那 些 劫 后 幸 存 的 犹 太 人 家 族 和 耶 路 撒 冷 的 情 形
More informationGuide to Install SATA Hard Disks
SATA RAID 1. SATA. 2 1.1 SATA. 2 1.2 SATA 2 2. RAID (RAID 0 / RAID 1 / JBOD).. 4 2.1 RAID. 4 2.2 RAID 5 2.3 RAID 0 6 2.4 RAID 1.. 10 2.5 JBOD.. 16 3. Windows 2000 / Windows XP 20 1. SATA 1.1 SATA Serial
More informationMicrosoft PowerPoint - STU_EC_Ch04.ppt
樹德科技大學資訊工程系 Chapter 4: Boolean Algebra and Logic Simplification Shi-Huang Chen Fall 200 Outline Boolean Operations and Expressions Laws and Rules of Boolean Algebra DeMorgan's Theorems Boolean Analysis
More information第二十四屆全國學術研討會論文中文格式摘要
以 田 口 動 態 法 設 計 物 理 治 療 用 牽 引 機 與 機 構 改 善 1, 2 簡 志 達 馮 榮 豐 1 國 立 高 雄 第 一 科 技 大 學 機 械 與 自 動 化 工 程 系 2 傑 邁 電 子 股 份 有 限 公 司 1 摘 要 物 理 治 療 用 牽 引 機 的 主 要 功 能 是 將 兩 脊 椎 骨 之 距 離 拉 開, 使 神 經 根 不 致 受 到 壓 迫 該 類 牽
More informationRotary Switch Catalogue
Rotary Switches RS300/400/500 Series Outline Our RS series embody the manufacturing history of our company. All series are sturdy and solid with high dependability designed for control units of plants,
More information1 * 1 *
1 * 1 * taka@unii.ac.jp 1992, p. 233 2013, p. 78 2. 1. 2014 1992, p. 233 1995, p. 134 2. 2. 3. 1. 2014 2011, 118 3. 2. Psathas 1995, p. 12 seen but unnoticed B B Psathas 1995, p. 23 2004 2006 2004 4 ah
More informationHC70245_2008
Reliability Laboratory Page: 1 of 6 Date: September 5, 2008 WINMATE COMMUNICATION INC. 9 F, NO. 111-6, SHING-DE RD., SAN-CHUNG CITY, TAIPEI, TAIWAN, R.O.C. The following merchandise was submitted and identified
More informationPCPDbooklet_high-res.pdf
MISSION STATEMENT To secure the protection of privacy of the individual with respect to personal data through promotion, monitoring and supervision of compliance with the Ordinance. WHO WE ARE personal
More informationMicrosoft PowerPoint - Eisenstein_ABET_Presentation_Beijing_Oct_2007-Chinese.ppt [兼容模式]
Bruce Eisenstein 博 士 是 Drexel 大 学 电 气 和 计 算 机 工 程 系 的 Arthur J. Rowland 教 授, 同 时 是 电 气 和 计 算 机 工 程 系 的 前 任 系 主 任 (1980-1995) 他 是 一 个 受 尊 敬 的 IEEE 的 领 导 者, 在 2000 年 担 任 IEEE 的 主 席 在 担 任 主 席 以 前,Eisenstein
More information, 2,,,,,,, 3,,,,, 4,,,, 5,,, 6,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,[ ] :, : (9),1996,18 3 [] :,1995,474 4 [] :,1995, ,,21 6 : (),1987,
Ξ : :,,, :,,,, 1,,,,,,,,,,,,,,,,,,,,,, Ξ 1 :,1992,323 102 , 2,,,,,,, 3,,,,, 4,,,, 5,,, 6,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,[ ] :, : (9),1996,18 3 [] :,1995,474 4 [] :,1995,1267 5 2,,21 6 : (),1987,379
More informationMicrosoft Word - A200811-773.doc
语 言 模 型 在 高 校 保 研 工 作 中 的 应 用 王 洋 辽 宁 工 程 技 术 大 学 理 学 院 信 息 与 计 算 科 学, 辽 宁 阜 新 (3000) E-mail: ben.dan000 @63.com 摘 要 : 问 题 重 述 : 模 糊 性 数 学 发 展 的 主 流 是 在 它 的 应 用 方 面, 其 中 模 糊 语 言 模 型 实 现 了 人 类 语 言 的 数 学
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 informationWWW PHP Comments Literals Identifiers Keywords Variables Constants Data Types Operators & Expressions 2
WWW PHP 2003 1 Comments Literals Identifiers Keywords Variables Constants Data Types Operators & Expressions 2 Comments PHP Shell Style: # C++ Style: // C Style: /* */ $value = $p * exp($r * $t); # $value
More informationIC L05 Visit friends
Lesson 5 Patterns Visiting Friends Suggestion Adjectives Location Modal le Aspect particle le Supplementary materials created by Mary Jacob, UC Davis, revised Designed to complement Integrated Chinese
More informationMicrosoft Word - 105碩博甄簡章.doc
淡 江 大 105 年 度 博 甄 試 招 生 簡 章 104 年 9 月 16 日 本 校 招 生 委 員 會 105 年 度 第 1 次 會 議 決 議 通 過 淡 江 大 網 址 :http://www.tku.edu.tw 淡 江 大 105 年 度 博 甄 試 招 生 簡 章 目 錄 壹 報 考 資 格 及 相 關 規 定 1 貳 報 名 與 注 意 事 項 1 參 考 試 日 期 地 點
More informationGH1220 Hall Switch
Unipolar Hall Switch - Medium Sensitivity Product Description The DH220 is a unipolar h all switch designed in CMOS technology. The IC internally includes a voltage regulator, Hall sensor with dynamic
More informationC/C++ - 文件IO
C/C++ IO Table of contents 1. 2. 3. 4. 1 C ASCII ASCII ASCII 2 10000 00100111 00010000 31H, 30H, 30H, 30H, 30H 1, 0, 0, 0, 0 ASCII 3 4 5 UNIX ANSI C 5 FILE FILE 6 stdio.h typedef struct { int level ;
More informationV6800/V6600 3D
V6800/V6600 3D V6600/V6800 3D R 2000 2 3 4 5 R 6 7 8 The VIP (Video Interface Port) Connector are used for third party add-on modules, such as video capture cards or television tuners. DDR: Double Data
More informationch_code_infoaccess
地 產 代 理 監 管 局 公 開 資 料 守 則 2014 年 5 月 目 錄 引 言 第 1 部 段 數 適 用 範 圍 1.1-1.2 監 管 局 部 門 1.1 紀 律 研 訊 1.2 提 供 資 料 1.3-1.6 按 慣 例 公 布 或 供 查 閱 的 資 料 1.3-1.4 應 要 求 提 供 的 資 料 1.5 法 定 義 務 及 限 制 1.6 程 序 1.7-1.19 公 開 資
More informationhks298cover&back
2957 6364 2377 3300 2302 1087 www.scout.org.hk scoutcraft@scout.org.hk 2675 0011 5,500 Service and Scouting Recently, I had an opportunity to learn more about current state of service in Hong Kong
More informationC/C++语言 - 分支结构
C/C++ Table of contents 1. if 2. if else 3. 4. 5. 6. continue break 7. switch 1 if if i // colddays.c: # include int main ( void ) { const int FREEZING = 0; float temperature ; int cold_ days
More informationTHE INSTLLING INSTRUCTION FOR CONCELED TNK Important instuction:.. Please confirm the structure and shape before installing the toilet bowl. Meanwhile measure the exact size H between outfall and infall
More information<4D6963726F736F667420576F7264202D20C4A3B0E632A3A8D3EFD1D4CEC4D7D6BCECB2E9B8C4A3A92E646F63>
:266101 (2005 (2005 (2006 (2005 文 责 主 学 任 顾 编 编 办 问 辑 段 宋 团 永 宏 晓 委 田 涛 晖 曲 学 学 生 世 会 韩 文 力 学 社 孙 永 爱 录 社 副 社 长 王 李 彩 建 宜 华 苗 霞 服 财 装 会 一 投 入 排 版 赵 涛 微 机 二 班 ) 邮 稿 地 编 址 : 团 委 电 刊 清 青 春 首 茶 生 寄 馨 活 语 香
More information安 全 指 南 : 必 须 遵 守 所 有 的 警 告 事 项, 以 确 保 自 己 和 他 人 的 安 全 以 及 保 护 产 品 和 连 接 装 置 这 些 警 告 事 项 都 按 警 示 程 度 明 示 出 等 级 有 资 格 的 人 员 : YO-YO 只 能 进 行 与 手 册 有 关 的
IOM LBYM180112 Rev. D Mark-4 /GP-4 Yo-Yo 重 锤 安 装 & 操 作 手 册 安 全 指 南 : 必 须 遵 守 所 有 的 警 告 事 项, 以 确 保 自 己 和 他 人 的 安 全 以 及 保 护 产 品 和 连 接 装 置 这 些 警 告 事 项 都 按 警 示 程 度 明 示 出 等 级 有 资 格 的 人 员 : YO-YO 只 能 进 行 与 手
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 information