Hasil Pencarian  ::  Simpan CSV :: Kembali

"Banyaknya gedung bertingkat yang sangat tinggi saat inimenyebabkan elevator semakin dibutuhkan. Elevator bergerak pada setiaplantai di dalam gedung tersebut untuk melayani permintaan orang-orang yangingin menaiki atau menuruni lantai. Pergerakan elevator tersebut diatur olehsebuah sistem kontrol elevator. Skripsi ini membahas mengenaipembentukan model dan simulasi dari sistem kontrol elevator tersebut. Modeltersebut mengatur pergerakan untuk satu elevator dalam melayanipermintaan secara selective collective control (S/C). Model ini dibagi menjaditiga bagian yaitu unit control, request resolver dan tombol-tombol padaelevator. Unit control dan tombol-tombol pada elevator akan dimodelkandengan menggunakan Finite State Machine with Datapath (FSMD). Modelsistem kontrol elevator tersebut akan diimplementasikan ke dalam bahasapemograman Delphi. Kemudian model tersebut akan disimulasikan sehinggabisa dilihat pergerakan elevator dalam melayani setiap permintaan dari parapengguna."

"This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, it examines various types of composite web services and presents an overview of popular fault handling strategies for each of these types. Lastly, it discusses the standards used for implementing web service security on the basis of a case study, and introduces the Web Service Development Life Cycle (WSDLC), which defines co-operation between several industry partners to develop web services in a more structured way. "