-
Deep 3D Vessel Segmentation based on Cross Transformer Network
Authors:
Chengwei Pan,
Baolian Qi,
Gangming Zhao,
Jiaheng Liu,
Chaowei Fang,
Dingwen Zhang,
**peng Li
Abstract:
The coronary microvascular disease poses a great threat to human health. Computer-aided analysis/diagnosis systems help physicians intervene in the disease at early stages, where 3D vessel segmentation is a fundamental step. However, there is a lack of carefully annotated dataset to support algorithm development and evaluation. On the other hand, the commonly-used U-Net structures often yield disc…
▽ More
The coronary microvascular disease poses a great threat to human health. Computer-aided analysis/diagnosis systems help physicians intervene in the disease at early stages, where 3D vessel segmentation is a fundamental step. However, there is a lack of carefully annotated dataset to support algorithm development and evaluation. On the other hand, the commonly-used U-Net structures often yield disconnected and inaccurate segmentation results, especially for small vessel structures. In this paper, motivated by the data scarcity, we first construct two large-scale vessel segmentation datasets consisting of 100 and 500 computed tomography (CT) volumes with pixel-level annotations by experienced radiologists. To enhance the U-Net, we further propose the cross transformer network (CTN) for fine-grained vessel segmentation. In CTN, a transformer module is constructed in parallel to a U-Net to learn long-distance dependencies between different anatomical regions; and these dependencies are communicated to the U-Net at multiple stages to endow it with global awareness. Experimental results on the two in-house datasets indicate that this hybrid model alleviates unexpected disconnections by considering topological information across regions. Our codes, together with the trained models are made publicly available at https://github.com/qibaolian/ctn.
△ Less
Submitted 22 August, 2022; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Translation position extracting in incoherent Fourier ptychography
Authors:
Zongliang Xie,
Haotong Ma,
Yihan Luo,
Bo Qi,
Ge Ren
Abstract:
Incoherent Fourier ptychography (IFP) is a newly developed super-resolution method, where accurate knowledge of translation positions is essential for image reconstruction.To release this limitation, we propose a preprocessing algorithm capable of extracting translation positions of the structure light directly from raw images of IFP, termed translation position extracting (TPE). TPE mainly involv…
▽ More
Incoherent Fourier ptychography (IFP) is a newly developed super-resolution method, where accurate knowledge of translation positions is essential for image reconstruction.To release this limitation, we propose a preprocessing algorithm capable of extracting translation positions of the structure light directly from raw images of IFP, termed translation position extracting (TPE). TPE mainly involves two steps. First, the speckle parts mixed in the acquired intensities, in which the illumination motion is encoded, are isolated by intensity averaging and division. Then the cross-correlations of the speckle dataset are computed to determine the shift positions. TPE-IFP improves the previous IFP by removal of the requirement for prior knowledge of translation positions. Its effectiveness is demonstrated by obtaining high-quality super-resolution images in absence of location information in both simulations and experiments. By further relaxing the practical conditions, the proposed TPE may accelerate the applications of IFP. What is more, as a preprocessing approach, TPE might also contribute to the estimation of pattern positions for the similar speckle-based imaging.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
All-optical frequency processor for networking applications
Authors:
Joseph M. Lukens,
Hsuan-Hao Lu,
Bing Qi,
Pavel Lougovski,
Andrew M. Weiner,
Brian P. Williams
Abstract:
We propose an electro-optic approach for transparent optical networking, in which frequency channels are actively transformed into any desired map** in a wavelength-multiplexed environment. Based on electro-optic phase modulators and Fourier-transform pulse shapers, our all-optical frequency processor (AFP) is examined numerically for the specific operations of frequency channel hop** and broa…
▽ More
We propose an electro-optic approach for transparent optical networking, in which frequency channels are actively transformed into any desired map** in a wavelength-multiplexed environment. Based on electro-optic phase modulators and Fourier-transform pulse shapers, our all-optical frequency processor (AFP) is examined numerically for the specific operations of frequency channel hop** and broadcasting, and found capable of implementing these transformations with favorable component requirements. Extending our analysis via a mutual-information--based metric for system optimization, we show how to optimize transformation performance under limited resources in a classical context, contrasting the results with those found using metrics motivated by quantum information, such as fidelity and success probability. Given its compatibility with on-chip implementation, as well as elimination of optical-to-electrical conversion in frequency channel switching, the AFP looks to offer valuable potential in silicon photonic network design.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Quantum gate identification: error analysis, numerical results and optical experiment
Authors:
Yuanlong Wang,
Qi Yin,
Daoyi Dong,
Bo Qi,
Ian R. Petersen,
Zhibo Hou,
Hidehiro Yonezawa,
Guo-Yong Xiang
Abstract:
The identification of an unknown quantum gate is a significant issue in quantum technology. In this paper, we propose a quantum gate identification method within the framework of quantum process tomography. In this method, a series of pure states are inputted to the gate and then a fast state tomography on the output states is performed and the data are used to reconstruct the quantum gate. Our al…
▽ More
The identification of an unknown quantum gate is a significant issue in quantum technology. In this paper, we propose a quantum gate identification method within the framework of quantum process tomography. In this method, a series of pure states are inputted to the gate and then a fast state tomography on the output states is performed and the data are used to reconstruct the quantum gate. Our algorithm has computational complexity $O(d^3)$ with the system dimension $d$. The algorithm is compared with maximum likelihood estimation method for the running time, which shows the efficiency advantage of our method. An error upper bound is established for the identification algorithm and the robustness of the algorithm against the purity of input states is also tested. We perform quantum optical experiment on single-qubit Hadamard gate to verify the effectiveness of the identification algorithm.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
Road to safe autonomy with data and formal reasoning
Authors:
Chuchu Fan,
Bolun Qi,
Sayan Mitra
Abstract:
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity analysis of components with unknown or inaccessible models. We illustrate the applicability of this approach with a new case study of emergency braking systems in s…
▽ More
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity analysis of components with unknown or inaccessible models. We illustrate the applicability of this approach with a new case study of emergency braking systems in scenarios with two or three vehicles. This problem is representative of the most common type of rear-end crashes, which is relevant for safety analysis of automatic emergency braking (AEB) and forward collision avoidance systems. We show that our verification tool can effectively prove the safety of certain scenarios (specified by several parameters like braking profiles, initial velocities, uncertainties in position and reaction times), and also compute the severity of accidents for unsafe scenarios. Through hundreds of verification experiments, we quantified the safety envelope of the system across relevant parameters. These results show that the approach is promising for design, debugging and certification. We also show how the reachability analysis can be combined with statistical information about the parameters, to assess the risk level of the control system, which in turn is essential, for example, for determining Automotive Safety Integrity Levels (ASIL) for the ISO26262 standard.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
DRYVR:Data-driven verification and compositional reasoning for automotive systems
Authors:
Chuchu Fan,
Bolun Qi,
Sayan Mitra,
Mahesh Viswanathan
Abstract:
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data, (b) a bounded reachability analysis algorithm that uses the lear…
▽ More
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches. The framework includes (a) a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data, (b) a bounded reachability analysis algorithm that uses the learned sensitivity, and (c) reasoning techniques based on simulation relations and sequential composition, that enable verification of complex systems under long switching sequences, from the reachability analysis of a simpler system under shorter sequences. We demonstrate the utility of the framework by verifying a suite of automotive benchmarks that include powertrain control, automatic transmission, and several autonomous and ADAS features like automatic emergency braking, lane-merge, and auto-passing controllers.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
Sampling-based Learning Control for Quantum Systems with Uncertainties
Authors:
Daoyi Dong,
Mohamed A. Mabrok,
Ian R. Petersen,
Bo Qi,
Chunlin Chen,
Herschel Rabitz
Abstract:
Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is cons…
▽ More
Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is constructed using artificial samples generated by sampling uncertainty parameters according to a given distribution. A gradient flow based learning algorithm is developed to find the control for the augmented system. In the process of testing, a number of additional samples are tested to evaluate the control performance where these samples are obtained through sampling the uncertainty parameters according to a possible distribution. The SLC method is applied to three significant examples of quantum robust control including state preparation in a three-level quantum system, robust entanglement generation in a two-qubit superconducting circuit and quantum entanglement control in a two-atom system interacting with a quantized field in a cavity. Numerical results demonstrate the effectiveness of the SLC approach even when uncertainties are quite large, and show its potential for robust control design of quantum systems.
△ Less
Submitted 26 July, 2015;
originally announced July 2015.
-
Quantum Ensemble Classification: A Sampling-based Learning Control Approach
Authors:
Chunlin Chen,
Daoyi Dong,
Bo Qi,
Ian R. Petersen,
Herschel Rabitz
Abstract:
Quantum ensemble classification has significant applications in discrimination of atoms (or molecules), separation of isotopic molecules and quantum information extraction. However, quantum mechanics forbids deterministic discrimination among nonorthogonal states. The classification of inhomogeneous quantum ensembles is very challenging since there exist variations in the parameters characterizing…
▽ More
Quantum ensemble classification has significant applications in discrimination of atoms (or molecules), separation of isotopic molecules and quantum information extraction. However, quantum mechanics forbids deterministic discrimination among nonorthogonal states. The classification of inhomogeneous quantum ensembles is very challenging since there exist variations in the parameters characterizing the members within different classes. In this paper, we recast quantum ensemble classification as a supervised quantum learning problem. A systematic classification methodology is presented by using a sampling-based learning control (SLC) approach for quantum discrimination. The classification task is accomplished via simultaneously steering members belonging to different classes to their corresponding target states (e.g., mutually orthogonal states). Firstly a new discrimination method is proposed for two similar quantum systems. Then an SLC method is presented for quantum ensemble classification. Numerical results demonstrate the effectiveness of the proposed approach for the binary classification of two-level quantum ensembles and the multiclass classification of multilevel quantum ensembles.
△ Less
Submitted 25 December, 2013;
originally announced December 2013.
-
Sampling-based Learning Control for Quantum Systems with Hamiltonian Uncertainties
Authors:
Daoyi Dong,
Chunlin Chen,
Ruixing Long,
Bo Qi,
Ian R. Petersen
Abstract:
Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with Hamiltonian uncertainties. The SLC method includes two steps of "training" and "testing and evaluation". In the training step,…
▽ More
Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with Hamiltonian uncertainties. The SLC method includes two steps of "training" and "testing and evaluation". In the training step, an augmented system is constructed by sampling uncertainties according to possible distributions of uncertainty parameters. A gradient flow based learning and optimization algorithm is adopted to find the control for the augmented system. In the process of testing and evaluation, a number of samples obtained through sampling the uncertainties are tested to evaluate the control performance. Numerical results demonstrate the success of the SLC approach. The SLC method has potential applications for robust control design of quantum systems.
△ Less
Submitted 16 December, 2013;
originally announced December 2013.