Source author record

Daming Zhu

Daming Zhu 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

4works
3topics
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

4 published item(s)

preprint2016arXiv

Fourier-transform Ghost Imaging with Hard X-rays

Knowledge gained through X-ray crystallography fostered structural determination of materials and greatly facilitated the development of modern science and technology in the past century. Atomic details of sample structures is achievable by X-ray crystallography, however, it is only applied to crystalline structures. Imaging techniques based on X-ray coherent diffraction or zone plates are capable of resolving the internal structure of non-crystalline materials at nanoscales, but it is still a challenge to achieve atomic resolution. Here we demonstrate a novel lensless Fourier-transform ghost imaging method with pseudo-thermal hard X-rays by measuring the second-order intensity correlation function of the light. We show that high resolution Fourier-transform diffraction pattern of a complex amplitude sample can be achieved at Fresnel region and the amplitude and phase distributions of a sample in spatial domain can be retrieved successfully. The method of lensless X-ray Fourier-transform ghost imaging extends X-ray crystallography to non-crystalline samples, and its spatial resolution is limited only by the wavelength of the X-ray, thus atomic resolution should be routinely obtainable. Since highly coherent X-ray source is not required, comparing to conventional X-ray coherent diffraction imaging, the method can be implemented with laboratory X-ray sources, and it also provides a potential solution for lensless diffraction imaging with fermions, such as neutron and electron where the intensive coherent source usually is not available.

preprint2014arXiv

A 4/3-approximation algorithm for finding a spanning tree to maximize its internal vertices

This paper focuses on finding a spanning tree of a graph to maximize the number of its internal vertices. We present an approximation algorithm for this problem which can achieve a performance ratio $\frac{4}{3}$ on undirected simple graphs. This improves upon the best known approximation algorithm with performance ratio $\frac{5}{3}$ before. Our algorithm benefits from a new observation for bounding the number of internal vertices of a spanning tree, which reveals that a spanning tree of an undirected simple graph has less internal vertices than the edges a maximum path-cycle cover of that graph has. We can also give an example to show that the performance ratio $\frac{4}{3}$ is actually tight for this algorithm. To decide how difficult it is for this problem to be approximated, we show that finding a spanning tree of an undirected simple graph to maximize its internal vertices is Max-SNP-Hard.

preprint2013arXiv

Implementing program extraction from CL1-proofs

Computability logic (CoL) is a formal theory of interactive computation. It understands computational problems as games played by two players: a machine and its environment, uses logical formalism to describe valid principles of computability and formulas to represent computational problems. Logic CL1 is a deductive system for a fragment of CoL. The logical vocabulary contains all of the operators of classical logic and choice operators, the atoms represent elementary games i.e. predicates of classical logic. In this paper, we present a program that takes a CL1-proof of an arbitrary formula $F$, and extract a winning strategy for $F$ from that proof then play $F$ using that strategy. We hope this paper would provide a starting point for further work in program extraction of the CoL-based arithmetic and other CoL-based applied systems.