Search results for " Computer Science"
showing 10 items of 3983 documents
Novel high-performance QCA Fredkin gate and designing scalable QCA binary to gray and vice versa
2022
AbstractIn the design of digital logic circuits, QCA technology is an excellent alternative to CMOS technology. Its advantages over CMOS include low power consumption, fast circuit switching, and nanoscale design. Circuits that convert data between different formats are code converters. Code converters have an essential role in high-performance computing and signal processing. In this paper, first, we proposed a novel QCA structure for the quantum reversible Fredkin gate. Second, we proposed 4-bit and 8-bit QCA binary-to-gray converter and vice versa. For the second proposal, both reversible and irreversible structures are suggested. The proposed structures are scalable up to N bits. To cha…
Trajectory robust control of autonomous quadcopters based on model decoupling and disturbance estimation
2021
In this article, a systematic procedure is given for determining a robust motion control law for autonomous quadcopters, starting from an input–output linearizable model. In particular, the suggested technique can be considered as a robust feedback linearization (FL), where the nonlinear state-feedback terms, which contain the aerodynamic forces and moments and other unknown disturbances, are estimated online by means of extended state observers. Therefore, the control system is made robust against unmodelled dynamics and endogenous as well as exogenous disturbances. The desired closed-loop dynamics is obtained by means of pole assignment. To have a feasible control action, that is, the fo…
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
2018
This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorit…
Words with the Maximum Number of Abelian Squares
2015
An abelian square is the concatenation of two words that are anagrams of one another. A word of length n can contain \(\varTheta (n^2)\) distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length n grows quadratically with n.
On the accurate determination of nonisolated solutions of nonlinear equations
1981
A simple but efficient method to obtain accurate solutions of a system of nonlinear equations with a singular Jacobian at the solution is presented. This is achieved by enlarging the system to a higher dimensional one whose solution in question is isolated. Thus it can be computed e. g. by Newton's method, which is locally at least quadratically convergent and selfcorrecting, so that high accuracy is attainable.
Quantum walk on the line through potential barriers
2015
Quantum walks are well-known for their ballistic dispersion, traveling $\Theta(t)$ away in $t$ steps, which is quadratically faster than a classical random walk's diffusive spreading. In physical implementations of the walk, however, the particle may need to tunnel through a potential barrier to hop, and a naive calculation suggests this could eliminate the ballistic transport. We show by explicit calculation, however, that such a loss does not occur. Rather, the $\Theta(t)$ dispersion is retained, with only the coefficient changing, which additionally gives a way to detect and quantify the hopping errors in experiments.
Quadratically Tight Relations for Randomized Query Complexity
2020
In this work we investigate the problem of quadratically tightly approximating the randomized query complexity of Boolean functions R(f). The certificate complexity C(f) is such a complexity measure for the zero-error randomized query complexity R0(f): C(f) ≤R0(f) ≤C(f)2. In the first part of the paper we introduce a new complexity measure, expectational certificate complexity EC(f), which is also a quadratically tight bound on R0(f): EC(f) ≤R0(f) = O(EC(f)2). For R(f), we prove that EC2/3 ≤R(f). We then prove that EC(f) ≤C(f) ≤EC(f)2 and show that there is a quadratic separation between the two, thus EC(f) gives a tighter upper bound for R0(f). The measure is also related to the fractional…
Automatic Quality Assessment of Cardiac MR Images with Motion Artefacts using Multi-task Learning and K-Space Motion Artefact Augmentation
2022
The movement of patients and respiratory motion during MRI acquisition produce image artefacts that reduce the image quality and its diagnostic value. Quality assessment of the images is essential to minimize segmentation errors and avoid wrong clinical decisions in the downstream tasks. In this paper, we propose automatic multi-task learning (MTL) based classification model to detect cardiac MR images with different levels of motion artefact. We also develop an automatic segmentation model that leverages k-space based motion artefact augmentation (MAA) and a novel compound loss that utilizes Dice loss with a polynomial version of cross-entropy loss (PolyLoss) to robustly segment cardiac st…
Apparence des matériaux, Vision artificielle, Inspection qualité, Reflectance Transformation Imaging
2022
Mastering the visual perception of the surfaces of manufactured products is a central issue for industry. However, in industry, the quality of surfaces is often assessed by human inspectors. Only a few specific cases use an instrumental or photometric approach. Among the photometric approaches, one of them is experiencing significant growth: Reflectance Transformation Imaging (RTI). However, this technique has limitations in terms of data acquisition and processing. The objective is therefore to correct some of these limitations in order to improve the RTI and, consequently, the visual quality control of surface conditions in industry.The current RTI systems are limited and cannot meet our …
Applications of Bond-Based 3D-Chiral Quadratic Indices in QSAR Studies Related to Central Chirality Codification
2009
The concept of bond-based quadratic indices is generalized to codify chemical structure information for chiral drugs, making use of a trigonometric 3D-chirality correction factor. In order to evaluate the effectiveness of this novel approach in drug design, we have modeled several well-known data sets. In particularly, Cramer's steroid data set has become a benchmark for the assessment of novel QSAR methods. This data set has been used by several researchers using 3D-QSAR approaches. Therefore, it is selected by us for the shake of comparability. In addition, to evaluate the effectiveness of this novel approach in drug design, we model the angiotensin-converting enzyme inhibitory activity o…