Optically and electrically tunable graphene quantum dot–polyaniline composite films

Graphene quantum dot-polyaniline (PANI-GQD) composite films were synthesized by a chemical oxidation polymerization process. The optical properties of the PANI-GQD composite were studied by varying the mole concentration of PANI and the size of the GQDs. The Au/PANI-GQDs/ITO sandwich device was fabricated in order to investigate the transport properties of the composite. A stable hysteresis loop was observed in response to the applied voltage. By varying the PANI content and size of the GQDs, the area within the hysteresis loop and electrical conductance behavior of the device can be tuned in a controlled manner. Both the tunable luminescence and electrical hysteresis behavior are attributed to surface states of the GQDs. The PANI-GQD composite films are expected to find application in photonic devices.Department of Applied Physic

Seasonal differences in the photochemistry of the South Pacific: A comparison of observations and model results from PEM-Tropics A and B

A time-dependent photochemical box model is used to examine the photochemistry of the equatorial and southern subtropical Pacific troposphere with aircraft data obtained during two distinct seasons: the Pacific Exploratory Mission-Tropics A (PEM-Tropics A) field campaign in September and October of 1996 and the Pacific Exploratory Mission-Tropics B (PEM-Tropics B) campaign in March and April of 1999. Model-predicted values were compared to observations for selected species (e.g., NO2, OH, HO2) with generally good agreement. Predicted values of HO2 were larger than those observed in the upper troposphere, in contrast to previous studies which show a general underprediction of HO2 at upper altitudes. Some characteristics of the budgets of HOx, NOx, and peroxides are discussed. The integrated net tendency for O3 is negative over the remote Pacific during both seasons, with gross formation equal to no more than half of the gross destruction. This suggests that a continual supply of O3 into the Pacific region throughout the year must exist in order to maintain O3 levels. Integrated net tendencies for equatorial O3 showed a seasonality, with a net loss of 1.06×1011 molecules cm-2 s-1 during PEM-Tropics B (March) increasing by 50% to 1.60×1011 molecules cm-2 s-1 during PEM-Tropics A (September). The seasonality over the southern subtropical Pacific was somewhat lower, with losses of 1.21×1011 molecules cm-2 s-1 during PEM-Tropics B (March) increasing by 25% to 1.51×1011 molecules cm-2 s-1 during PEM-Tropics A (September). While the larger net losses during PEM-Tropics A were primarily driven by higher concentrations of O3, the ability of the subtropical atmosphere to destroy O3 was ∼30% less effective during the PEM-Tropics A (September) campaign due to a drier atmosphere and higher overhead O3 column amounts. Copyright 2001 by the American Geophysical Union

Thermal evolution history after collision of North China plate with Yangtze plate

对采自苏北一胶南一大别高压变质构造混杂岩带的片麻岩、糜棱岩和郑庐断裂带上的片麻岩中9个钾长石进行了40Ar-39Ar 年龄测定和多重扩散域(MDD)模式处理, 9个样品的热演化史表明上述地区存在5个不同的快速冷却时段, 并就其可能的构造含义, 提出了华北与扬子板块碰撞后的折返历史过程。40Ar-39Ar analyses and MDD（multiple diffusion domain）model treatements were performed for 9 K-feldspar samples. They were collected from gneiss and mylonite of North Jiangsu-Jiaonan-Dabie tectonic melange belt and Tancheng-Lujiang fault zone. The thermal evolution history exhibits five fast ccoling stages found in these samples．In relation with their possible tectonic implications a recovery process after the collision of the North China plate with the Yangtze plate is suggested here.published_or_final_versio

Numerical modeling of the propagation environment in the atmospheric boundary layer over the Persian Gulf

Strong vertical gradients at the top of the atmospheric boundary layer affect the propagation of electromagnetic waves and can produce radar ducts. A three-dimensional, time-dependent, nonhydrostatic numerical model was used to simulate the propagation environment in the atmosphere over the Persian Gulf when aircraft observations of ducting had been made. A division of the observations into high- and low-wind cases was used as a framework for the simulations. Three sets of simulations were conducted with initial conditions of varying degrees of idealization and were compared with the observations taken in the Ship Antisubmarine Warfare Readiness/Effectiveness Measuring (SHAREM-115) program. The best results occurred with the initialization based on a sounding taken over the coast modified by the inclusion of data on low-level atmospheric conditions over the Gulf waters. The development of moist, cool, stable marine internal boundary layers (MIBL) in air flowing from land over the waters of the Gulf was simulated. The MIBLs were capped by temperature inversions and associated lapses of humidity and refractivity. The low-wind MIBL was shallower and the gradients at its top were sharper than in the high-wind case, in agreement with the observations. Because it is also forced by land–sea contrasts, a sea-breeze circulation frequently occurs in association with the MIBL. The size, location, and internal structure of the sea-breeze circulation were realistically simulated. The gradients of temperature and humidity that bound the MIBL cause perturbations in the refractivity distribution that, in turn, lead to trapping layers and ducts. The existence, location, and surface character of the ducts were well captured. Horizontal variations in duct characteristics due to the sea-breeze circulation were also evident. The simulations successfully distinguished between high- and low-wind occasions, a notable feature of the SHAREM-115 observations. The modeled magnitudes of duct depth and strength, although leaving scope for improvement, were most encouraging

Unique walnut-shaped porous MnO<inf>2</inf>/C nanospheres with enhanced reaction kinetics for lithium storage with high capacity and superior rate capability

Unique walnut-shaped porous MnO2/carbon nanospheres via in situ carbonization of amorphous MnO2 nanospheres demonstrate enhanced reaction kinetics for lithium storage.This work is realized in the frame of a program for Changjiang Scholars and Innovative Research Team (IRT_15R52) of Chinese Ministry of Education. B. L. Su acknowledges the Chinese Central Government for an “Expert of the State” position in the Program of the “Thousand Talents” and a Life Membership at the Clare Hall, Cambridge and the financial support of the Department of Chemistry, University of Cambridge. Y. Li acknowledges Hubei Provincial Department of Education for the “Chutian Scholar” program. T. Hasan acknowledges funding from the Royal Academy of Engineering (Graphlex) and an Impact Acceleration Award (GRASS). This work is also financially supported by the National Science Foundation for Young Scholars of China (No. 21301133 and 51302204), International Science & Technology Cooperation Program of China (2015DFE52870) and and Self-determined and Innovative Research Funds of the SKLWUT (2015‐ZD‐7). The authors also would like to thank Dr. Bin-Jie Wang from Shanghai Nanoport (FEI, Shanghai) for TEM analysis, and thank Hang Ping from Wuhan University of Technology for the TGA/DSC tests.This is the author accepted manuscript. The final version is available from the Royal Society of Chemistry via http://dx.doi.org/10.1039/C6TA00594

Finding polynomial loop invariants for probabilistic programs

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an alternative approach. First, we fix a polynomial template as a candidate of a loop invariant. Using Stengle's Positivstellensatz and a transformation to a sum-of-squares problem, we find sufficient conditions on the coefficients. Then, we solve a semidefinite programming feasibility problem to synthesize the loop invariants. If the semidefinite program is unfeasible, we backtrack after increasing the degree of the template. Our approach is semi-complete in the sense that it will always lead us to a feasible solution if one exists and numerical errors are small. Experimental results show the efficiency of our approach.Comment: accompanies an ATVA 2017 submissio

Chinese patients with sporadic Hirschsprung's disease are predominantly represented by a single RET haplotype.

published_or_final_versio

Neural development features: Spatio-temporal development of the Caenorhabditis elegans neuronal network

The nematode Caenorhabditis elegans, with information on neural connectivity, three-dimensional position and cell linage provides a unique system for understanding the development of neural networks. Although C. elegans has been widely studied in the past, we present the first statistical study from a developmental perspective, with findings that raise interesting suggestions on the establishment of long-distance connections and network hubs. Here, we analyze the neuro-development for temporal and spatial features, using birth times of neurons and their three-dimensional positions. Comparisons of growth in C. elegans with random spatial network growth highlight two findings relevant to neural network development. First, most neurons which are linked by long-distance connections are born around the same time and early on, suggesting the possibility of early contact or interaction between connected neurons during development. Second, early-born neurons are more highly connected (tendency to form hubs) than later born neurons. This indicates that the longer time frame available to them might underlie high connectivity. Both outcomes are not observed for random connection formation. The study finds that around one-third of electrically coupled long-range connections are late forming, raising the question of what mechanisms are involved in ensuring their accuracy, particularly in light of the extremely invariant connectivity observed in C. elegans. In conclusion, the sequence of neural network development highlights the possibility of early contact or interaction in securing long-distance and high-degree connectivity

Review and comparison of shearography and active thermography for nondestructive evaluation

postprin

AtPAP2 modulates the import of the small subunit of Rubisco into chloroplasts

published_or_final_versio