-
BIDA: A Bi-level Interaction Decision-making Algorithm for Autonomous Vehicles in Dynamic Traffic Scenarios
Authors:
Liyang Yu,
Tianyi Wang,
Junfeng Jiao,
Fengwu Shan,
Hongqing Chu,
Bingzhao Gao
Abstract:
In complex real-world traffic environments, autonomous vehicles (AVs) need to interact with other traffic participants while making real-time and safety-critical decisions accordingly. The unpredictability of human behaviors poses significant challenges, particularly in dynamic scenarios, such as multi-lane highways and unsignalized T-intersections. To address this gap, we design a bi-level intera…
▽ More
In complex real-world traffic environments, autonomous vehicles (AVs) need to interact with other traffic participants while making real-time and safety-critical decisions accordingly. The unpredictability of human behaviors poses significant challenges, particularly in dynamic scenarios, such as multi-lane highways and unsignalized T-intersections. To address this gap, we design a bi-level interaction decision-making algorithm (BIDA) that integrates interactive Monte Carlo tree search (MCTS) with deep reinforcement learning (DRL), aiming to enhance interaction rationality, efficiency and safety of AVs in dynamic key traffic scenarios. Specifically, we adopt three types of DRL algorithms to construct a reliable value network and policy network, which guide the online deduction process of interactive MCTS by assisting in value update and node selection. Then, a dynamic trajectory planner and a trajectory tracking controller are designed and implemented in CARLA to ensure smooth execution of planned maneuvers. Experimental evaluations demonstrate that our BIDA not only enhances interactive deduction and reduces computational costs, but also outperforms other latest benchmarks, which exhibits superior safety, efficiency and interaction rationality under varying traffic conditions.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
Reexamining Technological Support for Genealogy Research, Collaboration, and Education
Authors:
Fei Shan,
Kurt Luther
Abstract:
Genealogy, the study of family history and lineage, has seen tremendous growth over the past decade, fueled by technological advances such as home DNA testing and mass digitization of historical records. However, HCI research on genealogy practices is nascent, with the most recent major studies predating this transformation. In this paper, we present a qualitative study of the current state of tec…
▽ More
Genealogy, the study of family history and lineage, has seen tremendous growth over the past decade, fueled by technological advances such as home DNA testing and mass digitization of historical records. However, HCI research on genealogy practices is nascent, with the most recent major studies predating this transformation. In this paper, we present a qualitative study of the current state of technological support for genealogy research, collaboration, and education. Through semi-structured interviews with 20 genealogists with diverse expertise, we report on current practices, challenges, and success stories around how genealogists conduct research, collaborate, and learn skills. We contrast the experiences of amateurs and experts, describe the emerging importance of standardization and professionalization of the field, and stress the critical role of computer systems in genealogy education. We bridge studies of sensemaking and information literacy through this empirical study on genealogy research practices, and conclude by discussing how genealogy presents a unique perspective through which to study collective sensemaking and education in online communities.
△ Less
Submitted 30 January, 2025; v1 submitted 12 November, 2024;
originally announced November 2024.
-
X-Recon: Learning-based Patient-specific High-Resolution CT Reconstruction from Orthogonal X-Ray Images
Authors:
Yunpeng Wang,
Kang Wang,
Yaoyao Zhuo,
Weiya Shi,
Fei Shan,
Lei Liu
Abstract:
Rapid and accurate diagnosis of pneumothorax, utilizing chest X-ray and computed tomography (CT), is crucial for assisted diagnosis. Chest X-ray is commonly used for initial localization of pneumothorax, while CT ensures accurate quantification. However, CT scans involve high radiation doses and can be costly. To achieve precise quantitative diagnosis while minimizing radiation exposure, we propos…
▽ More
Rapid and accurate diagnosis of pneumothorax, utilizing chest X-ray and computed tomography (CT), is crucial for assisted diagnosis. Chest X-ray is commonly used for initial localization of pneumothorax, while CT ensures accurate quantification. However, CT scans involve high radiation doses and can be costly. To achieve precise quantitative diagnosis while minimizing radiation exposure, we proposed X-Recon, a CT ultra-sparse reconstruction network based on ortho-lateral chest X-ray images. X-Recon integrates generative adversarial networks (GANs), including a generator with a multi-scale fusion rendering module and a discriminator enhanced by 3D coordinate convolutional layers, designed to facilitate CT reconstruction. To improve precision, a projective spatial transformer is utilized to incorporate multi-angle projection loss. Additionally, we proposed PTX-Seg, a zero-shot pneumothorax segmentation algorithm, combining image processing techniques with deep-learning models for the segmentation of air-accumulated regions and lung structures. Experiments on a large-scale dataset demonstrate its superiority over existing approaches. X-Recon achieved a significantly higher reconstruction resolution with a higher average spatial resolution and a lower average slice thickness. The reconstruction metrics achieved state-of-the-art performance in terms of several metrics including peak signal-to-noise ratio. The zero-shot segmentation algorithm, PTX-Seg, also demonstrated high segmentation precision for the air-accumulated region, the left lung, and the right lung. Moreover, the consistency analysis for the pneumothorax chest occupancy ratio between reconstructed CT and original CT obtained a high correlation coefficient. Code will be available at: https://github.com/wangyunpengbio/X-Recon
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Emergence of high-temperature superconducting phase in the pressurized La3Ni2O7 crystals
Authors:
J. Hou,
P. T. Yang,
Z. Y. Liu,
J. Y. Li,
P. F. Shan,
L. Ma,
G. Wang,
N. N. Wang,
H. Z. Guo,
J. P. Sun,
Y. Uwatoko,
M. Wang,
G. -M. Zhang,
B. S. Wang,
J. -G. Cheng
Abstract:
The recent report of pressure-induced structure transition and signature of superconductivity with Tc = 80 K above 14 GPa in the La3Ni2O7 crystals has garnered considerable attention. To further elaborate this discovery, we carried out comprehensive resistance measurements on the La3Ni2O7 crystals grown with the optical-image floating zone furnace under oxygen pressure (15 bar) by using the diamon…
▽ More
The recent report of pressure-induced structure transition and signature of superconductivity with Tc = 80 K above 14 GPa in the La3Ni2O7 crystals has garnered considerable attention. To further elaborate this discovery, we carried out comprehensive resistance measurements on the La3Ni2O7 crystals grown with the optical-image floating zone furnace under oxygen pressure (15 bar) by using the diamond anvil cell (DAC) and cubic anvil cell (CAC), which employs the solid and liquid pressure transmitting medium, respectively. For the sample #1 measured in DAC, it exhibits a semiconducting-like behavior with large resistance at low pressures and becomes metallic gradually upon compression. At the pressures P >= 13.7 GPa, we observed the appearance of resistance drop as large as ~50% around 70 K, which evolves into a kink-like anomaly at pressures above 40 GPa and shifts to lower temperatures gradually with increasing magnetic field. These observations are consistent with the recent report mentioned above. On the other hand, the sample #2 measured in CAC retains the metallic behavior in the investigated pressure range up to 15 GPa. The hump-like anomaly in resistance around ~130 K at ambient pressure disappears at P >= 2 GPa. In the pressure range from 11 to 15 GPa, we observed the gradual development of a shoulder-like anomaly in resistance at low temperatures, which evolves into a pronounced drop of resistance by 98% below 62 K at 15 GPa, reaching a temperature-independent resistance of 20 uOhm below 20 K. Similarly, this resistance anomaly can be shifted to lower temperatures progressively by applying external magnetic fields, resembling a typical superconducting transition.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Superconductivity up to 17 K in the high-pressure rhombohedral-I phase of ReO3: a potential oxide analogy of hydride superconductors
Authors:
P. F. Shan,
T. L. Lu,
Z. Y. Liu,
Y. Y. Jiao,
P. T. Yang,
J. Hou,
L. Ma,
Y. Uwatoko,
X. L. Dong,
B. S. Wang,
M. Liu,
J. P. Sun,
J. -G. Cheng
Abstract:
As an A-site-vacant perovskite-type oxide, ReO3 undergoes sequential pressure-driven structural transitions associated with the rotation of ReO6 octahedra. The rhombohedral-I phase in the pressure range of 12-39 GPa is featured by a lattice of nearly close-packed oxygen layers intercalated with Re cations, in reminiscent of the recently discovered superhydride superconductors. A combined study of…
▽ More
As an A-site-vacant perovskite-type oxide, ReO3 undergoes sequential pressure-driven structural transitions associated with the rotation of ReO6 octahedra. The rhombohedral-I phase in the pressure range of 12-39 GPa is featured by a lattice of nearly close-packed oxygen layers intercalated with Re cations, in reminiscent of the recently discovered superhydride superconductors. A combined study of first-principles calculations and transport measurements under high pressures enabled us to discover superconductivity in the rhombohedral-I phase, and it shows a dome-shaped Tc(P) with a maximum Tc of 17 K at about 30 GPa. In addition to the enhanced density of states at Fermi level compared to that of the ambient phase, the vibrations of hexagonal-close-packed oxygen lattice significantly strengthen the electron-phonon coupling, which is responsible for observed superconductivity with a relatively high Tc. The present work thus establishes a rare case among oxide superconductors that the light-element oxygen lattice plays a crucial role in inducing superconductivity.
△ Less
Submitted 1 April, 2025; v1 submitted 18 April, 2023;
originally announced April 2023.
-
The optimal displacement of immiscible two-phase fluids in a pore doublet
Authors:
Fang Shan,
Zhenhua Chai,
Baochang Shi,
Meng Zhao
Abstract:
The displacement of multiphase fluid flow in a pore doublet is a fundamental problem, and is also of importance in understanding of the transport mechanisms of multiphase flows in the porous media. During the displacement of immiscible two-phase fluids in the pore doublet, the transport process is not only influenced by the capillary and viscous forces, but also affected by the channel geometry. I…
▽ More
The displacement of multiphase fluid flow in a pore doublet is a fundamental problem, and is also of importance in understanding of the transport mechanisms of multiphase flows in the porous media. During the displacement of immiscible two-phase fluids in the pore doublet, the transport process is not only influenced by the capillary and viscous forces, but also affected by the channel geometry. In this paper, we first present a mathematical model to describe the two-phase fluid displacement in the pore doublet where the effects of capillary force, viscous force and the geometric structure are included. Then we derive an analytical solution of the model for the first time, and find that the displacement process is dominated by the capillary number, the viscosity ratio and the radius ratio. Furthermore, we define the optimal displacement that the wetting fluids in two daughter channels break through the branches simultaneously (both of them have the same breakthrough time), and also obtain the critical capillary number corresponding to the optimal displacement, which is related to the radius ratio of two daughter channels and viscosity ratio of two immiscible fluids. Finally, it is worthy noting that the present analytical results on the displacement in the pore doublet can be used to explain and understand the phenomenon of preferential imbibition or preferential flow in porous media.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Emergence of superconductivity on the border of antiferromagnetic order in RbMn6Bi5 under high pressure: A new family of Mn-based superconductors
Authors:
P. T. Yang,
Q. X. Dong,
P. F. Shan,
Z. Y. Liu,
J. P. Sun,
Z. L. Dun,
Y. Uwatoko,
G. F. Chen,
B. S. Wang,
J. -G. Cheng
Abstract:
The advances in the field of unconventional superconductivity are largely driven by the discovery of novel superconducting systems. Here we report on the discovery of superconductivity on the border of antiferromagnetic order in a quasi-one-dimensional RbMn6Bi5 via measurements of resistivity and magnetic susceptibility under high pressures. With increasing pressure, its antiferromagnetic transiti…
▽ More
The advances in the field of unconventional superconductivity are largely driven by the discovery of novel superconducting systems. Here we report on the discovery of superconductivity on the border of antiferromagnetic order in a quasi-one-dimensional RbMn6Bi5 via measurements of resistivity and magnetic susceptibility under high pressures. With increasing pressure, its antiferromagnetic transition with TN = 83 K at ambient pressure is first enhanced moderately and then suppressed completely at a critical pressure of Pc = 13 GPa, around which bulk superconductivity emerges and exhibits a dome-like Tc(P) with a maximal Tc_onset = 9.5 K at about 15 GPa. Its temperature-pressure phase diagram resembles those of many magnetism-mediated superconducting systems. In addition, the superconducting state around Pc is characterized by a large upper critical field μ0Hc2(0) exceeding the Pauli limit, elaborating a possible unconventional paring mechanism. The present study, together with our recent work on KMn6Bi5 (Tcmax = 9.3 K), makes AMn6Bi5 (A= Alkali metal) a new family of Mn-based superconductors with relatively high Tc.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Pressure-induced superconductivity up to 9 K in the quasi-one-dimensional KMn6Bi5
Authors:
Z. Y. Liu,
Q. X. Dong,
P. T. Yang,
P. F. Shan,
B. S. Wang,
J. P. Sun,
Y. Uwatoko,
G. F. Chen,
X. L. Dong,
Z. X. Zhao,
J. -G. Cheng
Abstract:
The Mn-based superconductor is rare owing to the strong magnetic pair-breaking effect. Here we report on the discovery of pressure-induced superconductivity in KMn6Bi5, which becomes the first ternary Mn-based superconductor. At ambient pressure, the quasi-one-dimensional KMn6Bi5 is an antiferromagnetic metal with TN = 75 K. By measuring resistivity and ac magnetic susceptibility under hydrostatic…
▽ More
The Mn-based superconductor is rare owing to the strong magnetic pair-breaking effect. Here we report on the discovery of pressure-induced superconductivity in KMn6Bi5, which becomes the first ternary Mn-based superconductor. At ambient pressure, the quasi-one-dimensional KMn6Bi5 is an antiferromagnetic metal with TN = 75 K. By measuring resistivity and ac magnetic susceptibility under hydrostatic pressures up to 14.2 GPa in a cubic anvil cell apparatus, we find that its antiferromagnetic transition can be suppressed completely at a critical pressure of Pc = 13 GPa, around which bulk superconductivity emerges and displays a superconducting dome with the maximal Tconset = 9.3 K achieved at about 14.2 GPa. The close proximity of superconductivity to a magnetic instability in the temperature-pressure phase diagram of KMn6Bi5 and an unusually large μ0Hc2(0) = 18.9 T exceeding the Pauli limit suggests an unconventional magnetism-mediated paring mechanism. In contrast to the binary MnP, the flexibility of the crystal structure and chemical compositions in the ternary AMn6Bi5 (A = alkali metal) can open a new avenue for finding more Mn-based superconductors.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Throughput Maximization of UAV Networks
Authors:
Wenzheng Xu,
Yueying Sun,
Rui Zou,
Weifa Liang,
Qiufen Xia,
Feng Shan,
Tian Wang,
Xiaohua Jia,
Zheng Li
Abstract:
In this paper we study the deployment of multiple unmanned aerial vehicles (UAVs) to form a temporal UAV network for the provisioning of emergent communications to affected people in a disaster zone, where each UAV is equipped with a lightweight base station device and thus can act as an aerial base station for users. Unlike most existing studies that assumed that a UAV can serve all users in its…
▽ More
In this paper we study the deployment of multiple unmanned aerial vehicles (UAVs) to form a temporal UAV network for the provisioning of emergent communications to affected people in a disaster zone, where each UAV is equipped with a lightweight base station device and thus can act as an aerial base station for users. Unlike most existing studies that assumed that a UAV can serve all users in its communication range, we observe that both computation and communication capabilities of a single lightweight UAV are very limited, due to various constraints on its size, weight, and power supply. Thus, a single UAV can only provide communication services to a limited number of users. We study a novel problem of deploying $K$ UAVs in the top of a disaster area such that the sum of the data rates of users served by the UAVs is maximized, subject to that (i) the number of users served by each UAV is no greater than its service capacity; and (ii) the communication network induced by the $K$ UAVs is connected. We then propose a $\frac{1-1/e}{\lfloor \sqrt{K} \rfloor}$-approximation algorithm for the problem, improving the current best result of the problem by five times (the best approximation ratio so far is $\frac{1-1/e}{5( \sqrt{K} +1)}$), where $e$ is the base of the natural logarithm. We finally evaluate the algorithm performance via simulation experiments. Experimental results show that the proposed algorithm is very promising. Especially, the solution delivered by the proposed algorithm is up to 12% better than those by existing algorithms.
△ Less
Submitted 17 July, 2021;
originally announced July 2021.
-
Competition between charge-density-wave and superconductivity in the kagome metal RbV3Sb5
Authors:
N. N. Wang,
K. Y. Chen,
Q. W. Yin,
Y. N. N. Ma,
B. Y. Pan,
X. Yang,
X. Y. Ji,
S. L. Wu,
P. F. Shan,
S. X. Xu,
Z. J. Tu,
C. S. Gong,
G. T. Liu,
G. Li,
Y. Uwatoko,
X. L. Dong,
H. C. Lei,
J. P. Sun,
J. -G. Cheng
Abstract:
The interplay between charge-density-wave (CDW) order and superconductivity (SC) in the Kagome metal RbV3Sb5 is studied by tracking the evolutions of their transition temperatures, T* and Tc, as a function of pressure (P) via measurements of resistivity and magnetic susceptibility under various hydrostatic pressures up to ~ 5 GPa. It is found that the CDW order at T* experiences a subtle modificat…
▽ More
The interplay between charge-density-wave (CDW) order and superconductivity (SC) in the Kagome metal RbV3Sb5 is studied by tracking the evolutions of their transition temperatures, T* and Tc, as a function of pressure (P) via measurements of resistivity and magnetic susceptibility under various hydrostatic pressures up to ~ 5 GPa. It is found that the CDW order at T* experiences a subtle modification at Pc1 ~ 1.5 GPa before it is completely suppressed around Pc2 ~ 2.4 GPa. Accordingly, the superconducting transition Tc(P) exhibits a shallow M-shaped double superconducting dome with two extrema of Tconset ~ 4.4 K and 3.9 K around Pc1 and Pc2, respectively, leading to a fourfold enhancement of Tc with respect to that at ambient pressure. The constructed T-P phase diagram of RbV3Sb5 resembles that of CsV3Sb5, and shares similar features as many other unconventional superconducting systems with intertwined competing electronic orders. The strong competition between CDW and SC is also evidenced by the broad superconducting transition width in the coexistent region. Our results shed more light on the intriguing physics involving intertwined electronic orders in this novel topological kagome metal family.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
The Queen's Guard: A Secure Enforcement of Fine-grained Access Control In Distributed Data Analytics Platforms
Authors:
Fahad Shaon,
Sazzadur Rahaman,
Murat Kantarcioglu
Abstract:
Distributed data analytics platforms (i.e., Apache Spark, Hadoop) provide high-level APIs to programmatically write analytics tasks that are run distributedly in multiple computing nodes. The design of these frameworks was primarily motivated by performance and usability. Thus, the security takes a back seat. Consequently, they do not inherently support fine-grained access control or offer any plu…
▽ More
Distributed data analytics platforms (i.e., Apache Spark, Hadoop) provide high-level APIs to programmatically write analytics tasks that are run distributedly in multiple computing nodes. The design of these frameworks was primarily motivated by performance and usability. Thus, the security takes a back seat. Consequently, they do not inherently support fine-grained access control or offer any plugin mechanism to enable it, making them risky to be used in multi-tier organizational settings.
There have been attempts to build "add-on" solutions to enable fine-grained access control for distributed data analytics platforms. In this paper, first, we show that straightforward enforcement of ``add-on'' access control is insecure under adversarial code execution. Specifically, we show that an attacker can abuse platform-provided APIs to evade access controls without leaving any traces. Second, we designed a two-layered (i.e., proactive and reactive) defense system to protect against API abuses. On submission of a user code, our proactive security layer statically screens it to find potential attack signatures prior to its execution. The reactive security layer employs code instrumentation-based runtime checks and sandboxed execution to throttle any exploits at runtime. Next, we propose a new fine-grained access control framework with an enhanced policy language that supports map and filter primitives. Finally, we build a system named SecureDL with our new access control framework and defense system on top of Apache Spark, which ensures secure access control policy enforcement under adversaries capable of executing code.
To the best of our knowledge, this is the first fine-grained attribute-based access control framework for distributed data analytics platforms that is secure against platform API abuse attacks. Performance evaluation showed that the overhead due to added security is low.
△ Less
Submitted 3 December, 2023; v1 submitted 24 June, 2021;
originally announced June 2021.
-
Towards Unified Surgical Skill Assessment
Authors:
Daochang Liu,
Qiyue Li,
Tingting Jiang,
Yizhou Wang,
Rulin Miao,
Fei Shan,
Ziyu Li
Abstract:
Surgical skills have a great influence on surgical safety and patients' well-being. Traditional assessment of surgical skills involves strenuous manual efforts, which lacks efficiency and repeatability. Therefore, we attempt to automatically predict how well the surgery is performed using the surgical video. In this paper, a unified multi-path framework for automatic surgical skill assessment is p…
▽ More
Surgical skills have a great influence on surgical safety and patients' well-being. Traditional assessment of surgical skills involves strenuous manual efforts, which lacks efficiency and repeatability. Therefore, we attempt to automatically predict how well the surgery is performed using the surgical video. In this paper, a unified multi-path framework for automatic surgical skill assessment is proposed, which takes care of multiple composing aspects of surgical skills, including surgical tool usage, intraoperative event pattern, and other skill proxies. The dependency relationships among these different aspects are specially modeled by a path dependency module in the framework. We conduct extensive experiments on the JIGSAWS dataset of simulated surgical tasks, and a new clinical dataset of real laparoscopic surgeries. The proposed framework achieves promising results on both datasets, with the state-of-the-art on the simulated dataset advanced from 0.71 Spearman's correlation to 0.80. It is also shown that combining multiple skill aspects yields better performance than relying on a single aspect.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Superconductivity at ~70 K in Tin Hydride SnHx under High Pressure
Authors:
F. Hong,
P. F. Shan,
L. X. Yang,
B. B. Yue,
P. T. Yang,
Z. Y. Liu,
J. P. Sun,
J. H. Dai,
H. Yu,
Y. Y. Yin,
X. H. Yu,
J. G. Cheng,
Z. X. Zhao
Abstract:
Various tin hydrides SnHx (x = 4, 8, 12, 14) have been theoretically predicted to be stable at high pressures and to show high-critical-temperature superconductivity with Tc ranging from about 70 to 100 K. However, experimental verifications for any of these phases are still lacking to date. Here, we report on the in-situ synthesis, electrical resistance, and synchrotron x-ray diffraction measurem…
▽ More
Various tin hydrides SnHx (x = 4, 8, 12, 14) have been theoretically predicted to be stable at high pressures and to show high-critical-temperature superconductivity with Tc ranging from about 70 to 100 K. However, experimental verifications for any of these phases are still lacking to date. Here, we report on the in-situ synthesis, electrical resistance, and synchrotron x-ray diffraction measurements of SnHx at ~ 200 GPa. The main phase of the obtained sample can be indexed with the monoclinic C2/m SnH12 via comparison with the theoretical structural modes. A sudden drop of resistance and the systematic downward shift under external magnetic fields signals the occurrence of superconductivity in SnHx at Tc = ~ 70 K with an upper critical field u0Hc2(0) = ~ 11.2 T, which is relatively low in comparison with other reported high-Tc superhydrides. Various characteristic superconducting parameters are estimated based on the BCS theory.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
M3Lung-Sys: A Deep Learning System for Multi-Class Lung Pneumonia Screening from CT Imaging
Authors:
Xuelin Qian,
Huazhu Fu,
Weiya Shi,
Tao Chen,
Yanwei Fu,
Fei Shan,
Xiangyang Xue
Abstract:
To counter the outbreak of COVID-19, the accurate diagnosis of suspected cases plays a crucial role in timely quarantine, medical treatment, and preventing the spread of the pandemic. Considering the limited training cases and resources (e.g, time and budget), we propose a Multi-task Multi-slice Deep Learning System (M3Lung-Sys) for multi-class lung pneumonia screening from CT imaging, which only…
▽ More
To counter the outbreak of COVID-19, the accurate diagnosis of suspected cases plays a crucial role in timely quarantine, medical treatment, and preventing the spread of the pandemic. Considering the limited training cases and resources (e.g, time and budget), we propose a Multi-task Multi-slice Deep Learning System (M3Lung-Sys) for multi-class lung pneumonia screening from CT imaging, which only consists of two 2D CNN networks, i.e., slice- and patient-level classification networks. The former aims to seek the feature representations from abundant CT slices instead of limited CT volumes, and for the overall pneumonia screening, the latter one could recover the temporal information by feature refinement and aggregation between different slices. In addition to distinguish COVID-19 from Healthy, H1N1, and CAP cases, our M 3 Lung-Sys also be able to locate the areas of relevant lesions, without any pixel-level annotation. To further demonstrate the effectiveness of our model, we conduct extensive experiments on a chest CT imaging dataset with a total of 734 patients (251 healthy people, 245 COVID-19 patients, 105 H1N1 patients, and 133 CAP patients). The quantitative results with plenty of metrics indicate the superiority of our proposed model on both slice- and patient-level classification tasks. More importantly, the generated lesion location maps make our system interpretable and more valuable to clinicians.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Surgical Skill Assessment on In-Vivo Clinical Data via the Clearness of Operating Field
Authors:
Daochang Liu,
Tingting Jiang,
Yizhou Wang,
Rulin Miao,
Fei Shan,
Ziyu Li
Abstract:
Surgical skill assessment is important for surgery training and quality control. Prior works on this task largely focus on basic surgical tasks such as suturing and knot tying performed in simulation settings. In contrast, surgical skill assessment is studied in this paper on a real clinical dataset, which consists of fifty-seven in-vivo laparoscopic surgeries and corresponding skill scores annota…
▽ More
Surgical skill assessment is important for surgery training and quality control. Prior works on this task largely focus on basic surgical tasks such as suturing and knot tying performed in simulation settings. In contrast, surgical skill assessment is studied in this paper on a real clinical dataset, which consists of fifty-seven in-vivo laparoscopic surgeries and corresponding skill scores annotated by six surgeons. From analyses on this dataset, the clearness of operating field (COF) is identified as a good proxy for overall surgical skills, given its strong correlation with overall skills and high inter-annotator consistency. Then an objective and automated framework based on neural network is proposed to predict surgical skills through the proxy of COF. The neural network is jointly trained with a supervised regression loss and an unsupervised rank loss. In experiments, the proposed method achieves 0.55 Spearman's correlation with the ground truth of overall technical skill, which is even comparable with the human performance of junior surgeons.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Unsupervised Surgical Instrument Segmentation via Anchor Generation and Semantic Diffusion
Authors:
Daochang Liu,
Yuhui Wei,
Tingting Jiang,
Yizhou Wang,
Rulin Miao,
Fei Shan,
Ziyu Li
Abstract:
Surgical instrument segmentation is a key component in developing context-aware operating rooms. Existing works on this task heavily rely on the supervision of a large amount of labeled data, which involve laborious and expensive human efforts. In contrast, a more affordable unsupervised approach is developed in this paper. To train our model, we first generate anchors as pseudo labels for instrum…
▽ More
Surgical instrument segmentation is a key component in developing context-aware operating rooms. Existing works on this task heavily rely on the supervision of a large amount of labeled data, which involve laborious and expensive human efforts. In contrast, a more affordable unsupervised approach is developed in this paper. To train our model, we first generate anchors as pseudo labels for instruments and background tissues respectively by fusing coarse handcrafted cues. Then a semantic diffusion loss is proposed to resolve the ambiguity in the generated anchors via the feature correlation between adjacent video frames. In the experiments on the binary instrument segmentation task of the 2017 MICCAI EndoVis Robotic Instrument Segmentation Challenge dataset, the proposed method achieves 0.71 IoU and 0.81 Dice score without using a single manual annotation, which is promising to show the potential of unsupervised learning for surgical tool segmentation.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Hypergraph Learning for Identification of COVID-19 with CT Imaging
Authors:
Donglin Di,
Feng Shi,
Fuhua Yan,
Liming Xia,
Zhanhao Mo,
Zhongxiang Ding,
Fei Shan,
Shengrui Li,
Ying Wei,
Ying Shao,
Miaofei Han,
Yaozong Gao,
He Sui,
Yue Gao,
Dinggang Shen
Abstract:
The coronavirus disease, named COVID-19, has become the largest global public health crisis since it started in early 2020. CT imaging has been used as a complementary tool to assist early screening, especially for the rapid identification of COVID-19 cases from community acquired pneumonia (CAP) cases. The main challenge in early screening is how to model the confusing cases in the COVID-19 and C…
▽ More
The coronavirus disease, named COVID-19, has become the largest global public health crisis since it started in early 2020. CT imaging has been used as a complementary tool to assist early screening, especially for the rapid identification of COVID-19 cases from community acquired pneumonia (CAP) cases. The main challenge in early screening is how to model the confusing cases in the COVID-19 and CAP groups, with very similar clinical manifestations and imaging features. To tackle this challenge, we propose an Uncertainty Vertex-weighted Hypergraph Learning (UVHL) method to identify COVID-19 from CAP using CT images. In particular, multiple types of features (including regional features and radiomics features) are first extracted from CT image for each case. Then, the relationship among different cases is formulated by a hypergraph structure, with each case represented as a vertex in the hypergraph. The uncertainty of each vertex is further computed with an uncertainty score measurement and used as a weight in the hypergraph. Finally, a learning process of the vertex-weighted hypergraph is used to predict whether a new testing case belongs to COVID-19 or not. Experiments on a large multi-center pneumonia dataset, consisting of 2,148 COVID-19 cases and 1,182 CAP cases from five hospitals, are conducted to evaluate the performance of the proposed method. Results demonstrate the effectiveness and robustness of our proposed method on the identification of COVID-19 in comparison to state-of-the-art methods.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
Joint Prediction and Time Estimation of COVID-19 Developing Severe Symptoms using Chest CT Scan
Authors:
Xiaofeng Zhu,
Bin Song,
Feng Shi,
Yanbo Chen,
Rongyao Hu,
Jiangzhang Gan,
Wenhai Zhang,
Man Li,
Liye Wang,
Yaozong Gao,
Fei Shan,
Dinggang Shen
Abstract:
With the rapidly worldwide spread of Coronavirus disease (COVID-19), it is of great importance to conduct early diagnosis of COVID-19 and predict the time that patients might convert to the severe stage, for designing effective treatment plan and reducing the clinicians' workloads. In this study, we propose a joint classification and regression method to determine whether the patient would develop…
▽ More
With the rapidly worldwide spread of Coronavirus disease (COVID-19), it is of great importance to conduct early diagnosis of COVID-19 and predict the time that patients might convert to the severe stage, for designing effective treatment plan and reducing the clinicians' workloads. In this study, we propose a joint classification and regression method to determine whether the patient would develop severe symptoms in the later time, and if yes, predict the possible conversion time that the patient would spend to convert to the severe stage. To do this, the proposed method takes into account 1) the weight for each sample to reduce the outliers' influence and explore the problem of imbalance classification, and 2) the weight for each feature via a sparsity regularization term to remove the redundant features of high-dimensional data and learn the shared information across the classification task and the regression task. To our knowledge, this study is the first work to predict the disease progression and the conversion time, which could help clinicians to deal with the potential severe cases in time or even save the patients' lives. Experimental analysis was conducted on a real data set from two hospitals with 422 chest computed tomography (CT) scans, where 52 cases were converted to severe on average 5.64 days and 34 cases were severe at admission. Results show that our method achieves the best classification (e.g., 85.91% of accuracy) and regression (e.g., 0.462 of the correlation coefficient) performance, compared to all comparison methods. Moreover, our proposed method yields 76.97% of accuracy for predicting the severe cases, 0.524 of the correlation coefficient, and 0.55 days difference for the converted time.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
Adaptive Feature Selection Guided Deep Forest for COVID-19 Classification with Chest CT
Authors:
Liang Sun,
Zhanhao Mo,
Fuhua Yan,
Liming Xia,
Fei Shan,
Zhongxiang Ding,
Wei Shao,
Feng Shi,
Huan Yuan,
Huiting Jiang,
Dijia Wu,
Ying Wei,
Yaozong Gao,
Wanchun Gao,
He Sui,
Daoqiang Zhang,
Dinggang Shen
Abstract:
Chest computed tomography (CT) becomes an effective tool to assist the diagnosis of coronavirus disease-19 (COVID-19). Due to the outbreak of COVID-19 worldwide, using the computed-aided diagnosis technique for COVID-19 classification based on CT images could largely alleviate the burden of clinicians. In this paper, we propose an Adaptive Feature Selection guided Deep Forest (AFS-DF) for COVID-19…
▽ More
Chest computed tomography (CT) becomes an effective tool to assist the diagnosis of coronavirus disease-19 (COVID-19). Due to the outbreak of COVID-19 worldwide, using the computed-aided diagnosis technique for COVID-19 classification based on CT images could largely alleviate the burden of clinicians. In this paper, we propose an Adaptive Feature Selection guided Deep Forest (AFS-DF) for COVID-19 classification based on chest CT images. Specifically, we first extract location-specific features from CT images. Then, in order to capture the high-level representation of these features with the relatively small-scale data, we leverage a deep forest model to learn high-level representation of the features. Moreover, we propose a feature selection method based on the trained deep forest model to reduce the redundancy of features, where the feature selection could be adaptively incorporated with the COVID-19 classification model. We evaluated our proposed AFS-DF on COVID-19 dataset with 1495 patients of COVID-19 and 1027 patients of community acquired pneumonia (CAP). The accuracy (ACC), sensitivity (SEN), specificity (SPE) and AUC achieved by our method are 91.79%, 93.05%, 89.95% and 96.35%, respectively. Experimental results on the COVID-19 dataset suggest that the proposed AFS-DF achieves superior performance in COVID-19 vs. CAP classification, compared with 4 widely used machine learning methods.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
Dual-Sampling Attention Network for Diagnosis of COVID-19 from Community Acquired Pneumonia
Authors:
Xi Ouyang,
Jiayu Huo,
Liming Xia,
Fei Shan,
Jun Liu,
Zhanhao Mo,
Fuhua Yan,
Zhongxiang Ding,
Qi Yang,
Bin Song,
Feng Shi,
Huan Yuan,
Ying Wei,
Xiaohuan Cao,
Yaozong Gao,
Dijia Wu,
Qian Wang,
Dinggang Shen
Abstract:
The coronavirus disease (COVID-19) is rapidly spreading all over the world, and has infected more than 1,436,000 people in more than 200 countries and territories as of April 9, 2020. Detecting COVID-19 at early stage is essential to deliver proper healthcare to the patients and also to protect the uninfected population. To this end, we develop a dual-sampling attention network to automatically di…
▽ More
The coronavirus disease (COVID-19) is rapidly spreading all over the world, and has infected more than 1,436,000 people in more than 200 countries and territories as of April 9, 2020. Detecting COVID-19 at early stage is essential to deliver proper healthcare to the patients and also to protect the uninfected population. To this end, we develop a dual-sampling attention network to automatically diagnose COVID- 19 from the community acquired pneumonia (CAP) in chest computed tomography (CT). In particular, we propose a novel online attention module with a 3D convolutional network (CNN) to focus on the infection regions in lungs when making decisions of diagnoses. Note that there exists imbalanced distribution of the sizes of the infection regions between COVID-19 and CAP, partially due to fast progress of COVID-19 after symptom onset. Therefore, we develop a dual-sampling strategy to mitigate the imbalanced learning. Our method is evaluated (to our best knowledge) upon the largest multi-center CT data for COVID-19 from 8 hospitals. In the training-validation stage, we collect 2186 CT scans from 1588 patients for a 5-fold cross-validation. In the testing stage, we employ another independent large-scale testing dataset including 2796 CT scans from 2057 patients. Results show that our algorithm can identify the COVID-19 images with the area under the receiver operating characteristic curve (AUC) value of 0.944, accuracy of 87.5%, sensitivity of 86.9%, specificity of 90.1%, and F1-score of 82.0%. With this performance, the proposed algorithm could potentially aid radiologists with COVID-19 diagnosis from CAP, especially in the early stage of the COVID-19 outbreak.
△ Less
Submitted 19 May, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Efficient mesh deformation using radial basis functions with a grouping-circular-based greedy algorithm
Authors:
Hong Fang,
He Zhang,
Fanli Shan,
Ming Tie,
Xing Zhang,
Jinghua Sun
Abstract:
A grouping-circular-based (GCB) greedy algorithm is proposed to promote the efficiency of mesh deformation. By incorporating the multigrid concept that the computational errors on the fine mesh can be approximated with those on the coarse mesh, this algorithm stochastically divides all boundary nodes into $m$ groups and uses the locally maximum radial basis functions (RBF) interpolation error of e…
▽ More
A grouping-circular-based (GCB) greedy algorithm is proposed to promote the efficiency of mesh deformation. By incorporating the multigrid concept that the computational errors on the fine mesh can be approximated with those on the coarse mesh, this algorithm stochastically divides all boundary nodes into $m$ groups and uses the locally maximum radial basis functions (RBF) interpolation error of each group as an approximation to the globally maximum one of all boundary nodes in each iterative procedure for reducing the RBF support nodes. For this reason, it avoids the interpolation conducted at all boundary nodes and thus reduces the corresponding computational complexity from $O\left({N_c^2{N_b}} \right)$ to $O\left( {N_c^3} \right)$. Besides, after $m$ iterations, the interpolation errors of all boundary nodes are computed once, thus allowing all boundary nodes can contribute to error control. Two canonical deformation problems of the ONERA M6 wing and the DLR-F6 Wing-Body-Nacelle-Pylon configuration are computed to validate the GCB greedy algorithm. The computational results show that the GCB greedy algorithm is able to remarkably promote the efficiency of computing the interpolation errors in the data reducing procedure by dozens of times. Because an increase of $m$ results in an increase of $N_c$, an appropriate range of $\left[ {{N_b}/{N_c},{\rm{ }}2{N_b}/{N_c}}\right]$ for $m$ is suggested to prevent too much additional computations for solving the linear algebraic system and computing the displacements of volume nodes induced by the increase of $N_c $. The results also show that the GCB greedy algorithm tends to generate a more significant efficiency improvement for mesh deformation when a larger-scale mesh is applied.
△ Less
Submitted 30 July, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Large-Scale Screening of COVID-19 from Community Acquired Pneumonia using Infection Size-Aware Classification
Authors:
Feng Shi,
Liming Xia,
Fei Shan,
Dijia Wu,
Ying Wei,
Huan Yuan,
Huiting Jiang,
Yaozong Gao,
He Sui,
Dinggang Shen
Abstract:
The worldwide spread of coronavirus disease (COVID-19) has become a threatening risk for global public health. It is of great importance to rapidly and accurately screen patients with COVID-19 from community acquired pneumonia (CAP). In this study, a total of 1658 patients with COVID-19 and 1027 patients of CAP underwent thin-section CT. All images were preprocessed to obtain the segmentations of…
▽ More
The worldwide spread of coronavirus disease (COVID-19) has become a threatening risk for global public health. It is of great importance to rapidly and accurately screen patients with COVID-19 from community acquired pneumonia (CAP). In this study, a total of 1658 patients with COVID-19 and 1027 patients of CAP underwent thin-section CT. All images were preprocessed to obtain the segmentations of both infections and lung fields, which were used to extract location-specific features. An infection Size Aware Random Forest method (iSARF) was proposed, in which subjects were automated categorized into groups with different ranges of infected lesion sizes, followed by random forests in each group for classification. Experimental results show that the proposed method yielded sensitivity of 0.907, specificity of 0.833, and accuracy of 0.879 under five-fold cross-validation. Large performance margins against comparison methods were achieved especially for the cases with infection size in the medium range, from 0.01% to 10%. The further inclusion of Radiomics features show slightly improvement. It is anticipated that our proposed framework could assist clinical decision making.
△ Less
Submitted 22 March, 2020;
originally announced March 2020.
-
Onboard Ranging-based Relative Localization and Stability for Lightweight Aerial Swarms
Authors:
Shushuai Li,
Feng Shan,
Jiangpeng Liu,
Mario Coppola,
Christophe de Wagter,
Guido C. H. E. de Croon
Abstract:
Lightweight aerial swarms have potential applications in scenarios where larger drones fail to operate efficiently. The primary foundation for lightweight aerial swarms is efficient relative localization, which enables cooperation and collision avoidance. Computing the real-time position is challenging due to extreme resource constraints. This paper presents an autonomous relative localization tec…
▽ More
Lightweight aerial swarms have potential applications in scenarios where larger drones fail to operate efficiently. The primary foundation for lightweight aerial swarms is efficient relative localization, which enables cooperation and collision avoidance. Computing the real-time position is challenging due to extreme resource constraints. This paper presents an autonomous relative localization technique for lightweight aerial swarms without infrastructure by fusing ultra-wideband wireless distance measurements and the shared state information (e.g., velocity, yaw rate, height) from neighbors. This is the first fully autonomous, tiny, fast, and accurate relative localization scheme implemented on a team of 13 lightweight (33 grams) and resource-constrained (168MHz MCU with 192 KB memory) aerial vehicles. The proposed resource-constrained swarm ranging protocol is scalable, and a surprising theoretical result is discovered: the unobservability poses no issues because the state drift leads to control actions that make the state observable again. By experiment, less than 0.2m position error is achieved at the frequency of 16Hz for as many as 13 drones. The code is open-sourced, and the proposed technique is relevant not only for tiny drones but can be readily applied to many other resource-restricted robots. Video and code can be found at \textnormal{\url{https://shushuai3.github.io/autonomous-swarm/}}.
△ Less
Submitted 28 September, 2024; v1 submitted 12 March, 2020;
originally announced March 2020.
-
Lung Infection Quantification of COVID-19 in CT Images with Deep Learning
Authors:
Fei Shan,
Yaozong Gao,
Jun Wang,
Weiya Shi,
Nannan Shi,
Miaofei Han,
Zhong Xue,
Dinggang Shen,
Yuxin Shi
Abstract:
CT imaging is crucial for diagnosis, assessment and staging COVID-19 infection. Follow-up scans every 3-5 days are often recommended for disease progression. It has been reported that bilateral and peripheral ground glass opacification (GGO) with or without consolidation are predominant CT findings in COVID-19 patients. However, due to lack of computerized quantification tools, only qualitative im…
▽ More
CT imaging is crucial for diagnosis, assessment and staging COVID-19 infection. Follow-up scans every 3-5 days are often recommended for disease progression. It has been reported that bilateral and peripheral ground glass opacification (GGO) with or without consolidation are predominant CT findings in COVID-19 patients. However, due to lack of computerized quantification tools, only qualitative impression and rough description of infected areas are currently used in radiological reports. In this paper, a deep learning (DL)-based segmentation system is developed to automatically quantify infection regions of interest (ROIs) and their volumetric ratios w.r.t. the lung. The performance of the system was evaluated by comparing the automatically segmented infection regions with the manually-delineated ones on 300 chest CT scans of 300 COVID-19 patients. For fast manual delineation of training samples and possible manual intervention of automatic results, a human-in-the-loop (HITL) strategy has been adopted to assist radiologists for infection region segmentation, which dramatically reduced the total segmentation time to 4 minutes after 3 iterations of model updating. The average Dice simiarility coefficient showed 91.6% agreement between automatic and manual infaction segmentations, and the mean estimation error of percentage of infection (POI) was 0.3% for the whole lung. Finally, possible applications, including but not limited to analysis of follow-up CT scans and infection distributions in the lobes and segments correlated with clinical findings, were discussed.
△ Less
Submitted 30 March, 2020; v1 submitted 10 March, 2020;
originally announced March 2020.
-
If the Prospect of Some Occupations Are Stagnating With Technological Advancement? A Task Attribute Approach to Detect Employment Vulnerability
Authors:
Iftekhairul Islam,
Fahad Shaon
Abstract:
Two distinct trends can prove the existence of technological unemployment in the US. First, there are more open jobs than the number of unemployed persons looking for a job, and second, the shift of the Beveridge curve. There have been many attempts to find the cause of technological unemployment. However, all of these approaches fail when it comes to evaluating the impact of modern technologies o…
▽ More
Two distinct trends can prove the existence of technological unemployment in the US. First, there are more open jobs than the number of unemployed persons looking for a job, and second, the shift of the Beveridge curve. There have been many attempts to find the cause of technological unemployment. However, all of these approaches fail when it comes to evaluating the impact of modern technologies on employment future. This study hypothesizes that rather than looking into skill requirement or routine non-routine discrimination of tasks, a holistic approach is required to predict which occupations are going to be vulnerable with the advent of this 4th industrial revolution, i.e., widespread application of AI, ML algorithms, and Robotics. Three critical attributes are considered: bottleneck, hazardous, and routine. Forty-five relevant attributes are chosen from the O*NET database that can define these three types of tasks. Performing Principal Axis Factor Analysis, and K-medoid clustering, the study discovers a list of 367 vulnerable occupations. The study further analyzes the last nine years of national employment data and finds that over the previous four years, the growth of vulnerable occupations is only half than that of non-vulnerable ones despite the long rally of economic expansion.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
An accurate moving wall boundary algorithm for Direct Simulation of Monte Carlo in unsteady rarefied flow
Authors:
He Zhang,
Fanli Shan,
Hong Fang,
Xing Zhang,
Jun Zhang,
Jinghua Sun
Abstract:
An accurate algorithm is proposed to improve the prediction of a particle in collision with a moving wall within the direct simulation Monte Carlo (DSMC) framework for the simulation of unsteady rarefied flows. This algorithm is able to predict the particle-wall collision in a coupled manner by removing the assumption employed by the approximate algorithm, in that the wall is frozen during the col…
▽ More
An accurate algorithm is proposed to improve the prediction of a particle in collision with a moving wall within the direct simulation Monte Carlo (DSMC) framework for the simulation of unsteady rarefied flows. This algorithm is able to predict the particle-wall collision in a coupled manner by removing the assumption employed by the approximate algorithm, in that the wall is frozen during the collision. The trajectory equation of the particle is theoretically constructed in a moving object coordinate system. It can accurately describe the geometries of the collision between a particle and an arbitrarily shaped object of which the motion incorporates both translation and rotation, thus allowing to deal with complex problems. In contrast, the approximate algorithm ignores the effect of the moving wall on the particle movement during the collision, and therefore induces error that is an increasing function of the wall velocity. Four rarefied flow problems are applied to validate the accurate algorithm. It is shown that the algorithm can produce results perfectly consistent with the Maxwellian theoretical solutions and ensure particle conservation to avoid gas leakage. It is also shown in a three-dimensional case of a re-entry module that the steady simulation fails to reproduce the hysteresis effect while the unsteady simulation using the accurate algorithm can do that, indicating that the unsteady simulation with an appropriate algorithm as proposed in the present work is essentially required in such applications.
△ Less
Submitted 28 September, 2021; v1 submitted 16 November, 2019;
originally announced November 2019.
-
CoUAV: A Cooperative UAV Fleet Control and Monitoring Platform
Authors:
Weiwei Wu,
Ziyao Huang,
Feng Shan,
Yuxin Bian,
Kejie Lu,
Zhengjiang Li,
Jianping Wang
Abstract:
In the past decade, unmanned aerial vehicles (UAVs) have been widely used in various civilian applications, most of which only require a single UAV. In the near future, it is expected that more and more applications will be enabled by the cooperation of multiple UAVs. To facilitate such applications, it is desirable to utilize a general control platform for cooperative UAVs. However, existing open…
▽ More
In the past decade, unmanned aerial vehicles (UAVs) have been widely used in various civilian applications, most of which only require a single UAV. In the near future, it is expected that more and more applications will be enabled by the cooperation of multiple UAVs. To facilitate such applications, it is desirable to utilize a general control platform for cooperative UAVs. However, existing open-source control platforms cannot fulfill such a demand because (1) they only support the leader-follower mode, which limits the design options for fleet control, (2) existing platforms can support only certain UAVs and thus lack of compatibility, and (3) these platforms cannot accurately simulate a flight mission, which may cause a big gap between simulation and real flight. To address these issues, we propose a general control and monitoring platform for cooperative UAV fleet, namely, CoUAV, which provides a set of core cooperation services of UAVs, including synchronization, connectivity management, path planning, energy simulation, etc. To verify the applicability of CoUAV, we design and develop a prototype and we use the new system to perform an emergency search application that aims to complete a task with the minimum flying time. To achieve this goal, we design and implement a path planning service that takes both the UAV network connectivity and coverage into consideration so as to maximize the efficiency of a fleet. Experimental results by both simulation and field test demonstrate that the proposed system is viable.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects
Authors:
Sazzadur Rahaman,
Ya Xiao,
Sharmin Afrose,
Fahad Shaon,
Ke Tian,
Miles Frantz,
Danfeng,
Yao,
Murat Kantarcioglu
Abstract:
Cryptographic API misuses, such as exposed secrets, predictable random numbers, and vulnerable certificate verification, seriously threaten software security. The vision of automatically screening cryptographic API calls in massive-sized (e.g., millions of LoC) Java programs is not new. However, hindered by the practical difficulty of reducing false positives without compromising analysis quality,…
▽ More
Cryptographic API misuses, such as exposed secrets, predictable random numbers, and vulnerable certificate verification, seriously threaten software security. The vision of automatically screening cryptographic API calls in massive-sized (e.g., millions of LoC) Java programs is not new. However, hindered by the practical difficulty of reducing false positives without compromising analysis quality, this goal has not been accomplished. State-of-the-art crypto API screening solutions are not designed to operate on a large scale.
Our technical innovation is a set of fast and highly accurate slicing algorithms. Our algorithms refine program slices by identifying language-specific irrelevant elements. The refinements reduce false alerts by 76% to 80% in our experiments. Running our tool, CrytoGuard, on 46 high-impact large-scale Apache projects and 6,181 Android apps generate many security insights. Our findings helped multiple popular Apache projects to harden their code, including Spark, Ranger, and Ofbiz. We also have made substantial progress towards the science of analysis in this space, including: i) manually analyzing 1,295 Apache alerts and confirming 1,277 true positives (98.61% precision), ii) creating a benchmark with 38-unit basic cases and 74-unit advanced cases, iii) performing an in-depth comparison with leading solutions including CrySL, SpotBugs, and Coverity. We are in the process of integrating CryptoGuard with the Software Assurance Marketplace (SWAMP).
△ Less
Submitted 27 March, 2019; v1 submitted 18 June, 2018;
originally announced June 2018.
-
High-performance bilayer metal-oxide thin film transistors using ultra-thin solution-processed ZrOx dielectric
Authors:
F. K. Shan,
A. Liu,
G. X. Liu,
Y. Meng,
B. C. Shin,
E. Fortunato,
R. Martins
Abstract:
We reported here a high-performance In2O3/InZnO bilayer metal-oxide (BMO) thin-film transistor (TFT) using ultra-thin solution-processed ZrOx dielectric. A thin layer of In2O3 offers a higher carrier concentration, thereby maximizing the charge accumulation and yielding high carrier mobility. A thick layer of InZnO controls the charge conductance resulting in low off-state current and suitable thr…
▽ More
We reported here a high-performance In2O3/InZnO bilayer metal-oxide (BMO) thin-film transistor (TFT) using ultra-thin solution-processed ZrOx dielectric. A thin layer of In2O3 offers a higher carrier concentration, thereby maximizing the charge accumulation and yielding high carrier mobility. A thick layer of InZnO controls the charge conductance resulting in low off-state current and suitable threshold voltage. As a consequence, the BMO TFT showed higher filed-effect mobility (37.9 cm2/V s) than single-layer InZnO TFT (7.6 cm2/V s). More importantly, an on/off current ratio of 109, a subthreshold swing voltage of 120 mV/decade, as well as a threshold voltage shift (less than 0.4 V) under bias stress for 2.5 hours were obtained simultaneously. These promising properties are obtained at a low operation voltage of 3 V. This work demonstrates that the BMO TFT has great potential applications as switching transistor and low-power devices.
△ Less
Submitted 24 May, 2014; v1 submitted 17 May, 2014;
originally announced May 2014.