Source author record

Qiang Lu

Qiang Lu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Exploring Hidden Semantics in Neural Networks with Symbolic Regression

Many recent studies focus on developing mechanisms to explain the black-box behaviors of neural networks (NNs). However, little work has been done to extract the potential hidden semantics (mathematical representation) of a neural network. A succinct and explicit mathematical representation of a NN model could improve the understanding and interpretation of its behaviors. To address this need, we propose a novel symbolic regression method for neural works (called SRNet) to discover the mathematical expressions of a NN. SRNet creates a Cartesian genetic programming (NNCGP) to represent the hidden semantics of a single layer in a NN. It then leverages a multi-chromosome NNCGP to represent hidden semantics of all layers of the NN. The method uses a (1+$λ$) evolutionary strategy (called MNNCGP-ES) to extract the final mathematical expressions of all layers in the NN. Experiments on 12 symbolic regression benchmarks and 5 classification benchmarks show that SRNet not only can reveal the complex relationships between each layer of a NN but also can extract the mathematical representation of the whole NN. Compared with LIME and MAPLE, SRNet has higher interpolation accuracy and trends to approximate the real model on the practical dataset.

preprint2022arXiv

Taylor Genetic Programming for Symbolic Regression

Genetic programming (GP) is a commonly used approach to solve symbolic regression (SR) problems. Compared with the machine learning or deep learning methods that depend on the pre-defined model and the training dataset for solving SR problems, GP is more focused on finding the solution in a search space. Although GP has good performance on large-scale benchmarks, it randomly transforms individuals to search results without taking advantage of the characteristics of the dataset. So, the search process of GP is usually slow, and the final results could be unstable.To guide GP by these characteristics, we propose a new method for SR, called Taylor genetic programming (TaylorGP) (Code and appendix at https://kgae-cup.github.io/TaylorGP/). TaylorGP leverages a Taylor polynomial to approximate the symbolic equation that fits the dataset. It also utilizes the Taylor polynomial to extract the features of the symbolic equation: low order polynomial discrimination, variable separability, boundary, monotonic, and parity. GP is enhanced by these Taylor polynomial techniques. Experiments are conducted on three kinds of benchmarks: classical SR, machine learning, and physics. The experimental results show that TaylorGP not only has higher accuracy than the nine baseline methods, but also is faster in finding stable results.

preprint2020arXiv

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in the real world. Our approach is based on formal methods, combining formal specification of scenarios and safety properties, algorithmic test case generation using formal simulation, test case selection for track testing, executing test cases on the track, and analyzing the resulting data. Experiments with a real autonomous vehicle at an industrial testing facility support our hypotheses that (i) formal simulation can be effective at identifying test cases to run on the track, and (ii) the gap between simulated and real worlds can be systematically evaluated and bridged.

preprint2020arXiv

LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving

Testing autonomous driving algorithms on real autonomous vehicles is extremely costly and many researchers and developers in the field cannot afford a real car and the corresponding sensors. Although several free and open-source autonomous driving stacks, such as Autoware and Apollo are available, choices of open-source simulators to use with them are limited. In this paper, we introduce the LGSVL Simulator which is a high fidelity simulator for autonomous driving. The simulator engine provides end-to-end, full-stack simulation which is ready to be hooked up to Autoware and Apollo. In addition, simulator tools are provided with the core simulation engine which allow users to easily customize sensors, create new types of controllable objects, replace some modules in the core simulator, and create digital twins of particular environments.

preprint2015arXiv

Effect of randomly occurring Stone-Wales defects on mechanical properties of carbon nanotubes using atomistic simulation

While CNTs are found to have ultra high stiffness and strength, an enormous scatter is also observed in available laboratory results. This paper studies the effects of randomly distributed Stone Wales (SW or 5 7 7 5) defects on the mechanical properties of single walled nanotubes (SWNTs) using the technique of atomistic simulation (AS). A Matern hard core random field applied on a finite cylindrical surface is used to describe the spatial distribution of the Stone Wales defects. We simulate a set of displacement controlled tensile loading up to fracture of SWNTs with (6,6) armchair and (10, 0) zigzag configurations and aspect ratio around 6. A modified Morse potential is adopted to model the interatomic forces. We found that fracture invariably initiates from a defect if one is present; for a defect-free tube the crack initiates at quite random locations. The force-displacement curve typically behaves almost linearly up to about half way, although there is no obvious yield point. Three mechanical properties - stiffness, ultimate strength and ultimate strain - are calculated from the simulated force and displacement time histories. The randomness in mechanical behavior resulting only from initial velocity distribution was found to be insignificant at room temperature. The mean values of stiffness, ultimate strength and ultimate strain of the tube decrease as the average number of defects increases although the coefficients of variation do not show such monotonic trend. The introduction of an additional defect has the most pronounced effect on the randomness in mechanical properties when the tube is originally defect free. We also found that, for a given mean number of defects in the tube, the zigzag configuration has less strength and less ultimate strain on the average, but more uncertainty in its stiffness and ultimate strain, compared with the armchair tube.

preprint2015arXiv

Fracture resistance of zigzag single walled carbon nanotubes

Brittle fracture is one of the important failure modes of Single-Walled Carbon Nanotube (SWNT) due to mechanical loading. In this paper, the fracture resistance of zigzag SWNTs with preexisting defects is calculated using fracture mechanics concepts based on atomistic simulations. The problem of unstable crack growth at finite temperature, presumably caused by lattice trapping effect, is circumvented by computing the strain energy release rate through a series of displacement-controlled tensile loading of SWNTs (applied through moving the outermost layer of atoms at one end at constant strain rate of 9.4x10-4/ps) with pre-existing crack-like defects of various lengths. The strain energy release rate, G, is computed for (17,0), (28,0) and (35,0) SWNTs (each with aspect ratio 4) with pre-existing cracks up to 29.5Å long. The fracture resistance, Gc, is determined as a function of crack length for each tube at three different temperatures (1K, 300K and 500K). A significant dependence of Gc on crack length is observed reminiscent of the rising R curve behavior of metals at the macroscale: for the zigzag nanotubes Gc increases with crack length at small length, and tends to reach a constant value if the tube diameter is large enough. We suspect that the lattice trapping effect plays the role of crack tip plasticity at the atomic scale. For example, at 300 Kelvin, Gc for the (35,0) tube with aspect ratio 4 converges to 6 Joule/m2 as the crack length exceeds 20 Angstrom. This value is comparable with the fracture toughness of graphite and Silicon. The fracture resistance of the tubes is found to decrease significantly as the temperature increases. To study the length effects, the computations are repeated for zigzag nanotubes with the same three chiralities but with aspect ratio 8 at 1K.

preprint2013arXiv

Qualitative detection of oil adulteration with machine learning approaches

The study focused on the machine learning analysis approaches to identify the adulteration of 9 kinds of edible oil qualitatively and answered the following three questions: Is the oil sample adulterant? How does it constitute? What is the main ingredient of the adulteration oil? After extracting the high-performance liquid chromatography (HPLC) data on triglyceride from 370 oil samples, we applied the adaptive boosting with multi-class Hamming loss (AdaBoost.MH) to distinguish the oil adulteration in contrast with the support vector machine (SVM). Further, we regarded the adulterant oil and the pure oil samples as ones with multiple labels and with only one label, respectively. Then multi-label AdaBoost.MH and multi-label learning vector quantization (ML-LVQ) model were built to determine the ingredients and their relative ratio in the adulteration oil. The experimental results on six measures show that ML-LVQ achieves better performance than multi-label AdaBoost.MH.

preprint2011arXiv

Theory and Algorithms for Partial Order Based Reduction in Planning

Search is a major technique for planning. It amounts to exploring a state space of planning domains typically modeled as a directed graph. However, prohibitively large sizes of the search space make search expensive. Developing better heuristic functions has been the main technique for improving search efficiency. Nevertheless, recent studies have shown that improving heuristics alone has certain fundamental limits on improving search efficiency. Recently, a new direction of research called partial order based reduction (POR) has been proposed as an alternative to improving heuristics. POR has shown promise in speeding up searches. POR has been extensively studied in model checking research and is a key enabling technique for scalability of model checking systems. Although the POR theory has been extensively studied in model checking, it has never been developed systematically for planning before. In addition, the conditions for POR in the model checking theory are abstract and not directly applicable in planning. Previous works on POR algorithms for planning did not establish the connection between these algorithms and existing theory in model checking. In this paper, we develop a theory for POR in planning. The new theory we develop connects the stubborn set theory in model checking and POR methods in planning. We show that previous POR algorithms in planning can be explained by the new theory. Based on the new theory, we propose a new, stronger POR algorithm. Experimental results on various planning domains show further search cost reduction using the new algorithm.

preprint2010arXiv

Effect of edge structures on elastic modulus and fracture of graphene nanoribbons under uniaxial tension

Based on atomistic simulations, the nonlinear elastic properties of monolayer graphene nanoribbons under quasistatic uniaxial tension are predicted, emphasizing the effect of edge structures (armchair and zigzag, without and with hydrogen passivation). The results of atomistic simulations are interpreted within a theoretical framework of thermodynamics, which enables determination of the nonlinear functions for the strain-dependent edge energy and the hydrogen adsorption energy, for both zigzag and armchair edges. Due to the edge effects, the initial Young's modulus of graphene nanoribbons under infinitesimal strain varies with the edge chirality and the ribbon width. Furthermore, it is found that the nominal strain to fracture is considerably lower for armchair graphene nanoribbons than for zigzag ribbons. Two distinct fracture mechanisms are identified, with homogeneous nucleation for zigzag ribbons and edge-controlled heterogeneous nucleation for armchair ribbons. Hydrogen passivation of the edges is found to have negligible effect on the mechanical properties of zigzag graphene nanoribbons, but its effect is more significant for armchair ribbons.

preprint2009arXiv

Elastic Bending Modulus of Monolayer Graphene

A new formula for elastic bending modulus of monolayer graphene is derived analytically from an empirical potential for solid-state carbon-carbon bonds. Two physical origins are identified for the non-vanishing bending modulus of the atomically thin graphene sheet, one due to the bond angle effect and the other resulting from the bond order term associated with dihedral angles. The analytical prediction compares closely with ab initio energy calculations. Pure bending of graphene monolayers are simulated by a molecular mechanics approach, showing slight nonlinearity and anisotropy in the tangent bending modulus as the bending curvature increases. An intrinsic coupling between bending and in-plane strain is noted for graphene monolayers rolled into carbon nanotubes.

preprint2009arXiv

Excess energy and deformation along free edges of graphene nanoribbons

Change of the bonding environment at the free edges of graphene monolayer leads to excess edge energy and edge force, depending on the edge morphology (zigzag or armchair). By using a reactive empirical bond-order potential and atomistic simulations, we show that the excess edge energy in free-standing graphene nanoribbons can be partially relaxed by both in-plane and out-of-plane deformation. The excess edge energy and edge force are calculated for graphene nanoribbons with parallel zigzag or armchair edges. Depending on the longitudinal constraint, the compressive edge force leads to either in-plane elongation of the ribbon or out-of-plane buckling deformation. In the former case, the longitudinal strain is inversely proportional to the ribbon width. In the latter case, energy minimization predicts an intrinsic wavelength for edge buckling to be 6.2 nm along the zigzag edge and 8.0 nm along the armchair edge. For graphene nanoribbons of width less than the intrinsic wavelength, interaction between the two free edges becomes significant, leading to anti-phase correlation of the buckling waves.