-
Design and Visual Servoing Control of a Hybrid Dual-Segment Flexible Neurosurgical Robot for Intraventricular Biopsy
Authors:
Jian Chen,
Mingcong Chen,
Qingxiang Zhao,
Shuai Wang,
Yihe Wang,
Ying Xiao,
Jian Hu,
Danny Tat Ming Chan,
Kam Tong Leo Yeung,
David Yuen Chung Chan,
Hongbin Liu
Abstract:
Traditional rigid endoscopes have challenges in flexibly treating tumors located deep in the brain, and low operability and fixed viewing angles limit its development. This study introduces a novel dual-segment flexible robotic endoscope MicroNeuro, designed to perform biopsies with dexterous surgical manipulation deep in the brain. Taking into account the uncertainty of the control model, an imag…
▽ More
Traditional rigid endoscopes have challenges in flexibly treating tumors located deep in the brain, and low operability and fixed viewing angles limit its development. This study introduces a novel dual-segment flexible robotic endoscope MicroNeuro, designed to perform biopsies with dexterous surgical manipulation deep in the brain. Taking into account the uncertainty of the control model, an image-based visual servoing with online robot Jacobian estimation has been implemented to enhance motion accuracy. Furthermore, the application of model predictive control with constraints significantly bolsters the flexible robot's ability to adaptively track mobile objects and resist external interference. Experimental results underscore that the proposed control system enhances motion stability and precision. Phantom testing substantiates its considerable potential for deployment in neurosurgery.
△ Less
Submitted 23 February, 2024; v1 submitted 14 February, 2024;
originally announced February 2024.
-
An Impossibility Result on Strong Linearizability in Message-Passing Systems
Authors:
David Yu Cheng Chan,
Vassos Hadzilacos,
Xing Hu,
Sam Toueg
Abstract:
We prove that in asynchronous message-passing systems where at most one process may crash, there is no lock-free strongly linearizable implementation of a weak object that we call Test-or-Set (ToS). This object allows a single distinguished process to apply the set operation once, and a different distinguished process to apply the test operation also once. Since this weak object can be directly im…
▽ More
We prove that in asynchronous message-passing systems where at most one process may crash, there is no lock-free strongly linearizable implementation of a weak object that we call Test-or-Set (ToS). This object allows a single distinguished process to apply the set operation once, and a different distinguished process to apply the test operation also once. Since this weak object can be directly implemented by a single-writer single-reader (SWSR) register (and other common objects such as max-register, snapshot and counter), this result implies that there is no $1$-resilient lock-free strongly linearizable implementation of a SWSR register (and of these other objects) in message-passing systems.
We also prove that there is no $1$-resilient lock-free \emph{write} strongly-linearizable implementation of a 2-writer 1-reader (2W1R) register in asynchronous message-passing systems.
△ Less
Submitted 9 August, 2021; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Tight Lower Bounds for the RMR Complexity of Recoverable Mutual Exclusion
Authors:
David Yu Cheng Chan,
Philipp Woelfel
Abstract:
We present a tight RMR complexity lower bound for the recoverable mutual exclusion (RME) problem, defined by Golab and Ramaraju \cite{GR2019a}. In particular, we show that any $n$-process RME algorithm using only atomic read, write, fetch-and-store, fetch-and-increment, and compare-and-swap operations, has an RMR complexity of $Ω(\log n/\log\log n)$ on the CC and DSM model. This lower bound covers…
▽ More
We present a tight RMR complexity lower bound for the recoverable mutual exclusion (RME) problem, defined by Golab and Ramaraju \cite{GR2019a}. In particular, we show that any $n$-process RME algorithm using only atomic read, write, fetch-and-store, fetch-and-increment, and compare-and-swap operations, has an RMR complexity of $Ω(\log n/\log\log n)$ on the CC and DSM model. This lower bound covers all realistic synchronization primitives that have been used in RME algorithms and matches the best upper bounds of algorithms employing swap objects (e.g., [5,6,10]).
Algorithms with better RMR complexity than that have only been obtained by either (i) assuming that all failures are system-wide [7], (ii) employing fetch-and-add objects of size $(\log n)^{ω(1)}$ [12], or (iii) using artificially defined synchronization primitives that are not available in actual systems [6,9].
△ Less
Submitted 6 June, 2021;
originally announced June 2021.
-
Differentiated nonblocking: a new progress condition and a matching queue algorithm
Authors:
David Y. C. Chan,
Shucheng Chi,
Vassos Hadzilacos,
Sam Toueg
Abstract:
In this paper, we first propose a new liveness requirement for shared objects and data structures, we then give a shared queue algorithm that satisfies this requirement and we prove its correctness. We also implement this algorithm and compare it to a well-known shared queue algorithm that is used in practice. In addition to having a stronger worst-case progress guarantee, our experimental results…
▽ More
In this paper, we first propose a new liveness requirement for shared objects and data structures, we then give a shared queue algorithm that satisfies this requirement and we prove its correctness. We also implement this algorithm and compare it to a well-known shared queue algorithm that is used in practice. In addition to having a stronger worst-case progress guarantee, our experimental results suggest that, at the cost of a marginal decrease in throughput, our algorithm is significantly fairer, by a natural definition of fairness that we introduce here.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
A robust and non-singular formulation of the boundary integral method for the potential problem
Authors:
Q. Sun,
E. Klaseboer,
B. C. Khoo,
D. Y. C. Chan
Abstract:
A non-singular formulation of the boundary integral method (BIM) is presented for the Laplace equation whereby the well-known singularities that arise from the fundamental solution are eliminated analytically. A key advantage of this approach is that numerical errors that arise due to the proximity of nodes located on osculating boundaries are suppressed. This is particularly relevant in multi-sca…
▽ More
A non-singular formulation of the boundary integral method (BIM) is presented for the Laplace equation whereby the well-known singularities that arise from the fundamental solution are eliminated analytically. A key advantage of this approach is that numerical errors that arise due to the proximity of nodes located on osculating boundaries are suppressed. This is particularly relevant in multi-scale problems where high accuracy is required without undue increase in computational cost when the spacing between boundaries become much smaller than their characteristic dimensions. The elimination of the singularities means that standard quadrature can be used to evaluate the surface integrals and this results in about 60% savings in coding effort. The new formulation also affords a numerically robust way to calculate the potential close to the boundaries. Detailed implementations of this approach are illustrated with problems involving osculating boundaries, 2D domains with corners and a wave drag problem in a 3D semi-infinite domain. The explicit formulation of problems with axial symmetry is also given.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
