可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

Influence of Cu<Superscript>2+</Superscript> ions on structural and magnetic properties of NiZn ferrites

The paper is devoted to the preparation of NiZn ferrite with small substitutions of copper by means of ceramic technology. The influence of small Cu substitution on the microstructural and magnetic properties of NiZn ferrites have been analysed by means of various experimental methods and interpreted from the point of view of preparation technology optimisation and possible applications of such materials. A strong correlation between the substituent content and resulting properties has been observed, thus allowing preparation of material with the properties tailored for any particular application.     

Autoxidation of Hydrocarbons: From Chemistry to Catalysis

This contribution summarizes our recent efforts to unravel the radical chemistry of autoxidations. Abstraction of the weakly bonded αH-atom of the primary hydroperoxide product by chain carrying peroxyl radicals is identified as the source of major end products such as alcohol and ketone/aldehyde. In the case of cyclohexane autoxidation, this reaction is even responsible for the majority of ring-opened by-products. In a second part, different approaches to autoxidation catalysis are discussed, ranging from transition metal ion catalysis to organocatalysis with immobilized N-hydroxyphthalimide.     

Taste recognition threshold concentrations of styrene in oil-in-water emulsions and yoghurts

Taste recognition threshold concentrations (TRTC) of styrene were determined in samples of oil-in-water emulsions (30–300 g kg^?1 oil) and yoghurts (1–30 g kg^?1 fat), spiked with styrene. The observed TRTC increased linearly with increasing fat content and ranged from 0–3 to 2–1 mg kg^?1 for the emulsions and from 36 to 171 g kg^?1 for the yoghurts. Styrene equilibrium partition coefficients between emulsions and their respective vapour phases were determined. The concentrations of styrene in the continuous aqueous phase of the emulsions and yoghurts were calculated at the TRTC. The styrene concentrations in the continuous phase had constant values of about 15 g kg^?1 indicating that perception of styrene for oil-in–water emulsions is determined by the aqueous phase of the emulsion. The concentrations of styrene in the vapor phases above the emulsions and yoghurts were also calculated and were found to be constant at the TRTC. This relationship probably resulted from the equilibrium of distribution of styrene between the respective phases. Commercial yoghurt packed in polystyrene beakers contained styrene levels in the range 2–11 g kg^?1, much lower then the TRTC reported.     

Correction to: “SPOCU”: scaled polynomial constant unit activation function

Neural Computing and Applications - Addendum on SPOCU fitting and Erratum.     

Mutant p53 Mediates Sensitivity to Cancer Treatment Agents in Oesophageal Adenocarcinoma Associated with MicroRNA and SLC7A11 Expression

TP53 gene mutations occur in 70% of oesophageal adenocarcinomas (OACs). Given the central role of p53 in controlling cellular response to therapy we investigated the role of mutant (mut-) p53 and SLC7A11 in a CRISPR-mediated JH-EsoAd1 TP53 knockout model. Response to 2 Gy irradiation, cisplatin, 5-FU, 4-hydroxytamoxifen, and endoxifen was assessed, followed by a TaqMan OpenArray qPCR screening for differences in miRNA expression. Knockout of mut-p53 resulted in increased chemo- and radioresistance (2 Gy survival fraction: 38% vs. 56%, p < 0.0001) and in altered miRNA expression levels. Target mRNA pathways analyses indicated several potential mechanisms of treatment resistance. SLC7A11 knockdown restored radiosensitivity (2 Gy SF: 46% vs. 73%; p = 0.0239), possibly via enhanced sensitivity to oxidative stress. Pathway analysis of the mRNA targets of differentially expressed miRNAs indicated potential involvement in several pathways associated with apoptosis, ribosomes, and p53 signaling pathways. The data suggest that mut-p53 in JH-EsoAd1, despite being classified as non-functional, has some function related to radio- and chemoresistance. The results also highlight the important role of SLC7A11 in cancer metabolism and redox balance and the influence of p53 on these processes. Inhibition of the SLC7A11-glutathione axis may represent a promising approach to overcome resistance associated with mut-p53.     

Further study on the one-pot synthesis of (E)-2-nonenal from castor oil

A one-step procedure is described for the synthesis of (E)-2-nonenal from commercial castor oil by ozonolysis in methanol, followed by reduction of the ozonide products with dimethyl sulfide and exposure of the resulting intermediate product to dilute sulfuric acid. The developed process allows the production of the aldehyde with a yield of 80% at a purity of 95%. The method has advantages over all those reported earlier, because of inexpensive raw material and reducing agent, recycling of the solvent and its unusual simplicity.     

Property-composition relationships for diesel and kerosene fuels

A range of 18 diesel fuels and 21 kerosene fuels from mainly Australian petroleum and synthetic fuel sources, including coal, shale and peat, was investigated. Compositional details were defined as the weight per cent abundances of n-alkanes, branched plus cyclic saturates, single-ring aromatics, doublering aromatics and polynuclear aromatics, using both h.p.l.c. and ¹³C n.m.r. techniques. Relationships between fuel composition and a range of fuel properties were sought. Simple linear relationships between property values and compositional data were used. Explicit correlative expressions were derived using multiple linear regression analysis, with the coefficient of multiple determination, R², indicating the quality of the fit between observed and calculated property values. In most cases good correlations were achieved. For diesels the properties investigated, with R² values in parentheses, were: inverse specific gravity (0.99); ¹³C n.m.r. aromaticity (0.99); ¹H n.m.r. aromaticity (0.88); cetane index (0.97); aniline point (0.96); diesel index (0.98); and FIA-measured aromatics content (0.77). For kerosenes the properties, with R² values in parentheses, were: ¹³C n.m.r. aromaticity (0.98); ¹H n.m.r. aromaticity (0.97); smoke point (0.88); and FIA-measured aromatics content (0.94). The results are shown to be of value in assessing the potential and limitations of hydrotreating as a process for upgrading synfuels.     

Switching to Directional Antennas with Constant Increase in Radius and Hop Distance

For any angle α<2π, we show that any connected communication graph that is induced by a set P of n transceivers using omni-directional antennas of radius 1, can be replaced by a strongly connected communication graph, in which each transceiver in P is equipped with a directional antenna of angle α and radius r _dir, for some constant r _dir=r _dir(α). Moreover, the new communication graph is a c-spanner of the original graph, for some constant c=c(α), with respect to number of hops.