Nanopore sequencing enables reading strings of A,C,G,T nucleotides in DNA strands by pulling them into nanopores with the help of motor proteins. Due to the discrete stepping of motor proteins, the signals produced by...
Nanopore sequencing enables reading strings of A,C,G,T nucleotides in DNA strands by pulling them into nanopores with the help of motor proteins. Due to the discrete stepping of motor proteins, the signals produced by a DNA sequence tend to be piecewise-constant expansions of some underlying real-valued sequence. In this paper, we assume that every k-nucleotide sequence corresponds to a real-valued codeword of length $k$ , and model the nanopore channel as a noisy duplication channel that stretches every sample of a codeword using a geometric distribution, and then adds Gaussian noise. We show that for this channel, a simpler variant of the dynamic time warping (DTW) algorithm performs maximum likelihood decoding. Next, we devise an $O(k^{2})$ - algorithm for bounding the pairwise error probability between two codewords of length $k$ . Finally, we use Scrappie to design codebooks with a storage efficiency of 1 bit per nucleotide and demonstrate using error simulations the accuracy of the calculated error bounds.
A significant disadvantage of classical operational amplifiers with a complementary “folded” cascode is that in the dynamic overload mode of the input differential stage, the maximum output current of the “folded”...
详细信息
ISBN:
(数字)9798331516321
ISBN:
(纸本)9798331516338
A significant disadvantage of classical operational amplifiers with a complementary “folded” cascode is that in the dynamic overload mode of the input differential stage, the maximum output current of the “folded” cascode is tightly coupled to the currents of the current-stabilizing bipoles that establish its static mode. This prevents (under the static current consumption limitations of the operational amplifier) a fast recharge of the integrating correction capacitor, which limits the maximum slew rate of the output voltage. The paper discusses new circuit solutions of CBJT operational amplifier based on complementary “folded” cascodes and input differential stage of dual-input stage subclass to increase slew rate from 215 V/µs to 8000 V/µs level. The problem solved here is to provide higher levels of “folded” cascode output current during the transient edge. This effect is achieved by introducing three additional small capacitance correction capacitors into the circuit. It is possible to introduce a special current limiting resistor in series with the third additional capacitor to reduce overshoot during the transient edge. The proposed modifications of operational amplifier have significant advantages in comparison with the classical ones based on complementary “folded” cascodes in terms of slew rate level. Results of computer modeling of the operational amplifier in LTSpice environment for silicon CBJT technological process with micron topological norms are presented.
The purpose of the work is to investigate the possibilities of soft-start devices with gate turn-off thyristors in electric drives of bow thrusters with adjustable propeller pitch to increase reliability, reduce mecha...
详细信息
We present an integrated framework for intelligent automated plant monitoring, towards early disease and pest detection in greenhouse tomato crops. The framework combines the use of a robotic mobile platform to autono...
We present an integrated framework for intelligent automated plant monitoring, towards early disease and pest detection in greenhouse tomato crops. The framework combines the use of a robotic mobile platform to autonomously collect multi-spectral images of the plants, with a tool that utilizes Faster R-CNN to detect regions that signify the presence of a disease or pest. The robot is based on a modified mobile vertical mast lift platform, and integrates a 6-dof robotic arm that is used to position the plant imaging multi-spectral camera. The robot can navigate autonomously inside the greenhouse via a magnetic guidance sensor. Results from a series of experiments demonstrate the validity and effectiveness of the implemented framework.
The evaluation of flood risk in urban areas characterized by high vulnerability indices is a fundamental task in order to undertake any mitigation action. When flood-induced phenomena affect structures (buildings, bri...
The evaluation of flood risk in urban areas characterized by high vulnerability indices is a fundamental task in order to undertake any mitigation action. When flood-induced phenomena affect structures (buildings, bridges, river banks, etc.) particularly in areas adjacent to rivers, as for the city of Cosenza, the real time detection of any change in the structural response is crucial for a proper safety level assessment. In the present work, a framework for remote monitoring of hydrological events and related structural behaviour is proposed. Data pertaining to the hydro-meteorological event are collected mainly through a series of ultrasonic hydrometers, different types of rain gauges and webcams, to allow a rough estimate of the expected action on the structures. The structural response is monitored through accelerometers (or other instruments) which allows identifying the evolution of the dynamic behaviour, in order to detect insurgent damage phenomena. The acquired structural measurements are employed to tune both fine structural models or rough simplified models. Moreover, the structural monitoring system allows to estimate damages due to other natural events, such as earthquakes, which well suits current philosophies of multi-risk assessment. This study is carried out within the “Smart integrated monitoring system for safe and resilient communities” action of the NRRP Tech4you project.
In this paper, we calculate a union bound for dynamic time warping (DTW)-based decoding of piecewise constant signals corrupted by additive noise and time stretching due to sample duplications, as observed in raw meas...
In this paper, we calculate a union bound for dynamic time warping (DTW)-based decoding of piecewise constant signals corrupted by additive noise and time stretching due to sample duplications, as observed in raw measurement signals obtained from nanopore sequencers. We consider both finitely- and infinitely-supported duplications with geometric-like characteristic, which include discrete uniform distributions as a special case. First, we provide explicit algorithms that calculate the union bound in O(αk 2 ) time for the infinite-support case and in O(β 2 k 2 ) for the finite-support case, where k is the codeword length, α is the minimum duplication, and β is the maximum duplication. Next, we show that a multi-read union bound exhibits a thresholding effect, where the error probability can be made arbitrarily close to zero by aggregating DTW distances from sufficiently many independent reads. Finally, we validate the calculated bounds relative to simulation results.
As the number of multimedia IPs in mobile devices increases, a high memory bandwidth becomes essential. To meet this demand, Application Processors (APs) employ multiple memory channels. However, employing fine-graine...
As the number of multimedia IPs in mobile devices increases, a high memory bandwidth becomes essential. To meet this demand, Application Processors (APs) employ multiple memory channels. However, employing fine-grained channel interleaving leads to frequent bank conflicts in DRAM, resulting in increased energy consumption and reduced battery life. This paper proposes a novel Virtual to Physical address mapping (VA-to-PA) scheme, called Correlation-based Page Remapping (CPR). This technique involves remapping pages based on the access correlations between them to enhance bank parallelism. By increasing the channel interleaving size to 1KB and applying CPR, we can reduce the DRAM energy consumption of activation (ACT) and precharge (PRE) operations by 15% without any decrease in DRAM performance.
Projection-based controllers (PBCs) are currently gaining traction in both scientific and engineering communities. In PBCs, the input-output signals of the controller are kept in sector-bounded sets by means of projec...
详细信息
The application of Agile methodologies to large-scale, safety-critical cyber-physical systems (LS/SC/CPS) has shown significant interest over the last 5 years. Although there has been limited research into each of the...
详细信息
ISBN:
(数字)9798331506407
ISBN:
(纸本)9798331506414
The application of Agile methodologies to large-scale, safety-critical cyber-physical systems (LS/SC/CPS) has shown significant interest over the last 5 years. Although there has been limited research into each of the individual attributes for de-velopment projects that are large-scale, safety-critical, or cyber-physical systems, there is a scarcity of research when all three attributes exist simultaneously in a development endeavor. This systematic literature review explores the extent of Agile adoption in projects where all three attributes are present. It begins by examining the extent of Agile adoption by domain, identifying the drivers for change, reviewing the challenges encountered, and investigating the augmentations used to address these challenges. The findings indicate that there has been growth in adoption across the medical, aerospace, automotive, and robotics indus-tries, with limited adoption in energy and transportation. Key drivers include speed, adaptability, and cost. Several challenges have been identified, with regulatory/compliance requirements being the most significant. Multiple augmentations to Agile have been applied to overcome the identified challenges, ranging from incorporating safety frameworks and specialized artifacts to leveraging modeling and simulation, as well as reimagining pro-grammatics. This review highlights industry efforts to apply Agile to LS/SC/CPS, while identifying several gaps in the literature. The largest gap is empirical validation in real-world settings. Future research should focus on improving the existing Agile scaling frameworks with guidance and resources to help achieve the benefits of Agile in LS/SC/CPS development while ensuring regulatory and safety compliance.
Minor changes between the designed Flexible hybrid electronic (FHE) devices and the actual realized printed devices are very crucial for the development and maturity of this technology. The quality of printed electron...
详细信息
暂无评论