Hardness of preorder checking for basic formalisms

We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed.     

Set up of a Screen-Printing Procedure for the Production of a β Alumina-Based Gas Sensor*

A gas sensor based on a -alumina thick film was recently developed on a laboratory scale. This sensor can be successfully used for selective detection of CO and NO_x, resulting from an appropriate choice of the working temperature of the sensing element. This paper deals with the approach of the industrial transfer of the sensor prototype, mainly concerning the scale-up of the screen-printing procedure from a hand-operated apparatus to an industrial production machine. Many parameters were already investigated during the laboratory development, namely the ink composition in terms of organic/inorganic component ratio, the type and amount of the liquid dispersant and rheological agent, the composition and softening temperature of the binder, the -alumina/binder weight ratio. During the industrial transfer, some other parameters must be considered, such as the particle size distribution of the ceramic components of the ink, the influence of the mesh number of the screen fabric on the surface texture of the -alumina film, the viscosity performances of the ink as a function of the applied shear rate and ageing. A common commercial metallic paste was also used as reference for optimizing the characteristics of the -alumina based ink.     

A guiding framework and approach for implementation research in substance use disorders treatment.

This paper introduces readers to the concepts of implementation science, implementation theory, and implementation frameworks and models. A wide range of models has been published in the literature related to implementation. The paper will present an overview of the Consolidated Framework for Implementation Research (CFIR), which is a comprehensive typology that unifies and consolidates the array of constructs that influence implementation from the perspective of these models. The CFIR is then used to evaluate implementation models used in studies of substance use disorder (SUD) treatments. Implementation research is scarce, with few prospective studies of theory-driven implementation. We assert that future research in SUD needs to meet three overarching objectives to promote wider implementation of evidence-based practices: (a) differentiation of core versus adaptable components of evidence-based interventions need; (b) development of methods to design implementation strategies, effectively adapted to the broad context; and (c) design and testing of predictive models to assess likelihood of effective implementation and prospects for sustainability while taking into account salient contextual factors. A recommended strategy for accomplishing these objectives is described. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Optimizing Proportionally Fair Prices

We demonstrate the non-uniqueness of proportional fairness prices, and show that the model of Kelly et al. [9] falls into the category of models that can be generalized to allow optimization of the link prices, with a view toward profit maximization. However, through this framework, we also show that the total revenue that can be obtained through proportional fairness pricing on a network is unique.     

在65nm及以下节点获得良好的互连可靠性

尽管互连尺寸在不断地等比例缩小,同时也会用到更加多孔的低k材料,工程师们还是在设法满足互连的可靠性规范。VLSI电路,特别是高性能逻辑器件的不断等比例缩小,推动着对低k材料和铜互连的需求,以降低RC延迟、串扰噪声和功耗。     

Conductive Anodic Filament Formation Part II: Electrochemical Reactions Leading to CAF

Conductive anodic filament (CAF) formation has been studied for a number of years, but the mechanism of its formation has not previously been defined. In 2002, Ready identified CAF as atacamite, Cu₂(OH)₃Cl. Electrochemical studies have shown that both CuCl and CuCl ₂ ^? participate in the formation of Cu₂(OH)₃Cl, with the predominating species being CuCl. This paper proposes a mechanism for CAF formation based on x-ray photoelectron spectroscopy. The data show that CuCl is the precursor to the formation of Cu₂(OH)₃Cl in the presence of oxygen and water. Earlier, Meeker and Lu Valle had proposed that CAF failure is best represented by two competing reactions: the formation of a copper chloride corrosion compound (now identified as Cu₂(OH)₃Cl) and the formation of innocuous trapped chlorine compounds. Since no evidence of any trapped chloride compounds has been found, we propose that the formation of CAF is best represented by a single nonreversible reaction.     

DFM“共用平台”技术的进展

新加坡特许半导体制造有限公司的J．B．Tan不久将推出五大成品率及可靠性问题的解决方案，结合多层互连结构及铜和低k介质集成。工程师们在互连工艺向批量生产过渡之前对这些问题进行了验证，并在6月5-7日在加州Burlingame举行的“国际互连技术会议”中推出研究成果。     

Analytical study of apple liqueurs

In the present work the composition of apple liqueurs has been analysed, since the consumption of these beverages in Spain has increased during the last years. Twenty-five samples, belonging to the most representative five brands of the Spanish market have been analysed. The following determinations were carried out: alcoholic grade, total acidity, methanol, furfurol, dry extract, reducing sugars, sucrose, ash contact, macroelements (Na, K, Ca, Mg) and microelements (Cu, Fe, Mn, Zn). These parameters enable the quality evaluation of these beverages and contribute to their characterization with respect to the fruit used in their elaboration. To complete the experimental study, a BMDP 7M discriminant statistical analysis has been applied to the results obtained. The variables that best discriminate the groups have been determined and all the samples have been classified and differentiated.

---

Analytisches Studium der Apfelsaftliköre

Zusammenfassung Es wurde die Zusammensetzung von Apfelsaftlikören analysiert, weil diese Getränke öfter in Spanien getrunken werden. Fünfundzwanzig Proben von fünf bestimmten, spanischen Markengetränken wurden analysiert. Es wurden folgende Bestimmungen ausgeführt: Alkoholkonzentration, Gehalt an Säure, Methanol, Extrakt, Zucker, Sucrose, Asche, Macroelemente (Na, K, Ca, Mg) und Mikroelemente (Cu, Fe, Mn, Zn). Diese Parameter erlauben die Qualität dieser Getränke zu schätzen und ihre Charakterisierung auf Grund des Fruchtgehaltes. Weiterhin wurde eine BMDP 7M diskriminant-statistische Analyse der Resultate angewandt. Die diskriminant-Variablen der Gruppe wurden bestimmt und alle Proben konnten klassifiziert und unterschieden werden.

     

Debonding analysis of thin plates from curved substrates

This paper is focused on the analytical modeling of the interface between a rigid substrate with constant curvature and a thin bonded plate. In a previous investigation, an analytical cohesive zone (CZ) model capable of predicting the interfacial behavior prior to the onset of debonding has been proposed by the authors. As a follow-up, this paper presents a new analytical model, which is able to predict both the load at onset of debonding and the subsequent evolution of the debonding process. The study clarifies the essential differences in behavior between joints with flat and curved substrates during debonding. The new analytical model is based on linear-elastic fracture mechanics (LEFM) and is developed under two distinct assumptions: a mode-independent fracture energy, and a fracture energy dependent on the mode mixity, according to a simple mixed-mode fracture criterion. The model is applied to the determination of the load at onset of debonding, and to the prediction of the load-displacement behavior during the entire debonding process. The relationship between the predictions of the CZ and LEFM models regarding the load at initiation of debonding is also established.