B (10) Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 1
|
|
- Ἀλαλά Ζυγομαλάς
- 6 χρόνια πριν
- Προβολές:
Transcript
1 : B (10) 2010 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 1
2 B B Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 2 x : S S S S x := min(s) Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 3
3 allocated allocated MACHINE Allocate VARIABLES allocated INVARIANT allocated N 1 INITIALISATION allocated := Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 4 OPERATIONS choose(num) = PRE num N 1 num / allocated THEN allocated := allocated {num} ; num allocate = ANY nm WHERE nm N 1 allocated THEN num := nm allocated := allocated {nm} ; ans query(num) = PRE num N 1 THEN ans := bool(num allocated) allocate Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 5
4 REFINEMENT Allocate R REFINES Allocate VARIABLES allocated INITIALISATION allocated := Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 6 choose query OPERATIONS choose(num) =allocated := allocated {num}; num allocate = BEGIN num := min(n 1 allocated); allocated := allocated {num} ; ans query(num) = ans := bool(num allocated) allocate allocated Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 7
5 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 8 Allocate Allocate R allocated = {6, 13} allocate Allocate 6, 13 Allocate R Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 9
6 ... Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) BOOK 2. read 3. newbook newbook Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 11
7 MACHINE Books(BOOK ) VARIABLES read INVARIANT read BOOK INITIALISATION read := OPERATIONS bk newbook = PRE read BOOK THEN ANY bk1 WHERE bk1 BOOK read THEN bk := bk1 read := read {bk1} Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 12 iseq scheme scheme ran(scheme) =BOOK read Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 13
8 Atelier B B Book REFINEMENT Books R(BOOK ) REFINES Books VARIABLES scheme INVARIANT scheme iseq(book ) ran(scheme) =BOOK read INITIALISATION scheme : perm(book ) OPERATIONS bk newbook = BEGIN bk := first(scheme) scheme := tail(scheme) read scheme scheme perm(s) s s scheme BOOK Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 14 scheme BOOK read read := scheme BOOK ran(scheme) =BOOK read read = scheme newbook Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 15
9 newbook read = scheme =[x,...] newbook a newbook r read = {x} scheme =[...] Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 16 REFINEMENT Books R R(BOOK ) REFINES Books R VARIABLES counter, bookarr INVARIANT counter 0.. card(book ) bookarr 1.. card(book ) BOOK (0..counter bookarr)^scheme = bookarr INITIALISATION counter := 0 bookarr : 1.. card(book ) BOOK bookarr Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 17
10 newbook OPERATIONS bk newbook = BEGIN counter := counter +1; bk := bookarr(counter) (0..counter bookarr)^scheme = bookarr scheme counter counter 0 newbook scheme = bookarr Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 18 newbook newbook (read BOOK ) scheme first tail counter card(book ) bookarr(counter) scheme newbook Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 19
11 sset slist MACHINE StBox SETS STORY CONSTANTS max score PROPERTIES max score N 1 VARIABLES score, sset INVARIANT score N score max score sset : P(STORY ) INITIALISATION score := 0 sset := {} Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 20 OPERATIONS gives(sc) = PRE sc N 1 THEN score := min({score + sc, max score}) ; penalty = SELECT score > 0 THEN score := score 1 WHEN sset {} THEN ANY st WHERE st sset THEN sset := sset {st} ELSE skip ; select(st) = PRE score > 0 st STORY THEN CHOICE score := score 1 sset := sset {st} OR sset := sset {st} ; st tell = IF sset {} THEN ANY st1 WHERE st1 sset THEN st := st1 sset := sset {st1} Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 21
12 select score scorer sset slist 1 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 22 select free isfree free REFINEMENT SBox R REFINES SBox CONSTANTS free PROPERTIES free N 1 VARIABLES scorer, slist, isfree INVARIANT scorer N scorer = score slist iseq(story ) ran(slist) =sset isfree 0..free INITIALISATION scorer := 0 slist := [ ] isfree := 0 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 23
13 OPERATIONS gives(sc) = BEGIN scorer := min({scorer + sc, max score}) ; st tell = BEGIN st := first(slist) slist := tail(slist) ; penalty = IF slist []THEN slist := tail(slist) ELSIF scorer > 0 THEN scorer := scorer 1 ; select(st) = BEGIN IF st / ran(slist) THEN slist := slist st ; IF isfree = free THEN CHOICE isfree := 0 OR isfree := 0 scorer := scorer 1 ELSE isfree := isfree + 1;scoreR := scorer 1 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 24 free free IF IF isfree = free THEN isfree := 0 ELSE isfree := isfree + 1;scoreR := scorer 1 free Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 25
14 B Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 26 M M R M op m S m S m δ S r δ S r op r δ Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 27
15 Color MACHINE Colors SETS COLOR = {red, green, blue} VARIABLES colors INVARIANT colors COLOR INITIALISATION colors : P(COLOR {blue}) OPERATIONS add(cl) =PRE cl COLOR THEN colors := colors {cl} ; cc query = PRE colors THEN cc : colors ; change = LET clss BE clss = P(COLOR) {colors} IN colors : clss Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 28 Color colors COLOR colors {red, green} add colors query colors change LET clss = P(COLOR) {colors} clss COLOR colors change colors colors query Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 29
16 Color change add query colors REFINEMENT Colors R REFINES Colors VARIABLES color INVARIANT color COLOR color colors INITIALISATION color : COLOR {blue} OPERATIONS add(cl) =BEGIN color : {color,cl} ; cc query = cc := color ; change = LET cs BE cs = COLOR {color } IN color : cs Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 30 Color add add(cl) =BEGIN color : {color,cl} add color colors add color colors color : colors change change = LET cs BE cs = COLOR {color } IN color : cs change color colors cs colors color colors Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 31
17 M T I R T 1 J R T 1 T J T T 1 R M T 1 T T 1 J T Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 32 M R M s R s (s, s ) M R R M / J J(x, x ) M s R s I M J R M R T 1 R R s M T s J(s, s ) J T J T J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 33
18 T J J J [T ] J [T ] J T J [T ] J T J T [T ] J T J T J R T 1 T T 1 [T ] J T 1 [T ] J [T 1 ] [T ] J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 34 Colors ColorsR J color colors T = colors : P(COLOR {blue}) [T ] J J T color = blue [T ] J T colors color = blue color = red color = green T [T ] J [T ] J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 35
19 [colors : P(COLOR {blue})] (color colors) = ( colors. (colors P(COLOR {blue}) (color colors))) = colors. (colors P(COLOR {blue}) (color colors)) = colors. (colors (COLOR {blue}) color colors) COLOR {blue} colors color colors color blue color blue [T 1 ] [T ] J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 36 ColorsR T 1 = color : COLOR {blue} [T 1 ] [T ] J = [T 1 ](color blue) = [color : COLOR {blue}](color blue) = color. (color (COLOR {blue}) color blue) = true ColorsR Colors I T I I T Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 37
20 [T ] J T J T J T T [T ] I T [T ] J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 38 M R PRE P THEN S PRE P 1 THEN S 1 P 1 P 1 S 1 S [S 1 ] [S] J J I I J I J P [S 1 ] [S] J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 39
21 I J P [S 1 ] [S] J [S 1 ] [S] J S 1 S [S 1 ] [S] J S 1 S [S 1 ] [S] J Colors ColorsR I J colors COLOR color COLOR color colors add add(cl) =PRE cl COLOR THEN colors := colors {cl} add(cl) =BEGIN color : {color, cl} Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 40 I J P colors COLOR color COLOR color colors cl COLOR add [S 1 ] [S] J = [S 1 ] [S] (color colors) = [S 1 ] [colors := colors {cl}] (color colors) = [S 1 ] ( (color colors {cl})) = [S 1 ](color colors {cl}) = [color : {color, cl}](color colors {cl}) = x.(x {color, cl} color colors {cl}) = (color colors {cl}) (cl colors {cl}) = color colors {cl} I J P [S 1 ] [S] J J = color colors color colors color colors {cl} Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 41
22 M R P 1 PRE P THEN S PRE P 1 THEN S 1 P P 1 P 1 P P 1 M P R P 1 P P P P 1 P 1 I J P P 1 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 42 Colors ColorsR query ColorsR query green green Colors J Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 43
23 o o out out out out out) S 1 out out S 1 [out /out] out = out out 1 = out 1... out n = out n out out [S 1 [out /out]] [S] (out = out) Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 44 P 1 I J P [S 1 [out /out]] [S] (J out = out) I J P P 1 Colors ColorsR J color colors query cc query = PRE colors THEN cc : colors cc query = cc := color Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 45
24 [S 1 [cc /cc]] [S] (J cc = cc) = [S 1 [cc /cc]] [cc : colors] (J cc = cc) = [S 1 [cc /cc]] ( cc. (cc colors (J cc = cc))) = [S 1 [cc /cc]] ( cc. ( (cc colors) (J cc = cc))) = [S 1 [cc /cc]]( cc. ( (cc colors) (J cc = cc))) = [S 1 [cc /cc]]( cc. (cc colors J cc = cc)) = [cc := color ]( cc. (cc colors J cc = cc)) = J cc. (cc colors color = cc)) J color colors = J I J I P [S 1 [cc /cc]] [S] (J cc = cc) Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 46 SETS CONSTANTS PROPERTIES CONSTRAINTS CONSTRAINTS PROPERTIES PROPERTIES PROPERTIES Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 47
25 St 1,C 1,B 1 PROPERTIES St,C,B,Cn PROPERTIES CONSTRAINTS Cn St 1,C 1,St,C. B 1 B T 1 J T Cn B B 1 [T 1 ] [T ] J out op(in) =PRE P THEN S out op(in) =PRE P 1 THEN S 1 Cn B B 1 I J P [S 1 [out /out]] [S] (out = out) Cn B B 1 I J P P 1 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 48 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 49
Matrices and vectors. Matrix and vector. a 11 a 12 a 1n a 21 a 22 a 2n A = b 1 b 2. b m. R m n, b = = ( a ij. a m1 a m2 a mn. def
Matrices and vectors Matrix and vector a 11 a 12 a 1n a 21 a 22 a 2n A = a m1 a m2 a mn def = ( a ij ) R m n, b = b 1 b 2 b m Rm Matrix and vectors in linear equations: example E 1 : x 1 + x 2 + 3x 4 =
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ342: Βάσεις Δεδομένων Χειμερινό Εξάμηνο 2013 Φροντιστήριο 10 ΛΥΣΕΙΣ Επερωτήσεις SQL Άσκηση 1 Για το ακόλουθο σχήμα Suppliers(sid, sname, address) Parts(pid, pname,
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / Γ ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 27/01/2013
ΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / Γ ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 27/01/2013 ΘΕΜΑ Α Α1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν, γράφοντας δίπλα στο γράμμα που αντιστοιχεί σε κάθε πρόταση τη
Διαβάστε περισσότεραJesse Maassen and Mark Lundstrom Purdue University November 25, 2013
Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραforms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with
Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We
Διαβάστε περισσότεραΕργαστήριο βάσεων δεδομένων. MySQL Stored Procedures
Εργαστήριο βάσεων δεδομένων MySQL Stored Procedures Stored Procedures Μια store procedure είναι μια διαδικασία. Είναι ένα πρόγραμμα που αποτελείται από SQL εντολές. Αποθηκεύεται και εκτελείται στον database
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραDynamic types, Lambda calculus machines Section and Practice Problems Apr 21 22, 2016
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Dynamic types, Lambda calculus machines Apr 21 22, 2016 1 Dynamic types and contracts (a) To make sure you understand the
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραΕΠΛ 342 Βάσεις εδοµένων
ΕΠΛ 342 Βάσεις εδοµένων Εργαστήριο 6 ο PL/SQL Ιωάννα Συρίµη syrimi@ucy.ac.cy PL/SQL Procedural Language/SQL Επέκταση της SQL µε χαρακτηριστικά γλωσσών προγραµµατισµού Επιτρέπει την χρήση προτάσεων SQL
Διαβάστε περισσότεραΜαζέρας Αχιλλέας. Οι εντολές επανάληψης στην Pascal (While) Φυσικός Αυτοματιστής M.Sc. Νοέµβριος 2009
Μαζέρας Αχιλλέας Φυσικός Αυτοματιστής M.Sc. Οι εντολές επανάληψης στην Pascal (While) Νοέµβριος 2009 ίνονται διαδοχικά από το πληκτρολόγιο τα βάρη µερικών κιβωτίων (απροσδιόριστο το πλήθος τους) µε το
Διαβάστε περισσότεραΨηφιακή Επεξεργασία Εικόνας
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ψηφιακή Επεξεργασία Εικόνας Μετασχηματισμοί έντασης και χωρικό φιλτράρισμα Διδάσκων : Αναπληρωτής Καθηγητής Νίκου Χριστόφορος Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 22/11/07
Ακαδ έτος 2007-2008 ΠΛΗΡΟΦΟΡΙΚΗ Ι Φερεντίνος 22/11/07 ΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με ΑΜ σε 3, 7, 8 & 9 22/11/07 Παράδειγμα με if/else if και user input: import javautil*; public class Grades public
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραOverview. Transition Semantics. Configurations and the transition relation. Executions and computation
Overview Transition Semantics Configurations and the transition relation Executions and computation Inference rules for small-step structural operational semantics for the simple imperative language Transition
Διαβάστε περισσότεραΜοντελοποίηση προβληµάτων
Σχεδιασµός Αλγορίθµων Ακέραιος προγραµµατισµός Αποδοτικοί Αλγόριθµοι Μη Αποδοτικοί Αλγόριθµοι Σχεδιασµός Αλγορίθµων Ακέραιος προγραµµατισµός Αποδοτικοί Αλγόριθµοι Μη Αποδοτικοί Αλγόριθµοι Θεωρία γράφων
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραΣχεδίαση Ψηφιακών Συστημάτων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Σχεδίαση Ψηφιακών Συστημάτων Ενότητα 2: Βασικές Μονάδες Κυριάκης - Μπιτζάρος Ευστάθιος Τμήμα Ηλεκτρονικών Μηχανικών Τ.Ε. Άδειες
Διαβάστε περισσότεραΕΠΛ 012. JavaScripts
ΕΠΛ 012 JavaScripts Γλώσσα JavaScript (JS) ηµιουργεί δυναµικές ιστοσελίδες και αλληλεπιδράσεις µε το χρήστη εν είναι Java, αλλά είναι αντικειµενοστραφής (απλό µοντέλο υποκειµένων) Objects, properties (τιµές
Διαβάστε περισσότεραΜοντελοποίηση Επιπέδου Πύλης. (Peter Ashenden, The Students Guide to VHDL)
Μοντελοποίηση Επιπέδου Πύλης (Peter Ashenden, The Students Guide to VHDL) Πολλαπλά Επίπεδα Τιµών Η κατάσταση µίας γραµµής δεν είναι πάντα 0 ή 1. ιαµάχες οδηγούν σε απροσδιοριστία. Χρήση πολλαπλών επιπέδων
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 10η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ψηφιακή Οικονομία Διάλεξη 0η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών Best Response Curves Used to solve for equilibria in games
Διαβάστε περισσότεραCORDIC Background (4A)
CORDIC Background (4A Copyright (c 20-202 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or any later
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότερα± 20% ± 5% ± 10% RENCO ELECTRONICS, INC.
RL15 RL16, RL17, RL18 MINIINDUCTORS CONFORMALLY COATED MARKING The nominal inductance is marked by a color code as listed in the table below. Color Black Brown Red Orange Yellow Green Blue Purple Grey
Διαβάστε περισσότεραΠίνακες. FORTRAN και Αντικειμενοστραφής Προγραμματισμός
Πίνακες (i) Δομημένη μεταβλητή: αποθηκεύει μια συλλογή από τιμές δεδομένων Πίνακας (array): δομημένη μεταβλητή που αποθηκεύει πολλές τιμές του ίδιου τύπου INTEGER:: pinakas(100)ή INTEGER, DIMENSION(100)::pinakas
Διαβάστε περισσότεραAccess Control Encryption Enforcing Information Flow with Cryptography
Access Control Encryption Enforcing Information Flow with Cryptography Ivan Damgård, Helene Haagh, and Claudio Orlandi http://eprint.iacr.org/2016/106 Outline Access Control Encryption Motivation Definition
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραΔομημένος Προγραμματισμός. Τμήμα Επιχειρηματικού Σχεδιασμού και Πληροφοριακών Συστημάτων
Δομημένος Προγραμματισμός Τμήμα Επιχειρηματικού Σχεδιασμού και Πληροφοριακών Συστημάτων www.bpis.teicrete.gr Τμήμα Επιχειρηματικού Σχεδιασμού και Πληροφοριακών Συστημάτων www.bpis.teicrete.gr 2 Ένθετες
Διαβάστε περισσότερα( Boats)) ( Tempsids, bid. sname. Boats. Boats. Boats. (Reserves)/ > Reserves. Interlake' Sailors) ...
sname rating age Dustin 7 45.0 29 Brutus 1 33.0 Lubber 8 55.5 32 Andy 8 25.5 58 Rusty 10 35.0 64 Horatio 7 35.0 71 Zorba 10 16.0 74 Horatio 9 35.0 85 Art 3 25.5 95 Bob 3 63.5 day 101 10/10/98 102 10/10/98
Διαβάστε περισσότεραCORDIC Background (2A)
CORDIC Background 2A Copyright c 20-202 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or any later
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραIIT JEE (2013) (Trigonomtery 1) Solutions
L.K. Gupta (Mathematic Classes) www.pioeermathematics.com MOBILE: 985577, 677 (+) PAPER B IIT JEE (0) (Trigoomtery ) Solutios TOWARDS IIT JEE IS NOT A JOURNEY, IT S A BATTLE, ONLY THE TOUGHEST WILL SURVIVE
Διαβάστε περισσότεραLibrary, package και subprograms
Library, package και subprograms Libraries Packages Subprograms Procedures Functions Overloading Αριθμητικά πακέτα Type conversion Shift operators Παράδειγμα Library - Package Ασκήσεις-Προβλήματα 12/8/2009
Διαβάστε περισσότεραHow to register an account with the Hellenic Community of Sheffield.
How to register an account with the Hellenic Community of Sheffield. (1) EN: Go to address GR: Πηγαίνετε στη διεύθυνση: http://www.helleniccommunityofsheffield.com (2) EN: At the bottom of the page, click
Διαβάστε περισσότεραΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ Ενότητα 2: A Business Letter Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons
Διαβάστε περισσότεραΚεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας
Κεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή - 1 Μία κλασσική γλώσσα προγραμματισμού αποτελείται από: Εκφράσεις (των
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραΔομές Δεδομένων (Data Structures)
Δομές Δεδομένων (Data Structures) Στοίβες Ουρές Στοίβες: Βασικές Έννοιες. Ουρές: Βασικές Έννοιες. Βασικές Λειτουργίες. Παραδείγματα. Στοίβες Δομή τύπου LIFO: Last In - First Out (τελευταία εισαγωγή πρώτη
Διαβάστε περισσότερασαπούνια & καλλυντικά Σειρά Marriott
Σειρά Marriott Σειρά Classic ΣΦΟΥΓΚΑΡΙ ΣΩΜΑΤΟΣ Σειρά Natural your personal story ΣΩΜΑΤΟΣ tailor 13 Σειρά Purple Σειρά Eko Naturals Σειρά White Label your personal story ΣΩΜΑΤΟΣ tailor 13 Σειρά Blue Label
Διαβάστε περισσότερα, Evaluation of a library against injection attacks
THE INSTITUTE OF ELECTRONICS, INFMATION AND COMMUNICATION ENGINEERS TECHNICAL REPT OF IEICE., () 211 8588 4 1 1 221 0835 2 14 1 E-mail: okubo@jp.fujitsu.com, tanaka@iisec.ac.jp Web,,,, Evaluation of a
Διαβάστε περισσότεραAbstract Storage Devices
Abstract Storage Devices Robert König Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009 Outline 1. Motivation: Storage Devices 2. Abstract Storage Devices (ASD s) 3. Reducibility 4. Factoring ASD
Διαβάστε περισσότερα= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y
Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4
Διαβάστε περισσότεραΑλγόριθμοι και πολυπλοκότητα NP-Completeness (2)
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αλγόριθμοι και πολυπλοκότητα NP-Completeness (2) Ιωάννης Τόλλης Τμήμα Επιστήμης Υπολογιστών NP-Completeness (2) x 1 x 1 x 2 x 2 x 3 x 3 x 4 x 4 12 22 32 11 13 21
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραΚΥΡΙΑ ΜΟΝΤΕΛΑ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΚΥΡΙΑ ΜΟΝΤΕΛΑ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ 27 Κύρια προγραμματιστικά μοντέλα (1) Προστακτικός προγραμματισμός (imperative programming) FORTRAN, Algol, COBOL, BASIC, C, Pascal, Modula-2, Ada Συναρτησιακός προγραμματισμός
Διαβάστε περισσότεραThese derivations are not part of the official forthcoming version of Vasilaky and Leonard
Target Input Model with Learning, Derivations Kathryn N Vasilaky These derivations are not part of the official forthcoming version of Vasilaky and Leonard 06 in Economic Development and Cultural Change.
Διαβάστε περισσότεραΟΡΟΙ ΚΑΙ ΠΡΟΥΠΟΘΕΣΕΙΣ ΣΧΕΔΙΟΥ
ΟΡΟΙ ΚΑΙ ΠΡΟΥΠΟΘΕΣΕΙΣ ΣΧΕΔΙΟΥ 1. Η διαφήμιση της Τράπεζας για τα "Διπλά Προνόμια από την American Express" ισχύει για συναλλαγές που θα πραγματοποιηθούν από κατόχους καρτών Sunmiles American Express, American
Διαβάστε περισσότεραΒασικές Έννοιες Δοµών Δεδοµένων
Δοµές Δεδοµένων Δοµές Δεδοµένων Στην ενότητα αυτή θα γνωρίσουµε ορισµένες Δοµές Δεδοµένων και θα τις χρησιµοποιήσουµε για την αποδοτική επίλυση του προβλήµατος του ευσταθούς ταιριάσµατος Βασικές Έννοιες
Διαβάστε περισσότεραSPEEDO AQUABEAT. Specially Designed for Aquatic Athletes and Active People
SPEEDO AQUABEAT TM Specially Designed for Aquatic Athletes and Active People 1 2 Decrease Volume Increase Volume Reset EarphonesUSBJack Power Off / Rewind Power On / Fast Forward Goggle clip LED Status
Διαβάστε περισσότεραΕισαγωγή στη Matlab 2 Εισαγωγή στην Αριθμητική Ανάλυση Διδάσκων: Γεώργιος Ακρίβης Βοηθός: Δημήτριος Ζαβαντής
Εισαγωγή στη Matlab 2 Εισαγωγή στην Αριθμητική Ανάλυση Διδάσκων: Γεώργιος Ακρίβης Βοηθός: Δημήτριος Ζαβαντής email: dzavanti@cs.uoi.gr Περιεχόμενα Ορισμοί Λογικοί τελεστές f0r loops while loops if else
Διαβάστε περισσότερα08 : 2005/10/28(13:56) Web. Web. Web. Web. Web Visual BASIC. B B Visual BASIC (1) 4. Bezier
1 Web Web Web Web Web Web Visual BASIC 2 Web B B Visual BASIC 2 (1) 4 Bezier 3 4 1 2 ω U U 2 2 U 2 2 U U 1 UU ω ω ( ) 1 4 Q 0 Q 1 Q 2 Q 3 4 Q 0 Q 1 Q 2 Q 3 R(t) = Q 0 (1 t) 3 + 3 Q 1 t (1 t) 2 + 3 Q 2
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραΕργαστήριο Οργάνωσης Η/Υ. Δαδαλιάρης Αντώνιος
Εργαστήριο Οργάνωσης Η/Υ Δαδαλιάρης Αντώνιος dadaliaris@uth.gr Σχόλια: - - This is a single line comment - - There is no alternative way to write multi-line comments Αναγνωριστικά: Τα αναγνωριστικά
Διαβάστε περισσότεραΕι αγωγή η Fortran. liouka.eleftheria@gmail.com
Ει αγωγή η Fortran άθ α ο θ ία ιού α liouka.eleftheria@gmail.com Περιεχό ε α Derived Data Types Intrinsic Functions Input, Output Character Operator Branches Derived Data Types ιο ία ι ώ ας ύ ο φή: TYPE
Διαβάστε περισσότεραSupporting Information for Substituent Effects on the Properties of Borafluorenes
Supporting Information for Substituent Effects on the Properties of Borafluorenes Mallory F. Smith, S. Joel Cassidy, Ian A. Adams, Monica Vasiliu, Deidra L. Gerlach, David Dixon*, Paul A. Rupar* Department
Διαβάστε περισσότεραιαφάνειες παρουσίασης #5
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης
Διαβάστε περισσότεραInstruction Execution Times
1 C Execution Times InThisAppendix... Introduction DL330 Execution Times DL330P Execution Times DL340 Execution Times C-2 Execution Times Introduction Data Registers This appendix contains several tables
Διαβάστε περισσότεραΟι αδελφοί Montgolfier: Ψηφιακή αφήγηση The Montgolfier Βrothers Digital Story (προτείνεται να διδαχθεί στο Unit 4, Lesson 3, Αγγλικά Στ Δημοτικού)
Οι αδελφοί Montgolfier: Ψηφιακή αφήγηση The Montgolfier Βrothers Digital Story (προτείνεται να διδαχθεί στο Unit 4, Lesson 3, Αγγλικά Στ Δημοτικού) Προσδοκώμενα αποτελέσματα Περιεχόμενο Ενδεικτικές δραστηριότητες
Διαβάστε περισσότερα2.153 Adaptive Control Lecture 7 Adaptive PID Control
2.153 Adaptive Control Lecture 7 Adaptive PID Control Anuradha Annaswamy aanna@mit.edu ( aanna@mit.edu 1 / 17 Pset #1 out: Thu 19-Feb, due: Fri 27-Feb Pset #2 out: Wed 25-Feb, due: Fri 6-Mar Pset #3 out:
Διαβάστε περισσότεραMathCity.org Merging man and maths
MathCity.org Merging man and maths Exercise 10. (s) Page Textbook of Algebra and Trigonometry for Class XI Available online @, Version:.0 Question # 1 Find the values of sin, and tan when: 1 π (i) (ii)
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 5
Άσκηση 1 (α) {x = 12 y = 7} skip {y = 7} Λύσεις Σειράς Ασκήσεων 5 Η προδιαγραφή αυτή είναι ορθή τόσο με την έννοια της μερικής ορθότητας όσο και με την έννοια της ολικής ορθότητας. Αυτό οφείλεται στο γεγονός
Διαβάστε περισσότεραHellenic European Law Concordance
Hellenic European Law Concordance Περιγραφή της ιστοσελίδας της HELC Αγγελής Σπύρος ( A.E.M. 398) Εισαγωγή Οι νοµικές βάσεις δεδοµένων είναι συστήµατα τα οποία προσφέρουν ανάκτηση πλήρους κειµένου νοµικών
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ. Στόχοι του μαθήματος
ΕΙΣΑΓΩΓΗ Στόχοι του μαθήματος Να μάθετε τις βασικές αρχές και τεχνικές του αντικειμενοστραφούς προγραμματισμού (object oriented programming) Να εξασκηθείτε στην πράξη με την γλώσσα προγραμματισμού Java
Διαβάστε περισσότεραLecture 21: Properties and robustness of LSE
Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραΔιάλεξη 14: Δομές Δεδομένων ΙΙI (Λίστες και Παραδείγματα)
Τμήμα Πληροφορικής Πανεπιστήμιο Κύπρου ΕΠΛ132 Αρχές Προγραμματισμού II Διάλεξη 14: Δομές Δεδομένων ΙΙI (Λίστες και Παραδείγματα) Δημήτρης Ζεϊναλιπούρ http://www.cs.ucy.ac.cy/courses/epl132 14-1 Περιεχόμενο
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραΛΥΣΕΙΣ ΘΕΜΑΤΩΝ ΤΕΛΙΚΗΣ ΦΑΣΗΣ Οι παρακάτω λύσεις είναι απολύτως ενδεικτικές
21 ος ΠΑΝΕΛΛΗΝΙΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΛΥΣΕΙΣ ΘΕΜΑΤΩΝ ΤΕΛΙΚΗΣ ΦΑΣΗΣ Οι παρακάτω λύσεις είναι απολύτως ενδεικτικές Θέμα 1 ο : HydroloGIS C++ Γαϊτανίδης Απόστολος Ιδ. ΓΕΛ Εκπ/τηρίων Μαντουλίδη LANG:
Διαβάστε περισσότεραPrinciples of Database Systems
Principles of Database Systems V. Megalooikonomou Συναρτησιακές Εξαρτήσεις (Functional Dependencies) (based on notes by Silberchatz,Korth, and Sudarshan and notes by C. Faloutsos) General Overview Formal
Διαβάστε περισσότερα«Σχεδιασμός Ολοκληρωμένων Κυκλωμάτων» Χειμερινό εξάμηνο Πακέτα και Συστατικά Στοιχεία (Υποκυκλώματα)
«Σχεδιασμός Ολοκληρωμένων Κυκλωμάτων» Χειμερινό εξάμηνο 2016-2017 Πακέτα και Συστατικά Στοιχεία (Υποκυκλώματα) Παρασκευάς Κίτσος http://diceslab.cied.teiwest.gr Επίκουρος Καθηγητής Tμήμα Μηχανικών Πληροφορικής
Διαβάστε περισσότεραΟδηγίες χρήσης του R, μέρος 2 ο
ΟδηγίεςχρήσηςτουR,μέρος2 ο Ελληνικά Ανπροσπαθήσουμεναγράψουμεελληνικάήναανοίξουμεκάποιοαρχείοδεδομένωνμε ελληνικούςχαρακτήρεςστοr,μπορείαντίγιαελληνικάναδούμελατινικούςχαρακτήρεςμε τόνουςήάλλακαλλικαντζαράκια.τότεδίνουμετηνπαρακάτωεντολήγιαναγυρίσειτοrστα
Διαβάστε περισσότεραΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. Χειµερινό Εξάµηνο 2016 Συµπληρωµατική ΔΙΑΛΕΞΗ 14: Περιγραφή Ακολουθιακών Κυκλωµάτων στη VHDL
ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ Χειµερινό Εξάµηνο 2016 Συµπληρωµατική ΔΙΑΛΕΞΗ 14: Περιγραφή Ακολουθιακών Κυκλωµάτων στη VHDL ΧΑΡΗΣ ΘΕΟΧΑΡΙΔΗΣ Επίκουρος Καθηγητής, ΗΜΜΥ (ttheocharides@ucy.ac.cy)
Διαβάστε περισσότεραΚάθε γνήσιο αντίγραφο φέρει υπογραφή του συγγραφέα. / Each genuine copy is signed by the author.
Κάθε γνήσιο αντίγραφο φέρει υπογραφή του συγγραφέα. / Each genuine copy is signed by the author. 2012, Γεράσιμος Χρ. Σιάσος / Gerasimos Siasos, All rights reserved. Στοιχεία επικοινωνίας συγγραφέα / Author
Διαβάστε περισσότεραΤεχνικό Τοπογραφικό Σχέδιο
Τεχνικό Τοπογραφικό Σχέδιο Γ. Καριώτου ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΕ & ΜΗΧΑΝΙΚΩΝ ΤΟΠΟΓΡΑΦΙΑΣ ΚΑΙ ΓΕΩΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ 1 Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότερα«Σχεδιασμός Ολοκληρωμένων Κυκλωμάτων» Χειμερινό εξάμηνο Ακολουθιακός Κώδικας
«Σχεδιασμός Ολοκληρωμένων Κυκλωμάτων» Χειμερινό εξάμηνο 2016-2017 Ακολουθιακός Κώδικας Παρασκευάς Κίτσος http://diceslab.cied.teiwest.gr Επίκουρος Καθηγητής Tμήμα Μηχανικών Πληροφορικής ΤΕ E-mail: pkitsos@teimes.gr
Διαβάστε περισσότεραIntroduction. Setting up your PC for the first time. Visual Quick Set up Guide. Figure 1: Guide to ports and sockets. 2 P age
Userguide Cntents Intrductin...2 SettingupyurPCfrthefirsttime...2 CmmnIssues...4 Changingthepwersupplysettings...5 Alwaysbackupyurcmputer...5 CnnectttheInternet(Optinal,andwillrequireservicesntincludedwiththisPC)...5
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραMock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =
Mock Eam 7 Mock Eam 7 Section A. Reference: HKDSE Math M 0 Q (a) ( + k) n nn ( )( k) + nk ( ) + + nn ( ) k + nk + + + A nk... () nn ( ) k... () From (), k...() n Substituting () into (), nn ( ) n 76n 76n
Διαβάστε περισσότεραΤΕΧΝΙΚΕΣ ΑΥΞΗΣΗΣ ΤΗΣ ΑΠΟΔΟΣΗΣ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ I
ΤΕΧΝΙΚΕΣ ΑΥΞΗΣΗΣ ΤΗΣ ΑΠΟΔΟΣΗΣ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ I MIPS Η MIPS (Microprocessor without Interlocked Pipeline Stages) είναι μία αρχιτεκτονική συνόλου εντολών (ISA) γλώσσας μηχανής που αναπτύχθηκε από την εταιρεία
Διαβάστε περισσότεραΑΣΚΗΣΗ 2: Σχεδίαση και προσομοίωση κυκλωμάτων καταχωρητών και μετρητών
ΑΣΚΗΣΗ 2: Σχεδίαση και προσομοίωση κυκλωμάτων καταχωρητών και μετρητών Θέμα Β.1: Απλός καταχωρητής 1 bit (D Flip-Flop) preset D D Q Q clk clear Σχήμα 2.1: D Flip-Flop με εισόδους preset και clear Με τη
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραA Lambda Model Characterizing Computational Behaviours of Terms
A Lambda Model Characterizing Computational Behaviours of Terms joint paper with Silvia Ghilezan RPC 01, Sendai, October 26, 2001 1 Plan of the talk normalization properties inverse limit model Stone dualities
Διαβάστε περισσότεραHistogram list, 11 RANDOM NUMBERS & HISTOGRAMS. r : RandomReal. ri : RandomInteger. rd : RandomInteger 1, 6
In[1]:= In[2]:= RANDOM NUMBERS & HISTOGRAMS r : RandomReal In[3]:= In[4]:= In[5]:= ri : RandomInteger In[6]:= rd : RandomInteger 1, 6 In[7]:= list Table rd rd, 100 2 dice Out[7]= 7, 11, 7, 10, 7, 8, 3,
Διαβάστε περισσότεραΕργαστήριο Οργάνωσης Η/Υ. Δαδαλιάρης Αντώνιος
Εργαστήριο Οργάνωσης Η/Υ Δαδαλιάρης Αντώνιος dadaliaris@uth.gr Χρησιμοποιούμε τις μηχανές πεπερασμένων καταστάσεων (finite state machines FSMs) για την μοντελοποίηση της συμπεριφοράς ενός κυκλώματος, η
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραΒασικά Στοιχεία της Java
Βασικά Στοιχεία της Java Παύλος Εφραιμίδης Java Βασικά Στοιχεία της γλώσσας Java 1 Τύποι Δεδομένων Η Java έχει δύο κατηγορίες τύπων δεδομένων: πρωτογενείς (primitive) τύπους δεδομένων αναφορές Java Βασικά
Διαβάστε περισσότεραΑβδέλαρου Κωνσταντίνα
ΧΑΡΟΚΟΠΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΗΛΕΜΑΤΙΚΗΣ Αβδέλαρου Κωνσταντίνα 1 η Εργασία στο μάθημα Λειτουργικά Συστήματα Ταύρος, 9 Δεκεμβρίου 2014 Άσκηση 1.1 Το shell script που δημιουργήθηκε είναι:
Διαβάστε περισσότεραΘΕΜΑ Α ΦΑΣΗΣ. Υπολογιστικά Νέφη Ενδεικτικές Απαντήσεις
24 ος ΠΑΝΕΛΛΗΝΙΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΜΑ Α ΦΑΣΗΣ Υπολογιστικά Νέφη Ενδεικτικές Απαντήσεις Οι παρακάτω κώδικες αποτελούν ενδεικτικές λύσεις του προβλήματος. Πολλοί μαθητές υπέβαλαν εξ ίσου αξιόλογους
Διαβάστε περισσότεραMATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)
1. MATH43 String Theory Solutions 4 x = 0 τ = fs). 1) = = f s) ) x = x [f s)] + f s) 3) equation of motion is x = 0 if an only if f s) = 0 i.e. fs) = As + B with A, B constants. i.e. allowe reparametrisations
Διαβάστε περισσότερα. visual basic. int sum(int a, int b){ return a+b;} : : :
: : : : (),, : (),( )-,() - :,, -,( ) -1.... visual basic int sum(int a, int b){ return a+b; float f=2.5; main(){ float A[10]; A[f]=15; int x=sum(int(f), 10, A[2]);. -2.... -3.foolowpos(3) * ( a b c) (
Διαβάστε περισσότεραΕυφυής Προγραμματισμός
Ευφυής Προγραμματισμός Ιωάννης Χατζηλυγερούδης Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ & Πληροφορικής Περιεχόμενα ενότητας Συναρτήσεις-Δομές Ελέγχου : 1. Συναρτήσεις Χρήστη 2. Έλεγχος Ροής Προγράμματος 3.
Διαβάστε περισσότεραHomomorphism of Intuitionistic Fuzzy Groups
International Mathematical Forum, Vol. 6, 20, no. 64, 369-378 Homomorphism o Intuitionistic Fuzz Groups P. K. Sharma Department o Mathematics, D..V. College Jalandhar Cit, Punjab, India pksharma@davjalandhar.com
Διαβάστε περισσότεραExercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
Διαβάστε περισσότεραΤΕΧΝΟΛΟΓΙΑ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΤΕΧΝΟΛΟΓΙΑ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Έλεγχος ροής Δομή επιλογής (if, switch) Δομές επανάληψης (while, do-while, for) Διακλάδωση
Διαβάστε περισσότεραalpha Language age (3/5) alpha Language Φροντιστήριο Syntax Directed Translation and
alpha Language (1/5) ΗΥ-340 Γλώσσες και Μεταφραστές Φροντιστήριο Syntax Directed Translation and alpha Language Στην alpha δεν υπάρχει main() συνάρτηση, ο κώδικας ξεκινάει την εκτέλεση από την αρχή του
Διαβάστε περισσότερα