Behavior of 316L stainless steel containing corrosion pits under cyclic loading

The environmental performance of 316L grade stainless steel, in the form of tensile specimens containing a single corrosion pit with various aspect ratios, under cyclic loading in aerated chloride solutions is investigated in this study. Results from environmental tests were compared and contrasted with those obtained using finite element analysis (FEA). Fractography of the failed specimens obtained from experiments revealed that fatigue crack initiation took place at the base of the shallow pit. The crack initiation shifted towards the shoulder and the mouth of the pit for pits of increasing depth. This process is well predicted by FEA, as the strain contour maps show that strain is the highest around the centric strip of the pit. However, for shallow pits, local strain is uniformly distributed around that strip but begins to concentrate more towards the shoulder and the mouth region for increasingly deep pits.     

In vivo Kinetic Biodistribution of Nano‐Sized Outer Membrane Vesicles Derived from Bacteria

Evaluation of kinetic distribution and behaviors of nanoparticles in vivo provides crucial clues into their roles in living organisms. Extracellular vesicles are evolutionary conserved nanoparticles, known to play important biological functions in intercellular, inter‐species, and inter‐kingdom communication. In this study, the first kinetic analysis of the biodistribution of outer membrane vesicles (OMVs)—bacterial extracellular vesicles—with immune‐modulatory functions is performed. OMVs, injected intraperitoneally, spread to the whole mouse body and accumulate in the liver, lung, spleen, and kidney within 3 h of administration. As an early systemic inflammation response, increased levels of TNF‐α and IL‐6 are observed in serum and bronchoalveolar lavage fluid. In addition, the number of leukocytes and platelets in the blood is decreased. OMVs and cytokine concentrations, as well as body temperature are gradually decreased 6 h after OMV injection, in concomitance with the formation of eye exudates, and of an increase in ICAM‐1 levels in the lung. Following OMV elimination, most of the inflammatory signs are reverted, 12 h post‐injection. However, leukocytes in bronchoalveolar lavage fluid are increased as a late reaction. Taken together, these results suggest that OMVs are effective mediators of long distance communication in vivo.     

Isolated hepatic tuberculosis mimicking liver tumors in a dialysis patient

Cases of isolated hepatic tuberculosis (TB) are rare. The diagnosis is often delayed or missed because of nonspecific symptoms and laboratory findings. Besides, the disease is extremely rare even in a country where TB is an alarming public health problem. This report demonstrates the difficulty in correctly diagnosing local hepatic TB. We report the case of a 62‐year‐old male patient with end‐stage renal disease treated with hemodialysis, who developed 2 months of abdominal distension and general anorexia, with hyperechoic hepatic lesions on ultrasound. Computed tomography suspected multiple liver tumors. The liver biopsy finally led to the diagnosis of TB of the liver without other involvements. We conclude that isolated hepatic TB is one of the rare forms of extrapulmonary TB in dialysis patients. A greater awareness of this rare clinical entity may prevent needless surgical interventions.     

Low complexity quantum private queries protocol

Private information retrieval(PIR) is an important privacy protection issue of secure multi-party computation, but the PIR protocols based on classical cryptography are vulnerable because of new technologies,such as quantum computing and cloud computing. The quantum private queries(QPQ) protocols available, however, has a high complexity and is inefficient in the face of large database. This paper, based on the QKD technology which is mature now, proposes a novel QPQ protocol utilizing the key dilution and auxiliary parameter. Only N quits are required to be sent in the quantum channel to generate the raw key, then the straight k bits in the raw key are added bitwise to dilute the raw key, and a final key is consequently obtained to encrypt the database. By flexible adjusting of auxiliary parameters θ and k, privacy is secured and the query success ratio is improved. Feasibility and performance analyses indicate that the protocol has a high success ratio in first-trial query and is easy to implement, and that the communication complexity of O(N) is achieved.     

面向航空通信应用的边沿触发器教学设计

研究和分析了面向航空通信应用的边沿触发器教学设计。以边沿触发电路实现原理为核心,引导边沿触发机制的探究式学习；以航空机载网络通信为具体应用背景,引入科学研究和工程实现中实际问题,设计曼切斯特码检测系统实验；使得边沿触发器教学成为“知识再创造”的过程和创新实践的新载体,以期培养新工科背景下的独立、创新和实践精神。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Precise Extraction of Charge Carrier Mobility for Organic Transistors

Unreliable mobility values, and particularly greatly overestimated values and severely distorted temperature dependences, have recently hampered the development of the organic transistor field. Given that organic field‐effect transistors (OFETs) have been routinely used to evaluate mobility, precise parameter extraction using the electrical properties of OFETs is thus of primary importance. This review examines the origins of the various mobilities that must be determined for OFET applications, the relevant extraction methods, and the data selection limitations, which help in avoiding conceptual errors during mobility extraction. For increased precision, the review also discusses device fabrication considerations, calibration of both the specific gate‐dielectric capacitance and the threshold voltage, the contact effects, and the bias and temperature dependences, which must actually be handled with great care but have mostly been overlooked to date. This review serves as a systematic overview of the OFET mobility extraction process to ensure high precision and will also aid in improving future research.     

Cerebral microbleeds and cognitive decline in a hemodialysis patient: Case report and review of literature

Cerebral microbleeds (CMBs) are small hemosiderin deposits indicative of prior cerebral microscopic hemorrhage and previously thought to be clinically silent. Recent population‐based cross‐sectional studies and prospective longitudinal cohort studies have revealed association between CMB and cognitive dysfunction. In the general population, CMBs are associated with age, hypertension, and cerebral amyloid angiopathy. In the chronic kidney disease (CKD) population, diminished estimated glomerular filtration rate has been found to be an independent risk factor for CMB, raising the possibility that a uremic milieu may predispose to microbleeds. In the end‐stage renal disease (ESRD) population on hemodialysis, the incidence of microbleeds is significantly higher compared with a control group without history of CKD or stroke. We present an ESRD patient on chronic hemodialysis with a history of gradual cognitive decline and progressive CMBs. Through this case and literature review, we illustrate the need to develop detection and prediction models to treat this frequent development in ESRD patients.     

Adaptive backstepping repetitive learning control design for nonlinear discrete‐time systems with periodic uncertainties

This paper addresses a tracking problem for uncertain nonlinear discrete‐time systems in which the uncertainties, including parametric uncertainty and external disturbance, are periodic with known periodicity. Repetitive learning control (RLC) is an effective tool to deal with periodic unknown components. By using the backstepping procedures, an adaptive RLC law with periodic parameter estimation is designed. The overparameterization problem is overcome by postponing the parameter estimation to the last backstepping step, which could not be easily solved in robust adaptive control. It is shown that the proposed adaptive RLC law without overparameterization can guarantee the perfect tracking and boundedness of the states of the whole closed‐loop systems in presence of periodic uncertainties. In addition, the effectiveness of the developed controller is demonstrated by an implementation example on a single‐link flexible‐joint robot. Copyright © 2014 John Wiley & Sons, Ltd.     

Lipase‐catalyzed synthesis of aliphatic poly(β‐thioether ester) with various methylene group contents: thermal properties,crystallization and degradation

A series of novel aliphatic poly(β‐thioether ester)s with various methylene group contents were prepared by direct lipase‐catalyzed polycondensation of the monomer with an acid‐labile β‐thiopropionate group. The polycondensation reaction using immobilized lipase B from Candida antarctica was carried out in diphenyl ether at 90 °C. Poly(β‐thioether ester)s with high molecular weights of 20 500–57 000 Da and narrow polydispersities in the range 1.40–1.48 were obtained. Thermogravimetric analysis, differential scanning calorimetry and wide‐angle X‐ray diffraction were used to investigate the thermal properties and crystal structures of these polyesters. All the poly(β‐thioether ester)s were semicrystalline polymers and thermally stable up to at least 200 °C. In vitro degradation studies showed that they can rapidly degrade under acidic conditions by the hydrolysis of the β‐thiopropionate groups, suggesting their potential as acid‐degradable polymeric materials. © 2019 Society of Chemical Industry