BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Yuxi Fu

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

ResearcherUnclaimed source record
Logic in Computer Sciencephysics.opticsphysics.app-phphysics.ins-det

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

8 published item(s)

preprint2021arXiv

Nonlinear terahertz-wave radiation generated by mid-infrared dual-chirped optical parametric amplification femtosecond pulse laser excitation

We demonstrate an efficient procedure for terahertz-wave radiation generation by applying a nonlinear wavelength conversion approach using a mid-infrared pump source. We used a 3.3 μm dual-chirped optical parametric amplification source and a 1.5 μm fiber laser for a comparison of energy conversion efficiencies. Nonlinear inorganic and organic crystals were used, and for the periodically-poled lithium niobate crystal, the efficiencies were 1.3*10^-4 and 5.6*10^-12 for the 3.3 μm source and the 1.5 μm source, respectively. We confirmed that nonlinear crystals could be pumped with tera-watt / cm^2 class by using an mid-infrared source, which reduces several undesirable nonlinear optical effects.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Energy scaling of water window high-order harmonic generation for single-shot soft X-ray spectroscopy and live-cell imaging

Full coherent soft X-ray attosecond pulses are now available through high-order harmonic generation (HHG); however, its insufficient output energy hinders various applications, such as attosecond-scale soft X-ray nonlinear experiments, the seeding of soft X-ray free-electron lasers, attosecond-pump-attosecond-probe spectroscopies, and single-shot imaging. In this paper, towards the implementation of these exciting studies, we demonstrate a soft X-ray harmonic beam that is more than two orders of magnitudes stronger up to the water window region compared to previous works. This was achieved by combining a newly developed TW class mid-infrared femtosecond laser and a loosely focusing geometry for HHG in the mid-infrared region for the first time. Thanks to a loosely focusing geometry with a neutral medium target, we achieve a high conversion efficiency, a low beam divergence, and a significantly reduced medium gas pressure. As the first application of our nano-joule level water window soft X-ray harmonic source, we demonstrate near edge X-ray absorption fine structure (NEXAFS) experiments with clear fine absorption spectra near the K- and L-edges observed in various samples. The systematic study of a robust energy scaling method on HHG opens the door for demonstrating single-shot absorption spectrum and live cell imaging with a femtosecond time resolution.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Fully stabilized multi-TW optical waveform synthesizer for gigawatt soft-x-ray isolated attosecond pulses

A stable 50 mJ three-channel optical waveform synthesizer is demonstrated and used to reproducibly generate a high-order harmonics supercontinuum in the soft-x-ray region. This synthesizer is composed of pump pulses from a 10-Hz-repetition-rate Ti:sapphire pump laser and signal and idler pulses from an infrared two-stage optical parametric amplifier driven by this pump laser. With the full active stabilization of all relative time delays, relative phases, and the carrier-envelope phase, a shot-to-shot stable intense continuum harmonic spectrum is obtained around 60 eV with pulse energy above 0.24 $μ$J. The peak power of the soft-x-ray continuum is evaluated to be beyond 1 GW with a 140 as transform limit duration. Furthermore, we found a characteristic delay dependence of the multi-cycle waveform synthesizer and established its control scheme. Compared with the one-color case, we experimentally observe an enhancement of the cut-off spectrum intensity by one to two orders of magnitude through the three-color waveform synthesis.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Optimization of a multi-TW few-cycle 1.7-$μ$m source based on Type-I BBO dual-chirped optical parametric amplification

This paper presents the optimization of a dual-chirped optical parametric amplification (DC-OPA) scheme for producing an ultrafast intense infrared (IR) pulse. By employing a total energy of 0.77 J Ti:sapphire pump laser and type-I BBO crystals, an IR pulse energy at the center wavelength of 1.7 $μ$m exceeded 0.1 J using the optimized DC-OPA. By adjusting the injected seed spectrum and prism pair compressor with a gross throughput of over 70 \%, the 1.7-$μ$m pulse was compressed to 31 fs, which resulted in a peak power of up to 2.3 TW. Based on the demonstration of the BBO type-I DC-OPA, we propose a novel OPA scheme called the $dual~pump$ DC-OPA for producing a high-energy IR pulse with a two-cycle duration.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Name-Passing Calculus

Name-passing calculi are foundational models for mobile computing. Research into these models has produced a wealth of results ranging from relative expressiveness to programming pragmatics. The diversity of these results call for clarification and reorganization. This paper applies a model independent approach to the study of the name-passing calculi, leading to a uniform treatment and simplification. The technical tools and the results presented in the paper form the foundation for a theory of name-passing calculus.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Branching Bisimilarity Checking for PRS

Recent studies reveal that branching bisimilarity is decidable for both nBPP (normed Basic Parallel Process) and nBPA (normed Basic Process Algebra). These results lead to the question if there are any other models in the hierarchy of PRS (Process Rewrite System) whose branching bisimilarity is decidable. It is shown in this paper that the branching bisimilarity for both nOCN (normed One Counter Net) and nPA (normed Process Algebra) is undecidable. These results essentially imply that the question has a negative answer.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dividing Line between Decidable PDA's and Undecidable Ones

Senizergues has proved that language equivalence is decidable for disjoint epsilon-deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the negative side Srba demonstrated that the weak bisimilarity is undecidable for normed PDA. Later Jancar and Srba established the undecidability of the weak bisimilarity for disjoint epsilon-pushing PDA and disjoint epsilon-popping PDA. These decidability and undecidability results are extended in the present paper. The extension is accomplished by looking at the equivalence checking issue for the branching bisimilarity of several variants of PDA.

0 citations0 reviewsNo code linkedOpen access