Introduction to Artificial Intelligence. Problem Solving and Search
|
|
- Collin Kelley
- 6 years ago
- Views:
Transcription
1 Introduction to Artificial Intelligence Problem Solving and Search Bernhard Beckert UNIVESITÄT KOBLENZ-LANDAU Wintersemester 2003/2004 B. Beckert: Einführung in die KI / KI für IM p.1
2 Outline Problem solving Problem types Problem formulation Example problems Basic search algorithms B. Beckert: Einführung in die KI / KI für IM p.2
3 Problem solving Offline problem solving Acting only with complete knowledge of problem and solution Online problem solving Acting without complete knowledge Here Here we are concerned with offline problem solving only B. Beckert: Einführung in die KI / KI für IM p.3
4 Example: Travelling in omania Scenario On holiday in omania; currently in Arad Flight leaves tomorrow from Bucharest B. Beckert: Einführung in die KI / KI für IM p.4
5 Example: Travelling in omania Scenario On holiday in omania; currently in Arad Flight leaves tomorrow from Bucharest Goal Be in Bucharest B. Beckert: Einführung in die KI / KI für IM p.4
6 Example: Travelling in omania Scenario On holiday in omania; currently in Arad Flight leaves tomorrow from Bucharest Goal Be in Bucharest Formulate problem States: various cities Actions: drive between cities B. Beckert: Einführung in die KI / KI für IM p.4
7 Example: Travelling in omania Scenario On holiday in omania; currently in Arad Flight leaves tomorrow from Bucharest Goal Be in Bucharest Formulate problem States: various cities Actions: drive between cities Solution Appropriate sequence of cities e.g.: Arad, Sibiu, Fagaras, Bucharest B. Beckert: Einführung in die KI / KI für IM p.4
8 Example: Travelling in omania Oradea Neamt Zerind Arad Iasi Sibiu Fagaras Vaslui Timisoara imnicu Vilcea Lugoj Pitesti Mehadia Urziceni Hirsova Dobreta Craiova Bucharest Giurgiu Eforie B. Beckert: Einführung in die KI / KI für IM p.5
9 Problem types Single-state problem observable (at least the initial state) deterministic static discrete Multiple-state problem partially observable (initial state not observable) deterministic static discrete Contingency problem partially observable (initial state not observable) non-deterministic B. Beckert: Einführung in die KI / KI für IM p.6
10 Example: vacuum-cleaner world Single-state Start in: 5 Solution: B. Beckert: Einführung in die KI / KI für IM p.7
11 Example: vacuum-cleaner world Single-state Start in: 5 Solution: [right, suck] B. Beckert: Einführung in die KI / KI für IM p.7
12 Example: vacuum-cleaner world Single-state Start in: 5 Solution: [right, suck] Multiple-state Start in: {1,2,3,4,5,6,7,8} Solution: B. Beckert: Einführung in die KI / KI für IM p.7
13 Example: vacuum-cleaner world Single-state Start in: 5 Solution: [right, suck] Multiple-state Start in: {1,2,3,4,5,6,7,8} Solution: [right, suck, left, suck] right {2,4,6,8} suck {4,8} left {3,7} suck {7} B. Beckert: Einführung in die KI / KI für IM p.7
14 Example: vacuum-cleaner world 1 2 Contingency Murphy s Law: suck can dirty a clean carpet Local sensing: dirty/not dirty at location only Start in: {1,3} Solution: B. Beckert: Einführung in die KI / KI für IM p.8
15 Example: vacuum-cleaner world 1 2 Contingency Murphy s Law: suck can dirty a clean carpet Local sensing: dirty/not dirty at location only Start in: {1,3} Solution: [suck, right, suck] suck {5,7} right {6,8} suck {6,8} Improvement: [suck, right, if dirt then suck] (decide whether in 6 or 8 using local sensing) B. Beckert: Einführung in die KI / KI für IM p.8
16 Single-state problem formulation Defined by the following four items 1. Initial state Example: Arad 2. Successor function S Example: S(Arad) = { gozerind, Zerind, gosibiu, Sibiu,... } 3. Goal test Example: x = Bucharest (explicit test) nodirt(x) (implicit test) 4. Path cost (optional) Example: sum of distances, number of operators executed, etc. B. Beckert: Einführung in die KI / KI für IM p.9
17 Single-state problem formulation Solution A sequence of operators leading from the initial state to a goal state B. Beckert: Einführung in die KI / KI für IM p.10
18 Selecting a state space Abstraction eal world is absurdly complex State space must be abstracted for problem solving (Abstract) state Set of real states (Abstract) operator Complex combination of real actions Example: Arad Zerind represents complex set of possible routes (Abstract) solution Set of real paths that are solutions in the real world B. Beckert: Einführung in die KI / KI für IM p.11
19 Example: The 8-puzzle Start State Goal State States Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.12
20 Example: The 8-puzzle Start State Goal State States integer locations of tiles Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.12
21 Example: The 8-puzzle Start State Goal State States Actions integer locations of tiles left, right, up, down Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.12
22 Example: The 8-puzzle Start State Goal State States Actions Goal test integer locations of tiles left, right, up, down = goal state? Path cost B. Beckert: Einführung in die KI / KI für IM p.12
23 Example: The 8-puzzle Start State Goal State States Actions Goal test Path cost integer locations of tiles left, right, up, down = goal state? 1 per move B. Beckert: Einführung in die KI / KI für IM p.12
24 Example: Vacuum-cleaner L L S S L L L L S S S S L L S S States Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.13
25 Example: Vacuum-cleaner L L S S L L L L S S S S L L S S States integer dirt and robot locations Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.13
26 Example: Vacuum-cleaner L L S S L L L L S S S S L L S S States Actions integer dirt and robot locations left, right, suck, noop Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.13
27 Example: Vacuum-cleaner L L S S L L L L S S S S L L S S States Actions Goal test integer dirt and robot locations left, right, suck, noop not dirty? Path cost B. Beckert: Einführung in die KI / KI für IM p.13
28 Example: Vacuum-cleaner L L S S L L L L S S S S L L S S States Actions Goal test integer dirt and robot locations left, right, suck, noop not dirty? Path cost 1 per operation (0 for noop) B. Beckert: Einführung in die KI / KI für IM p.13
29 Example: obotic assembly P States Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.14
30 Example: obotic assembly P States real-valued coordinates of robot joint angles and parts of the object to be assembled Actions Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.14
31 Example: obotic assembly P States real-valued coordinates of robot joint angles and parts of the object to be assembled Actions continuous motions of robot joints Goal test Path cost B. Beckert: Einführung in die KI / KI für IM p.14
32 Example: obotic assembly P States real-valued coordinates of robot joint angles and parts of the object to be assembled Actions Goal test continuous motions of robot joints assembly complete? Path cost B. Beckert: Einführung in die KI / KI für IM p.14
33 Example: obotic assembly P States real-valued coordinates of robot joint angles and parts of the object to be assembled Actions Goal test Path cost continuous motions of robot joints assembly complete? time to execute B. Beckert: Einführung in die KI / KI für IM p.14
34 Tree search algorithms Offline Simulated exploration of state space in a search tree by generating successors of already-explored states function TEE-SEACH( problem, strategy) returns a solution or failure initialize the search tree using the initial state of problem loop do if there are no candidates for expansion then return failure choose a leaf node for expansion according to strategy if the node contains a goal state then return the corresponding solution else expand the node and add the resulting nodes to the search tree end B. Beckert: Einführung in die KI / KI für IM p.15
35 Tree search: Example Arad Sibiu Timisoara Zerind Arad Fagaras Oradea imnicu Vilcea Arad Lugoj Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.16
36 Tree search: Example Arad Sibiu Timisoara Zerind Arad Fagaras Oradea Arad Lugoj Arad imnicu Vilcea Oradea B. Beckert: Einführung in die KI / KI für IM p.16
37 Tree search: Example Arad Sibiu Timisoara Zerind Arad Fagaras Oradea imnicu Vilcea Arad Lugoj Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.16
38 Implementation: States vs. nodes State A (representation of) a physical configuration Node A data structure constituting part of a search tree (includes parent, children, depth, path cost, etc.) parent State 5 4 Node depth = 6 g = state children B. Beckert: Einführung in die KI / KI für IM p.17
39 Implementation of search algorithms function TEE-SEACH( problem, fringe) returns a solution or failure fringe INSET(MAKE-NODE(INITIAL-STATE[problem]),fringe) loop do if fringe is empty then return failure node EMOVE-FIST(fringe) if GOAL-TEST[problem] applied to STATE(node) succeeds then return node else fringe INSET-ALL(EXPAND(node, problem), fringe) end fringe State Expand queue of nodes not yet considered gives the state that is represented by node creates new nodes by applying possible actions to node B. Beckert: Einführung in die KI / KI für IM p.18
40 Search strategies Strategy Defines the order of node expansion Important properties of strategies completeness time complexity space complexity optimality does it always find a solution if one exists? number of nodes generated/expanded maximum number of nodes in memory does it always find a least-cost solution? Time and space complexity measured in terms of b d maximum branching factor of the search tree depth of a solution with minimal distance to root m maximum depth of the state space (may be ) B. Beckert: Einführung in die KI / KI für IM p.19
41 Uninformed search strategies Uninformed search Use only the information available in the problem definition Frequently used strategies Breadth-first search Uniform-cost search Depth-first search Depth-limited search Iterative deepening search B. Beckert: Einführung in die KI / KI für IM p.20
42 Breadth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue A B C D E F G B. Beckert: Einführung in die KI / KI für IM p.21
43 Breadth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue A B C D E F G B. Beckert: Einführung in die KI / KI für IM p.21
44 Breadth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue A B C D E F G B. Beckert: Einführung in die KI / KI für IM p.21
45 Breadth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue A B C D E F G B. Beckert: Einführung in die KI / KI für IM p.21
46 Breadth-first search: Example omania Arad B. Beckert: Einführung in die KI / KI für IM p.22
47 Breadth-first search: Example omania Arad Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.22
48 Breadth-first search: Example omania Arad Zerind Sibiu Timisoara Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.22
49 Breadth-first search: Example omania Arad Zerind Sibiu Timisoara Arad Oradea Arad Oradea imnicu Fagaras Vilcea Arad Lugoj B. Beckert: Einführung in die KI / KI für IM p.22
50 Breadth-first search: Properties Complete Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.23
51 Breadth-first search: Properties Complete Yes (if b is finite) Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.23
52 Breadth-first search: Properties Complete Yes (if b is finite) Time 1 + b + b 2 + b b d + b(b d 1) O(b d+1 ) i.e. exponential in d Space Optimal B. Beckert: Einführung in die KI / KI für IM p.23
53 Breadth-first search: Properties Complete Yes (if b is finite) Time 1 + b + b 2 + b b d + b(b d 1) O(b d+1 ) Space O(b d+1 ) i.e. exponential in d keeps every node in memory Optimal B. Beckert: Einführung in die KI / KI für IM p.23
54 Breadth-first search: Properties Complete Yes (if b is finite) Time 1 + b + b 2 + b b d + b(b d 1) O(b d+1 ) Space O(b d+1 ) i.e. exponential in d keeps every node in memory Optimal Yes (if cost = 1 per step), not optimal in general B. Beckert: Einführung in die KI / KI für IM p.23
55 Breadth-first search: Properties Complete Yes (if b is finite) Time 1 + b + b 2 + b b d + b(b d 1) O(b d+1 ) Space O(b d+1 ) i.e. exponential in d keeps every node in memory Optimal Yes (if cost = 1 per step), not optimal in general Disadvantage Space is the big problem (can easily generate nodes at 5MB/sec so 24hrs = 430GB) B. Beckert: Einführung in die KI / KI für IM p.23
56 omania with step costs in km Oradea 71 Neamt Zerind Arad Timisoara 111 Lugoj 70 Mehadia Dobreta Sibiu 99 Fagaras 80 imnicu Vilcea 97 Pitesti Bucharest 90 Craiova Giurgiu 87 Iasi Urziceni Vaslui Hirsova 86 Eforie Straight line distance to Bucharest Arad 366 Bucharest 0 Craiova 160 Dobreta 242 Eforie 161 Fagaras 178 Giurgiu 77 Hirsova 151 Iasi 226 Lugoj 244 Mehadia 241 Neamt 234 Oradea 380 Pitesti 98 imnicu Vilcea 193 Sibiu 253 Timisoara 329 Urziceni 80 Vaslui 199 Zerind 374 B. Beckert: Einführung in die KI / KI für IM p.24
57 Uniform-cost search Idea Expand least-cost unexpanded node (costs added up over paths from root to leafs) Implementation fringe is queue ordered by increasing path cost Note Equivalent to depth-first search if all step costs are equal B. Beckert: Einführung in die KI / KI für IM p.25
58 Uniform-cost search Arad B. Beckert: Einführung in die KI / KI für IM p.26
59 Uniform-cost search Arad Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.26
60 Uniform-cost search Arad Zerind Sibiu Timisoara Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.26
61 Uniform-cost search Arad Zerind Sibiu Timisoara Arad Oradea Arad Lugoj B. Beckert: Einführung in die KI / KI für IM p.26
62 Uniform-cost search: Properties Complete Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.27
63 Uniform-cost search: Properties Complete Yes (if step costs positive) Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.27
64 Uniform-cost search: Properties Complete Yes (if step costs positive) Time # of nodes with past-cost less than that of optimal solution Space Optimal B. Beckert: Einführung in die KI / KI für IM p.27
65 Uniform-cost search: Properties Complete Yes (if step costs positive) Time Space # of nodes with past-cost less than that of optimal solution # of nodes with past-cost less than that of optimal solution Optimal B. Beckert: Einführung in die KI / KI für IM p.27
66 Uniform-cost search: Properties Complete Yes (if step costs positive) Time Space Optimal # of nodes with past-cost less than that of optimal solution # of nodes with past-cost less than that of optimal solution Yes B. Beckert: Einführung in die KI / KI für IM p.27
67 Depth-first search Idea Expand deepest unexpanded node Implementation fringe is a LIFO queue (a stack), i.e. successors go in at front of queue Note Depth-first search can perform infinite cyclic excursions Need a finite, non-cyclic search space (or repeated-state checking) B. Beckert: Einführung in die KI / KI für IM p.28
68 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
69 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
70 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
71 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
72 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
73 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
74 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
75 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
76 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
77 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
78 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
79 Depth-first search A B C D E F G H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.29
80 Depth-first search: Example omania Arad B. Beckert: Einführung in die KI / KI für IM p.30
81 Depth-first search: Example omania Arad Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.30
82 Depth-first search: Example omania Arad Zerind Sibiu Timisoara Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.30
83 Depth-first search: Example omania Arad Zerind Sibiu Timisoara Arad Oradea Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.30
84 Depth-first search: Properties Complete Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.31
85 Depth-first search: Properties Complete Yes: if state space finite No: if state contains infinite paths or loops Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.31
86 Depth-first search: Properties Complete Yes: if state space finite No: if state contains infinite paths or loops Time O(b m ) Space Optimal B. Beckert: Einführung in die KI / KI für IM p.31
87 Depth-first search: Properties Complete Yes: if state space finite No: if state contains infinite paths or loops Time O(b m ) Space O(bm) (i.e. linear space) Optimal B. Beckert: Einführung in die KI / KI für IM p.31
88 Depth-first search: Properties Complete Yes: if state space finite No: if state contains infinite paths or loops Time O(b m ) Space O(bm) (i.e. linear space) Optimal No B. Beckert: Einführung in die KI / KI für IM p.31
89 Depth-first search: Properties Complete Yes: if state space finite No: if state contains infinite paths or loops Time O(b m ) Space O(bm) (i.e. linear space) Optimal No Disadvantage Time terrible if m much larger than d Advantage Time may be much less than breadth-first search if solutions are dense B. Beckert: Einführung in die KI / KI für IM p.31
90 Iterative deepening search Depth-limited search Depth-first search with depth limit B. Beckert: Einführung in die KI / KI für IM p.32
91 Iterative deepening search Depth-limited search Depth-first search with depth limit Iterative deepening search Depth-limit search with ever increasing limits function ITEATIVE-DEEPENING-SEACH( problem) returns a solution or failure inputs: problem /* a problem */ for depth 0 to do result DEPTH-LIMITED-SEACH( problem, depth) if result cutoff then return result end B. Beckert: Einführung in die KI / KI für IM p.32
92 Iterative deepening search with depth limit 0 Limit = 0 A A B. Beckert: Einführung in die KI / KI für IM p.33
93 Iterative deepening search with depth limit 1 Limit = 1 A A A A B C B C B C B C B. Beckert: Einführung in die KI / KI für IM p.34
94 Iterative deepening search with depth limit 2 Limit = 2 A A A A B C B C B C B C D E F G D E F G D E F G D E F G A A A A B C B C B C B C D E F G D E F G D E F G D E F G B. Beckert: Einführung in die KI / KI für IM p.35
95 Iterative deepening search with depth limit 3 Limit = 3 A A A A B C B C B C B C D E F G D E F G D E F G D E F G H I J K L M N O H I J K L M N O H I J K L M N O H I J K L M N O A A A A B C B C B C B C D E F G D E F G D E F G D E F G H I J K L M N O H I J K L M N O H I J K L M N O H I J K L M N O A A A A B C B C B C B C D E F G D E F G D E F G D E F G H I J K L M N O H I J K L M N O H I J K L M N O H I J K L M N O B. Beckert: Einführung in die KI / KI für IM p.36
96 Iterative deepening search: Example omania with l = 0 Arad B. Beckert: Einführung in die KI / KI für IM p.37
97 Iterative deepening search: Example omania with l = 1 Arad B. Beckert: Einführung in die KI / KI für IM p.38
98 Iterative deepening search: Example omania with l = 1 Arad Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.38
99 Iterative deepening search: Example omania with l = 2 Arad B. Beckert: Einführung in die KI / KI für IM p.39
100 Iterative deepening search: Example omania with l = 2 Arad Zerind Sibiu Timisoara B. Beckert: Einführung in die KI / KI für IM p.39
101 Iterative deepening search: Example omania with l = 2 Arad Zerind Sibiu Timisoara Arad Oradea B. Beckert: Einführung in die KI / KI für IM p.39
102 Iterative deepening search: Example omania with l = 2 Arad Zerind Sibiu Timisoara Arad Oradea Arad Oradea Fagaras imnicu Vilcea B. Beckert: Einführung in die KI / KI für IM p.39
103 Iterative deepening search: Example omania with l = 2 Arad Zerind Sibiu Timisoara Arad Oradea Arad Oradea Fagaras imnicu Vilcea Arad Lugoj B. Beckert: Einführung in die KI / KI für IM p.39
104 Iterative deepening search: Properties Complete Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.40
105 Iterative deepening search: Properties Complete Yes Time Space Optimal B. Beckert: Einführung in die KI / KI für IM p.40
106 Iterative deepening search: Properties Complete Yes Time (d + 1)b 0 + db 1 + (d 1)b b d O(b d+1 ) Space Optimal B. Beckert: Einführung in die KI / KI für IM p.40
107 Iterative deepening search: Properties Complete Yes Time (d + 1)b 0 + db 1 + (d 1)b b d O(b d+1 ) Space O(bd) Optimal B. Beckert: Einführung in die KI / KI für IM p.40
108 Iterative deepening search: Properties Complete Yes Time (d + 1)b 0 + db 1 + (d 1)b b d O(b d+1 ) Space O(bd) Optimal Yes (if step cost = 1) B. Beckert: Einführung in die KI / KI für IM p.40
109 Iterative deepening search: Properties Complete Yes Time (d + 1)b 0 + db 1 + (d 1)b b d O(b d+1 ) Space O(bd) Optimal Yes (if step cost = 1) (Depth-First) Iterative-Deepening Search often used in practice for search spaces of large, infinite, or unknown depth. B. Beckert: Einführung in die KI / KI für IM p.40
110 Comparison Criterion Breadthfirst Uniformcost Depthfirst Iterative deepening Complete? Yes Yes No Yes Time b d+1 b d b m b d Space b d+1 b d bm bd Optimal? Yes Yes No Yes B. Beckert: Einführung in die KI / KI für IM p.41
111 Comparison Breadth-first search Iterative deepening search B. Beckert: Einführung in die KI / KI für IM p.42
112 Summary Problem formulation usually requires abstracting away real-world details to define a state space that can feasibly be explored Variety of uninformed search strategies Iterative deepening search uses only linear space and not much more time than other uninformed algorithms B. Beckert: Einführung in die KI / KI für IM p.43
Introduction to Artificial Intelligence. Problem Solving and Search
Introduction to rtificial Intelligence Problem Solving and Search ernhard eckert UNIVERSITÄT KOLENZ-LNDU Summer Term 2003. eckert: Einführung in die KI / KI für IM p.1 Outline Problem solving Problem types
More informationIntroduction to Artificial Intelligence. Learning from Oberservations
Introduction to Artificial Intelligence Learning from Oberservations Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Wintersemester 2003/2004 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Learning
More informationIntroduction to Artificial Intelligence. Learning from Oberservations
Introduction to Artificial Intelligence Learning from Oberservations Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Summer Term 2003 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Learning agents
More information22/9/2013. Acknowledgement. Outline of the Lecture. What is an Agent? EH2750 Computer Applications in Power Systems, Advanced Course. output.
Acknowledgement EH2750 Computer Applications in Power Systems, Advanced Course. Lecture 2 These slides are based largely on a set of slides provided by: Professor Rosenschein of the Hebrew University Jerusalem,
More informationIntroduction to Artificial Intelligence. Planning
Introduction to Artificial Intelligence Planning Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Wintersemester 2003/2004 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Search vs. planning STRIPS
More informationLecture 3: Nondeterministic Computation
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 3: Nondeterministic Computation David Mix Barrington and Alexis Maciel July 19, 2000
More informationPost-Routing Layer Assignment for Double Patterning
Post-Routing Layer Assignment for Double Patterning Jian Sun 1, Yinghai Lu 2, Hai Zhou 1,2 and Xuan Zeng 1 1 Micro-Electronics Dept. Fudan University, China 2 Electrical Engineering and Computer Science
More informationAchieving Faster Time to Tapeout with In-Design, Signoff-Quality Metal Fill
White Paper Achieving Faster Time to Tapeout with In-Design, Signoff-Quality Metal Fill May 2009 Author David Pemberton- Smith Implementation Group, Synopsys, Inc. Executive Summary Many semiconductor
More informationA Parametric Autoregressive Model for the Extraction of Electric Network Frequency Fluctuations in Audio Forensic Authentication
Proceedings of the 3 rd International Conference on Control, Dynamic Systems, and Robotics (CDSR 16) Ottawa, Canada May 9 10, 2016 Paper No. 110 DOI: 10.11159/cdsr16.110 A Parametric Autoregressive Model
More informationOptimization of Multi-Channel BCH Error Decoding for Common Cases. Russell Dill Master's Thesis Defense April 20, 2015
Optimization of Multi-Channel BCH Error Decoding for Common Cases Russell Dill Master's Thesis Defense April 20, 2015 Bose-Chaudhuri-Hocquenghem (BCH) BCH is an Error Correcting Code (ECC) and is used
More informationTransportation Process For BaBar
Transportation Process For BaBar David C. Williams University of California, Santa Cruz Geant4 User s Workshop Stanford Linear Accelerator Center February 21, 2002 Outline: History and Motivation Design
More informationdata and is used in digital networks and storage devices. CRC s are easy to implement in binary
Introduction Cyclic redundancy check (CRC) is an error detecting code designed to detect changes in transmitted data and is used in digital networks and storage devices. CRC s are easy to implement in
More informationORF 307: Lecture 14. Linear Programming: Chapter 14: Network Flows: Algorithms
ORF 307: Lecture 14 Linear Programming: Chapter 14: Network Flows: Algorithms Robert J. Vanderbei April 16, 2014 Slides last edited on April 16, 2014 http://www.princeton.edu/ rvdb Agenda Primal Network
More informationA Discrete Time Markov Chain Model for High Throughput Bidirectional Fano Decoders
A Discrete Time Markov Chain Model for High Throughput Bidirectional Fano s Ran Xu, Graeme Woodward, Kevin Morris and Taskin Kocak Centre for Communications Research, Department of Electrical and Electronic
More informationORTHOGONAL frequency division multiplexing
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 55, NO. 12, DECEMBER 2009 5445 Dynamic Allocation of Subcarriers and Transmit Powers in an OFDMA Cellular Network Stephen Vaughan Hanly, Member, IEEE, Lachlan
More informationMinimax Disappointment Video Broadcasting
Minimax Disappointment Video Broadcasting DSP Seminar Spring 2001 Leiming R. Qian and Douglas L. Jones http://www.ifp.uiuc.edu/ lqian Seminar Outline 1. Motivation and Introduction 2. Background Knowledge
More informationHardware Implementation of Viterbi Decoder for Wireless Applications
Hardware Implementation of Viterbi Decoder for Wireless Applications Bhupendra Singh 1, Sanjeev Agarwal 2 and Tarun Varma 3 Deptt. of Electronics and Communication Engineering, 1 Amity School of Engineering
More informationAUDIO compression has been fundamental to the success
330 IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, VOL. 18, NO. 2, FEBRUARY 2010 Trellis-Based Approaches to Rate-Distortion Optimized Audio Encoding Vinay Melkote, Student Member, IEEE,
More informationInstruction Level Parallelism Part III
Course on: Advanced Computer Architectures Instruction Level Parallelism Part III Prof. Cristina Silvano Politecnico di Milano email: cristina.silvano@polimi.it 1 Outline of Part III Tomasulo Dynamic Scheduling
More informationMath 8 Assignment Log. Finish Discussion on Course Outline. Activity Section 2.1 Congruent Figures Due Date: In-Class: Directions for Section 2.
08-23-17 08-24-17 Math 8 Log Discussion: Course Outline Assembly First Hour Finish Discussion on Course Outline Activity Section 2.1 Congruent Figures In-Class: Directions for Section 2.1 08-28-17 Activity
More informationAsynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow
Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow Bradley R. Quinton*, Mark R. Greenstreet, Steven J.E. Wilton*, *Dept. of Electrical and Computer Engineering, Dept.
More informationCryptography CS 555. Topic 5: Pseudorandomness and Stream Ciphers. CS555 Spring 2012/Topic 5 1
Cryptography CS 555 Topic 5: Pseudorandomness and Stream Ciphers CS555 Spring 2012/Topic 5 1 Outline and Readings Outline Stream ciphers LFSR RC4 Pseudorandomness Readings: Katz and Lindell: 3.3, 3.4.1
More informationCost-Aware Live Migration of Services in the Cloud
Cost-Aware Live Migration of Services in the Cloud David Breitgand -- IBM Haifa Research Lab Gilad Kutiel, Danny Raz -- Technion, Israel Institute of Technology The research leading to these results has
More informationChallenges for OLED Deposition by Vacuum Thermal Evaporation. D. W. Gotthold, M. O Steen, W. Luhman, S. Priddy, C. Counts, C.
Challenges for OLED Deposition by Vacuum Thermal Evaporation D. W. Gotthold, M. O Steen, W. Luhman, S. Priddy, C. Counts, C. Roth June 7, 2011 Outline Introduction to Veeco Methods of OLED Deposition Cost
More informationOpen loop tracking of radio occultation signals in the lower troposphere
Open loop tracking of radio occultation signals in the lower troposphere S. Sokolovskiy University Corporation for Atmospheric Research Boulder, CO Refractivity profiles used for simulations (1-3) high
More informationA Parametric Autoregressive Model for the Extraction of Electric Network Frequency Fluctuations in Audio Forensic Authentication
Journal of Energy and Power Engineering 10 (2016) 504-512 doi: 10.17265/1934-8975/2016.08.007 D DAVID PUBLISHING A Parametric Autoregressive Model for the Extraction of Electric Network Frequency Fluctuations
More informationYale University Department of Computer Science
Yale University Department of Computer Science P.O. Box 208205 New Haven, CT 06520 8285 Slightly smaller splitter networks James Aspnes 1 Yale University YALEU/DCS/TR-1438 November 2010 1 Supported in
More information140 IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 12, NO. 2, FEBRUARY 2004
140 IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 12, NO. 2, FEBRUARY 2004 Leakage Current Reduction in CMOS VLSI Circuits by Input Vector Control Afshin Abdollahi, Farzan Fallah,
More informationHybrid Discrete-Continuous Computer Architectures for Post-Moore s-law Era
Hybrid Discrete-Continuous Computer Architectures for Post-Moore s-law Era Keynote at the Bi annual HiPEAC Compu6ng Systems Week Mee6ng Barcelona, Spain October 19 th 2010 Prof. Simha Sethumadhavan Columbia
More informationInvestigation on Technical Feasibility of Stronger RS FEC for 400GbE
Investigation on Technical Feasibility of Stronger RS FEC for 400GbE Mark Gustlin-Xilinx, Xinyuan Wang, Tongtong Wang-Huawei, Martin Langhammer-Altera, Gary Nicholl-Cisco, Dave Ofelt-Juniper, Bill Wilkie-Xilinx,
More informationProcesses for the Intersection
7 Timing Processes for the Intersection In Chapter 6, you studied the operation of one intersection approach and determined the value of the vehicle extension time that would extend the green for as long
More informationRemoval of Decaying DC Component in Current Signal Using a ovel Estimation Algorithm
Removal of Decaying DC Component in Current Signal Using a ovel Estimation Algorithm Majid Aghasi*, and Alireza Jalilian** *Department of Electrical Engineering, Iran University of Science and Technology,
More informationInformatique Fondamentale IMA S8
Informatique Fondamentale IMA S8 Cours 1 - Intro + schedule + finite state machines Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech Lille
More informationORF 307 Network Flows: Algorithms
ORF 307 Network Flows: Algorithms Robert J. Vanderbei April 5, 2009 Operations Research and Financial Engineering, Princeton University http://www.princeton.edu/ rvdb Agenda Primal Network Simplex Method
More informationTape. Tape head. Control Unit. Executes a finite set of instructions
Section 13.1 Turing Machines A Turing machine (TM) is a simple computer that has an infinite amount of storage in the form of cells on an infinite tape. There is a control unit that contains a finite set
More informationThe CHIME Pathfinder and Correlator. Matt Dobbs for the CHIME Collaboration
The CHIME Pathfinder and Correlator Matt Dobbs for the CHIME Collaboration Intense Competitive Sports Atmosphere in BC Bridge tournament taking place this week at the Days Inn, Penticton. Matt.Dobbs@McGill.ca,
More informationDecision-Maker Preference Modeling in Interactive Multiobjective Optimization
Decision-Maker Preference Modeling in Interactive Multiobjective Optimization 7th International Conference on Evolutionary Multi-Criterion Optimization Introduction This work presents the results of the
More information0 The work does not reach a standard described by the descriptors below.
the student provides a limited, incomplete or irrelevant evaluation of the presented solo theatre piece, listing the extent to which their intentions were met and/or the impact they had on their audience
More informationCompressed-Sensing-Enabled Video Streaming for Wireless Multimedia Sensor Networks Abstract:
Compressed-Sensing-Enabled Video Streaming for Wireless Multimedia Sensor Networks Abstract: This article1 presents the design of a networked system for joint compression, rate control and error correction
More informationCHAPTER 7 CONCLUSION AND SUGGESTION
CHAPTER 7 CONCLUSION AND SUGGESTION After doing all the analysis on fleet sizing using simulation approach in ARENA simulation software and economic profitability analysis using Microsoft Excel, the conclusions
More informationEVALUATION KIT AVAILABLE 12.5Gbps Settable Receive Equalizer +2.5V +3.3V V CC1 V CC. 30in OF FR-4 STRIPLINE OR MICROSTRIP TRANSMISSION LINE SDI+ SDI-
19-2713; Rev 1; 11/03 EVALUATION KIT AVAILABLE 12.5Gbps Settable Receive Equalizer General Description The driver with integrated analog equalizer compensates up to 20dB of loss at 5GHz. It is designed
More informationInstruction Level Parallelism Part III
Course on: Advanced Computer Architectures Instruction Level Parallelism Part III Prof. Cristina Silvano Politecnico di Milano email: cristina.silvano@polimi.it 1 Outline of Part III Dynamic Scheduling
More informationSIMULATION MODELING FOR QUALITY AND PRODUCTIVITY IN STEEL CORD MANUFACTURING
Turkseven, C.H., and Ertek, G. (2003). "Simulation modeling for quality and productivity in steel cord manufacturing," in Chick, S., Sánchez, P., Ferrin,D., and Morrice, D.J. (eds.). Proceedings of 2003
More informationAn Experimental Comparison of Fast Algorithms for Drawing General Large Graphs
An Experimental Comparison of Fast Algorithms for Drawing General Large Graphs Stefan Hachul and Michael Jünger Universität zu Köln, Institut für Informatik, Pohligstraße 1, 50969 Köln, Germany {hachul,
More informationXpress-Tuner User guide
FICO TM Xpress Optimization Suite Xpress-Tuner User guide Last update 26 May, 2009 www.fico.com Make every decision count TM Published by Fair Isaac Corporation c Copyright Fair Isaac Corporation 2009.
More informationLinköping University Post Print. Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints
Linköping University Post Print Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints Alexandru Andrei, Petru Ion Eles, Olivera Jovanovic, Marcus Schmitz, Jens Ogniewski and Zebo Peng
More informationMusical and automatized
Musical and automatized = Reflections and Paradoxes = Song from Internet 2 Education Publishing 1313 Chesapeake Avenue Columbus, Ohio 43212 USA Covers by Education Publisher Peer-reviewers: Prof. Mircea
More informationChapter 5 Synchronous Sequential Logic
Chapter 5 Synchronous Sequential Logic Chih-Tsun Huang ( 黃稚存 ) http://nthucad.cs.nthu.edu.tw/~cthuang/ Department of Computer Science National Tsing Hua University Outline Introduction Storage Elements:
More informationGENCOA Key Company Facts. GENCOA is a private limited company (Ltd) Founded 1995 by Dr Dermot Monaghan. Located in Liverpool, UK
GENCOA Key Company Facts GENCOA is a private limited company (Ltd) Founded 1995 by Dr Dermot Monaghan Located in Liverpool, UK Employs 34 people 6 design (Pro E 3D CAD) 4 process development & simulation
More informationOPERATIONS SEQUENCING IN A CABLE ASSEMBLY SHOP
OPERATIONS SEQUENCING IN A CABLE ASSEMBLY SHOP Ahmet N. Ceranoglu* 1, Ekrem Duman*, M. Hamdi Ozcelik**, * Dogus University, Dept. of Ind. Eng., Acibadem, Istanbul, Turkey ** Yapi Kredi Bankasi, Dept. of
More information/$ IEEE
IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING, VOL 4, NO 2, APRIL 2010 375 From Theory to Practice: Sub-Nyquist Sampling of Sparse Wideband Analog Signals Moshe Mishali, Student Member, IEEE, and
More informationA High- Speed LFSR Design by the Application of Sample Period Reduction Technique for BCH Encoder
IOSR Journal of VLSI and Signal Processing (IOSR-JVSP) ISSN: 239 42, ISBN No. : 239 497 Volume, Issue 5 (Jan. - Feb 23), PP 7-24 A High- Speed LFSR Design by the Application of Sample Period Reduction
More informationSRV02-Series. Ball & Beam. User Manual
SRV02-Series Ball & Beam User Manual Table of Contents 1. Description...3 1.1 Modular Options...4 2. System Nomenclature and Components...5 3. System Setup and Assembly...6 3.1 Typical Connections for
More informationOutline. 1 Reiteration. 2 Dynamic scheduling - Tomasulo. 3 Superscalar, VLIW. 4 Speculation. 5 ILP limitations. 6 What we have done so far.
Outline 1 Reiteration Lecture 5: EIT090 Computer Architecture 2 Dynamic scheduling - Tomasulo Anders Ardö 3 Superscalar, VLIW EIT Electrical and Information Technology, Lund University Sept. 30, 2009 4
More informationBrian Holden Kandou Bus, S.A. IEEE GE Study Group September 2, 2013 York, United Kingdom
Simulation results for NRZ, ENRZ & PAM-4 on 16-wire full-sized 400GE backplanes Brian Holden Kandou Bus, S.A. brian@kandou.com IEEE 802.3 400GE Study Group September 2, 2013 York, United Kingdom IP Disclosure
More informationAdvanced Pipelining and Instruction-Level Paralelism (2)
Advanced Pipelining and Instruction-Level Paralelism (2) Riferimenti bibliografici Computer architecture, a quantitative approach, Hennessy & Patterson: (Morgan Kaufmann eds.) Tomasulo s Algorithm For
More informationTEST PATTERNS COMPRESSION TECHNIQUES BASED ON SAT SOLVING FOR SCAN-BASED DIGITAL CIRCUITS
TEST PATTERNS COMPRESSION TECHNIQUES BASED ON SAT SOLVING FOR SCAN-BASED DIGITAL CIRCUITS Jiří Balcárek Informatics and Computer Science, 1-st class, full-time study Supervisor: Ing. Jan Schmidt, Ph.D.,
More informationType-2 Fuzzy Logic Sensor Fusion for Fire Detection Robots
Proceedings of the 2 nd International Conference of Control, Dynamic Systems, and Robotics Ottawa, Ontario, Canada, May 7 8, 2015 Paper No. 187 Type-2 Fuzzy Logic Sensor Fusion for Fire Detection Robots
More informationSequencing. Lan-Da Van ( 范倫達 ), Ph. D. Department of Computer Science National Chiao Tung University Taiwan, R.O.C. Fall,
Sequencing ( 范倫達 ), Ph. D. Department of Computer Science National Chiao Tung University Taiwan, R.O.C. Fall, 2013 ldvan@cs.nctu.edu.tw http://www.cs.nctu.edu.tw/~ldvan/ Outlines Introduction Sequencing
More informationFilterbank Reconstruction of Bandlimited Signals from Nonuniform and Generalized Samples
2864 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 48, NO. 10, OCTOBER 2000 Filterbank Reconstruction of Bandlimited Signals from Nonuniform and Generalized Samples Yonina C. Eldar, Student Member, IEEE,
More informationLatch-Based Performance Optimization for FPGAs. Xiao Teng
Latch-Based Performance Optimization for FPGAs by Xiao Teng A thesis submitted in conformity with the requirements for the degree of Master of Applied Science Graduate Department of ECE University of Toronto
More informationAdvanced Digital Logic Design EECS 303
Advanced Digital Logic Design EECS 303 http://ziyang.eecs.northwestern.edu/eecs303/ Teacher: Robert Dick Office: L477 Tech Email: dickrp@northwestern.edu Phone: 847 467 2298 Outline Introduction Reset/set
More informationni.com Digital Signal Processing for Every Application
Digital Signal Processing for Every Application Digital Signal Processing is Everywhere High-Volume Image Processing Production Test Structural Sound Health and Vibration Monitoring RF WiMAX, and Microwave
More informationcs281: Introduction to Computer Systems Lab07 - Sequential Circuits II: Ant Brain
cs281: Introduction to Computer Systems Lab07 - Sequential Circuits II: Ant Brain 1 Problem Statement Obtain the file ant.tar from the class webpage. After you untar this file in an empty directory, you
More informationHigh Performance Microprocessor Design and Automation: Overview, Challenges and Opportunities IBM Corporation
High Performance Microprocessor Design and Automation: Overview, Challenges and Opportunities Introduction About Myself What to expect out of this lecture Understand the current trend in the IC Design
More informationInteractive Methods in Multiobjective Optimization 1: An Overview
Interactive Methods in Multiobjective Optimization 1: An Overview Department of Mathematical Information Technology, University of Jyväskylä, Finland Table of Contents 1 General Properties of Interactive
More informationHeuristic Search & Local Search
Heuristic Search & Local Search CS171 Week 3 Discussion July 7, 2016 Consider the following graph, with initial state S and goal G, and the heuristic function h. Fill in the form using greedy best-first
More informationNV Series PA Modification for Improved Performance in FM+HD and HD Modes
NV Series PA Modification for Improved Performance in FM+HD and HD Modes IS10001 Issue 0.3... 02 March 2010 Nautel Limited 10089 Peggy's Cove Road, Hackett's Cove, NS, Canada B3Z 3J4 T.877 6 nautel (628835)
More informationFX Basics. Time Effects STOMPBOX DESIGN WORKSHOP. Esteban Maestre. CCRMA Stanford University July 2011
FX Basics STOMPBOX DESIGN WORKSHOP Esteban Maestre CCRMA Stanford University July 20 Time based effects are built upon the artificial introduction of delay and creation of echoes to be added to the original
More informationDELTA MODULATION AND DPCM CODING OF COLOR SIGNALS
DELTA MODULATION AND DPCM CODING OF COLOR SIGNALS Item Type text; Proceedings Authors Habibi, A. Publisher International Foundation for Telemetering Journal International Telemetering Conference Proceedings
More informationAppendix Y: Queuing Models and Applications
Appendix Y: Queuing Models and Applications Methods A queuing problem can be solved by analytical formulas or simulation methods. Analytic models are used for approximations and simple model. Simulation
More informationFourier Transforms 1D
Fourier Transforms 1D 3D Image Processing Torsten Möller Overview Recap Function representations shift-invariant spaces linear, time-invariant (LTI) systems complex numbers Fourier Transforms Transform
More informationOptimizing BNC PCB Footprint Designs for Digital Video Equipment
Optimizing BNC PCB Footprint Designs for Digital Video Equipment By Tsun-kit Chin Applications Engineer, Member of Technical Staff National Semiconductor Corp. Introduction An increasing number of video
More informationPerformance comparison study for Rx vs Tx based equalization for C2M links
Performance comparison study for Rx vs Tx based equalization for C2M links Karthik Gopalakrishnan, Basel Alnabulsi, Jamal Riani, Ilya Lyubomirsky, and Sudeep Bhoja, Inphi Corp. IEEE P802.3ck Task Force
More informationDigital Signal Processing Detailed Course Outline
Digital Signal Processing Detailed Course Outline Lesson 1 - Overview Many digital signal processing algorithms emulate analog processes that have been around for decades. Other signal processes are only
More informationPOST-PROCESSING FIDDLE : A REAL-TIME MULTI-PITCH TRACKING TECHNIQUE USING HARMONIC PARTIAL SUBTRACTION FOR USE WITHIN LIVE PERFORMANCE SYSTEMS
POST-PROCESSING FIDDLE : A REAL-TIME MULTI-PITCH TRACKING TECHNIQUE USING HARMONIC PARTIAL SUBTRACTION FOR USE WITHIN LIVE PERFORMANCE SYSTEMS Andrew N. Robertson, Mark D. Plumbley Centre for Digital Music
More informationBusiness Intelligence & Process Modelling
Business Intelligence & Process Modelling Frank Takes Universiteit Leiden Lecture 7 Process Modelling & Petri nets BIPM Lecture 7 Process Modelling & Petri nets 1 / 56 Recap Business Intelligence: anything
More informationInstance and System: a Figure and its 2 18 Variations
Instance and System: a Figure and its 2 18 Variations Univ.-Prof. H. E. Dehlinger, Dipl.-Ing, M.Arch., Ph.D. (UC Berkeley) Kunsthochschule Kassel, University of Kassel, Germany e-mail: dehling@uni-kassel.de
More informationA Model of Musical Motifs
A Model of Musical Motifs Torsten Anders Abstract This paper presents a model of musical motifs for composition. It defines the relation between a motif s music representation, its distinctive features,
More informationA Model of Musical Motifs
A Model of Musical Motifs Torsten Anders torstenanders@gmx.de Abstract This paper presents a model of musical motifs for composition. It defines the relation between a motif s music representation, its
More informationOn-Supporting Energy Balanced K-Barrier Coverage In Wireless Sensor Networks
On-Supporting Energy Balanced K-Barrier Coverage In Wireless Sensor Networks Chih-Yung Chang cychang@mail.tku.edu.t w Li-Ling Hung Aletheia University llhung@mail.au.edu.tw Yu-Chieh Chen ycchen@wireless.cs.tk
More informationRoute optimization using Hungarian method combined with Dijkstra's in home health care services
Research Journal of Computer and Information Technology Sciences ISSN 2320 6527 Route optimization using Hungarian method combined with Dijkstra's method in home health care services Abstract Monika Sharma
More informationDIMACS Implementation Challenges 1 Network Flows and Matching, Clique, Coloring, and Satisability, Parallel Computing on Trees and
8th DIMACS Implementation Challenge: The Traveling Salesman Problem http://wwwresearchattcom/dsj/chtsp/ David S Johnson AT&T Labs { Research Florham Park, NJ 07932-0971 dsj@researchattcom http://wwwresearchattcom/dsj/
More informationPowerful Software Tools and Methods to Accelerate Test Program Development A Test Systems Strategies, Inc. (TSSI) White Paper.
Powerful Software Tools and Methods to Accelerate Test Program Development A Test Systems Strategies, Inc. (TSSI) White Paper Abstract Test costs have now risen to as much as 50 percent of the total manufacturing
More informationApplications of ENF Criterion in Forensic Audio, Video, Computer and Telecommunication Analysis
Applications of ENF Criterion in Forensic Audio, Video, Computer and Telecommunication Analysis Catalin GRIGORAS, PhD, Forensic Examiner forensicav@techemail.com AES SC-03-12 Working Group on Forensic
More informationAlgorithmic Music Composition
Algorithmic Music Composition MUS-15 Jan Dreier July 6, 2015 1 Introduction The goal of algorithmic music composition is to automate the process of creating music. One wants to create pleasant music without
More informationIntroduction to Probability Exercises
Introduction to Probability Exercises Look back to exercise 1 on page 368. In that one, you found that the probability of rolling a 6 on a twelve sided die was 1 12 (or, about 8%). Let s make sure that
More informationHigh-Power Amplifier (HPA) Configuration Selection
WHITE PAPER High-Power Amplifier (HPA) Configuration Selection by Kimberly Nevetral Abstract: High Power Amplifier configuration is one of the most important decisions for Satellite Communication (SATCOM)
More informationAuto classification and simulation of mask defects using SEM and CAD images
Auto classification and simulation of mask defects using SEM and CAD images Tung Yaw Kang, Hsin Chang Lee Taiwan Semiconductor Manufacturing Company, Ltd. 25, Li Hsin Road, Hsinchu Science Park, Hsinchu
More informationIncreasing Capacity of Cellular WiMAX Networks by Interference Coordination
Universität Stuttgart INSTITUT FÜR KOMMUNIKATIONSNETZE UND RECHNERSYSTEME Prof. Dr.-Ing. Dr. h. c. mult. P. J. Kühn Increasing Capacity of Cellular WiMAX Networks by Interference Coordination Marc Necker
More informationHYBRID CONCATENATED CONVOLUTIONAL CODES FOR DEEP SPACE MISSION
HYBRID CONCATENATED CONVOLUTIONAL CODES FOR DEEP SPACE MISSION Presented by Dr.DEEPAK MISHRA OSPD/ODCG/SNPA Objective :To find out suitable channel codec for future deep space mission. Outline: Interleaver
More informationDesign for Testability
TDTS 01 Lecture 9 Design for Testability Zebo Peng Embedded Systems Laboratory IDA, Linköping University Lecture 9 The test problems Fault modeling Design for testability techniques Zebo Peng, IDA, LiTH
More informationEITF35: Introduction to Structured VLSI Design
EITF35: Introduction to Structured VLSI Design Part 4.2.1: Learn More Liang Liu liang.liu@eit.lth.se 1 Outline Crossing clock domain Reset, synchronous or asynchronous? 2 Why two DFFs? 3 Crossing clock
More informationSpeech and Speaker Recognition for the Command of an Industrial Robot
Speech and Speaker Recognition for the Command of an Industrial Robot CLAUDIA MOISA*, HELGA SILAGHI*, ANDREI SILAGHI** *Dept. of Electric Drives and Automation University of Oradea University Street, nr.
More informationComparative Study of JPEG2000 and H.264/AVC FRExt I Frame Coding on High-Definition Video Sequences
Comparative Study of and H.264/AVC FRExt I Frame Coding on High-Definition Video Sequences Pankaj Topiwala 1 FastVDO, LLC, Columbia, MD 210 ABSTRACT This paper reports the rate-distortion performance comparison
More informationA Fast Constant Coefficient Multiplier for the XC6200
A Fast Constant Coefficient Multiplier for the XC6200 Tom Kean, Bernie New and Bob Slous Xilinx Inc. Abstract. We discuss the design of a high performance constant coefficient multiplier on the Xilinx
More informationTiming with Virtual Signal Synchronization for Circuit Performance and Netlist Security
Timing with Virtual Signal Synchronization for Circuit Performance and Netlist Security Grace Li Zhang, Bing Li, Ulf Schlichtmann Chair of Electronic Design Automation Technical University of Munich (TUM)
More informationAdaptive decoding of convolutional codes
Adv. Radio Sci., 5, 29 214, 27 www.adv-radio-sci.net/5/29/27/ Author(s) 27. This work is licensed under a Creative Commons License. Advances in Radio Science Adaptive decoding of convolutional codes K.
More informationSolution of Linear Systems
Solution of Linear Systems Parallel and Distributed Computing Department of Computer Science and Engineering (DEI) Instituto Superior Técnico November 30, 2011 CPD (DEI / IST) Parallel and Distributed
More informationCascadable 4-Bit Comparator
EE 415 Project Report for Cascadable 4-Bit Comparator By William Dixon Mailbox 509 June 1, 2010 INTRODUCTION... 3 THE CASCADABLE 4-BIT COMPARATOR... 4 CONCEPT OF OPERATION... 4 LIMITATIONS... 5 POSSIBILITIES
More information