Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
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.

Abstrak :
Banyaknya gedung bertingkat yang sangat tinggi saat ini menyebabkan elevator semakin dibutuhkan. Elevator bergerak pada setiap lantai di dalam gedung tersebut untuk melayani permintaan orang-orang yang ingin menaiki atau menuruni lantai. Pergerakan elevator tersebut diatur oleh sebuah sistem kontrol elevator. Skripsi ini membahas mengenai pembentukan model dan simulasi dari sistem kontrol elevator tersebut. Model tersebut mengatur pergerakan untuk satu elevator dalam melayani permintaan secara selective collective control (S/C). Model ini dibagi menjadi tiga bagian yaitu unit control, request resolver dan tombol-tombol pada elevator. Unit control dan tombol-tombol pada elevator akan dimodelkan dengan menggunakan Finite State Machine with Datapath (FSMD). Model sistem kontrol elevator tersebut akan diimplementasikan ke dalam bahasa pemograman Delphi. Kemudian model tersebut akan disimulasikan sehingga bisa dilihat pergerakan elevator dalam melayani setiap permintaan dari para pengguna.

Abstrak :
The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be designed to deliver the required performance with a minimum amount of hardware. In turn, it presents a range of design methodologies. Considerable attention is paid to the hardware implementation of computational algorithms. It is shown that different parts of complex ESs could be implemented using models of finite state machines (FSMs). Also, field-programmable gate arrays (FPGAs) are very often used to implement different hardware accelerators in ESs. The book pays considerable attention to design methods for FPGA-based FSMs, before the closing section turns to programmable logic controllers widely used in industry.