Out line Propositional Satisfiability Propositional Clauses Backtrack search Unit Propagation DPLL: Unit Propagation Backtrack Search Characteristics of dPLl local search using GSAT Propositional Clauses

Solving CsPs Solving CSPs involves some combination of 1. Constraint propagation eliminates values that cant be part of any solution 2. Search explores valid assignments Arc Consistency Arc consistency eliminates values of each variable domain that

Histol · Kautz and selman.1992 Inspired by improvements in satisfiabity algorithms Big Idea Encode planning problem as a(very large) logical formula Initial-state all-possible-actions goal Find a satisfying assignment to action-time propositions, and we have a plan

Assignment Reading Model-based Diagnosis-Lecture notes Propositional Logic AIMA Chapter 6 Problem set Model-based Diagnosis implementation Propositional Logic 16.413: Hello World implementation Due Monday, November 17th

WORLD observations Plant actions P(S sense act Diagnostic Agent Monitors diagnoses AGENT Repairs avoids Probes and tests

Integer Programs LP: Maximize 3x1+ 4x2 IP: Maximize 3x1+ 4x2 Subiect to: Subject te

Assignment problem Persons and tasks connected by links Objective: Minimize total task time minutes Carburetor Manny 4 minutes Valves

Robot Localization using SIR Take sample set X+_11 ll. iterate For each sample xt-1 1) Sample from p(X,1 X+1, a) 2) Attach importance weights

主变压器(又称为牵引变压器),是交-直流传动电力机车中的重要电器设 备,用来将接触网上取得的单相工频交流25KV高压电降为机车各电路所需的 电压。主变压器的工作原理与普通单相降压电力变压器基本相同,但由于其工 作条件特殊,特别是为了满足机车调压、整流电路的特殊要求,故在主变压器 的设计及结构型式上均有自身的特点 平波电抗器是串接在电力机车主电路中的电感装置,用来减小整流电路中 的电流脉动系数,以改善脉流牵引电动机的换向条件

本章主要介绍电力机车上常用的几种接触器的类型、作用、型号、结构、 工作原理、特点和主要技术参数,并简要介绍接触器的选用和维修方法