Simulations run on sample circuits show that extremely high detection of bridging faults is possible using modifications of psuedo-exhaustive test sets. Real chips often contain bridging faults, and this research shows that stuck-at test sets are not sufficient for detecting such faults. The modified pseudo-exhaustive test sets are easy to generate and require little, or no, fault simulation. r...

ZrO2 is an effective nucleation agent for low-expansion lithium–aluminum silicate (LAS) glass–ceramic (GC) with high Al2O3 content. However, the effect of still not fully understood in LAS glasses low contents and P2O5. In this work, on phase separation crystallization Li2O–Al2O3–SiO2–P2O5 were investigated. The results revealed that significantly increased Tg temperature Li2SiO3 Li2Si2O5 cryst...

In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) that make closer connections to the workings of particular architectures, thus aiming to provide some compu...

In this paper we present PRACTIONIST Studio, which is an integrated design and development environment for BDI agent-based systems, providing facilities and tools to represent the concepts and intentional elements underlying such a model as well as several common features offered by UMLbased tools. PRACTIONIST Studio aims at bridging the gap between the increasing trend of developing BDI-based ...

The online encyclopedia Wikipedia is currently one of the best known collaboratively edited knowledge sources. While humans are able to inform themselves by reading the according articles in Wikipedia, machines lack the ability to understand natural language. Thus, a central task of bridging this deficit is the text technological reconstruction of the information held in Wikipedia to make this ...

We present the concept of a multi-valued logic simulator for bridging faults in sequential circuits. Different models for the handling of intermediate values in flipflops on the digital design level can be integrated and result in an Expected realistic behavior area for bridging faults. Several experimental results are given to underline properties and advantages of the simulation technique.

Software systems typically comprise multiple components which are developed using different technologies, thus the interoperability that enables the components to interact despite differences in programming languages and execution platforms is becoming a central issue. This paper describes how to use Object-Oriented design patterns to derive a cross-platform interoperability framework for bridg...

Bridging the trust-based decision-making theories with the SERVPERF framework, we introduce a new model to investigate the effects of human agent service quality of an Instant Messaging Decision Support System (IMDSS) on the customer’s trust and perceived risk before purchasing in a marketplace with uncertainties. We also introduce a new service quality measurement model, IM-SERVPERF, to fill t...

This paper proposed a new method of exposing fibers using expandable polyethylene (EPE) foam to improve the interface performance. The flexural tensile behavior between precast steam-cured and cast-in-place non-steam-cured ultra-high performance concrete (UHPC) members was examined under four-point bending. improvement effects four non-destructive treatments—e.g., coating with epoxy glue cement...

0