ion of Context Constraints Parallel Composition The minimised LTS can be used for subsequent analysis of larger (sub)systems original system specification select Contextual Local Analysis a minimised composite LTS of the subsystem LTSs of processes in a system component LTSs in a subsystem A transparent Interface Process component LTSs in the context Figure 1-2: A Schematic Diagram of Contextua...

We successfully obtained an 0.18μm gate MESFET with a high breakdown voltage (Vbd) of 7V, high current gain cut off frequency (fT) of 100 GHz, and sufficient transconductance (Gm) larger than 500mS/mm for high-speed front end ICs of optical communications. In addition, excellent uniformity and reproducibility of device characteristics, such as the standard deviation (std.) of threshold Voltage ...

Abstract Pristine carbon nanotubes (CNTs) and functionalized (f-CNTs) were introduced into conductive poly(methyl methacrylate)/graphene nanoplatelet (PMMA/GNP) composites to achieve a synergistic effect in the enhancement of conductivity reduction percolation threshold by forming 3-Dimensional(3-D) hybrid structure. Both in-plane perpendicular electrical properties investigated. The synergies ...

The recently introduced nested sampling algorithm allows the direct and efficient calculation of the partition function of atomistic systems. We demonstrate its applicability to condensed phase systems with periodic boundary conditions by studying the three-dimensional hard-sphere model. Having obtained the partition function, we show how easy it is to calculate the compressibility and the free...

This paper discusses design issues for high-performance BiCMOS output buffers, as required in T&Hs and data converters for advanced applications. We compare different topologies and analyze the main limitations. The best solution features a linearity better than -105 dB (HD3) at an input frequency of 100 MHz. The simulation results referred to a conventional 0.8 pm BiCMOS process cover a huge r...

In this paper, a Novel Hybrid ADC consisting of two-step quantizer which has Flash ADC and SAR ADC along with Resistor String DAC is designed and implemented. This Hybrid ADC improves the speed by employing Flash ADC and resolution and power reduction can be achieved by utilizing SAR ADC. The Hybrid architecture carrying 12 bits as resolution, input frequency as 100MHz and sampling frequency is...

This article represents the baseline data of the several semiconductor materials used in the model of a CIGS thin film solar cell with an inclusion of ZnS buffer layer. As well, input parameters, contact layer data and operating conditions for CIGS solar cell simulation with ZnS buffer layer have been described. The schematic diagram of photovoltaic solar cell has been depicted. Moreover, the m...

Surveillance videos of coal mining faces have close relation to the safety of coal miners and mining efficiency. However, surveillance videos are always disturbed by some severe conditions such as atomization, low illumination, glare, and so on. Therefore, this paper proposed a hybrid algorithm (SSR-BF) based on the integration of single-scale Retinex (SSR) and bilateral filtering (BF) to enhan...

A numerical procedure was performed to simplify the complicated mechanism of an epitaxial thin-film growth process. In this study, three numerical mechanism models are presented for verifying the growth rate of the gallium nitride (GaN) mechanism. The mechanism models were developed through rate of production analysis. All of the results can be compared in one schematic diagram, and the differe...

Coextinction (loss of dependent species with their host or partner species) presents a threat to untold numbers of organisms. Climate change may act synergistically to accelerate rates of coextinction. In this review, we present the first synthesis of the available literature and propose a novel schematic diagram that can be used when assessing the potential risk climate change represents for d...