Introduction to Artificial Intelligence. Problem Solving and Search
|
|
- Lester Palmer
- 6 years ago
- Views:
Transcription
1 Introduction to rtificial Intelligence Problem Solving and Search ernhard eckert UNIVERSITÄT KOLENZ-LNDU Summer Term eckert: Einführung in die KI / KI für IM p.1
2 Outline Problem solving Problem types Problem formulation Example problems asic search algorithms. eckert: Einführung in die KI / KI für IM p.2
3 Problem solving Offline problem solving cting only with complete knowledge of problem and solution Online problem solving cting without complete knowledge Here Here we are concerned with offline problem solving only. eckert: Einführung in die KI / KI für IM p.3
4 Example: Travelling in Romania Scenario On holiday in Romania; currently in Flight leaves tomorrow from ucharest Goal e in ucharest Formulate problem States: various cities ctions: drive between cities Solution ppropriate sequence of cities e.g.:, Sibiu, Fagaras, ucharest. eckert: Einführung in die KI / KI für IM p.4
5 Example: Travelling in Romania Oradea Neamt Zerind Iasi Sibiu Fagaras Vaslui Timisoara Rimnicu Vilcea Lugoj Pitesti Mehadia Urziceni Hirsova Dobreta raiova ucharest Giurgiu Eforie. eckert: Einführung in die KI / KI für IM p.5
6 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 ontingency problem partially observable (initial state not observable) non-deterministic. eckert: Einführung in die KI / KI für IM p.6
7 Example: vacuum-cleaner world Single-state 1 2 Start in: 5 Solution: [right, suck] 3 4 Multiple-state Start in: Solution: [right, suck, left, suck] right suck 4 8 left 3 7 suck 7. eckert: Einführung in die KI / KI für IM p.7
8 Example: vacuum-cleaner world 1 2 ontingency Murphy s Law: suck can dirty a clean carpet Local sensing: dirty/not dirty at location only Start in: 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). eckert: Einführung in die KI / KI für IM p.8
9 Single-state problem formulation Defined by the following four items 1. Initial state Example: 2. Successor function S Example: S gozerind Zerind gosibiu Sibiu 3. Goal test Example: x ucharest (explicit test) nodirt x (implicit test) 4. Path cost (optional) Example: sum of distances, number of operators executed, etc.. eckert: Einführung in die KI / KI für IM p.9
10 Single-state problem formulation Solution sequence of operators leading from the initial state to a goal state. eckert: Einführung in die KI / KI für IM p.10
11 Selecting a state space bstraction Real world is absurdly complex State space must be abstracted for problem solving (bstract) state Set of real states (bstract) operator omplex combination of real actions Example: Zerind represents complex set of possible routes (bstract) solution Set of real paths that are solutions in the real world. eckert: Einführung in die KI / KI für IM p.11
12 Example: The 8-puzzle Start State Goal State States ctions Goal test Path cost integer locations of tiles left, right, up, down = goal state? 1 per move. eckert: Einführung in die KI / KI für IM p.12
13 Example: Vacuum-cleaner L R L R S S L R R L R R L L S S S S L R L R S S States ctions Goal test integer dirt and robot locations left, right, suck, noop not dirty? Path cost 1 per operation (0 for noop). eckert: Einführung in die KI / KI für IM p.13
14 Example: Robotic assembly P R R R R R States real-valued coordinates of robot joint angles and parts of the object to be assembled ctions Goal test Path cost continuous motions of robot joints assembly complete? time to execute. eckert: Einführung in die KI / KI für IM p.14
15 Tree search algorithms Offline Simulated exploration of state space in a search tree by generating successors of already-explored states function TREE-SERH( 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. eckert: Einführung in die KI / KI für IM p.15
16 Tree search: Example Sibiu Timisoara Zerind Fagaras Oradea Rimnicu Vilcea Lugoj Oradea. eckert: Einführung in die KI / KI für IM p.16
17 Tree search: Example Sibiu Timisoara Zerind Fagaras Oradea Lugoj Rimnicu Vilcea Oradea. eckert: Einführung in die KI / KI für IM p.16
18 Tree search: Example Sibiu Timisoara Zerind Fagaras Oradea Rimnicu Vilcea Lugoj Oradea. eckert: Einführung in die KI / KI für IM p.16
19 Implementation: States vs. nodes State (representation of) a physical configuration Node data structure constituting part of a search tree (includes parent, children, depth, path cost, etc.) parent State 5 4 Node depth = g = state children. eckert: Einführung in die KI / KI für IM p.17
20 Implementation of search algorithms function TREE-SERH( problem, fringe) returns a solution or failure fringe INSERT(MKE-NODE(INITIL-STTE[problem]),fringe) loop do if fringe is empty then return failure node REMOVE-FIRST(fringe) if GOL-TEST[problem] applied to STTE(node) succeeds then return node else fringe INSERT-LL(EXPND(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. eckert: Einführung in die KI / KI für IM p.18
21 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 ). eckert: Einführung in die KI / KI für IM p.19
22 Uninformed search strategies Uninformed search Use only the information available in the problem definition Frequently used strategies readth-first search Uniform-cost search Depth-first search Depth-limited search Iterative deepening search. eckert: Einführung in die KI / KI für IM p.20
23 readth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue D E F G. eckert: Einführung in die KI / KI für IM p.21
24 readth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue D E F G. eckert: Einführung in die KI / KI für IM p.21
25 readth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue D E F G. eckert: Einführung in die KI / KI für IM p.21
26 readth-first search Idea Expand shallowest unexpanded node Implementation fringe is a FIFO queue, i.e. successors go in at the end of the queue D E F G. eckert: Einführung in die KI / KI für IM p.21
27 readth-first search: Example Romania. eckert: Einführung in die KI / KI für IM p.22
28 readth-first search: Example Romania Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.22
29 readth-first search: Example Romania Zerind Sibiu Timisoara Oradea. eckert: Einführung in die KI / KI für IM p.22
30 readth-first search: Example Romania Zerind Sibiu Timisoara Oradea Oradea Rimnicu Fagaras Vilcea Lugoj. eckert: Einführung in die KI / KI für IM p.22
31 readth-first search: Properties omplete Yes (if b is finite) Time 1 b b 2 b 3 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 5M/sec so 24hrs = 430G). eckert: Einführung in die KI / KI für IM p.23
32 Romania with step costs in km Oradea 71 Neamt Zerind Timisoara 111 Lugoj 70 Mehadia Dobreta Sibiu 99 Fagaras 80 Rimnicu Vilcea 97 Pitesti ucharest 90 raiova Giurgiu 87 Iasi Urziceni Vaslui Hirsova 86 Eforie Straight line distance to ucharest 366 ucharest 0 raiova 160 Dobreta 242 Eforie 161 Fagaras 178 Giurgiu 77 Hirsova 151 Iasi 226 Lugoj 244 Mehadia 241 Neamt 234 Oradea 380 Pitesti 98 Rimnicu Vilcea 193 Sibiu 253 Timisoara 329 Urziceni 80 Vaslui 199 Zerind 374. eckert: Einführung in die KI / KI für IM p.24
33 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. eckert: Einführung in die KI / KI für IM p.25
34 Uniform-cost search. eckert: Einführung in die KI / KI für IM p.26
35 Uniform-cost search Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.26
36 Uniform-cost search Zerind Sibiu Timisoara Oradea. eckert: Einführung in die KI / KI für IM p.26
37 Uniform-cost search Zerind Sibiu Timisoara Oradea Lugoj. eckert: Einführung in die KI / KI für IM p.26
38 Uniform-cost search: Properties omplete 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. eckert: Einführung in die KI / KI für IM p.27
39 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). eckert: Einführung in die KI / KI für IM p.28
40 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
41 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
42 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
43 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
44 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
45 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
46 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
47 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
48 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
49 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
50 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
51 Depth-first search D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.29
52 Depth-first search: Example Romania. eckert: Einführung in die KI / KI für IM p.30
53 Depth-first search: Example Romania Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.30
54 Depth-first search: Example Romania Zerind Sibiu Timisoara Oradea. eckert: Einführung in die KI / KI für IM p.30
55 Depth-first search: Example Romania Zerind Sibiu Timisoara Oradea Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.30
56 Depth-first search: Properties omplete 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 dvantage Time may be much less than breadth-first search if solutions are dense. eckert: Einführung in die KI / KI für IM p.31
57 Iterative deepening search Depth-limited search Depth-first search with depth limit Iterative deepening search Depth-limit search with ever increasing limits function ITERTIVE-DEEPENING-SERH( problem) returns a solution or failure inputs: problem /* a problem */ for depth result if result end 0 to do DEPTH-LIMITED-SERH( problem, depth) cutoff then return result. eckert: Einführung in die KI / KI für IM p.32
58 Iterative deepening search with depth limit 0 Limit = 0. eckert: Einführung in die KI / KI für IM p.33
59 Iterative deepening search with depth limit 1 Limit = 1. eckert: Einführung in die KI / KI für IM p.34
60 Iterative deepening search with depth limit 2 Limit = 2 D E F G D E F G D E F G D E F G D E F G D E F G D E F G D E F G. eckert: Einführung in die KI / KI für IM p.35
61 Iterative deepening search with depth limit 3 Limit = 3 D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H I J K L M N O D E F G H J K L M N O I D E F G H I J K L M N O. eckert: Einführung in die KI / KI für IM p.36
62 Iterative deepening search: Example Romania with l 0. eckert: Einführung in die KI / KI für IM p.37
63 Iterative deepening search: Example Romania with l 1. eckert: Einführung in die KI / KI für IM p.38
64 Iterative deepening search: Example Romania with l 1 Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.38
65 Iterative deepening search: Example Romania with l 2. eckert: Einführung in die KI / KI für IM p.39
66 Iterative deepening search: Example Romania with l 2 Zerind Sibiu Timisoara. eckert: Einführung in die KI / KI für IM p.39
67 Iterative deepening search: Example Romania with l 2 Zerind Sibiu Timisoara Oradea. eckert: Einführung in die KI / KI für IM p.39
68 Iterative deepening search: Example Romania with l 2 Zerind Sibiu Timisoara Oradea Oradea Fagaras Rimnicu Vilcea. eckert: Einführung in die KI / KI für IM p.39
69 Iterative deepening search: Example Romania with l 2 Zerind Sibiu Timisoara Oradea Oradea Fagaras Rimnicu Vilcea Lugoj. eckert: Einführung in die KI / KI für IM p.39
70 Iterative deepening search: Properties omplete Yes Time d 1 b 0 db 1 d 1 b 2 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.. eckert: Einführung in die KI / KI für IM p.40
71 omparison riterion readthfirst Uniformcost Depthfirst Iterative deepening omplete? 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. eckert: Einführung in die KI / KI für IM p.41
72 omparison readth-first search Iterative deepening search. eckert: Einführung in die KI / KI für IM p.42
73 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. eckert: 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 Bernhard Beckert UNIVESITÄT KOBLENZ-LANDAU Wintersemester 2003/2004 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Problem solving
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationUsing Scan Side Channel to Detect IP Theft
Using Scan Side Channel to Detect IP Theft Leonid Azriel, Ran Ginosar, Avi Mendelson Technion Israel Institute of Technology Shay Gueron, University of Haifa and Intel Israel 1 Outline IP theft issue in
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 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 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 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 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 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 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 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 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 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 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 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 informationOptimization 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 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 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 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 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 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 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 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 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 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 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 informationPerformance 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 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 informationLecture 18 Design For Test (DFT)
Lecture 18 Design For Test (DFT) Xuan Silvia Zhang Washington University in St. Louis http://classes.engineering.wustl.edu/ese461/ ASIC Test Two Stages Wafer test, one die at a time, using probe card production
More informationCM3106 Solutions. Do not turn this page over until instructed to do so by the Senior Invigilator.
CARDIFF UNIVERSITY EXAMINATION PAPER Academic Year: 2013/2014 Examination Period: Examination Paper Number: Examination Paper Title: Duration: Autumn CM3106 Solutions Multimedia 2 hours Do not turn this
More informationEES Prototype Demonstration on CMP System. EBARA Corporation Kunio Oishi Isao Nambu isao.nambu nifty.com
EES Prototype Demonstration on CMP System EBARA Corporation Kunio Oishi Isao Nambu isao.nambu nifty.com 1 Purpose of the Prototype Demonstration 1. Study / Evaluate any improvements / concerns / issues
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 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 informationData Representation. signals can vary continuously across an infinite range of values e.g., frequencies on an old-fashioned radio with a dial
Data Representation 1 Analog vs. Digital there are two ways data can be stored electronically 1. analog signals represent data in a way that is analogous to real life signals can vary continuously across
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 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 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 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 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 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 informationA MISSILE INSTRUMENTATION ENCODER
A MISSILE INSTRUMENTATION ENCODER Item Type text; Proceedings Authors CONN, RAYMOND; BREEDLOVE, PHILLIP Publisher International Foundation for Telemetering Journal International Telemetering Conference
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 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 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 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 informationIntroduction to JTAG / boundary scan-based testing for 3D integrated systems. (C) GOEPEL Electronics -
Introduction to JTAG / boundary scan-based testing for 3D integrated systems (C) 2011 - GOEPEL Electronics - www.goepelusa.com Who is GOEPEL? World Headquarters: GÖPEL electronic GmbH Göschwitzer Straße
More informationLearning Outcomes. Unit 13. Sequential Logic BISTABLES, LATCHES, AND FLIP- FLOPS. I understand the difference between levelsensitive
1.1 1. Learning Outcomes Unit 1 I understand the difference between levelsensitive and edge-sensitive I understand how to create an edge-triggered FF from latches Sequential Logic onstructs 1. 1.4 Sequential
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 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 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 informationL11/12: Reconfigurable Logic Architectures
L11/12: Reconfigurable Logic Architectures Acknowledgements: Materials in this lecture are courtesy of the following people and used with permission. - Randy H. Katz (University of California, Berkeley,
More informationDC Ultra. Concurrent Timing, Area, Power and Test Optimization. Overview
DATASHEET DC Ultra Concurrent Timing, Area, Power and Test Optimization DC Ultra RTL synthesis solution enables users to meet today s design challenges with concurrent optimization of timing, area, power
More informationAgilent 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 informationOverview: Logic BIST
VLSI Design Verification and Testing Built-In Self-Test (BIST) - 2 Mohammad Tehranipoor Electrical and Computer Engineering University of Connecticut 23 April 2007 1 Overview: Logic BIST Motivation Built-in
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 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 informationCS 61C: Great Ideas in Computer Architecture
CS 6C: Great Ideas in Computer Architecture Combinational and Sequential Logic, Boolean Algebra Instructor: Alan Christopher 7/23/24 Summer 24 -- Lecture #8 Review of Last Lecture OpenMP as simple parallel
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 informationTesting Digital Systems II
Testing Digital Systems II Lecture 5: Built-in Self Test (I) Instructor: M. Tahoori Copyright 2010, M. Tahoori TDS II: Lecture 5 1 Outline Introduction (Lecture 5) Test Pattern Generation (Lecture 5) Pseudo-Random
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 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 informationMethodology. Nitin Chawla,Harvinder Singh & Pascal Urard. STMicroelectronics
An Algorithm to Silicon ESL Design Methodology Nitin Chawla,Harvinder Singh & Pascal Urard STMicroelectronics SOC Design Challenges:Increased Complexity 992 994 996 998 2 22 24 26 28 2.7.5.35.25.8.3 9
More information