On properties of RDT communication-induced checkpointing protocols

Rollback-dependency trackability (RDT) is a property stating that all rollback dependencies between local checkpoints are online trackable by using a transitive dependency vector. The most crucial RDT characterizations introduced in the literature can be represented as certain types of RDT-PXCM-paths. Here, let the U-path and V-path be any two types of RDT-PXCM-paths. We investigate several properties of communication-induced checkpointing protocols that ensure the RDT property. First, we prove that if an online RDT protocol encounters a U-path at a point of a checkpoint and communication pattern associated with a distributed computation, it also encounters a V-path there. Moreover, if this encountered U-path is invisibly doubled, the corresponding encountered V-path is invisibly doubled as well. Therefore, we can conclude that breaking all invisibly doubled U-paths is equivalent to breaking all invisibly doubled V-paths for an online RDT protocol. Next, we continue to demonstrate that a visibly doubled U-path must contain a doubled U-cycle in the causal past. These results can further deduce that some different checkpointing protocols actually have the same behavior for all possible patterns. Finally, we present a commendatory systematic technique for comparing the performance of online RDT protocols.     

Effect of Thickness of the p-AlGaN Electron Blocking Layer on the Improvement of ESD Characteristics in GaN-Based LEDs

The following letter presents a study regarding GaN-based light-emitting diodes (LEDs) with p-type AlGaN electron blocking layers (EBLs) of different thicknesses. The study revealed that the LEDs could endure higher electrostatic discharge (ESD) levels as the thickness of the AlGaN EBL increased. The observed improvement in the ESD endurance ability could be attributed to the fact that the thickened p-AlGaN EBL may partly fill the dislocation-related pits that occur on the surface of the InGaN-GaN multiple-quantum well (MQW) and that are due to the strain and the low-temperature-growth process. If these dislocation-related pits are not partly suppressed, they will eventually result in numerous surface pits associated with threading dislocations that intersect the InGaN-GaN (MQW), thereby reducing the ESD endurance ability. The results of the experiment show that the ESD endurance voltages could increase from 1500 to 6000 V when the thickness of the p-AlGaN EBL in the GaN LEDs is increased from 32.5 to 130 nm, while the forward voltages and light output powers remained almost the same.     

一种新型陶瓷材料及其耐磨性

对新型Ａｌ２Ｏ３－ＴｉＣ－Ｃｏ陶瓷的磨粒磨损，冲蚀磨损及其在单颗粒作用下的摩擦磨损行为进行了研究。与ＡＴ３０（７０ｗｔ％Ａｌ２Ｏ３－３０ｗｔ％ＴｉＣ）陶瓷相比，Ａｌ２Ｏ３－ＴｉＣ－Ｃｏ陶瓷具有更为良好的耐磨性，金属钴的存在提高了基体的韧性，细化了晶粒，其综合力学性能得到了显著提高，ＡＴＣ陶瓷样品耐磨性与其强韧化水平和细致的组织结构有关。     

一种三叉树的存储结构及其基本操作的实现

本文在文献［１］所给出的有关三叉树有其相关概念的基础上，提出了一种新的三叉树存储结构，即“儿子－兄弟链表”方法，并在这种结构下，对三叉树的基本操作的实现算法进行了较详细的讨论。     

PET／PC共混物的辐射效应研究

研究了经溶液共混制备的聚对苯二甲酸乙二醇酯／聚碳酸酯（ＰＥＴ／ＰＣ）共混物的辐射效应。结果表明：ＰＥＴ／ＰＣ共混物在辐照过程中未发生酯交换反应和交联反应，但有降解反应发生。在研究的剂量范围内，辐照对ＰＥＴ／ＰＣ共混物中ＰＥＴ和ＰＣ的晶体形态影响不明显。     

The m1 muscarinic acetylcholine receptor transactivates the EGF receptor to modulate ion channel activity

Intracellular tyrosine kinases link the G protein-coupled m1 muscarinic acetylcholine receptor (mAChR) to multiple cellular responses. However, the mechanisms by which m1 mAChRs stimulate tyrosine kinase activity and the identity of the kinases within particular signaling pathways remain largely unknown. We show that the epidermal growth factor receptor (EGFR), a single transmembrane receptor tyrosine kinase, becomes catalytically active and dimerized through an m1 mAChR-regulated pathway that requires protein kinase C, but is independent of EGF. Finally, we demonstrate that transactivation of the EGFR plays a major role in a pathway linking m1 mAChRs to modulation of the Kv1.2 potassium channel. These results demonstrate a ligand-independent mechanism of EGFR transactivation by m1 mAChRs and reveal a novel role for these growth factor receptors in the regulation of ion channels by G protein-coupled receptors.     

复印粉的粉碎分级技术

本文介绍了利用国产气流粉碎机和余气萃取分级制备复印粉的实用技术，并展示了粉碎分级系统和复印粉的电镜照片。     

快速星图匹配算法的研究

将态敏感和姿态稳定是卫星的重要技术之一。星体敏感器是目前最高精度的姿态测量技术。对于这种技术，很多文献都进行了讨论，并涌现了许多关于星图匹配行之有效的算法。     

基于小波变换的医学图象压缩编码

本文研究了医学图象小波变换系数的统计特征。根据医学图象的特点，提出了基于小波变换的医学图象编码方法。实验表明，这种方法具有较好的压缩编码性能，优于JPEG标准。同时，它支持逐次浮现式传输，从而能满足医学图象存储、通信、检索的需要。