Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects."

"Sheaves of algebras over boolean spaces comprehensively covers sheaf theory as applied to universal algebra. The text presents intuitive ideas from topology such as the notion of metric space and the concept of central idempotent from ring theory. These lead to the abstract notions of complex and factor element, respectively. Factor elements are defined by identities, discovered for shells for the first time, explaining why central elements in rings and lattices have their particular form. Categorical formulations of the many representations by sheaves begin with adjunctions and move to equivalences as the book progresses, generalizing stone’s theorem for boolean algebras."

"Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive description of basic lower bound arguments, covering many of the gems of this “complexity Waterloo” that have been discovered over the past several decades, right up to results from the last year or two. Many open problems, marked as Research Problems, are mentioned along the way. The problems are mainly of combinatorial flavor but their solutions could have great consequences in circuit complexity and computer science. "

"Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating "global" inferences about the nature of computation."

"The purpose of this paper is to review the most recent and relevant business intelligence and market foresight analyses on electric vehicles in order to build a picture on the current market activities and offerings. The reference material was clustered in three main sources: 1) market foresight analyses 2) information services development activities, 3) probe of electric vehicle test sites. The future EV market is seen to have a promising growth potential, though the proper business models that could meet consumer aspirations are still called for. The growing potential of EV market has been stimulating the development of several types of services that support EV deployment, e.g. information services. The test sites are already emerging around the globe and the master driver seems to be the automotive industry."

"The aim of this article was to develop an interval type-2 fuzzy permutation method for addressing multiple criteria decision-making problems under incomplete preference information. Furthermore, this article present an experimental analysis to examine the implementation efficiency and the applicable scope of the proposed method. Interval type-2 fuzzy sets are more capable than ordinary fuzzy sets of handling imprecision and imperfect information in real-world applications. This article used interval type-2 fuzzy sets to capture imprecise or uncertain decision information in fields that require multiple criteria decision analysis. Based on pairwise criterion comparisons of the alternatives using a signed distance-based approach, this article presents a concordance-discordance analysis and propose an integrated programing model in the interval type-2 fuzzy permutation method. Finally, computational experiments with enormous amounts of simulation data are designed to examine the influence of numbers of alternatives and criteria on the implementation efficiency and the applicable scope of the proposed method. "

"ABSTRAKPenghubung geser spiral adalah salah satu jenis penghubung geser yang digunakan dalam struktur komposit. Penghubung geser ini memiliki karakteristik yang unik karena bentuknya menyerupai sebuah pegas. Sehingga, besarnya diameter spiral dan pitch spiral merupakan parameter yang mempengaruhi kekuatannya. Sebuah studi eksperimental dilaksanakan untuk mempelajari karakteristik tersebut. Pengujian push out dilakukan dengan tiga sampel pada setiap diameter spiral 2,5; 3,0; 3,5; dan 4,0 inci. Hasil menunjukkan bahwa diameter spiral mempengaruhi kekakuan, kekuatan dan besarnya slip yang terjadi. Semakin besar diameter spiral, maka semakin kecil kekakuan dan slip yang terjadi. Hasil perhitungan kekuatan ultimit penghubung geser spiral ditemukan oleh Slutter dan Driscoll.

---

ABSTRACTSpiral shear connector is one of shear connector used in composite structure. It has unique characteristic due to its shape which resembles a spring. Pitch circle diameter or spiral diameter and pitch spiral are parameters influence its strength. Experimental study was conducted to study its behaviour. Push out test of three different diameter of 2,5; 3,0; 3,5 and 4,0 inch were carried out. Result shows that diameter of spiral affects stiffness, strength and slips occurs. The larger of diameter increase strength of shear connector but decrease its rigidity and slip. Computing ultimate strength of experimental result spiral shear connector found by Slutter and Driscoll."