Depth-first search and strong connectivity in Coq
|
|
- Louise Harrington
- 6 years ago
- Views:
Transcription
1 1 Depth-fist seach and stong connectivity in Coq Januay 9, 2015
2 2 The poblem Finding the stongly connected components of a diected gaph. Pedagogical value: The fist nontivial gaph algoithm. Pactical value: Applications in pogam analysis, constaint solving, model-checking, etc.
3 3 Known algoithms Seveal known algoithms un in linea time: Tajan (1972). One pass. Maintains auxiliay data ( lowpoint values, etc.). Kosaaju (unpublished, 1978) and Shai (1981). Two passes. Maintains no auxiliay data. Descibed in Comen/Leiseson/Rivest s textbook. Explained by Wegene (2002). Gabow (2000), impoving on Pudom (1968) and Muno (1971). One pass. Maintains a union-find data stuctue.
4 4 Kosaaju s algoithm The algoithm is as follows: 1. Pefom a DFS tavesal of the gaph E, poducing a foest f Pefom a DFS tavesal of the evese gaph Ē, visiting the oots in the evese post-ode of f 1, poducing a foest f 2. Then, f 2 is a list of the stongly connected components. Magic! Note: the second tavesal does not have to be depth-fist. Really Easy to implement if you have done DFS aleady.
5 5 Why does this wok?
6 6 Complete discovey The left side of evey dashed bounday is closed w..t. E. The ight side of evey dashed bounday is closed w..t. Ē. Evey component is contained within some tee.
7 7 f 1 scc() w 1 Let be the oot of the last tee in f 1. The component of must be Ē (). v 1 f 2 w1 scc() w2 v 2
8 8 f 1 scc() w 1 Let be the oot of the last tee in f 1. The component of must be Ē (). So it is exactly the fist tee in f 2. v 1 f 2 w1 scc() w2 v 2
9 9 f 1 scc() Let be the oot of the last tee in f 1. w 1 The component of must be Ē (). So it is exactly the fist tee in f 2. v 1 f 2 w1 Futhemoe, it is a pefix of the last tee in f 1. scc() w2 v 2
10 10 f 1 scc() Let be the oot of the last tee in f 1. w 1 The component of must be Ē (). So it is exactly the fist tee in f 2. v 1 f 2 w1 Futhemoe, it is a pefix of the last tee in f 1. So, if we emove it by thought... scc() we end up whee we stated,... only with a smalle gaph. (Induction!) w2 v 2
11 11 Now, in Coq (biefly)
12 12 Foests A non-empty foest: w w v Foests fom an inductive type: f, v, w ::= ɛ w w :: v
13 13 DFS foests We define an inductive pedicate dfs (i) v (o). It has a cetain declaative flavo: v is a DFS foest. It still has a cetain impeative flavo: if the vetices in i ae maked at the beginning, then a DFS algoithm may constuct v, and the vetices in o ae maked at the end.
14 14 DFS foests DFS-Empty dfs (i) ɛ (i)
15 15 DFS foests DFS-NonEmpty w i dfs ({w} i) w (m) oots( w) E({w}) E({w}) m dfs (m) v (o) dfs (i) w :: v (o) w w was not initially maked afte making w, the DFS foest w was built evey oot of w is a successo of w evey successo of w was maked at this point then, the DFS foest v was built the DFS foest w :: v was built w
16 16 Complete discovey
17 17 Complete discovey Lemma (Complete discovey) dfs (i) v (o) and E(i) i imply E(o) o. Easy. (The pape summay of the poof is a few lines long.)
18 18 f 1 scc() w 1 v 1 f 2 w1 scc() w2 v 2
19 19 Kosaaju s algoithm Theoem (Kosaaju s algoithm is coect) Let (V, E) be a diected gaph. If the following hypotheses hold, dfs E ( ) f 1 (V) dfs Ē ( ) f 2 (V) ev(post(f 1 )) odes f 2 then the toplevel tees of f 2 ae the components of the gaph E. Slightly involved. (The pape summay of the poof is two pages.)
20 20 Towads an executable DFS in Coq ( executable = extactible)
21 21 Paametes A set V of vetices. V must be finite. Slightly too stong an assumption, but OK fo now.
22 22 Paametes A mathematical gaph E. A untime function successo v poducing an iteato on the successos of v.
23 23 Paametes A untime epesentation of sets of vetices. Recod SET (V : Type) := MkSET { ep : Type; meaning : ep -> (V -> Pop); void : ep; mak : V -> ep -> ep; maked : V -> ep -> bool;... // 3 moe hypotheses about void, mak, maked }.
24 24 A ecusive fomulation Notation state := (ep * foest V)%type. A state ecods the maked vetices and the foest built so fa.
25 25 A ecusive fomulation One would like to wite something like this: Definition visitf : state -> V -> state :=... This cannot wok, though. Because the ecusive call sits in a loop, the poof of temination must use the fact that a vetex, once maked, emains maked. So, we must build this infomation into the postcondition...
26 26 A ecusive fomulation This states that s1 has at least as many maked vetices as s0: Definition visitf_dep: foall s0 : state, V -> { s1 lift le s0 s1 }. Poof. eapply (Fix (...) (...)).... Defined. Woks. Unpleasant.
27 27 A tail-ecusive fomulation Wok in pogess. Temination is elatively easy to pove. (Geneic libay: Loop.) Paameteized by use hooks (on enty, on exit, on ediscovey). Nice (?) most geneal (?) specification: Theoem dfs_main_spec: exists vs, ev oots = ootsl vs /\ dfs E (maked base) (maked dfs_main) vs /\ dfs_main = fold dfs_init_spec vs. Running the iteative DFS algoithm is equivalent to guessing a DFS foest and ecusively folding ove this foest.
28 28 Conclusion
29 29 Conclusion Contibutions: Poofs of basic popeties of DFS. A poof of (the pinciple of) Kosaaju s algoithm. Embyo of a cetified DFS libay. (Moe to come.) Lessons: Sepaation between mathematics and code is desiable, and quite easy to achieve in Coq. Witing, specifying, poving geneic executable code is a lot of wok! We need a cetified libay of basic gaph algoithms!
arxiv:cs/ v1 [cs.ds] 8 Dec 1998
Minimum Cuts in Nea-Linea Time David R. Kage Febuay 1, 2008 axiv:cs/9812007v1 [cs.ds] 8 Dec 1998 Abstact We significantly impove known time bounds fo solving the minimum cut poblem on undiected gaphs.
More informationNoncrossing Trees and Noncrossing Graphs
Noncossing Tees and Noncossing Gaphs William Y. C. Chen and Shey H. F. Yan Cente fo Combinatoics, LPMC, Nanai Univesity, 300071 Tianjin, P.R. China chen@nanai.edu.cn, huifangyan@eyou.com Submitted: Sep
More informationMulti-Robot Forest Coverage
Multi-Robot Foest Coveage Xiaoming Zheng Sonal Jain Sven Koenig David Kempe Depatment of Compute Science Univesity of Southen Califonia Los Angeles, CA 90089-0781, USA {xiaominz, sonaljai, skoenig, dkempe}@usc.edu
More informationRed-Black Trees Goodrich, Tamassia Red-Black Trees 1
Red-Black Tees 8 00 Goodich, Tamassia Red-Black Tees 1 Fom (,) to Red-Black Tees A ed-black tee is a epesentation of a (,) tee by means of a binay tee whose nodes ae coloed ed o black In compaison with
More informationtr0 TREES Hanan Samet
t0 TREES Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan
More informationtr0 TREES Hanan Samet
t0 TRS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan
More informationMulti-Robot Flooding Algorithm for the Exploration of Unknown Indoor Environments
2010 IEEE Intenational Confeence on Robotics and Automation Anchoage Convention Distict May 3-8, 2010, Anchoage, Alaska, USA Multi-Robot Flooding Algoithm fo the Exploation of Unknown Indoo Envionments
More informationRearranging trees for robust consensus
Poceedings of the IEEE Conf. on Decision and Contol, Olando, FL, 011 Reaanging tees fo obust consensus Geoge Foest Young, Luca Scadovi and Naomi Ehich Leonad Abstact In this pape, we use the H nom associated
More information10 Torque. Lab. What You Need To Know: Physics 211 Lab
b Lab 10 Toque What You Need To Know: F (a) F F Angula Systems Evey lab up to this point has dealt with objects moving in the linea system. In othe wods, objects moving in a staight line. Now we ae going
More informationEfficient Algorithms for finding a Trunk on a Tree Network and its Applications
Efficient Algoithms fo finding a Tunk on a Tee Netwok and its Applications Yamin Li, Shietung Peng Depatment of Compute Science Hosei Uniesity Tokyo 84-8584 Japan {yamin;speng}@k.hosei.ac.jp Wanming Chu
More informationABriefIntroductiontotheBasicsof Game Theory
ABiefIntoductiontotheBasicsof Game Theoy Roy Smead Notheasten Univesity Septembe 18, 2013 Game theoy is a set of mathematical tools that ae used to epesent and study social inteactions. This is a vey bief
More informationCS3350B Computer Architecture. Lecture 6.2: Instructional Level Parallelism: Hazards and Resolutions
CS3350B Compute Achitectue Winte 2015 Lectue 6.2: Instuctional Level Paallelism: Hazads and Resolutions Mac Moeno Maza www.csd.uwo.ca/couses/cs3350b [Adapted fom lectues on Compute Oganization and Design,
More informationThe Properties of. Model Rocket Body Tube Transitions
The Popeties of Moel ocket Boy Tube Tansitions Date: Septembe 6, 000 Pepae By: J.. Bohm NA 7808 CA S680 ev: (June, 005) .0 Intouction When esigning moel ockets, esignes often choose to incopoate iffeent
More informationFundamental Algorithms for System Modeling, Analysis, and Optimization
Fundamental Algoithms fo System Modeling, Analysis, and Optimization Edwad A. Lee, Jaijeet Roychowdhuy, Sanjit A. Seshia UC Bekeley EECS 44/44 Fall With thanks to R. K. Bayton, K. Keutze, N. Shenoy, and
More informationThe Solution to the Bühlmann - Straub Model in the case of a Homogeneous Credibility Estimators
5 Economy Infomatics, -4/005 The Solution to the Bühlmann - Staub Model in the case of a Homogeneous Cedibility Estimatos Lect. Viginia ATANASIU Mathematics Depatment, Academy of Economic Studies Oiginal
More informationFaster Nearest Neighbors: Voronoi Diagrams and k-d Trees
154 25 Jonathan Richad Shewchuk Faste Neaest Neighbos: Voonoi Diagams and k-d Tees SPEEDING UP NEAREST NEIGHBOR CLASSIFIERS Can we pepocess taining pts to obtain sublinea quey time? 2 5 dimensions: Voonoi
More informationComplexity of Data Tree Patterns over XML Documents
Complexity of Data Tee Pattens ove XML Documents Claie David LIAFA, Univesity Pais 7 and CNRS, Fance cdavid@liafa.jussieu.f Abstact. We conside Boolean combinations of data tee pattens as a specification
More informationWind and extremely long bridges a challenge for computer aided design
Wind and extemely long bidges a challenge fo compute aided design oian JANJIC anaging iecto TV / entley Systems Gaz, Austia oian Janjic, bon 960, civil engineeing degee fom the Faculty of Civil Engineeing,
More informationOverlap-Based Genome Assembly from Variable-Length Reads
Ovelap-aed Genome embly fom Vaiable-Length Read Joeph Hui, Ilan Shomoony, Kannan Ramchandan and Thoma. Coutade Depatment of Electical Engineeing and Compute Science, Univeity of Califonia, ekeley Email:
More informationCORESTA RECOMMENDED METHOD N 68
COESTA ECOMMENDED METHOD N 68 DETEMINATION OF CABON MONOXIDE IN THE MAINSTEAM SMOKE OF CIGAS BY NON-DISPESIVE INFAED ANALYSIS (Januay 2010) 1. FIELD OF APPLICATION The method is applicable to the gas phase
More informationTree. Tree. Siblings Grand Parent Grand Child H I J I J K. Tree Definitions
Tee Tee Lectues : oontee Kuatachue Room no. Kitawan Siiboon Room no. Text : ata Stuctues & lgoithm nalysis in, ++, Mak llen Weiss, ddison Wesley. Tee efinitions. inay Tee Tavesals inay Seach Tee Repesentations
More informationBritish Prime Minister Benjamin Disraeli once remarked that
GABREL COSTA, MCHAEL HUBER, & OHN SACCOMAN Cumulative Home Run Fequency and the Recent Home Run Explosion Bitish Pime Ministe Benjamin Disaeli once emaked that thee ae thee kinds of falsehoods: lies, damned
More informationAn Auction Based Mechanism for On-Demand Transport Services
An Auction Based Mechanism fo On-Demand Tanspot Sevices Malcolm Egan, Ni Oen and Michal Jakob Abstact Recently, a new class of tanspot sevices, exemplified by Ube and Lyft has emeged. Such sevices use
More informationCyclostrophic Balance in Surface Gravity Waves: Essay on Coriolis Effects
Jounal of Oceanogaphy, Vol. 53, pp. 311 to 315. 1997 Shot Contibution Cyclostophic Balance in Suface Gavity Waves: Essay on Coiolis Effects KERN E. KENYON 4632 Noth Lane Del Ma, CA 92014-4134, U.S.A. (Received
More informationAngle-restricted Steiner arborescences for flow map layout Buchin, K.A.; Speckmann, B.; Verbeek, K.A.B.
Angle-esticted Steine aboescences fo flow ma layout Buchin, K.A.; Seckmann, B.; Vebeek, K.A.B. Published in: Abst. 27th Euoean Woksho on Comutational Geomety (EuoCG) Published: 01/01/2011 Document Vesion
More informationCarnegie Mellon University Forbes Ave., Pittsburgh, PA command as a point on the road and pans the camera in
Panacea: An Active Senso Contolle fo the ALVINN Autonomous Diving System Rahul Sukthanka, Dean Pomeleau and Chales Thope Robotics Institute Canegie Mellon Univesity 5 Fobes Ave., Pittsbugh, PA 15213-3891
More informationEC-FRM: An Erasure Coding Framework to Speed up Reads for Erasure Coded Cloud Storage Systems
215 44th Intenational Confeence on Paallel Pocessing EC-FRM: An Easue Coding Famewok to Speed up Reads fo Easue Coded Cloud Stoage Systems Yingxun Fu, Jiwu Shu *, and Zhiong Shen Tsinghua National Laboatoy
More informationOPTIMAL SCHEDULING MODELS FOR FERRY COMPANIES UNDER ALLIANCES
Jounal of Maine Science and Technology, Vol. 15, No. 1, pp. 53-66 (2007) 53 OPTIMAL SCHEDULING MODELS FOR FERRY COMPANIES UNDER ALLIANCES Shangyao Yan*, Chia-Hung Chen**, Hsin-Yen Chen*** and Tze-Chiang
More informationLesson 33: Horizontal & Vertical Circular Problems
Lesson 33: Hoizontal & Vetical Cicula Poblems Thee ae a wide vaiety of questions that you do if you apply you knowledge of cicula motion coectly. The tough pat is figuing out how to set them up. You need
More informationNumerical study of super-critical carbon dioxide flow in steppedstaggered
The 6th Intenational Supecitical CO2 Powe Cycles Symposium Mach 27-29, 2018, Pittsbugh, Pennsylvania Numeical study of supe-citical cabon dioxide flow in steppedstaggeed labyinth seals Yuming Zhu a,b,
More informationSHRiMP: Accurate Mapping of Short Color-space Reads
SHRiMP: Accuate Mapping of Shot Colo-space Reads Stephen M. Rumble 1,2, Phil Lacoute 3,4, Adian V. Dalca 1, Mac Fiume 1, Aend Sidow 3,4, Michael Budno 1,5 * 1 Depatment of Compute Science, Univesity of
More informationDesign Engineering Challenge: The Big Dig Contest Platter Strategies: Ball Liberation
Poblem Set 4: Unifom Cicula Motion Design Engineeing Challenge: The Big Dig.007 Contest Platte Stategies: Ball Libeation Oeall Notes: You ae not equied to pefom the actual analysis in this poblem set,
More informationRotor Design and Analysis of Stall-regulated Horizontal Axis Wind Turbine
Roto Design and Analysis of Stall-egulated Hoizontal Axis Wind Tubine Xinzi Tang Univesity of Cental Lancashie, Peston, UK XTang4@uclan.ac.uk Xiongwei Liu Univesity of Cental Lancashie, Peston, UK XLiu9@uclan.ac.uk
More informationMODELLING THE INTERACTION EFFECTS OF THE HIGH-SPEED TRAIN TRACK BRIDGE SYSTEM USING ADINA
MODELLING THE INTERACTION EFFECTS OF THE HIGH-SPEED TRAIN TRACK BRIDGE SYSTEM USING ADINA ABSTRACT Constança Rigueio Depatment of Civil Engineeing, Polytechnic Institute of Castelo Banco Potugal Calos
More informationCheat-Proof Playout for Centralized and Distributed Online Games
Cheat-Poof Playout fo Centalized and Distibuted Online Games Nathaniel E. Baughman Bian Neil Levine baughman@cs.umass.edu bian@cs.umass.edu Depatment of Compute Science Univesity of Massachusetts Amhest,
More informationFault tolerant oxygen control of a diesel engine air system
Fault toleant oxygen contol of a diesel engine ai system Raine Nitsche, Matthias Bitze, Mahmoud El Khaldi, Géad Bloch To cite this vesion: Raine Nitsche, Matthias Bitze, Mahmoud El Khaldi, Géad Bloch.
More informationBicycle and Pedestrian Master Plan
Falmouth, Maine Bicycle and Pedestian Maste Plan Januay, 2003 Pepaed by The Falmouth Tails Advisoy Committee Tom Williams, Chai Daeby Amble Elizabeth Ehenfeld John Locke William Lund William Robinson Robet
More informationLecture Topics. Overview ECE 486/586. Computer Architecture. Lecture # 9. Processor Organization. Basic Processor Hardware Pipelining
EE 486/586 ompute chitectue Lectue # 9 asic Pocesso Hadwae Pipelining Refeence: ppendix : Section.1 Lectue Topics Sping 2015 Potland State Univesity Oveview Pocesso Oganization typical computing task consists
More informationRESOLUTION No A RESOLUTION OF THE CITY OF SALISBURY, MARYLAND AUTHORIZING THE MAYOR TO ENTER INTO AN AGREEMENT BETWEEN THE CITY OF
li RESOLUTION No. 2749 A RESOLUTION OF THE CITY OF SALISBURY, MARYLAND AUTHORIZING THE MAYOR TO ENTER INTO AN AGREEMENT BETWEEN THE CITY OF SALISBURY, MARYLAND AND WICOMICO COUNTY, MARYLAND FOR THE DELIVERY
More informationDesign and Simulation Model for Compensated and Optimized T-junctions in Microstrip Line
Intenational Jounal of Advanced Reseach in Compute Engineeing & Technology (IJARCET) Volume 3 Issue, Decembe 4 Design and Simulation Model fo Compensated and Optimized T-junctions in Micostip Line Alok
More informationMatlab Simulink Implementation of Switched Reluctance Motor with Direct Torque Control Technique
Matlab Simulink Implementation of Switched Reluctance Moto with Diect Toque Contol Technique Vikamaajan Jambulingam Electical and Electonics Engineeing, VIT Univesity, India. Abstact - The switched eluctance
More informationPerformance Characteristics of Parabolic Trough Solar Collector System for Hot Water Generation
Intenational Enegy Jounal: Vol. 7, No. 2, June 2006 137 Pefomance Chaacteistics of Paabolic Tough Sola Collecto System fo Hot Wate Geneation www.sed.ait.ac.th/eic A. Valan Aasu and T. Sonakuma Faculty
More informationRange Extension Control System for Electric Vehicles Based on Front and Rear Driving Force Distribution Considering Load Transfer
Range Extension Contol System fo Electic Vehicles Based on and Diving Foce Distibution Consideing Load Tansfe Sho Egami and Hioshi Fujimoto The Univesity of Tokyo 5--5, Kashiwanoha, Kashiwa, Chiba, 227-856
More informationMotivation. Prize-Collecting Steiner Tree Problem (PCSTP) Kosten und Profite. Das Fraktionale Prize-Collecting Steiner Tree Problem auf Baumgraphen
Das Faktonale Pze-Collectng Stene Tee Poblem auf Baumgaphen Motvaton Gunna W. Klau (TU Wen Ivana Ljubć (TU Wen Peta Mutzel (Un Dotmund Ulch Pfeschy (Un Gaz René Weskche (TU Wen Motvaton Modell Kosten und
More informationExperiment #10 Bio-Physics Pre-lab Questions
Expeient #10 Bio-Physics Pe-lab Questions ** Disclaie: This pe-lab is not to be copied, in whole o in pat, unless a pope efeence is ade as to the souce. (It is stongly ecoended that you use this docuent
More informationElectrical Equipment of Machine Tools
Electical Equipment of achine Tools Electification in machine tools today is vey extensive because it helps to simplify thei constuction, educe thei weight, and develop automatic contol. any advanced tends
More informationDETC A NEW MODEL FOR WIND FARM LAYOUT OPTIMIZATION WITH LANDOWNER DECISIONS
Poceedings of the ASME Intenational Design Engineeing Technical Confeences& Computes and Infomation in Engineeing Confeence IDETC/CIE August 8-3,, Washington, DC, USA DETC-4777 A NEW MODEL FOR WIND FARM
More informationExperiment #10 Bio-Physics Pre-lab Comments, Thoughts and Suggestions
Expeient #10 Bio-Physics Pe-lab Coents, Thoughts and Suggestions The pupose of this pape is to povide you with soe infoation which ay be useful fo solving the pe-lab questions and pefoing the lab. I will
More informationTHE IMPACTS OF CONGESTION ON COMMERCIAL VEHICLE TOUR CHARACTERISTICS AND COSTS
Figliozzi 1 THE IMPACTS OF CONGESTION ON COMMERCIAL VEHICLE TOUR CHARACTERISTICS AND COSTS Miguel Andes Figliozzi Depatment of Civil and Envionmental Engineeing Maseeh College of Engineeing and Compute
More informationUNIVERSITÀ DEGLI STUDI DI PADOVA. Dipartimento di Scienze Economiche Marco Fanno
UNIVERSITÀ DEGLI STUDI DI PADOVA Dipatimento di Scienze Economiche Maco Fanno DUAL LICENSING IN OPEN SOURCE SOFTWARE MARKETS STEFANO COMINO Univesity of Udine FABIO M. MANENTI Univesity of Padova Januay
More informationFinite Element Analysis of Active Isolation of Deep Foundation in Clayey Soil by Rectangular Trenches
Finite Element Analysis of Active Isolation of Deep Foundation in Clayey Soil by Rectangula Tenches Mehab Jesmani Assistant Pofesso, Depatment. of Civil Engineeing, Imam Khomeini Intenational Univesity,
More informationA Three-Axis Magnetic Sensor Array System for Permanent Magnet Tracking*
16 IEEE Intenational Confeence on Multisenso Fusion and Integation fo Intelligent Systems (MFI 16) Kongesshaus Baden-Baden, Gemany, Sep. 19-1, 16 A Thee-Axis Magnetic Senso Aay System fo Pemanent Magnet
More informationMultiple Vehicle Driving Control for Traffic Flow Efficiency
Multiple Vehicle Diving Contol fo Taffic Flow Efficiency Seong-Woo Kim, Gi-Poong Gwon, Seung-Tak Choi, Seung-am Kang, Myoung-Ok Shin, In-Sub oo, Eun-Dong Lee, and Seung-Woo Seo Abstact The dynamics of
More informationI. FORMULATION. Here, p i is the pressure in the bubble, assumed spatially uniform,
The natual fequency of oscillation of gas bubbles in tubes H. N. Og uz and A. Pospeetti Depatment of Mechanical Engineeing, The Johns Hopkins Univesity, Baltimoe, Mayland 21218 Received 28 July 1997; accepted
More information"A Home for Gracious Living" (real estate brochure for Batten House)
Byn Maw College Scholaship, Reseach, and Ceative Wok at Byn Maw College Achitectue, Gounds, and Histoy Facilities 1959 "A Home fo Gacious Living" (eal estate bochue fo Batten House) Let us know how access
More informationIncorporating Location, Routing and Inventory Decisions in Dual Sales Channel - A Hybrid Genetic Approach
Incopoating Location, Routing and Inventoy Decisions in Dual Sales Channel - A Hybid Genetic Appoach Chia-lin Hsieh 1, Shu-hsien Liao 2, Wei-chung Ho 2 1 Depatment of Statistics and Actuaial Science, Aletheia
More informationf i r e - p a r t s. c o m
A M E R I C A N F L A M E A F AF-1000 Seies Manual Gas Contol Valve APPLICATION The AF-1000 Manual Gas Contol Valve is designed fo use in gas in heath poducts, wall mount funaces, and space heating appliances.
More informationCluster trees and message propagation
luste tees and message popagaton 371 Advanced A Tomas ngla Outlne mple gaphs: tees and polytees luste gaphs and clque tees unnng ntesecton sepsetsmessage popagaton VE Message passng VE n detal achng out-of-clque
More informationAn integrated supply chain design model with random disruptions consideration
Afican Jounal of Business Management Vol. 4(1), pp. 393-401, 18 Septembe, 010 Available online at http://www.academicounals.og/ajbm ISSN 1993-833 010 Academic Jounals Full Length Reseach Pape An integated
More informationDeception in Honeynets: A Game-Theoretic Analysis
Poceedings of te 7 IEEE Woksop on Infomation Assuance United States Militay Academy, West Point, NY, - June 7 Deception in Honeynets: A Game-Teoetic Analysis Nandan Gag and Daniel Gosu Abstact Recently,
More informationTrees & Routing (1) BFS
Tees & Routing (1) BFS Why (spanning) tees? Spanning Tee Given a gaph G=(V,E), a Spanning Tee of G is an acyclic subgaph, spanning all the nodes in V. Spanning Tee Given a gaph G=(V,E), a Spanning Tee
More informationTorque. Physics 2. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB
Toque Physics Toque Toque is what causes angula acceleation (just like a foce causes linea acceleation) Toque Toque is what causes angula acceleation (just like a foce causes linea acceleation) Fo a toque
More informationInstallation and Operation Instructions
Smoke and Heat Ventilation Pneumatic - Electonic Contol Systems Installation and Opeation Instuctions Vesion / SHEVS Contol Cente RWZ c K + G Pneumatik GmbH In de Kause 8 9 Eschweile Deutschland / Gemany
More informationToward a Virtual Neuromuscular Control for Robust Walking in Bipedal Robots
Towad a Vitual Neuomuscula Contol fo Robust Walking in Bipedal Robots Zachay Batts, Seungmoon Song, and Hatmut Geye Abstact Walking contolles fo bipedal obots have not yet eached human levels of obustness
More informationSIMULATION OF SEISMIC BEHAVIOUR OF GRAVITY QUAY WALL USING A GENERALIZED PLASTICITY MODEL
4 th Intenational Confeence on Eathquake Geotechnical Engineeing June 25-28, 2007 Pape No. 1734 SIMULATION OF SEISMIC BEHAVIOUR OF GRAVITY QUAY WALL USING A GENERALIZED PLASTICITY MODEL Mahdi ALYAMI 1,
More informationAGENDA REPORT. side of Walden Woods Dr., south of E. Park Rd. and north of E. Alexander St., in
F PLgNT AGENDA REPORT FLORID' DATE: Mach 28, 2016 TO: FROM: SUBJECT: City Commission Michael He, City Manage A public heaing egading the eplat of the Walden Woods Subdivision ceating a 116- lot single-
More informationPhase Behavior Introduction to Phase Behavior F.E. Londono M.S. Thesis (2001)
Natual Gas Engineeing Phase Behavio Intoduction to Phase Behavio F.E. Londono M.S. hesis (001).. Blasingame, exas &M U. Depatment of Petoleum Engineeing exas &M Univesity College Station, X 77843-3116
More informationAbebe Eshetu Degati 1, Assistance Professor Harish Kumar 2 1(PhD student, sport science department, Punjabi university, Patiala, Punjab (India)
IOSR Jounal of Spots and Physical Education (IOSR-JSPE) e-issn: 2347-6737, p-issn: 2347-6745, Volume 4, Issue 1, (Jan. Feb. 2017), PP 06-10 www.iosjounals.og The Relationship between Selected Physical
More informationFALL PROTECTION PROGRAM
FALL PROTECTION PROGRAM 13255 South St. Ceitos, CA 90703 Telephone 562-924-3364 Fax 562-924-0521 Table of Contents Fall Potection... 3 Fall Potection Is Requied... 3 Fall Potection Types... 3 Standad Guadails,
More informationMOT-Jefferson Street Reconstruction PID
MOT-Jeffeon Steet Recontuction PID 1317 The City of Dayton popoe to impove Jeffeon Steet fom Eat Second Steet to Eat Fouth Steet conitent with it Livable Steet Policy Thi egment of Jeffeon Steet i one-way
More informationBubble clustering and trapping in large vortices. Part 1: Triggered bubbly jets investigated by phase-averaging
Intenational Jounal of Multiphase Flow 33 (2007) 1088 1110 www.elsevie.com/locate/ijmulflow Bubble clusteing and tapping in lage votices. Pat 1: Tiggeed bubbly jets investigated by phase-aveaging Rade
More informationGenetic Mapping Exercise - Extra Credit. Do not work together - each person to do their own work.
Geneic Mapping Execise - Exa Cedi Name Secion # Do no ok ogehe - each peson o do hei on ok. hen loci of diffeen allelic goups ae on he same chomosome, linkage occus bu is no absolue. Cossing-ove alays
More informationHigh Axial Load Capacity, High speed, Long life. Spherical Roller Bearings
High Axial Load Capacity, High speed, Long life Spheical Rolle eaings Spheical Rolle eaings High axial esistance load pefomance Intenal specifications have been optimized to geatly impove axial esistance
More informationREADING AREA TRANSPORTATION STUDY BICYCLE AND PEDESTRIAN TRANSPORTATION PLAN ADOPTED NOVEMBER 18, 2010
READING AREA TRANSPORTATION STUDY BICYCLE AND PEDESTRIAN TRANSPORTATION PLAN ADOPTED NOVEMBER 18, 2010 READING AREA TRANSPORTATION STUDY C/o Beks County Planning Commission 633 Cout St. FL 14 Reading,
More informationA Method of Hand Contour Tracking based on GVF, Corner and Optical flow Ke Du1, a, Ying Shi1,b, Jie Chen2,c, MingJun Sun1, Jie Chen1, ShuHai Quan1
2nd Intenational Confeence on Machiney, Mateials Engineeing, Chemical Engineeing and Biotechnology (MMECEB 2015) A Method of Hand Contou Tacking based on GVF, Cone and Optical flow Ke Du1, a, Ying Shi1,b,
More informationData Sheet. Linear bearings
Data Pack G Issued Septembe 1999 1502325042 Data Sheet Linea beaings Instument ball beaings and shafts The RS ange of instument quality ball bushing beaings ae fo 1 8in, 3 16in and 1 4in shafts. Each beaing
More informationCavitation Bubble Dynamics in Non-Newtonian Fluids
Cavitation Bubble Dynamics in Non-Newtonian Fluids Emil-Alexandu Bujan Depatment of Hydaulics, Univesity Politehnica Buchaest, 060042 Buchaest, omania Cavitation phenomena play impotant oles in many aeas
More informationCARDBOARD BOAT BUILDING 101
CARDBOARD BOAT BUILDING 101 by United Way of Elkhat County What floats you Cadboad boat... United Way Kick Off August 28, 2015 CONSTRUCTION RULES The ENTIRE boat must be built of cadboad, duct tape, and
More informationColor Encodings: srgb and Beyond
IS&T's 2002 PICS Confeence Colo Encodings: srgb and Beyond Kevin E. Spaulding Eastman Kodak Company, Rocheste, New Yok Jack Holm Hewlett-Packad Company, Palo Alto, Califonia Abstact Most digital imaging
More informationA CONCEPTUAL WHEELED ROBOT FOR IN-PIPE INSPECTION Ioan Doroftei, Mihaita Horodinca, Emmanuel Mignon
A CONCEPTUAL WHEELED ROBOT FOR IN-PIPE INSPECTION Ioan Dooftei, Mihaita Hoodinca, Emmanuel Mignon Univesité Libe de Buxelles Active Stuctues Laboatoy 50, Av. F.D.Roosevelt, B-1050, Bussels, Belgium. Email:
More informationThe Study About Stopping Distance of Vehicles
Intenational Jounal of Infomation Engineeing and Applications 018; 1(1): 18- http://www.aascit.og/jounal/infomation The Study About Stopping Distance of Vehicles Zhao Chun-xue School of Mathematics and
More informationAlternate stable states in coupled fishery-aquaculture systems. Melissa Orobko
Altenate stable states in coupled fishey-aquacultue systems by Melissa Oobko A thesis submitted in confomity with the equiements fo the degee of Maste of Science Depatment of Ecology & Evolutionay Biology
More information2650 King Rd, Suite #500. Little Elm/Frisco
-- 2650 King Rd, Suite #500 Little Elm/Fisco 972-955-9393 Pemie Matial Ats Inc. You Joune Into The Matial Ats The wold-wide populaity of the matial ats and thei enduance fo ove twenty centuies is due to
More informationROCK HILL AQUATICS CENTER POOL SCHEDULES
ROCK HILL AQUATICS CENTER POOL SCHEDULES WARM-POOL ( 8 LANE POOL) OCTOBER 2017: CHECK LIST OF CLOSURES ON EVENT DOCUMENT Monda Tuesda Wednesda Thusda Fida Satuda Sunda 5:30 8:00 am Famil Swim 1-2, Lap
More informationWatford Half Marathon. Watford Half Marathon. Sunday February 4th Starting at 10.30am. Enjoy Your Run!!! Notice to all Entrants.
atfod Half Maathon 2018 Sunday Febuay 4th Stating at 1030am REF No 527 HEld UNdERUka RUlEs ORGANISED BY atfod Half Maathon Notice to all Entants elcome to the atfod Half Maathon, oganised by atfod Haies
More informationCollege Hill Carthage. Winton Hills. Mill Creek. Spring Grove Village Paddock Hills. North Avondale. Avondale. Evanston. CUF Walnut Hills.
3.2 QUEENSGATE CONNECTIONS Hatwell College Hill Cathage Roselawn Winton Hills Kennedy Heights Mount Aiy Mill Ceek Bond Hill Pleasant Ridge Nothside Sping Gove Village Paddock Hills Roll Hill South Cumminsville
More informationCommunity Development Department
CITY OF CAMPBELL Community Development Department September, 06 NOTICE OF PUBLIC HEAING Notice is hereby given that the Planning Commission of the City of Campbell has set the time of 7:0 p.m., or shortly
More informationPREDICTION OF ELECTRICAL PRODUCTION FROM WIND ENERGY IN THE MOROCCAN SOUTH
OL., NO., FEBRUARY 7 ISSN 89-668 REDICTION OF ELECTRICAL RODUCTION FROM WIND ENERGY IN THE MOROCCAN SOUTH Elyaqouti Mustapha, Ezzaidi Asma, Bouhouch Lahoussine and Ihlal Ahmed ERTAIER, ESTA, Univesity
More informationTHE GREAT CARDBOARD BOAT RACE INTRODUCTION, BOAT BUILDING & RULES by United Way of Elkhart County
THE GREAT CARDBOARD BOAT RACE INTRODUCTION, BOAT BUILDING & RULES by United Way of Elkhat County WHEN: Fiday August 26 2016 WHERE: LaSalle Bistol Pond Elkhat INTRODUCTION The Geat Cadboad Boat Race is
More informationMorrison Drive tel. Ottawa, ON, Canada K2H 8S fax. com
acomaecom 302 1150 Moison Dive 613 820 8282 tel Ottawa, ON, Canada K2H 8S9 613 820 8338 fax www.aecom. com To Pat Seguin, P. Eng. Manage of Engineeing Page 1 CC Subject Valeie McGi, Ted Achuticz Pine Steet
More informationAssessment of Direct Torque Control of a Double Feed Induction Machine
Aement of Diect Toque Contol of a Double Feed nduction Machine A.M. Bouhentala. 1, 2 M.S. Benbouza 1 1. Depatment of electical Engineeing Batna Univeity, Rue Med El Hadj Boukhlouf, Batna 05000, Algeia.
More informationInterior Rule of the Quebec Open 2017
Inteio Rule of the Quebec Open 2017 Aticle 1. The Oganize The Oganize is the club d'échecs de Sainte-Foy which will be epesented by M Chales Tenblay, chaiman of the oganizing committee Le tounoi se déoulea
More informationLecture 24. Wind Lidar (6) Direct Motion Detection Lidar
Lectue 24. Wind Lida (6) Diect Motion Detection Lida Diect Motion Detection Wind Lida Lida tacking of aeosol motions Lase time-of-flight velocimety Lase Dopple velocimety Compaison of wind lida techniques
More informationPlacesForBikes City Ratings Methodology. Overall City Rating
1 PlacesFoBikes City Ratings Methodology Oveall City Rating The PlacesFoBikes City Rating Scoe is based on five factos: Rideship, Safety, Netwok, Acceleation, and Reach. Each facto is scoed on a one to
More informationOUTDOOR FOOTBALL FIELD
www integalspo com USING AREAS: Mini football fields, pivate buildings, pivate schools and pivate entepeunes. SYSTEM DESCRIPTION: Composite steel constuction with synthetic tuf floo, oof and sides coveed
More informationWatford Half Marathon. Watford Half Marathon. Sunday February 5th Starting at 10.30am. Enjoy Your Run!!! Notice to all Entrants.
atfod Half Maathon 2017 Sunday Febuay 5th Stating at 1030am REF No 527 HELD UNDER UKA RULES ORGANISED BY atfod Half Maathon Notice to all Entants elcome to the atfod Half Maathon, oganised by atfod Haies
More information55CM ROUND CHARCOAL KETTLE BBQ
IMPORTANT - Please ead the instuctions caefully befoe assembling 55CM ROUND CHARCOAL KETTLE BBQ Assembly A Instuctions PLEASE RETAIN THE INSTRUCTIONS FOR FUTURE USE. Safety and Cae Advice the Wait fo it
More informationA Deceleration Control Method of Automobile for Collision Avoidance based on Driver's Perceptual Risk
A Deceleation Contol Method of Automobile fo Collision Avoidance based on Dive's Peceptual Risk Takahio Wada, Shun ichi Doi, and Shoji Hiaoka Abstact To educe ea-end cash of automobiles, it is impotant
More informationEcoMobility World Festival 2013 Suwon: an analysis of changes in citizens awareness and satisfaction
IOSR Jounal Engineeing (IOSRJEN) ISSN (e): 2250-3021, ISSN (p): 2278-8719 Vol. 07, Issue 03(Mach 2017), V1 PP 40-48 www.iosjen.og EcoMobility Wold Festival 2013 Suwon: an analysis changes in citizens awaeness
More informationTHE performance disparity between processor speed and the
This aticle has been accepted fo publication in a futue issue of this jounal, but has not been fully edited. Content may change pio to final publication., VOL. X, NO. X, MONTH X Matix Stipe Cache-Based
More information