Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 50383 dokumen yang sesuai dengan query
cover
Stagg, Glenn W.
Tokyo: McGraw-Hill Kogakusha, 1968
510 STA c (1);510 STA c (2)
Buku Teks SO  Universitas Indonesia Library
cover
Murray, William D.
Englewood Cliffs, N.J.: Prentice-Hall, 1990
005.74 MUR c
Buku Teks SO  Universitas Indonesia Library
cover
Stojkovic, Zlatan
"This textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters :
The first chapter leads the reader through all the phases necessary in the procedures of computer aided modeling and simulation. It guides through the complex problems presenting on the basis of eleven original examples.
The second chapter presents application of software tools in power system calculations of power systems equipment design. Several design example calculations are carried out using engineering standards like MATLAB, EMTP/ATP, Excel & Access, AutoCAD and Simulink.
The third chapters focuses on the graphical documentation using a collection of software tools (AutoCAD, EPLAN, SIMARIS SIVACON, SIMARIS DESIGN) which enable the complete automation of the development of graphical documentation of a power systems.
In the fourth chapter, the application of software tools in the project management in power systems is discussed. Here, the emphasis is put on the standard software MS Excel and MS Project."
Berlin: Springer, 2012
e20398145
eBooks  Universitas Indonesia Library
cover
Sauer, Charles
Englewood Cliffs, NJ: Prentice-Hall, 1983
004.65 SAU s
Buku Teks SO  Universitas Indonesia Library
cover
"The volume includes a set of selected papers extended and revised from the International Conference on Informatics, Cybernetics, and Computer Engineering.
A computer network, often simply referred to as a network, is a collection of computers and devices interconnected by communications channels that facilitate communications and allows sharing of resources and information among interconnected devices.
Electronics engineering, also referred to as electronic engineering, is an engineering discipline where non-linear and active electrical components such as electron tubes, and semiconductor devices, especially transistors, diodes and integrated circuits, are utilized to design electronic circuits, devices and systems, typically also including passive electrical components and based on printed circuit boards. The term denotes a broad engineering field that covers important subfields such as analog electronics, digital electronics, consumer electronics, embedded systems and power electronics. Electronics engineering deals with implementation of applications, principles and algorithms developed within many related fields, for example solid-state physics, radio engineering, telecommunications, control systems, signal processing, systems engineering, computer engineering, instrumentation engineering, electric power control, robotics, and many others.
ICCE 2011 Volume 3 is to provide a forum for researchers, educators, engineers, and government officials involved in the general areas of Computer Engineering and Electronic Engineering to disseminate their latest research results and exchange views on the future research directions of these fields. 99 high-quality papers are included in the volume."
Berlin: Springer, 2011
e20399483
eBooks  Universitas Indonesia Library
cover
Pai, M.A.
New Delhi: Tata McGraw-Hill, 1979
621.381 PAI c
Buku Teks  Universitas Indonesia Library
cover
Urwah Syadid Robby Rodiyah
"Kebutuhan akan kompleksitas pada sistem tertanam membuahkan sebuah produk yang disebut SoC (System on Chip). System on Chip adalah sebuah Integrated Circuit (IC) yang mengintegrasikan semua komponen dari sebuah komputer atau sistem elektronik dalam satu buah chip. Untuk mengetahui kondisi dan kemampuan dari Single Board Computer (SBC), harus diukur terlebih dahulu melalui benchmarking. Benchmarking dilakukan pada komponen SoC, yaitu prosesor, GPU, dan RAM pada Raspberry Pi 2, Intel Galileo Gen 2, dan Cubieboard 1. Hasil menunjukkan Intel Galileo memiliki performa buruk dalam melaksanakan komputasi kompleks. Dari delapan kriteria penilaian, Galileo mempunyai lima skor terburuk dengan rata-rata beban maksimal CPU 58% dan RAM 31.4% dan rata-rata temperatur adalah 55.8℃. Raspberry Pi 2 adalah yang terbaik dengan rata-rata beban maksimal CPU 43% dan RAM 15.8% dengan rata-rata maksimal temperatur adalah 52℃.

The need for complexity in embedded systems produce a product called SoC (System on Chip). System on Chip is an Integrated Circuit (IC) that integrates all the components of a computer or electronic system in a single chip. To determine the condition and capabilities of the Single Board Computer (SBC), must be measured in advance through benchmarking. Benchmarking conducted on SoC components, there are processor, GPU, and RAM on the SBC type such as Raspberry Pi 2, Intel Galileo Gen 2, and Cubieboard 1. Results showed Intel Galileo has a bad performance in executing complex computing. Of the eight assessment criteria, Galileo has five scores worst with an average load of 58% maximum CPU and RAM 31.4% and the average temperature is 55.8℃. Raspberry Pi 2 is the best performance with an average load of 43% maximum CPU and RAM 15.8% with an average maximum temperature is 52℃."
2016
S62423
UI - Skripsi Membership  Universitas Indonesia Library
cover
"This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the ESF-COST Action IC0701 on formal verification of object-oriented software; the FP7-IST project HATS on highly adaptable and trustworthy software using formal models; the FP7-SST project INESS on an integrated European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve the current practice in the development of embedded systems; the FP7-IST project MOGENTES on model-based generation of tests for dependable embedded systems; as well as the FP7-IST project MULTIFORM on integrated multi-formalism tool support for the design of networked embedded control systems."
Berlin: Springer-Verlag, 2011
e20407983
eBooks  Universitas Indonesia Library
cover
Rohit Gheyi, editor
"This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains."
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks  Universitas Indonesia Library
cover
California: Wadworth Int.-Group, 1983
001.422 5 GRA
Buku Teks SO  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>