School of Science and Technology (2015-2019)
http://nur.nu.edu.kz:80/handle/123456789/70
2024-03-29T08:33:41ZQUANTUM EVOLUTIONARY ALGORITHM FOR QUANTUM CIRCUIT SYNTHESIS
http://nur.nu.edu.kz:80/handle/123456789/6954
QUANTUM EVOLUTIONARY ALGORITHM FOR QUANTUM CIRCUIT SYNTHESIS
Krylov, Georgiy
Quantum computing area has a lot research attention due to opportunities that possessing
such device could provide. For example, quantum computers could deliver
new insights to previously unsolvable problems. The reason for that is higher parallel
capabilities of such devices. In addition, since quantum computers are naturally
reversible, no heat dissipation occurs during computation [21]. This property could
serve as a viable solution to the problem that computer chip production industry
faces. Moreover, since the chip manufacturing industry reaches nanometer scale of
size of elements, the effects that could cause unexpected information behavior in
classical paradigm are part of the technology of quantum devices [31, 14].
Considering possible benefits that could be achieved by quantum computing devices,
the new areas of Quantum Information Theory, Quantum Cryptography, Quantum
Algorithms and Logic Design and many others emerged at the end of the twentieth
century [31]. These areas are concentrating their efforts on solving problems of
designing communication protocols, ensuring the security of the new systems, constructing
appropriate algorithms. Computers that could be advancing in finding
solutions in problems listed above require quantum circuits that have optimal structure
and could implement error correction. This is the main motivation for this thesis
work to explore the problem of circuit design. The approach that we investigate is
circuit construction by the means of Quantum Evolutionary Algorithms. We propose
a version of an algorithm that accounts with specificity and constraints of quantum
paradigm. We use its Graphic Processing Unit (GPU) accelerated classical implementation
to evaluate the behavior and performance of the proposed algorithm. Later
we discuss additional complexity introduced by accounting with these constraints.
We support our ideas with results of synthesis of small circuits and compare the
performance with classical genetic algorithm on similar task.
2018-06-01T00:00:00ZPERCEIVED SAFETY IN PHYSICAL HUMAN ROBOT INTERACTION - A SURVEY
http://nur.nu.edu.kz:80/handle/123456789/6493
PERCEIVED SAFETY IN PHYSICAL HUMAN ROBOT INTERACTION - A SURVEY
Rubagotti, Matteo; Tusseyeva, Inara; Baltabayeva, Sara; Summers, Danna; Sandygulova, Anara
This review paper focuses on different aspects of perceived safety for a number of autonomous physical systems. This is a major
aspect of robotics research, as more and more applications allow human and autonomous systems to share their space, with crucial
implications both on safety and on its perception. The alternative terms used to express related concepts (e.g., psychological
safety, trust, comfort, stress, fear, and anxiety) are listed and explained. Then, the available methods to assess perceived safety
(i.e., questionnaires, physiological measurements, behavioral assessment, and direct input devices) are described. Six categories of
autonomous systems are considered (industrial manipulators, mobile robots, mobile manipulators, humanoid robots, drones, and
autonomous vehicles), providing an overview of the main themes related to perceived safety in the specific domain, a description
of selected works, and an analysis of how motion and characteristics of the system influence the perception of safety. The survey
also discusses experimental duration and location of the reviewed papers as well as identified trends over time.
2021-01-01T00:00:00ZSPATIAL CONTROL OF LOCALIZED OSCILLATIONS IN ARRAYS OF COUPLED LASER DIMERS
http://nur.nu.edu.kz:80/handle/123456789/6380
SPATIAL CONTROL OF LOCALIZED OSCILLATIONS IN ARRAYS OF COUPLED LASER DIMERS
Shena, Joniald; Kominis, Yannis; Bountis, Anastasios; Kovanis, Vassilios
Arrays of coupled semiconductor lasers are systems possessing radically complex dynamics that makes
them useful for numerous applications in beam forming and beam shaping. In this work, we investigate the
spatial controllability of oscillation amplitudes in an array of coupled photonic dimers, each consisting of
two semiconductor lasers driven by differential pumping rates. We consider parameter values for which each
dimer’s stable phase-locked state has become unstable through a Hopf bifurcation and we show that, by
assigning appropriate pumping rate values to each dimer, high-amplitude oscillations coexist with negligibly low amplitude oscillations. The spatial profile of the amplitude of oscillations across the array can be dynamically
controlled by appropriate pumping rate values in each dimer. This feature is shown to be quite robust, even for
random detuning between the lasers, and suggests a mechanism for dynamically reconfigurable production of a
large diversity of spatial profiles of laser amplitude oscillations
2020-01-01T00:00:00ZA FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION
http://nur.nu.edu.kz:80/handle/123456789/6026
A FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION
Cerone, Antonio; Marsili, Enrico
Biofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile.
This paper focuses on the modelling of the transition between planktonic and sessile state using Real-time Maude as the modelling language. With more and more bacteria joining the sessile community, the likelihood of producing a biofilm increases. Once the percentage of bacterial cells that adheres to the surface reaches a threshold, which is specific for the considered bacterium species, a permanent biofilm is formed. An important challenge is to predict the time needed for the formation of a biofilm on a specific surface, in order to plan when the material infrastructure that comprises such a surface needs to be cleaned or replaced. We exploit the model-checking features of Real-time Maude to formally prove that a regular cleaning or replacement of the infrastructure prevents the biofilm formation.
2021-03-05T00:00:00ZA FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY
http://nur.nu.edu.kz:80/handle/123456789/6025
A FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY
Cerone, Antonio; Pluck, Graham
The transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern human deliberate behaviour under explicit attention. This paper focuses on the memory processes that create the first of these two kinds of knowledge. Human memory storage and processing are modeled using the Real-time Maude rewrite language. Maude’s capability of specifying complex data structures as many sorted algebras and the time features of Real-Time Maude are exploited for (1) providing a means for formalising alternative memory models, (2) modelling in silico experiments to compare and validate such models. We aim at using our model for the comparison of alternative cognitive hypothesis and theories and the analysis of interactive systems.
2021-03-01T00:00:00ZBEHAVIOUR AND REASONING DESCRIPTION LANGUAGE (BRDL)
http://nur.nu.edu.kz:80/handle/123456789/6023
BEHAVIOUR AND REASONING DESCRIPTION LANGUAGE (BRDL)
Cerone, Antonio
In this paper we present a basic language for describing
human behaviour and reasoning and present the cognitive architecture
underlying the semantics of the language. The language is illustrated
through a number of examples showing its ability to model human reasoning, problem solving, deliberate behaviour and automatic behaviour.
We expect that the simple notation and its intuitive semantics may
address the needs of practitioners from non matematical backgrounds,
in particular psychologists, linguists and other social scientists. The language usage is twofold, aiming at the formal modelling and analysis
of interactive systems and the comparison and validation of alternative
models of memory and cognition.
2020-01-01T00:00:00Z