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高压电降为机车各电路所需的 电压。主变压器的工作原理与普通单相降压电力变压器基本相同,但由于其工 作条件特殊,特别是为了满足机车调压、整流电路的特殊要求,故在主变压器 的设计及结构型式上均有自身的特点 平波电抗器是串接在电力机车主电路中的电感装置,用来减小整流电路中 的电流脉动系数,以改善脉流牵引电动机的换向条件

本章主要介绍了电力机车电器上常用的传动装置(电磁式、电空式)的作 用、种类、组成、工作原理和特点、特性。 电器传动装置是有触点开关电器用来驱使电器运动部分(触头、接点)按 规定进行动作的执行机构。在电力机车电器上采用的主要是电磁传动装置和电 空传动装置,其次还采用了手动、机械式传动装置,个别的还采用了电动机传 动(如调压开关) 电磁传动装置就是通过电磁铁把电磁能转变成机械能来驱动电器动作的机 构。电空传动装置是以电磁阀控制的压缩空气作为动力,驱使电器运动部分动 作的机构,前者主要用于小型电器,后者主要用于较大容量的电器中