Hasil Pencarian  ::  Simpan CSV :: Kembali

"Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations."

"Binary Decision Diagram (BDD) merupakan representasi dari fungsi Booleansecara simbolik yang dikembangkan dan dipopulerkan oleh Randal E. Bryant.Selain mengembangkan BDD, Bryant juga memberikan algoritma untukmelakukan manipulasi pada BDD. Dengan menerapkan suatu kondisi tertentuterhadap BDD, yaitu dengan menentukan urutan variabel, akan didapat BDD yangterurut atau disebut juga Ordered Binary Decision Diagram (OBDD). Laludengan menyederhanakan OBDD maka akan didapatkan Reduced BinaryDecision Diagram (ROBDD). ROBDD akan memberikan representasi yang unikuntuk suatu fungsi Boolean. Jadi, jika terdapat dua ROBDD yangmerepresentasikan suatu fungsi Boolean f, maka kedua ROBDD tersebut adalahsama. Operasi pada fungsi Boolean dapat dilakukan dengan menggunakan operasipada ROBDD. Operasi – operasi yang ada pada ROBDD antara lain operasiApply, operasi Restrict, operasi SatCount, operasi AnySat, dan operasi AllSat."

"Space Security involves the use of space (in particular communication, navigation, earth observation, and electronic intelligence satellites) for military and security purposes on earth and also the maintenance of space (in particular the earth orbits) as safe and secure areas for conducting peaceful activities. The two aspects can be summarized as "space for security on earth" and “the safeguarding of space for peaceful endeavors.” The second, updated edition of this handbook provides a sophisticated, cutting-edge resource on the space security portfolio and the associated technology, applications and programs to help fellow members of the global space community and other interested policy-making and academic audiences keep abreast of the current and future directions of this vital dimension of international space policy. Various dimensions of space security as well as space for security on Earth are described, covering space policy and the geopolitics of space, existing and planned applications and programs, as well as technological solutions. This second edition covers the recent space and security developments that have taken place in Europe and worldwide over the last years, along with new challenges that must be addressed. At its conclusion, the book provides foreward-looking recommendations, especially in the area of space governance and transparency and confidence-building measures."

"A discussion of developments in the field of bifurcation theory, with emphasis on symmetry breaking and its interrelationship with singularity theory. The notions of universal solutions, symmetry breaking, and unfolding of singularities are discussed in detail. The book not only reviews recent mathematical developments but also provides a stimulus for further research in the field."

"A concept of phase space is usable to evaluate the characteristics of various components in microoptics engineering. In this study, a microoptical branching circuit by the use of three identical micro lenses has been constructed, for the purpose of dividing an input light beam into two outputs transmission and reflection beams, respectively.Mode distribution of input and output beams is, represented by using phase space configuration. By computer simulation, the concept of phase space has been used to predict mode conversion of light guiding in the circuit.The purpose of the study is to investigate the mode property in each element of the circuit, by measuring the far field mode distribution of the guided light. The existence of mode conversion in a particular element can be observed from the change of the respective made distribution.The experimental result shows a good agreement with that obtained by simulation of light guiding. It is concluded that, phase space representation derived from ray optics can be utilized as a software in analysis of wave guiding."