Author

Richard Stocker

13 papers · 2010–2024

2010peak 4 in 20242024

Frequent co-authors

Papers

showing 1–13 of 13 RSS

Reversible Quantum-Dot Cellular Automata-Based Arithmetic Logic Unit

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Nanomaterials · 29 Aug 2023 · cited 23× · DOI ↗ · more like this ·

Quantum-dot cellular automata (QCA) are a promising nanoscale computing technology that exploits the quantum mechanical tunneling of electrons between quantum dots in a cell and electrostatic interaction between dots in neighboring cells. QCA can achieve higher speed, lower power, and smaller areas than conventional, complementary metal-oxide semiconductor (CMOS) technology. Developing QCA circuits in a logically and physically reversible manner can provide exceptional reductions in energy dissipation. The main challenge is to maintain reversibility down to the physical level. A crucial component of a computer’s central processing unit (CPU) is the arithmetic logic unit (ALU), which executes multiple logical and arithmetic functions on the data processed by the CPU. Current QCA ALU designs are either irreversible or logically reversible; however, they lack physical reversibility, a…

A synergistic and extensible framework for multi-agent system verification

Josie Hunter, Franco Raimondi, Neha Rungta +1 more

Artificial Intelligence · Middlesex University Research Repository (Middlesex University Of London) · 6 May 2013 · cited 21× · DOI ↗ · more like this ·

Recently there has been a proliferation of tools and languages for modeling multi-agent systems (MAS). Verification tools, correspondingly, have been developed to check properties of these systems. Most MAS verification tools, however, have their own input language and often specialize in one verification technology, or only support checking a specific type of property. In this work we present an extensible framework that leverages mainstream verification tools to successfully reason about various types of properties. We describe the verification of models specified in the Brahms agent modeling language to demonstrate the feasibility of our approach. We chose Brahms because it is used to model real instances of interactions between pilots, air-traffic controllers, and automated systems at NASA. Our framework takes as input a Brahms model along with a Java implementation of its…

Novel Ultra-Energy-Efficient Reversible Designs of Sequential Logic Quantum-Dot Cellular Automata Flip-Flop Circuits

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Research Square · 12 Oct 2022 · cited 15× · DOI ↗ · more like this ·

Abstract Quantum-dot cellular automata (QCA) is a technological approach to implement digital circuits with exceptionally high integration density, high switching frequency, and low energy dissipation. QCA circuits are a potential solution to the energy dissipation issues created by shrinking microprocessors with ultra-higher integration densities. Current QCA circuit designs are nonreversible, yet reversible circuits are known to increase energy efficiency. Thus, the development of reversible QCA circuits will further reduce energy dissipation. This paper presents novel reversible and nonreversible sequential QCA set/reset (SR), data (D), Jack Kilby (JK), and toggle (T) flip-flop designs based on the majority gate that utilizes the universal, standard, and efficient (USE) clocking scheme, which allows the implementation of feedback paths and easy routing for sequential QCA-based…

An Ultra-Energy-Efficient Reversible Quantum-Dot Cellular Automata 8:1 Multiplexer Circuit

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Quantum Reports · 16 Jan 2024 · cited 12× · DOI ↗ · more like this ·

Energy efficiency considerations in terms of reduced power dissipation are a significant issue in the design of digital circuits for very large-scale integration (VLSI) systems. Quantum-dot cellular automata (QCA) is an emerging ultralow power dissipation approach, distinct from traditional, complementary metal-oxide semiconductor (CMOS) technology, for building digital computing circuits. Developing fully reversible QCA circuits has the potential to significantly reduce energy dissipation. Multiplexers are fundamental elements in the construction of useful digital circuits. In this paper, a novel, multilayer, fully reversible QCA 8:1 multiplexer circuit with ultralow energy dissipation is introduced. The power dissipation of the proposed multiplexer is simulated using the QCADesigner-E version 2.2 tool, describing the microscopic physical mechanisms underlying the QCA operation. The…

Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper)

Michele Bottone, Filippo Palumbo, Giuseppe Primiero +2 more

Artificial Intelligence · Middlesex University Research Repository (Middlesex University Of London) · October 2016 · cited 9× · DOI ↗ · more like this ·

Robotic coordination is a crucial issue in the development of many applications in swarm robotics, ranging from mapping unknown and potentially dangerous areas to the synthesis of plans to achieve complex tasks such as moving goods between locations under resource constraints. In this context, stigmergy is a widely employed approach to robotic coordination based on the idea of interacting with the environment by means of markers called pheromones. Pheromones do not need to be "physical marks", and a number of works have investigated the use of digital, virtual pheromones. In this paper, we show how the concept of virtual pheromones can be implemented in Jason, a Java-based interpreter for an extended version of AgentSpeak, providing a high-level modelling and execution environment for multi-agent systems. We also exploit MQTT, a messaging infrastructure for the Internet-of-Things. This…

Modeling complex air traffic management systems

Neha Rungta, Eric Mercer, Franco Raimondi +3 more

Artificial Intelligence · 14 May 2016 · cited 6× · DOI ↗ · more like this ·

In this work, we propose the use of multi-agent system (MAS) models as the basis for predictive reasoning about various safety conditions and the performance of Air Traffic Management (ATM) Systems. To this end, we describe the engineering of a domain-specific MAS model that provides constructs for creating scenarios related to ATM systems and procedures; we then instantiate the constructs in the ATM model for different scenarios. As a case study we generate a model for a concept that provides the ability to maximize departure throughput at La Guardia airport (LGA) without impacting the flow of the arrival traffic; the model consists of approximately 1.5 hours real time flight data. During this time, between 130 and 150 airplanes are managed by four en-route controllers, three TRACON controllers, and one tower controller at LGA who is responsible for departures and arrivals. The planes…

Hybrid Quantum-Dot Cellular Automata Nanocomputing Circuits

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Preprints.org · 21 May 2024 · cited 4× · DOI ↗ · more like this ·

Quantum-dot cellular automata (QCA) is an emerging transistor-less field-coupled nanocomputing (FCN) approach to ultra-scale ‘nanochip’ integration. In QCA, to represent digital circuitry, electrostatic repulsion between electrons and the mechanism of electron tunnelling in quantum dots are used. QCA technology can surpass conventional complementary metal-oxide semiconductor (CMOS) technology in terms of clock speed, reduced occupied chip area, and energy efficiency. To develop QCA circuits, irreversible majority gates are typically used as the primary components. Recently, some studies have introduced reversible design techniques, using reversible majority gates as the main building block, to develop ultra-energy efficient QCA circuits. However, this approach resulted in time delays, an increase in the number of QCA cells used, and an increase in the chip area occupied. This work…

Ultra-Energy-Efficient Reversible Quantum-Dot Cellular Automata 8:1 Multiplexer Circuit

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Preprints.org · 24 Oct 2023 · cited 2× · DOI ↗ · more like this ·

Energy efficiency considerations in terms of reduced power dissipation is a significant issue in the design of digital circuits for very large-scale integration (VLSI) systems. Quantum-dot cellular automata (QCA) is an emerging ultra-low power dissipation approach, distinct from the traditional complementary metal-oxide semiconductor (CMOS) technology, for building digital computing circuits. Developing fully reversible QCA circuits has the potential to significantly reduce energy dissipation. The multiplexer is a fundamental element in the construction of useful digital circuits. In this paper, a novel, multilayer, fully reversible QCA 8:1 multiplexer circuit, with ultralow energy dissipation, is introduced. The proposed multiplexer power dissipation is simulated using the QCADesigner-E version 2.2 tool, describing the microscopic physical mechanisms underlying the QCA operation. The…

The Design and Simulation of a Reversible Quantum-Dot Cellular Automata-based Arithmetic Logic Unit

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · Preprints.org · 24 Jul 2023 · cited 2× · DOI ↗ · more like this ·

Quantum-dot cellular automata (QCA) are a promising nanoscale computing technology that exploits the quantum mechanical tunneling of electrons between quantum dots in a cell and electrostatic interaction between dots, in neighboring cells. QCA can achieve higher speed, lower power, and smaller areas than conventional complementary metal–oxide–semiconductor (CMOS) technology. Developing QCA circuits in a logically and physically reversible manner can provide exceptional reductions in energy dissipation. The main challenge of reversible QCA design is to maintain reversibility down to the physical level. The arithmetic logic unit (ALU) is an essential component of the central processing unit (CPU) of a computer. It performs various arithmetic and logical operations on the data that the CPU processes. Current QCA ALU designs are either irreversible or logically reversible; however, they…

Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations

Matt Webster, Louise A. Dennis, Clare Dixon +3 more

Computational Theory and Mathematics · Research Explorer (The University of Manchester) · March 2020 · cited 2× · DOI ↗ · more like this ·

This paper describes an approach to assuring the reliability of autonomous systems for Astronaut-Rover (ASRO) teams using the formal verification of models in the Brahms multi-agent modelling language. Planetary surface rovers have proven essential to several manned and unmanned missions to the moon and Mars. The first rovers were teleor manually-operated, but autonomous systems are increasingly being used to increase the effectiveness and range of rover operations on missions such as the NASA Mars Science Laboratory. It is anticipated that future manned missions to the moon and Mars will use autonomous rovers to assist astronauts during extravehicular activity (EVA), including science, technical and construction operations. These ASRO teams have the potential to significantly increase the safety and efficiency of surface operations. We describe a new Brahms model in which an autonomous…

The Affective Audio Dataset (AAD) for Non-Musical, Non-Vocalized, Audio Emotion Research

Harrison Ridley, Stuart Cunningham, John Darby +2 more

Signal Processing · IEEE Transactions on Affective Computing · 2 Aug 2024 · cited 1× · DOI ↗ · more like this ·

The Affective Audio Dataset (AAD) is a new and novel dataset of non-musical, non-anthropomorphic sounds intended for use in affective research. Sounds are annotated for their affective qualities by sets of human participants. The dataset was created in response to a lack of suitable datasets within the domain of audio emotion recognition. A total of 780 sounds are selected from the BBC Sounds Library. Participants are recruited online and asked to rate a subset of sounds based on how they make them feel. Each sound is rated for arousal and valence. It was found that while evenly distributed, there was bias towards the low-valence, high-arousal quadrant, and displayed a greater range of ratings in comparison to others. The AAD is compared with existing datasets to check its consistency and validity, with differences in data collection methods and intended use-cases highlighted. Using a…

Designing a Quantum-Dot Cellular Automata-Based Half-Adder Circuit Using Partially Reversible Majority Gates

Mohammed Alharbi, Gerard Edwards, Richard Stocker

Computational Theory and Mathematics · 11 Aug 2024 · cited 0× · DOI ↗ · more like this ·

Developing quantum-dot cellular automata (QCA) digital circuits reversibly leads to substantial reductions in energy dissipation. However, this is usually accompanied by time delays and accompanying increases in the circuit cost metric. In this study, an innovative, partially reversible design method is presented to address the latency and circuit cost limitations of reversible design methods. The proposed partially reversible design method serves as a middle ground between fully reversible and conventional irreversible design methodologies. Compared with irreversible design methods, the partially reversible design method still optimises energy efficiency. Moreover, the partially reversible design method improves the speed and decreases the circuit cost in comparison with fully reversible design techniques. The key ingredient of the proposed partially reversible design methodology is…

Traffic Management Competition on Governmental Organization

Axel Richard Stocker

Political Science and International Relations · 17th ITS World CongressITS JapanITS AmericaERTICO · 2010 · cited 0× · OpenAlex ↗ · more like this ·

The need of strategically joining Traffic Management (TM) with Traffic Information (TI) is well accepted. Strategic TM should follow and support the general economical guidelines of the government. Various channels, not under full control of the public bodies, often distribute TI. To gain control over TI channels and therewith enhance the importance of TM it is proposed to gain more control. This concentration should not destroy the free market. The aim is to win “operational control” but not a “buy-in” or to reach “operational command”. Several marketing and business plans already described this situation. The main difference to other essays is the use of the military approach for a fact finding and decision making process in order to enhance the ordinary marketing tools. This systematic way might get closer to the working approach of governmental organizations.