Static Deadlock Detection for Rust Programs

Rust relies on its unique ownership mechanism to ensure thread and memory safety. However, numerous potential security vulnerabilities persist in practical applications. New language features in Rust pose new challenges for vulnerability detection. This paper proposes a static deadlock detection method tailored for Rust programs, aiming to identify various deadlock types, including double lock, conflict lock, and deadlock associated with conditional variables. With due consideration for Rust's ownership and lifetimes, we first complete the pointer analysis. Then, based on the obtained points-to information, we analyze dependencies among variables to identify potential deadlocks. We develop a tool and conduct experiments based on the proposed method. The experimental results demonstrate that our method outperforms existing deadlock detection methods in precision

Molecular dynamics simulation of graphene sinking during chemical vapor deposition growth on semi-molten Cu substrate

Copper foil is the most promising catalyst for the synthesis of large-area, high-quality monolayer graphene. Experimentally, it has been found that the Cu substrate is semi-molten at graphene growth temperatures. In this study, based on a self-developed C-Cu empirical potential and density functional theory (DFT) methods, we performed systematic molecular dynamics simulations to explore the stability of graphene nanostructures, i.e., carbon nanoclusters and graphene nanoribbons, on semi-molten Cu substrates. Many atomic details observed in the classical MD simulations agree well with those seen in DFT-MD simulations, confirming the high accuracy of the C-Cu potential. Depending on the size of the graphene island, two different sunken-modes are observed: (i) graphene island sinks into the first layer of the metal substrate and (ii) many metal atoms surround the graphene island. Further study reveals that the sinking graphene leads to the unidirectional alignment and seamless stitching of the graphene islands, which explains the growth of large single-crystal graphene on Cu foil. This study deepens our physical insights into the CVD growth of graphene on semi-molten Cu substrate with multiple experimental mysteries well explained and provides theoretic references for the controlled synthesis of large-area single-crystalline monolayer graphene

A computational study of positive streamers interacting with dielectrics

We use numerical simulations to study the dynamics of surface discharges, which are common in high-voltage engineering. We simulate positive streamer discharges that propagate towards a dielectric surface, attach to it, and then propagate over the surface. The simulations are performed in air with a two-dimensional plasma fluid model, in which a flat dielectric is placed between two plate electrodes. Electrostatic attraction is the main mechanism that causes streamers to grow towards the dielectric. Due to the net charge in the streamer head, the dielectric gets polarized, and the electric field between the streamer and the dielectric is increased. Compared to streamers in bulk gas, surface streamers have a smaller radius, a higher electric field, a higher electron density, and higher propagation velocity. A higher applied voltage leads to faster inception and faster propagation of the surface discharge. A higher dielectric permittivity leads to more rapid attachment of the streamer to the surface and a thinner surface streamer. Secondary emission coefficients are shown to play a modest role, which is due to relatively strong photoionization in air. In the simulations, a high electric field is present between the positive streamers and the dielectric surface. We show that the magnitude and decay of this field are affected by the positive ion mobility.Comment: 13 pages, 18 figures, 47 reference

A sugarcane mosaic virus vector for gene expression in maize

Zea mays L. ssp. mays (maize) is an important crop plant as well as model system for genetics and plant biology. The ability to select among different virus‐based platforms for transient gene silencing or protein expression experiments is expected to facilitate studies of gene function in maize and complement experiments with stable transgenes. Here, we describe the development of a sugarcane mosaic virus (SCMV) vector for the purpose of protein expression in maize. An infectious SCMV cDNA clone was constructed, and heterologous genetic elements were placed between the protein 1 (P1) and helper component‐proteinase (HC‐Pro) cistrons in the SCMV genome. Recombinant SCMV clones engineered to express green fluorescent protein (GFP), β‐glucuronidase (GUS), or bialaphos resistance (BAR) protein were introduced into sweet corn (Golden × Bantam) plants. Documentation of developmental time courses spanning maize growth from seedling to tasseling showed that the SCMV genome tolerates insertion of foreign sequences of at least 1,809 nucleotides at the P1/HC‐Pro junction. Analysis of insert stability showed that the integrity of GFP and BAR coding sequences was maintained longer than that of the much larger GUS coding sequence. The SCMV isolate from which the expression vector is derived is able to infect several important maize inbred lines, suggesting that this SCMV vector has potential to be a valuable tool for gene functional analysis in a broad range of experimentally important maize genotypes

2D2D HILIC-ELSD/UPLC-Q-TOF-MS Method for Acquiring Phospholipid Profiles and the Application in Caenorhabditis elegans

Phospholipids are the main constituent of cellular membranes and have recently been identified to have diagnostic value as biomarkers for many diseases. Accordingly, much emphasis is now laid on developing optimal analytical techniques for the phospholipid profiles of various biological samples. In the present study, different classes of phospholipids are first separated by optimized hydrophilic interaction chromatography with evaporative light scattering detector (HILIC-ELSD). The phospholipids in each class are then identified by ultraperformance liquid chromatography-quadrupole time-of-flight mass spectrometry (UPLC-Q-TOF-MS). Validation results confirm that this approach meets the requirements of quantitative analysis. Finally, the approach is adopted to analyze the phospholipid profiles in Caenorhabditis elegans. A total of 111 phospholipid species is identified according to the mass fragments. Major fatty acyl chains in phospholipids are found to be formed by oleic acid (C18:1), arachidonic acid (C20:4), and eicosapentaenoic acid (C20:5). Overall, this study improves current knowledge on analytical techniques of the phospholipid composition in C. elegans and provides a basis for future lipidomics research. Practical applications: Phospholipids reportedly play a crucial role in the development of many diseases. Until now, only a small portion of phospholipids in Caenorhabditis elegans has been reported by using one-dimensional analysis strategy. The offline 2D2D liquid chromatography method developed in this study identifies 111 phospholipid species in Caenorhabditis elegans. The obtained phospholipid profiles complement the lipid database of Caenorhabditis elegans. The study also provides the basis for the future development of a 2D online approach

Positive double-pulse streamers: how pulse-to-pulse delay influences initiation and propagation of subsequent discharges

Residual charges and species created by previous streamers have a great impact on the characteristics of the next discharge. This is especially pronounced in repetitively pulsed discharges, where the physical and chemical reactions during the decay phase play a very important role. We have performed double-pulse streamer experiments in artificial air and pure nitrogen with a varying pulse delay (Δt) from 0.45 μs to 20 ms. We have observed morphological transformations of the 2nd-pulse streamer as a function of Δt and classified six typical stages by streamer length. The propagation distance of the 2nd-pulse streamer can be 66% l