Critical transistors nexus based circuit-level aging assessment and prediction

Accurate age modeling, and fast, yet robust reliability sign-off emerged as mandatory constraints in Integrated Circuits (ICs) design for advanced process technology nodes. In this paper we introduce a novel method to assess and predict the circuit reliability at design time as well as at run-time. The main goal of our proposal is to allow for: (i) design time reliability optimization; (ii) fine tuning of the run-time reliability assessment infrastructure, and (iii) run-time aging assessment. To this end, we propose to select a minimum-size kernel of critical transistors and based on them to assess and predict an IC End-Of-Life (EOL) via two methods: (i) as the sum of the critical transistors end-of-life values, weighted by fixed topology-dependent coefficients, and (ii) by a Markovian framework applied to the critical transistors, which takes into account the joint effects of process, environmental, and temporal variations. The former model exploits the aging dependence on the circuit topology to enable fast run-time reliability assessment with minimum aging sensors requirements. By allowing the performance boundary to vary in time such that both remnant and nonremnant variations are encompassed, and imposing a Markovian evolution, the probabilistic model can be better fitted to various real conditions, thus enabling at design-time appropriate guardbands selection and effective aging mitigation/compensation techniques. The proposed framework has been validated for different stress conditions, under process variations and aging effects, for the ISCAS-85 c499 circuit, in PTM 45 nm technology. From the total of 1526 transistors, we obtained a kernel of 15 critical transistors, for which the set of topology dependent weights were derived. Our simulation results for 15 critical transistors kernel indicate a small approximation error (i.e., mean smaller than 15% and standard deviation smaller than 6%) for the considered circuit estimated end-of-life (EOL), when comparing to the end-of-life values obtained from Cadence simulation, which quantitatively confirm the accuracy of the IC lifetime evaluation. Moreover, as the number of critical transistors determines the area overhead, we also investigated the implications of reducing their number on the reliability assessment accuracy. When only 5 transistors are included into the critical set instead of 15, which results in a 66% area overhead reduction, the EOL estimation accuracy diminished with 18%. This indicates that area vs. accuracy trade-offs are possible, while maintaining the aging prediction accuracy within reasonable bounds.     

气化炉复合炉衬的传热计算

新型 (多喷嘴对置 )水煤浆气化炉拟采用水冷管和耐火浇铸料组成的复合炉衬结构 .炉内的高温高压对复合炉衬的高温侵蚀十分严重 ,是影响其寿命的重要因素 ,因此合理设计气化炉复合炉衬的结构对充分发挥其材质的作用具有十分重要的意义 .建立了气化炉复合炉衬的传热计算的数学模型 ,同时编制了模型求解的计算程序 ,并用某工艺条件对复合炉衬的温度分布进行了计算 .结果表明 ,该方法可有效计算出复合炉衬的温度分布情况 ,为复合炉衬的设计、运行和维护提供理论依据     

基于BP网络的保护渣性能预测模型的研究

结合BP网络计算机实验研究 ,建立了保护渣化学组成与性能的预测模型 ,并利用化学组成与性能的关系 ,对网络的实用性进行了检验 ,结果符合保护渣化学组成与性能的关系。保护渣粘度随着保护渣碱度的增大而减小 ,而半球点温度随碱度增大而增大 ;保护渣的半球点温度和粘度都随着渣中CaF2 含量的增加而减小。用BP网络的误差反向传播算法建立的保护渣的化学组成与性能的预测模型 ,得出的预测值与实际值的误差小 ,对保护渣的设计与应用都有一定的指导作用。     

Exploring single electrode reactions in polymer electrolyte fuel cells

Utilising a pseudo-reference electrode in polymer electrolyte fuel cells allows for the separation of anodic and cathodic contributions to the entire cell impedance. Modelling the impedance responses by using equivalent circuits inhibits the investigation of kinetic parameters of the basic electrochemical reactions, which take place at single electrode-electrolyte interfaces. Therefore, we evaluate single electrode impedance measurements by a kinetic model, which is based on specific reaction pathways, either for the oxygen reduction reaction (ORR) or the hydrogen oxidation reaction (HOR). As a consequence, it is possible to obtain kinetic parameters for the specific reaction of interest. Furthermore, the information gained from the single electrode impedance measurements and the kinetic model can give insight into single reactions steps. In particular, the ORR has to include a chemical step in the reaction pathway.     

喷动床反应模型的研究进展

喷动床是一种可实现热量重复循环的高效反应器 .介绍了目前喷动床研究中出现的各种反应模型 ,从等温和非等温两个方面讨论了一维轴向、流管、半分割和流动反应耦合等各类模型的基本思想和理论及各自的特点 ,并提出了进一步发展的方向 .     

Prediction model of compressive strength development of fly-ash concrete

Based on experimental results concerning the compressive strength development of concrete containing fly ash, the authors derived an estimation equation for compressive strength development. The equation can express coefficient , which indicates the activity of fly ash as a binder, in the form of a function of age, fly-ash content, and Blaine specific surface area of fly ash.

This equation is capable of explaining the increases in the early strength due to fly ash in place of part of fine aggregate, the decreases in the early strength due to fly ash in place of part of cement, the increases in the long-term strength due to pozzolanic reaction, the relationship between the fly-ash replacement ratio and the ratio of strength increase/decrease, and the effect of fly ash's Blaine specific surface area on the strength.     

Modelling the effects of human papillomavirus in cervical cells

Worldwide, cervical cancer is the second most common cancer in women, after breast cancer. The prevalence of this malignant disease is estimated at 1.4 million cases worldwide, causing about 290,000 deaths and 500,000 new cases per year, of which 80% correspond to women living in developing countries. In this work we propose a family of ordered models for basal cells of the cervix corresponding to different stages ranging from normal cells to the formation of precancerous lesions. We analyse the first member of the family analytically and for the second member we developed a non-standard numerical method in order to extract some biological information.     

Stability analysis and controller synthesis for discrete uncertain singular fuzzy systems with distinct difference matrices in the rules

This paper mainly studies an extended discrete singular fuzzy model incorporating the multiple difference matrices in the rules and discusses its stability and design issues. By embracing additional algebraic constraint, traditional discrete Takagi-Sugeno (T-S) fuzzy model can be extended to a generalised discrete singular Takagi-Sugeno (GDST-S) model with individual difference matrices E_i in the locally singular models, where it can describe a larger class of physical or non-linear systems. Based on the linear matrix inequality (LMI) approach, we focus on deriving some explicit stability and design criteria expressed by the LMIs for the regarded system. Thus, the stability verification and controller synthesis can be performed by the current LMI tools. Finally, some illustrative examples are given to illustrate the effectiveness and validity of the proposed approach.