1. |
- Chen, Taolue, et al.
(författare)
-
Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables
- 2022
-
Ingår i: Proceedings of the ACM on Programming Languages. - : Association for Computing Machinery (ACM). - 2475-1421. ; 6
-
Tidskriftsartikel (refereegranskat)abstract
- Regular expressions are a classical concept in formal language theory. Regular expressions in programming languages (RegEx) such as JavaScript, feature non-standard semantics of operators (e.g. greedy/lazy Kleene star), as well as additional features such as capturing groups and references. While symbolic execution of programs containing RegExes appeals to string solvers natively supporting important features of RegEx, such a string solver is hitherto missing. In this paper, we propose the first string theory and string solver that natively provides such support. The key idea of our string solver is to introduce a new automata model, called prioritized streaming string transducers (PSST), to formalize the semantics of RegEx-dependent string functions. PSSTs combine priorities, which have previously been introduced in prioritized finite-state automata to capture greedy/lazy semantics, with string variables as in streaming string transducers to model capturing groups. We validate the consistency of the formal semantics with the actual JavaScript semantics by extensive experiments. Furthermore, to solve the string constraints, we show that PSSTs enjoy nice closure and algorithmic properties, in particular, the regularity-preserving property (i.e., pre-images of regular constraints under PSSTs are regular), and introduce a sound sequent calculus that exploits these properties and performs propagation of regular constraints by means of taking post-images or pre-images. Although the satisfiability of the string constraint language is generally undecidable, we show that our approach is complete for the so-called straightline fragment. We evaluate the performance of our string solver on over 195 000 string constraints generated from an open-source RegEx library. The experimental results show the efficacy of our approach, drastically improving the existing methods (via symbolic execution) in both precision and efficiency.
|
|
2. |
- Du, Mingrun, et al.
(författare)
-
High pressure infrared spectroscopy study on C60*CS2 solvates
- 2017
-
Ingår i: Chemical Physics Letters. - : Elsevier. - 0009-2614 .- 1873-4448. ; 669, s. 49-53
-
Tidskriftsartikel (refereegranskat)abstract
- High pressure IR study has been carried out on C-60*CS2 solvates up to 34.8 GPa. It is found that the intercalated CS2 molecules significantly affect the transformations of C-60 molecules under pressure. As a probe, the intercalated CS2 molecules can well detect the orientational ordering transition and deformation of C-60 molecules under pressure. The chemical stability of CS2 molecules under pressure is also dramatically enhanced due to the spacial shielding effet from C-60 molecules around in the solvated crystal. These results provide new insight into the effect of interactions between intercalants and fullerenes on the transformations in fullerene solvates under pressure.
|
|
3. |
- Du, Mingrun, et al.
(författare)
-
New ordered structure of amorphous carbon clusters induced by fullerene-cubane reactions
- 2018
-
Ingår i: Advanced Materials. - : Wiley-VCH Verlagsgesellschaft. - 0935-9648 .- 1521-4095. ; 30
-
Tidskriftsartikel (refereegranskat)abstract
- As a new category of solids, crystalline materials constructed with amorphous building blocks expand the structure categorization of solids, for which designing such new structures and understanding the corresponding formation mechanisms are fundamentally important. Unlike previous reports, new amorphous carbon clusters constructed ordered carbon phases are found here by compressing C8H8/C60 cocrystals, in which the highly energetic cubane (C8H8) exhibits unusual roles as to the structure formation and transformations under pressure. The significant role of C8H8 is to stabilize the boundary interactions of the highly compressed or collapsed C60 clusters which preserves their long‐range ordered arrangement up to 45 GPa. With increasing time at high pressure, the gradual random bonding between C8H8 and carbon clusters, due to “energy release” of highly compressed cubane, leads to the loss of the ability of C8H8 to stabilize the carbon cluster arrangement. Thus a transition from short‐range disorder to long‐range disorder (amorphization) occurs in the formed material. The spontaneous bonding reconstruction most likely results in a 3D network in the material, which can create ring cracks on diamond anvils.
|
|
4. |
- Yang, Xigui, et al.
(författare)
-
Novel Superhard sp3 Carbon Allotrope from Cold-Compressed C70 Peapods
- 2017
-
Ingår i: Physical Review Letters. - : American Physical Society. - 0031-9007 .- 1079-7114. ; 118:24
-
Tidskriftsartikel (refereegranskat)abstract
- Design and synthesis of new carbon allotropes have always been important topics in condensed matter physics and materials science. Here we report a new carbon allotrope, formed from cold-compressed C70 peapods, which most likely can be identified with a fully sp3-bonded monoclinic structure, here named V carbon, predicted from our simulation. The simulated x-ray diffraction pattern, near K-edge spectroscopy, and phonon spectrum agree well with our experimental data. Theoretical calculations reveal that V carbon has a Vickers hardness of 90 GPa and a bulk modulus ∼400 GPa, which well explains the "ring crack" left on the diamond anvils by the transformed phase in our experiments. The V carbon is thermodynamically stable over a wide pressure range up to 100 GPa, suggesting that once V carbon forms, it is stable and can be recovered to ambient conditions. A transition pathway from peapod to V carbon has also been suggested. These findings suggest a new strategy for creating new sp3-hybridized carbon structures by using fullerene@nanotubes carbon precursor containing odd-numbered rings in the structures.
|
|
5. |
- Yang, Xigui, et al.
(författare)
-
Polarized Raman study of aligned multiwalled carbon nanotubes arrays under high pressure
- 2015
-
Ingår i: The Journal of Physical Chemistry C. - : American Chemical Society (ACS). - 1932-7447 .- 1932-7455. ; 119:49, s. 27759-27767
-
Tidskriftsartikel (refereegranskat)abstract
- Tuning the intertube interaction and the topological structure of carbon nanotubes by the application of pressure may obviously affect their properties such as optical and electronic properties. However, characterizing such changes is still challenging. Here, we performed polarized Raman scattering studies on aligned multiwalled carbon nanotube arrays (MWNTAs). Unlike researchers from the previous literature, we found that the MWNTAs exhibit a polarization dependence similar to that of isolated single walled carbon nanotubes at ambient conditions. Upon compression, the polarization dependence weakens gradually with increasing pressure up to ∼20 GPa, which has been discussed in terms of pressure-induced enhancement of intertube interactions. At around 20 GPa, the depolarization effect vanishes, which can be explained by the formation of interlinked sp3 bonding in the MWNTAs. Our results show that polarized Raman spectroscopy is an efficient method to explore not only intertube interaction but also structural transition changes in MWNTs, which overcome the difficulty that MWNTs have no obvious fingerprints like those of single-walled carbon nanotubes in the study of structural transformations.
|
|
6. |
- Yao, Mingguang, et al.
(författare)
-
Pressure-induced transformation and superhard phase in fullerenes : the effect of solvent intercalation
- 2013
-
Ingår i: Applied Physics Letters. - : AIP Publishing. - 0003-6951 .- 1077-3118. ; 103:7, s. 071913-
-
Tidskriftsartikel (refereegranskat)abstract
- We studied the behavior of solvated and desolvated C-60 crystals under pressure by in situ Raman spectroscopy. The pressure-induced bonding change and structural transformation of C60s are similar in the two samples, both undergoing deformation and amorphization. Nevertheless, the high pressure phases of solvated C-60 can indent diamond anvils while that of desolvated C(60)s cannot. Further experiments suggest that the solvents in the solvated C-60 act as both spacers and bridges by forming covalent bonds with neighbors in 3D network at high pressure, and thus, a fraction of fullerenes may preserve the periodic arrangement in spite of their amorphization.
|
|