Introduction to Artificial Intelligence. Problem Solving and Search

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Introduction to Artificial Intelligence. Problem Solving and Search"

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

Introduction to Artificial Intelligence. Planning

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

Xpress-Tuner User guide

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

Hardware Implementation of Viterbi Decoder for Wireless Applications

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

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

Tape. Tape head. Control Unit. Executes a finite set of instructions

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

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

Informatique Fondamentale IMA S8

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

The CHIME Pathfinder and Correlator. Matt Dobbs for the CHIME Collaboration

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

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

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

Brian Holden Kandou Bus, S.A. IEEE GE Study Group September 2, 2013 York, United Kingdom

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

Advanced Pipelining and Instruction-Level Paralelism (2)

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

A Fast Constant Coefficient Multiplier for the XC6200

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

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

ni.com Digital Signal Processing for Every Application

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

cs281: Introduction to Computer Systems Lab07 - Sequential Circuits II: Ant Brain

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

Instruction Level Parallelism Part III

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

DELTA MODULATION AND DPCM CODING OF COLOR SIGNALS

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

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

Modelling a master detail scheduler for the laboratory

Modelling a master detail scheduler for the laboratory Fachhochschule Wiesbaden Department 06 Computer Science Modelling a master detail scheduler for the laboratory Reinhold Schäfer 1 Agenda Scenario and definitions Scheduling and re-scheduling Master detail

More information

Applications of ENF Criterion in Forensic Audio, Video, Computer and Telecommunication Analysis

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

EITF35: Introduction to Structured VLSI Design

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

Speech and Speaker Recognition for the Command of an Industrial Robot

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

Introduction to Probability Exercises

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

The Discussion about Truth Viewpoint and its Significance on the View of Broad-Spectrum Philosophy

The Discussion about Truth Viewpoint and its Significance on the View of Broad-Spectrum Philosophy Research Journal of Applied Sciences, Engineering and Technology 4(21): 4515-4519, 2012 ISSN: 2040-7467 Maxwell Scientific Organization, 2012 Submitted: May 15, 2012 Accepted: June 15, 2012 Published:

More information

Getting Started with the LabVIEW Sound and Vibration Toolkit

Getting Started with the LabVIEW Sound and Vibration Toolkit 1 Getting Started with the LabVIEW Sound and Vibration Toolkit This tutorial is designed to introduce you to some of the sound and vibration analysis capabilities in the industry-leading software tool

More information

Cascadable 4-Bit Comparator

Cascadable 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

Comparative Study of JPEG2000 and H.264/AVC FRExt I Frame Coding on High-Definition Video Sequences

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

Optimization of FPGA Architecture for Uniform Random Number Generator Using LUT-SR Family

Optimization of FPGA Architecture for Uniform Random Number Generator Using LUT-SR Family Optimization of FPGA Architecture for Uniform Random Number Generator Using LUT-SR Family Rita Rawate 1, M. V. Vyawahare 2 1 Nagpur University, Priyadarshini College of Engineering, Nagpur 2 Professor,

More information

ALGEBRAIC PURE TONE COMPOSITIONS CONSTRUCTED VIA SIMILARITY

ALGEBRAIC PURE TONE COMPOSITIONS CONSTRUCTED VIA SIMILARITY ALGEBRAIC PURE TONE COMPOSITIONS CONSTRUCTED VIA SIMILARITY WILL TURNER Abstract. We describe a family of musical compositions constructed by algebraic techniques, based on the notion of similarity between

More information

Wire Delay and Switch Logic

Wire Delay and Switch Logic Wire Delay and Switch Logic Somayyeh Koohi Department of Computer Engineering Adapted with modifications from lecture notes prepared by author Topics Wire delay Buffer insertion Crosstalk Switch logic

More information

ACT-R ACT-R. Core Components of the Architecture. Core Commitments of the Theory. Chunks. Modules

ACT-R ACT-R. Core Components of the Architecture. Core Commitments of the Theory. Chunks. Modules ACT-R & A 1000 Flowers ACT-R Adaptive Control of Thought Rational Theory of cognition today Cognitive architecture Programming Environment 2 Core Commitments of the Theory Modularity (and what the modules

More information

Interleaved Source Coding (ISC) for Predictive Video over ERASURE-Channels

Interleaved Source Coding (ISC) for Predictive Video over ERASURE-Channels Interleaved Source Coding (ISC) for Predictive Video over ERASURE-Channels Jin Young Lee, Member, IEEE and Hayder Radha, Senior Member, IEEE Abstract Packet losses over unreliable networks have a severe

More information

APPLICATION NOTE. Fiber Alignment Now Achievable with Commercial Software

APPLICATION NOTE. Fiber Alignment Now Achievable with Commercial Software APPLICATION NOTE Fiber Alignment Now Achievable with Commercial Software 55 Fiber Alignment Now Achievable with Commercial Software Fiber Alignment Fiber (or optical) alignment s goal is to find the location

More information

Instruction Level Parallelism and Its. (Part II) ECE 154B

Instruction Level Parallelism and Its. (Part II) ECE 154B Instruction Level Parallelism and Its Exploitation (Part II) ECE 154B Dmitri Strukov ILP techniques not covered last week this week next week Scoreboard Technique Review Allow for out of order execution

More information

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

EECS150 - Digital Design Lecture 10 - Interfacing. Recap and Topics

EECS150 - Digital Design Lecture 10 - Interfacing. Recap and Topics EECS150 - Digital Design Lecture 10 - Interfacing Oct. 1, 2013 Prof. Ronald Fearing Electrical Engineering and Computer Sciences University of California, Berkeley (slides courtesy of Prof. John Wawrzynek)

More information

The Design of Efficient Viterbi Decoder and Realization by FPGA

The Design of Efficient Viterbi Decoder and Realization by FPGA Modern Applied Science; Vol. 6, No. 11; 212 ISSN 1913-1844 E-ISSN 1913-1852 Published by Canadian Center of Science and Education The Design of Efficient Viterbi Decoder and Realization by FPGA Liu Yanyan

More information

Example the number 21 has the following pairs of squares and numbers that produce this sum.

Example the number 21 has the following pairs of squares and numbers that produce this sum. by Philip G Jackson info@simplicityinstinct.com P O Box 10240, Dominion Road, Mt Eden 1446, Auckland, New Zealand Abstract Four simple attributes of Prime Numbers are shown, including one that although

More information

A Model of Musical Motifs

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

PAPER Wireless Multi-view Video Streaming with Subcarrier Allocation

PAPER Wireless Multi-view Video Streaming with Subcarrier Allocation IEICE TRANS. COMMUN., VOL.Exx??, NO.xx XXXX 200x 1 AER Wireless Multi-view Video Streaming with Subcarrier Allocation Takuya FUJIHASHI a), Shiho KODERA b), Nonmembers, Shunsuke SARUWATARI c), and Takashi

More information

Politecnico di Torino HIGH SPEED AND HIGH PRECISION ANALOG TO DIGITAL CONVERTER. Professor : Del Corso Mahshid Hooshmand ID Student Number:

Politecnico di Torino HIGH SPEED AND HIGH PRECISION ANALOG TO DIGITAL CONVERTER. Professor : Del Corso Mahshid Hooshmand ID Student Number: Politecnico di Torino HIGH SPEED AND HIGH PRECISION ANALOG TO DIGITAL CONVERTER Professor : Del Corso Mahshid Hooshmand ID Student Number: 181517 13/06/2013 Introduction Overview.....2 Applications of

More information

Digital Signal Processing Detailed Course Outline

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

10 Visualization of Tonal Content in the Symbolic and Audio Domains

10 Visualization of Tonal Content in the Symbolic and Audio Domains 10 Visualization of Tonal Content in the Symbolic and Audio Domains Petri Toiviainen Department of Music PO Box 35 (M) 40014 University of Jyväskylä Finland ptoiviai@campus.jyu.fi Abstract Various computational

More information

Agilent 86120B, 86120C, 86122A Multi-Wavelength Meters Technical Specifications

Agilent 86120B, 86120C, 86122A Multi-Wavelength Meters Technical Specifications Agilent 86120B, 86120C, 86122A Multi-Wavelength Meters Technical Specifications March 2006 Agilent multi-wavelength meters are Michelson interferometer-based instruments that measure wavelength and optical

More information

HYBRID CONCATENATED CONVOLUTIONAL CODES FOR DEEP SPACE MISSION

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

Increasing Capacity of Cellular WiMAX Networks by Interference Coordination

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

Tomasulo Algorithm. Developed at IBM and first implemented in IBM s 360/91

Tomasulo Algorithm. Developed at IBM and first implemented in IBM s 360/91 Tomasulo Algorithm Developed at IBM and first implemented in IBM s 360/91 IBM wanted to use the existing compiler instead of a specialized compiler for high end machines. Tracks when operands are available

More information

Music Source Separation

Music Source Separation Music Source Separation Hao-Wei Tseng Electrical and Engineering System University of Michigan Ann Arbor, Michigan Email: blakesen@umich.edu Abstract In popular music, a cover version or cover song, or

More information

Vector-Valued Image Interpolation by an Anisotropic Diffusion-Projection PDE

Vector-Valued Image Interpolation by an Anisotropic Diffusion-Projection PDE Computer Vision, Speech Communication and Signal Processing Group School of Electrical and Computer Engineering National Technical University of Athens, Greece URL: http://cvsp.cs.ntua.gr Vector-Valued

More information

Data flow architecture for high-speed optical processors

Data flow architecture for high-speed optical processors Data flow architecture for high-speed optical processors Kipp A. Bauchert and Steven A. Serati Boulder Nonlinear Systems, Inc., Boulder CO 80301 1. Abstract For optical processor applications outside of

More information

Auto classification and simulation of mask defects using SEM and CAD images

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

Lecture 16: Instruction Level Parallelism -- Dynamic Scheduling (OOO) via Tomasulo s Approach

Lecture 16: Instruction Level Parallelism -- Dynamic Scheduling (OOO) via Tomasulo s Approach Lecture 16: Instruction Level Parallelism -- Dynamic Scheduling (OOO) via Tomasulo s Approach CSE 564 Computer Architecture Summer 2017 Department of Computer Science and Engineering Yonghong Yan yan@oakland.edu

More information

2. AN INTROSPECTION OF THE MORPHING PROCESS

2. AN INTROSPECTION OF THE MORPHING PROCESS 1. INTRODUCTION Voice morphing means the transition of one speech signal into another. Like image morphing, speech morphing aims to preserve the shared characteristics of the starting and final signals,

More information

ADS Basic Automation solutions for the lighting industry

ADS Basic Automation solutions for the lighting industry ADS Basic Automation solutions for the lighting industry Rethinking productivity means continuously making full use of all opportunities. The increasing intensity of the competition, saturated markets,

More information

Performance Modeling and Noise Reduction in VLSI Packaging

Performance Modeling and Noise Reduction in VLSI Packaging Performance Modeling and Noise Reduction in VLSI Packaging Ph.D. Defense Brock J. LaMeres University of Colorado October 7, 2005 October 7, 2005 Performance Modeling and Noise Reduction in VLSI Packaging

More information

6.UAP Project. FunPlayer: A Real-Time Speed-Adjusting Music Accompaniment System. Daryl Neubieser. May 12, 2016

6.UAP Project. FunPlayer: A Real-Time Speed-Adjusting Music Accompaniment System. Daryl Neubieser. May 12, 2016 6.UAP Project FunPlayer: A Real-Time Speed-Adjusting Music Accompaniment System Daryl Neubieser May 12, 2016 Abstract: This paper describes my implementation of a variable-speed accompaniment system that

More information

FIFO Memories: Solution to Reduce FIFO Metastability

FIFO Memories: Solution to Reduce FIFO Metastability FIFO Memories: Solution to Reduce FIFO Metastability First-In, First-Out Technology Tom Jackson Advanced System Logic Semiconductor Group SCAA011A March 1996 1 IMPORTANT NOTICE Texas Instruments (TI) reserves

More information

SEVENTH GRADE. Revised June Billings Public Schools Correlation and Pacing Guide Math - McDougal Littell Middle School Math 2004

SEVENTH GRADE. Revised June Billings Public Schools Correlation and Pacing Guide Math - McDougal Littell Middle School Math 2004 SEVENTH GRADE June 2010 Billings Public Schools Correlation and Guide Math - McDougal Littell Middle School Math 2004 (Chapter Order: 1, 6, 2, 4, 5, 13, 3, 7, 8, 9, 10, 11, 12 Chapter 1 Number Sense, Patterns,

More information

Gossip Spread in Social Network Models

Gossip Spread in Social Network Models DRAFT 2016-06-28 Gossip Spread in Social Network Models Tobias Johansson, Kristianstad University Tobias.Johansson@hkr.se Abstract Gossip almost inevitably arises in real social networks. In this article

More information

Professor Laurence S. Dooley. School of Computing and Communications Milton Keynes, UK

Professor Laurence S. Dooley. School of Computing and Communications Milton Keynes, UK Professor Laurence S. Dooley School of Computing and Communications Milton Keynes, UK The Song of the Talking Wire 1904 Henry Farny painting Communications It s an analogue world Our world is continuous

More information

arxiv: v1 [cs.fl] 26 May 2010

arxiv: v1 [cs.fl] 26 May 2010 arxiv:.486v [cs.fl] 6 May A new weakly universal cellular automaton in the 3D hyperbolic space with two states Maurice Margenstern Université Paul Verlaine Metz, IUT de Metz, LITA EA 397, UFR MIM, Campus

More information

Using the MAX3656 Laser Driver to Transmit Serial Digital Video with Pathological Patterns

Using the MAX3656 Laser Driver to Transmit Serial Digital Video with Pathological Patterns Design Note: HFDN-33.0 Rev 0, 8/04 Using the MAX3656 Laser Driver to Transmit Serial Digital Video with Pathological Patterns MAXIM High-Frequency/Fiber Communications Group AVAILABLE 6hfdn33.doc Using

More information

SWITCHED INFINITY: SUPPORTING AN INFINITE HD LINEUP WITH SDV

SWITCHED INFINITY: SUPPORTING AN INFINITE HD LINEUP WITH SDV SWITCHED INFINITY: SUPPORTING AN INFINITE HD LINEUP WITH SDV First Presented at the SCTE Cable-Tec Expo 2010 John Civiletto, Executive Director of Platform Architecture. Cox Communications Ludovic Milin,

More information

100Gb/s Single-lane SERDES Discussion. Phil Sun, Credo Semiconductor IEEE New Ethernet Applications Ad Hoc May 24, 2017

100Gb/s Single-lane SERDES Discussion. Phil Sun, Credo Semiconductor IEEE New Ethernet Applications Ad Hoc May 24, 2017 100Gb/s Single-lane SERDES Discussion Phil Sun, Credo Semiconductor IEEE 802.3 New Ethernet Applications Ad Hoc May 24, 2017 Introduction This contribution tries to share thoughts on 100Gb/s single-lane

More information

Design Project: Designing a Viterbi Decoder (PART I)

Design Project: Designing a Viterbi Decoder (PART I) Digital Integrated Circuits A Design Perspective 2/e Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić Chapters 6 and 11 Design Project: Designing a Viterbi Decoder (PART I) 1. Designing a Viterbi

More information

THINKING ABOUT IP MIGRATION?

THINKING ABOUT IP MIGRATION? THINKING ABOUT IP MIGRATION? Get the flexibility to face the future. Follow Grass Valley down the path to IP. www.grassvalley.com/ip In today s competitive landscape, you need to seamlessly integrate IP

More information

Soft Computing Approach To Automatic Test Pattern Generation For Sequential Vlsi Circuit

Soft Computing Approach To Automatic Test Pattern Generation For Sequential Vlsi Circuit Soft Computing Approach To Automatic Test Pattern Generation For Sequential Vlsi Circuit Monalisa Mohanty 1, S.N.Patanaik 2 1 Lecturer,DRIEMS,Cuttack, 2 Prof.,HOD,ENTC, DRIEMS,Cuttack 1 mohanty_monalisa@yahoo.co.in,

More information

V9A01 Solution Specification V0.1

V9A01 Solution Specification V0.1 V9A01 Solution Specification V0.1 CONTENTS V9A01 Solution Specification Section 1 Document Descriptions... 4 1.1 Version Descriptions... 4 1.2 Nomenclature of this Document... 4 Section 2 Solution Overview...

More information

Lossless Compression Algorithms for Direct- Write Lithography Systems

Lossless Compression Algorithms for Direct- Write Lithography Systems Lossless Compression Algorithms for Direct- Write Lithography Systems Hsin-I Liu Video and Image Processing Lab Department of Electrical Engineering and Computer Science University of California at Berkeley

More information

Display Wall. Morris County Emergency Operations Cente. LED Display Wall. [120 Series] Redundant

Display Wall. Morris County Emergency Operations Cente. LED Display Wall. [120 Series] Redundant Display Wall Morris County Emergency Operations Cente LED Display Wall [120 Series] Redundant New Wide-format LED Display Wall Cubes Guarantee High Performance and Quality Cenace CFE Puebla Mexico Smart

More information

The Total Boox service is available in many libraries with great success. Please consider adding the service to your library as well.

The Total Boox service is available in many libraries with great success. Please consider adding the service to your library as well. LIBRARIAN S GUIDE MORE READING FOR PATRONS. LESS SPENDING FOR LIBRARIES. NO BARRIERS TO ACCESS Dear librarian, The advantages enabled by digital books should be translated to richer selection and better

More information

Applying Models in your Testing Process

Applying Models in your Testing Process Applying Models in your Testing Process Steven Rosaria Harry Robinson Intelligent Search Test Group Microsoft Corporation srosaria@microsoft.com harryr@microsoft.com Abstract Model-based testing allows

More information

Application of A Disk Migration Module in Virtual Machine live Migration

Application of A Disk Migration Module in Virtual Machine live Migration 2010 3rd International Conference on Computer and Electrical Engineering (ICCEE 2010) IPCSIT vol. 53 (2012) (2012) IACSIT Press, Singapore DOI: 10.7763/IPCSIT.2012.V53.No.2.61 Application of A Disk Migration

More information

Explorer Edition FUZZY LOGIC DEVELOPMENT TOOL FOR ST6

Explorer Edition FUZZY LOGIC DEVELOPMENT TOOL FOR ST6 fuzzytech ST6 Explorer Edition FUZZY LOGIC DEVELOPMENT TOOL FOR ST6 DESIGN: System: up to 4 inputs and one output Variables: up to 7 labels per input/output Rules: up to 125 rules ON-LINE OPTIMISATION:

More information

Matrix Mathematics: Theory, Facts, and Formulas

Matrix Mathematics: Theory, Facts, and Formulas Matrix Mathematics: Theory, Facts, and Formulas Dennis S. Bernstein Click here if your download doesn"t start automatically Matrix Mathematics: Theory, Facts, and Formulas Dennis S. Bernstein Matrix Mathematics:

More information

1. Introduction. Abstract. 1.1 Logic Criteria

1. Introduction. Abstract. 1.1 Logic Criteria An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt Computer Science Department, George Mason University, Fairfax,

More information

Investigation of Digital Signal Processing of High-speed DACs Signals for Settling Time Testing

Investigation of Digital Signal Processing of High-speed DACs Signals for Settling Time Testing Universal Journal of Electrical and Electronic Engineering 4(2): 67-72, 2016 DOI: 10.13189/ujeee.2016.040204 http://www.hrpub.org Investigation of Digital Signal Processing of High-speed DACs Signals for

More information

Sharif University of Technology. SoC: Introduction

Sharif University of Technology. SoC: Introduction SoC Design Lecture 1: Introduction Shaahin Hessabi Department of Computer Engineering System-on-Chip System: a set of related parts that act as a whole to achieve a given goal. A system is a set of interacting

More information

MELONET I: Neural Nets for Inventing Baroque-Style Chorale Variations

MELONET I: Neural Nets for Inventing Baroque-Style Chorale Variations MELONET I: Neural Nets for Inventing Baroque-Style Chorale Variations Dominik Hornel dominik@ira.uka.de Institut fur Logik, Komplexitat und Deduktionssysteme Universitat Fridericiana Karlsruhe (TH) Am

More information

10GBASE-KR Start-Up Protocol

10GBASE-KR Start-Up Protocol 10GBASE-KR Start-Up Protocol 1 Supporters Luke Chang, Intel Justin Gaither, Xilinx Ilango Ganga, Intel Andre Szczepanek, TI Pat Thaler, Agilent Rob Brink, Agere Systems Scope and Purpose This presentation

More information

DISTRIBUTED MOTION CONTROL

DISTRIBUTED MOTION CONTROL DISTRIBUTED OTION CONTROL Jacob Hefer Elmo otion Control Westford, A Abstract Distributed motion control is a reality; today's processing power, deterministic protocols and network technology make that

More information

On-line Multi-label Classification

On-line Multi-label Classification On-line Multi-label Classification A Problem Transformation Approach Jesse Read Supervisors: Bernhard Pfahringer, Geoff Holmes Hamilton, New Zealand Outline Multi label Classification Problem Transformation

More information

This past April, Math

This past April, Math The Mathematics Behind xkcd A Conversation with Randall Munroe Laura Taalman This past April, Math Horizons sat down with Randall Munroe, the author of the popular webcomic xkcd, to talk about some of

More information

Model GS7000 GainMaker Node Forward Local Injection Module Installation Instructions

Model GS7000 GainMaker Node Forward Local Injection Module Installation Instructions Model GS7000 GainMaker Node Forward Local Injection Module Installation Instructions Introduction The Forward Local Injection (FLI) Module is a field installable accessory for the Model GS7000 GainMaker

More information

"CHOOSING A STATIC MIXER"

CHOOSING A STATIC MIXER "HOW TO CHOOSE A STATIC MIXER TO PROPERLY MIX A 2-COMPONENT ADHESIVE" BY David W. Kirsch Choosing a static mixer requires more than reading a sales catalog and selecting a part number. Adhesive manufacturers

More information

Digital Video Engineering Professional Certification Competencies

Digital Video Engineering Professional Certification Competencies Digital Video Engineering Professional Certification Competencies I. Engineering Management and Professionalism A. Demonstrate effective problem solving techniques B. Describe processes for ensuring realistic

More information

Next-Generation Video Walls LCD Video Wall Technology

Next-Generation Video Walls LCD Video Wall Technology WHITE PAPER Next-Generation Video Walls LCD Video Wall Technology Welcome to the new world of digital video displays. Now wherever we go, high-impact video walls and display technology are everywhere:

More information

(Skip to step 11 if you are already familiar with connecting to the Tribot)

(Skip to step 11 if you are already familiar with connecting to the Tribot) LEGO MINDSTORMS NXT Lab 5 Remember back in Lab 2 when the Tribot was commanded to drive in a specific pattern that had the shape of a bow tie? Specific commands were passed to the motors to command how

More information

Popularity-Aware Rate Allocation in Multi-View Video

Popularity-Aware Rate Allocation in Multi-View Video Popularity-Aware Rate Allocation in Multi-View Video Attilio Fiandrotti a, Jacob Chakareski b, Pascal Frossard b a Computer and Control Engineering Department, Politecnico di Torino, Turin, Italy b Signal

More information

Synchronous Sequential Design

Synchronous Sequential Design Synchronous Sequential Design SMD098 Computation Structures Lecture 4 1 Synchronous sequential systems Almost all digital systems have some concept of state the outputs of a system depends on the past

More information

Optimization of memory based multiplication for LUT

Optimization of memory based multiplication for LUT Optimization of memory based multiplication for LUT V. Hari Krishna *, N.C Pant ** * Guru Nanak Institute of Technology, E.C.E Dept., Hyderabad, India ** Guru Nanak Institute of Technology, Prof & Head,

More information

On the Characterization of Distributed Virtual Environment Systems

On the Characterization of Distributed Virtual Environment Systems On the Characterization of Distributed Virtual Environment Systems P. Morillo, J. M. Orduña, M. Fernández and J. Duato Departamento de Informática. Universidad de Valencia. SPAIN DISCA. Universidad Politécnica

More information

Using Embedded Dynamic Random Access Memory to Reduce Energy Consumption of Magnetic Recording Read Channel

Using Embedded Dynamic Random Access Memory to Reduce Energy Consumption of Magnetic Recording Read Channel IEEE TRANSACTIONS ON MAGNETICS, VOL. 46, NO. 1, JANUARY 2010 87 Using Embedded Dynamic Random Access Memory to Reduce Energy Consumption of Magnetic Recording Read Channel Ningde Xie 1, Tong Zhang 1, and

More information

TechNote: MuraTool CA: 1 2/9/00. Figure 1: High contrast fringe ring mura on a microdisplay

TechNote: MuraTool CA: 1 2/9/00. Figure 1: High contrast fringe ring mura on a microdisplay Mura: The Japanese word for blemish has been widely adopted by the display industry to describe almost all irregular luminosity variation defects in liquid crystal displays. Mura defects are caused by

More information

The Time Series Forecasting System Charles Hallahan, Economic Research Service/USDA, Washington, DC

The Time Series Forecasting System Charles Hallahan, Economic Research Service/USDA, Washington, DC INTRODUCTION The Time Series Forecasting System Charles Hallahan, Economic Research Service/USDA, Washington, DC The Time Series Forecasting System (TSFS) is a component of SAS/ETS that provides a menu-based

More information

DICOM medical image watermarking of ECG signals using EZW algorithm. A. Kannammal* and S. Subha Rani

DICOM medical image watermarking of ECG signals using EZW algorithm. A. Kannammal* and S. Subha Rani 126 Int. J. Medical Engineering and Informatics, Vol. 5, No. 2, 2013 DICOM medical image watermarking of ECG signals using EZW algorithm A. Kannammal* and S. Subha Rani ECE Department, PSG College of Technology,

More information

Video Signals and Circuits Part 2

Video Signals and Circuits Part 2 Video Signals and Circuits Part 2 Bill Sheets K2MQJ Rudy Graf KA2CWL In the first part of this article the basic signal structure of a TV signal was discussed, and how a color video signal is structured.

More information

Loudness and Sharpness Calculation

Loudness and Sharpness Calculation 10/16 Loudness and Sharpness Calculation Psychoacoustics is the science of the relationship between physical quantities of sound and subjective hearing impressions. To examine these relationships, physical

More information

Unlinkable Outsourced Channel Monitoring

Unlinkable Outsourced Channel Monitoring Unlinkable Outsourced Channel Monitoring Thaddeus Dryja Scaling Bitcoin Milano 2016-10-08 Channels are cool Cheap to make Cheap to break Update states real quick Link them together in

More information