Influence of Source Stack and Heterogeneous Gate Dielectric on Band to Band Tunneling Rate of Tunnel FET

In this paper, the presence of source stack and heterogeneous gate dielectric material in the structure of an n-channel tunnel FET (TFET) is investigated.     

Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places

This paper deals with the problem of forbidden states in Discrete Event Systems modelled by non‐safe Petri Nets. To avoid these states, some Generalized Mutual Exclusion Constraints can be assigned to them. These constraints limit the weight sum of tokens in some places and can be enforced on the system using control places. When the number of these constraints is large, a large number of control places should be added to the system. In this paper, a method is presented to assign the small number of constraints to forbidden states using some states which cover the forbidden states. So, a small number of control places are added to the system leading to obtaining a maximally permissive controller.     

Controller Synthesis with Highly Simplified Linear Constraints

This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering the forbidden states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. This results in a large number of control places being added to the model of the system, which causes a complicated model. Some methods have been proposed to reduce the number of constraints. Nevertheless, they do not always give the best results. In this paper, two ideas are offered to reduce the number of constraints, giving a more simplified controller.     

A novel algorithm to study the impact of the mismatch on analog building blocks: a case study in basic 35 nm CMOS amplifiers

In this paper, the context of modeling of the impact of mismatch and statistical variations on analogue circuit building blocks is emphasized. The aim is to develop a new algorithm which predicts the statistical behavior of important parameters of an amplifier including output resistance, voltage gain and trans-conductance. The relative error of standard deviation of statistical parameters will remain less than 5% compared with the most accurate Monte-Carlo (MC) simulations using atomistic library model-cards. In comparison with other models which are based on the normal distribution of parameters, the proposed model does not need this limiting presumption. On the other hand, the proposed algorithm is more efficient compared with time consuming MC atomistic simulations.     

MODELING AND OPTIMIZATION OF SINGLE-ELEMENT BULK SiGe THIN-FILM COOLERS

Abstract

Modeling and optimization of bulk SiGe thin-film coolers are described. Thin-film coolers can provide large cooling power densities compared to commercial thermoelectrics. Thin-film SiGe coolers have been demonstrated with maximum cooling of 4°C at room temperature and with cooling power density exceeding 500 W/cm². Important parameters in the design of such coolers are investigated theoretically and are compared with experimental data. Thermoelectric cooling, joule heating, and heat conduction are included in the model as well as non-ideal effects such as contact resistance, geometrical effects, and three-dimensional thermal and electrical spreading resistance of the substrate. Simulations exhibit good agreement with experimental results for bulk Si and SiGe thin-film coolers. It turned out that in many spot cooling applications using two n- and p-elements electrically in series and thermally in parallel does not give significant improvement over single leg elements. This is in contrast to conventional thermoelectric modules and is due to the aspect ratio and special geometry of thin film coolers. With optimization of SiGe thin-film cooler, simulations predict it can provide over 16°C with cooling power density of over 2000 W/cm².     

Safety analysis of discrete event systems using a simplified Petri net controller

This paper deals with the problem of forbidden states in discrete event systems based on Petri net models. So, a method is presented to prevent the system from entering these states by constructing a small number of generalized mutual exclusion constraints. This goal is achieved by solving three types of Integer Linear Programming problems. The problems are designed to verify the constraints that some of them are related to verifying authorized states and the others are related to avoiding forbidden states. The obtained constraints can be enforced on the system using a small number of control places. Moreover, the number of arcs related to these places is small, and the controller after connecting them is maximally permissive.     

Reduction of constraints for controller synthesis based on safe Petri Nets

In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined.     

Evaluation of mechanical and biocompatibility properties of hydroxyapatite/manganese dioxide nanocomposite scaffolds for bone tissue engineering application

The aim of this research was to evaluate the mechanical properties, biocompatibility, and degradation behavior of scaffolds made of pure hydroxyapatite (HA) and HA-modified by MnO₂ for bone tissue engineering applications. HA and MnO₂ were developed using sol-gel and precipitation methods, respectively. The scaffolds properties were characterized using X-ray diffraction (XRD), Fourier transform spectroscopy (FTIR), scanning electron microcopy (SEM), energy dispersive spectroscopy (EDS), and transmission electron microscopy (TEM). The interaction of scaffold with cells was assessed using in vitro cell proliferation and alkaline phosphatase (ALP) assays. The obtained results indicate that the HA/MnO₂ scaffolds possess higher compressive strength, toughness, hardness, and density when compared to the pure HA scaffolds. After immersing the scaffold in the SBF solution, more deposited apatite appeared on the HA/MnO₂, which results in the rougher surface on this scaffold compared to the pure HA scaffold. Finally, the in vitro biological analysis using human osteoblast cells reveals that scaffolds are biocompatible with adequate ALP activity.