Electro-Thermal model of thermal breakdown in multilayered dielectric elastomers

Energy transduction of dielectric elastomers involves minute electrical and mechanical losses, both of which potentially increase the temperature within the elastomer. Thermal breakdown of dielectric elastomers occur when heat generated therein cannot be balanced by heat loss on the surface, which is more likely to occur in stacked dielectric elastomers. In this article an electro-thermal model of a multilayered dielectric elastomer able to predict the possible number of layers in a stack before thermal breakdown occurs is presented. Simulation results show that point of breakdown is greatly affected by an increase in surrounding temperature and applied electric field. Furthermore, if the stack diameter is large, thermal insulation of the cylindrical surface is a valid approximation. Two different expressions for the electrical conductivity are used, and it is concluded that the Frank-Kamenetskii expression is more conservative in prediction of point of breakdown than the Arrhenius expression, except at high surrounding temperature. © 2018 American Institute of Chemical Engineers AIChE J, 65: 859–864, 2019     

Certifying circuits in Type Theory

We investigate how to take advantage of the particular features of the calculus of inductive constructions in the framework of hardware verification. First, we emphasize in a short case study the use of dependent types and of the constructive aspect of the logic for specifying and synthesizing combinatorial circuits. Then, co-inductive types are introduced to model the temporal aspects of sequential synchronous devices. Moore and Mealy automata are co-inductively axiomatized and are used to represent uniformly both the structures and the behaviors of the circuits. This leads to clear, general and elegant proof processes as is illustrated on the example of a realistic circuit: the ATM Switch Fabric. All the proofs are carried out using Coq.Accepted in revised form 29 February 2004 by C.B. Jones     

A Deformable Template Model, with Special Reference to Elliptical Templates

This paper suggests a high-level continuous image model for planar star-shaped objects. Under this model, a planar object is a stochastic deformation of a star-shaped template. The residual process, describing the difference between the radius-vector function of the template and the object, is allowed to be non-stationary. Stationarity is obtained by a time change. A parametric model for the residual process is suggested and straightforward parameter estimation techniques are developed. The deformable template model makes it possible to detect pathologies as demonstrated by an analysis of a data set of cell nuclei from a benign and a malignant tumour, using stochastic deformations of ellipses.     

Discriminative touch and emotional touch.

Somatic sensation comprises four main modalities, each relaying tactile, thermal, painful, or pruritic (itch) information to the central nervous system. These input channels can be further classified as subserving a sensory function of spatial and temporal localization, discrimination, and provision of essential information for controlling and guiding exploratory tactile behaviours, and an affective function that is widely recognized as providing the afferent neural input driving the subjective experience of pain, but not so widely recognized as also providing the subjective experience of affiliative or emotional somatic pleasure of touch. The discriminative properties of tactile sensation are mediated by a class of fast-conducting myelinated peripheral nerve fibres--A-beta fibres--whereas the rewarding, emotional properties of touch are hypothesized to be mediated by a class of unmyelinated peripheral nerve fibres--CT afferents (C tactile)--that have biophysical, electrophysiological, neurobiological, and anatomical properties that drive the temporally delayed emotional somatic system. CT afferents have not been found in the glabrous skin of the hand in spite of numerous electrophysiological explorations of this area. Hence, it seems reasonable to conclude that they are lacking in the glabrous skin. A full understanding of the behavioural and affective consequences of the differential innervation of CT afferents awaits a fuller understanding of their function. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Surviving the paradoxes of virtual teamwork

Despite the potential benefits of virtual teams, current literature suggests that virtual teamwork is rife with complex challenges. We frame some of these challenges as paradoxes inherent in the concept of virtual teamwork. Based on interviews with 42 leaders and members of virtual teams, we identify five paradoxes: (1) virtual teams require physical presence; (2) flexibility of virtual teamwork is aided by structure; (3) interdependent work in virtual teams is accomplished by members' independent contributions; (4) task-oriented virtual teamwork succeeds through social interactions; and (5) mistrust is instrumental to establishing trust among virtual team members. In addition, we identify strategies that respondents used to cope with, or 'survive' the paradoxes of virtual teamwork.     

Decoding bar codes from human-readable characters

In this study we have decoded bar codes by recognizing the human-readable characters of the interpretation line printed below the bar pattern. Using this approach, we were able to successfully decode bar codes with a resolution of 0.8 pixels per module.     

Bioactive double glass coatings for Co-Cr-Mo alloy

Glass compositions for double coatings for a Co-Cr-Mo alloy were developed. The glass compositions were chosen to fulfil such requirements as matching thermal expansion, low glass transition temperature and moderate solubility. For the ground coat a fairly high durability is required, whereas the cover coat must be bioactive, i.e. become attached to living bone by a chemical bond. Two compositions of each type were developed by computer-aided optimization. The glasses were chosen in the Na₂O–CaO–B₂O₃–Al₂O₃–SiO₂–P₂O₅ system. The bioactivity was tested in vitro by immersion in a simulated body fluid. The double coatings on Co–Cr–Mo alloy released hexavalent chromium into the solution as detected by yellow colouration and spectrophotometry. This colouration was strong at the margin between coated and uncoated metal and may be explained by oxidation of trivalent chromium of the alloy in the presence of glass. The released chromium did not have any notable effect on the calcium phosphate formation. After replensihing the solution no coloration was observed. This suggests that the chromate is easily dissolved and that it may be possible to wash it out prior to implantation.     

母材中碳进入熔池方式及其影响研究

归纳并提出了熔地母材中碳进入熔池中的方式，在此基础上，探讨了焊态下熔焊接头中脱／增碳层的形成原因，形成时期以及焊缝不均匀混合区中的碳分布特点。得出”母材中碳以机械混合唱 ，母材团，扩散混合三种方式进入熔池 态下，母材侧不完全熔化区因碳扩散鸸菜成了不明显的脱碳层，焊缝侧不均匀混合区因多为源方式而形成了碳分布不均匀的增碳层。利用异种接头金相观察和硬度测试结果。验证了所得结论的正确性。