Symbolic Cache Analysis for Real-Time Systems

Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history of previous memory references. Too pessimistic assumptions on cache hits can obtain worst-case execution time estimates that are prohibitive for real-time systems. This paper presents a novel approach for deriving a highly accurate analytical cache hit function for C-programs at compile-time based on the assumption that no external cache interference (e.g. process dispatching or DMA activity) occurs. First, a symbolic tracefile of an instrumented C-program is generated based on symbolic evaluation, which is a static technique to determine the dynamic behavior of programs. All memory references of a program are described by symbolic expressions and recurrences and stored in chronological order in the symbolic tracefile. Second, a cache hit function for several cache architectures is computed based on a cache evaluation technique. Our approach goes beyond previous work by precisely modelling program control flow and program unknowns, modelling large classes of cache architectures, and providing very accurate cache hit predictions. Examples for the SPARC architecture are used to illustrate the accuracy and effectiveness of our symbolic cache prediction.     

Characterization of PID and lead/lag compensators satisfying given H/sub /spl infin// specifications

This note deals with the problem of characterizing a class of second-order three-parameter controllers [including proportional-integral-derivative (PID) and lead/lag compensators] satisfying given H/sub /spl infin// closed-loop specifications. Design characterizations of similar form as in the recent work on PID control, are derived for a larger class of compensators using simple geometric considerations. Specifically it is shown that, given the value of one parameter: i) the region of the plane defined by the other two parameters where the considered H/sub /spl infin// constraint is satisfied, consists of the union of disjoint convex sets whose number can be bounded by means of the pancake-cutting formula, and ii) the closed-loop pole distribution can be related to them. An example illustrates how the method can be applied to design a PID controller in the case of bounded sensitivity.     

Impurities block the alpha to omega martensitic transformation in titanium

Impurities control phase stability and phase transformations in natural and man-made materials, from shape-memory alloys to steel to planetary cores. Experiments and empirical databases are still central to tuning the impurity effects. What is missing is a broad theoretical underpinning. Consider, for example, the titanium martensitic transformations: diffusionless structural transformations proceeding near the speed of sound. Pure titanium transforms from ductile alpha to brittle omega at 9 GPa, creating serious technological problems for beta-stabilized titanium alloys. Impurities in the titanium alloys A-70 and Ti-6Al-4V (wt%) suppress the transformation up to at least 35 GPa, increasing their technological utility as lightweight materials in aerospace applications. These and other empirical discoveries in technological materials call for broad theoretical understanding. Impurities pose two theoretical challenges: the effect on the relative phase stability, and the energy barrier of the transformation. Ab initio methods calculate both changes due to impurities. We show that interstitial oxygen, nitrogen and carbon retard the transformation whereas substitutional aluminium and vanadium influence the transformation by changing the d-electron concentration. The resulting microscopic picture explains the suppression of the transformation in commercial A-70 and Ti-6Al-4V alloys. In general, the effect of impurities on relative energies and energy barriers is central to understanding structural phase transformations.     

Intramyocardial Inflammation after COVID-19 Vaccination: An Endomyocardial Biopsy-Proven Case Series

Myocarditis in response to COVID-19 vaccination has been reported since early 2021. In particular, young male individuals have been identified to exhibit an increased risk of myocardial inflammation following the administration of mRNA-based vaccines. Even though the first epidemiological analyses and numerous case reports investigated potential relationships, endomyocardial biopsy (EMB)-proven cases are limited. Here, we present a comprehensive histopathological analysis of EMBs from 15 patients with reduced ejection fraction (LVEF = 30 (14–39)%) and the clinical suspicion of myocarditis following vaccination with Comirnaty^® (Pfizer-BioNTech) (n = 11), Vaxzevria^® (AstraZenica) (n = 2) and Janssen^® (Johnson & Johnson) (n = 2). Immunohistochemical EMB analyses reveal myocardial inflammation in 14 of 15 patients, with the histopathological diagnosis of active myocarditis according the Dallas criteria (n = 2), severe giant cell myocarditis (n = 2) and inflammatory cardiomyopathy (n = 10). Importantly, infectious causes have been excluded in all patients. The SARS-CoV-2 spike protein has been detected sparsely on cardiomyocytes of nine patients, and differential analysis of inflammatory markers such as CD4⁺ and CD8⁺ T cells suggests that the inflammatory response triggered by the vaccine may be of autoimmunological origin. Although a definitive causal relationship between COVID-19 vaccination and the occurrence of myocardial inflammation cannot be demonstrated in this study, data suggest a temporal connection. The expression of SARS-CoV-2 spike protein within the heart and the dominance of CD4⁺ lymphocytic infiltrates indicate an autoimmunological response to the vaccination.     

Multimodal person discovery in broadcast TV: lessons learned from MediaEval 2015

Multimedia Tools and Applications - We describe the “Multimodal Person Discovery in Broadcast TV” task of MediaEval 2015 benchmarking initiative. Participants were asked to return the...     

水化水泥颗粒表面超塑化剂吸附层分布模型

制备了钙矾石(AFt)、单硫型硫铝酸钙(AFm)和钾长石类单矿物,并研究了三聚氰胺磺酸盐甲醛缩聚物(PMS)、β-萘磺酸盐甲醛缩合物(BNS)及聚羧酸盐(PC)等几种化学成分不同的超塑化剂在其早期水化颗粒表面上的吸附行为.研究发现,zeta电位是决定水泥颗粒表面对超塑化剂吸附量的关键因素.以溶液沉淀析出法人工合成的AFt具有较高的正zeta电位,能吸附大量带负电荷的超塑化剂,AFm仅带少量正电荷,其吸附超塑化剂相对较少,钾长石、氢氧钙石和石膏的zeta电位几乎为零或负值,因而基本不吸附超塑化剂.根据实验结果,笔者认为水化水泥颗粒用马赛克结构表示为最佳,而超塑化剂主要吸附在AF表面上.     

A three-dimensional microfluidic tumor cell migration assay to screen the effect of anti-migratory drugs and interstitial flow

Most anti-cancer drug screening assays are currently performed in two dimensions, on flat, rigid surfaces. However, there are increasing indications that three-dimensional (3D) platforms provide a more realistic setting to investigate accurate morphology, growth, and sensitivity of tumor cells to chemical factors. Moreover, interstitial flow plays a pivotal role in tumor growth. Here, we present a microfluidic 3D platform to investigate behaviors of tumor cells in flow conditions with anti-migratory compounds. Our results show that interstitial flow and its direction have significant impact on migration and growth of hepatocellular carcinoma cell lines such as HepG2 and HLE. In particular, HepG2/HLE cells tend to migrate against interstitial flow, and their growth increases in interstitial flow conditions regardless of the flow direction. Furthermore, this migratory activity of HepG2 cells is enhanced when they are co-cultured with human umbilical vein endothelial cells. We also found that migration activity of HepG2 cells attenuates under hypoxic conditions. In addition, the effect of Artemisinin, an anti-migratory compound, on HepG2 cells was quantitatively analyzed. The microfluidic 3D platform described here is useful to investigate more accurately the effect of anti-migratory drugs on tumor cells and the critical influence of interstitial flow than 2D culture models.