Papers by Jacqueline Rice
Hybrid GA Synthesis of Ternary Reversible Circuits Using Max-Min Algebra
J. Multiple Valued Log. Soft Comput., 2019
Ternary max-min algebra for representation of reversible logic functions
Ternary reversible logic functions are generally represented as ternary Galois field sum of produ... more Ternary reversible logic functions are generally represented as ternary Galois field sum of products (TGFSOP) expressions and the TGFSOP expressions are mapped to reversible circuits using cascades of Feynman and Toffoli gates. Although a ternary logic function with a large number of variables can be minimized as a TGFSOP expression, the process is computationally expensive and the resulting reversible circuit tends to have a high quantum cost and ancilla in puts. To overcome these limitations, in this work we propose a new method of representing ternary reversible logic functions as Max of Min-terms (Max-Min) expressions, which can be mapped to a reversible circuit using multiple-controlled unary gates requiring lower quantum cost and fewer ancilla inputs. We propose a map-based minimization method for Max-Min expressions of up to four variables focusing on restrictions of the reversible circuit mapping technique.
Synthesis of reversible logic functions using ternary Max-Min algebra
Ternary reversible circuits are normally realized as Toffoli cascades using ternary Galois field ... more Ternary reversible circuits are normally realized as Toffoli cascades using ternary Galois field sum of products (TGFSOP) expressions. In this work we propose a new method for realization of ternary reversible circuits using ternary Max-Min expressions. The proposed method uses ternary multiple-controlled unary gates to map Max-Min expression into reversible circuit. We also present techniques for realizations of multiple-controlled unary gates using M-S gates at the quantum level. Preliminary results show that the proposed method produces better results than TGFSOP-based method in terms of both quantum cost and ancilla inputs.
Advances in information quality and management, Jul 31, 2014
Reversible Computation, 2017
Universal quantum gates are the core elements in quantum information processing. We design two sc... more Universal quantum gates are the core elements in quantum information processing. We design two schemes to realize more general (SWAP) 1/m and controlled-(swap) 1/m gates (for integer m 1 ) by directing flying single photons to solid-state quantum dots. The parameter m is easily controlled by adjusting two quarter-wave plates and one half-wave plate. Additional computational qubits are not required to construct the two gates. Evaluations of the gates indicate that our proposals are feasible with current experimental technology.
A reversible majority voter circuit and applications
2017 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM), 2017
Reversible logic is becoming a more and more attractive option to traditional logic, due to its p... more Reversible logic is becoming a more and more attractive option to traditional logic, due to its potential to reduce heat dissipation. However traditional circuit design techniques can not always be translated to reversible circuits, and so new techniques for e.g. fault tolerance must be developed. We present a design for a reversible majority voter circuit which has applications not only in the development of fault tolerant reversible circuits, but also in areas such as data mining and classification.
Code Authorship Attribution using content-based and non-content-based features
To attribute authorship (author identification) means to identify the true author of a sample of ... more To attribute authorship (author identification) means to identify the true author of a sample of work among many candidates. Author identification is an important research field in natural language. Machine learning approaches are widely used in natural language analysis, and previous research has shown that similar techniques can be applied in the analysis of computer programming (artificial) languages. This paper focuses on the use of machine learning techniques in the identification of authors of computer programs. We focus on identifying which features capture the writing style of authors in the classification of a computer program according to the author's identity. We then propose a novel approach for computer program author identification. In this method, features from source code of the programs are combined with authors' sociological features (gender and region) to develop the classification model. Several experiments were conducted on two datasets composed of computer programs written in C++. Our models are able to predict an author's identity with a 75% accuracy rate.
Proc. 4th Int. Workshop on Applications of Reed-Muller Expansion in Circuit Design, Victoria, Canada, Aug 20, 1999
We present a method of ordering variables for logic functions based on the function's autoco... more We present a method of ordering variables for logic functions based on the function's autocorrelation coe cients. This ordering is used in the building of a Reduced Ordered Binary Decision Diagram (ROBDD) representing the function. The ordering allows optimal, or close to, sharing of subtrees in the ROBDD to be possible, thus creating a close to minimal ROBDD. This is tested in the context of mapping the function to lookup table-based Field Programmable Gate Arrays using a mapper that makes use of the ROBDD ...
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Many systems exist that store and manipulate data; however, many do no have sufficient support fo... more Many systems exist that store and manipulate data; however, many do no have sufficient support for spatial data Many data structures are proposed that are intended specifically for spatial data; however, software implementations have not performed as well as hoped. This work presents a feasibility study investigating the use of a FPGA for the implementation of a structure to support spatial search and retrieval. Height Iterations Avg. Total Time
PACRIM. 2005 IEEE Pacific Rim Conference on Communications, Computers and signal Processing, 2005.
Classification of Boolean functions is a useful tool; it greatly reduces the 2 2 n Boolean functi... more Classification of Boolean functions is a useful tool; it greatly reduces the 2 2 n Boolean functions to a much more feasible number. Recent work has suggested the use of the autocorrelation transform to generate coefficients that may be used as a classification tool for Boolean functions. An outstanding question, however, is how to quickly identify whether or not two given functions are in the same class, given that generating the 2 n -sized spectrum may not always be feasible. This work addresses this question, and presents some preliminary heuristics that are analyzed for their suitability in solving this problem.
2006 IEEE International Symposium on Circuits and Systems
Although many researchers are investigating techniques to synthesize reversible combinational log... more Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We present an analysis of a basic memory element, the RS-latch, and a number of possible implementations. We then go on to introduce four reversible flip-flop designs based on the reversible RS-latch implementation.
Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, 2011
This paper presents a simple technique to convert an ESOP-based reversible circuit into an online... more This paper presents a simple technique to convert an ESOP-based reversible circuit into an online testable circuit. The technique does not require redesigning the whole circuit for integrating the testability feature, and no new garbage outputs are produced other than the garbage outputs needed for the ESOP-circuit. With a little extra hardware cost, the resultant circuit can detect online any singlebit errors. Experimental results show that the proposed technique can achieve an improvement of up to 58% in quantum cost and 99% in garbage outputs in average, compared to the previous work.
2009 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, 2009
Classification of Boolean functions is a known problem in digital logic. There are far too many p... more Classification of Boolean functions is a known problem in digital logic. There are far too many possible Boolean functions to examine each one, and so we attempt to classify similar functions together into groups, or classes. This paper continues work that uses the autocorrelation transform to determine a classification technique. Some new considerations are raised and additional analysis of the autocorrelation classes is presented.
Reversible circuits have drawn the attention of researchers for their many advantages over tradit... more Reversible circuits have drawn the attention of researchers for their many advantages over traditional irreversible circuits. However traditional circuit design techniques can not always be translated to reversible circuits, and so new technique e.g. fault tolerance must be developed. Since a reversible circuit maintains a one-to-one relationship between inputs and outputs, achieving fault tolerance in such a system is not an easy task. A fault tolerant system can correctly perform its specified operations even in the presence of faults. This paper investigate the existing work on the design of fault tolerant reversible circuits and presents an efficient approach for achieving fault tolerance in reversible circuit.
Linking Linguistics and Programming: How to start?
Sociolinguistics is described as “the study of how language and social factors such as ethnicity,... more Sociolinguistics is described as “the study of how language and social factors such as ethnicity, social class, age, gender, and educational level are related”. Social factors may result in differences in language use, which may then be referred to as sociolinguistic differences. The goal of this project is to answer the following question: is it possible to identify sociolinguistic differences in the way people use programming languages? How might we go about answering our question? We propose that techniques from corpus linguistics may be of use. Computer-based techniques such as text mining allow the use of software in the identification of trends in language use that would otherwise require an enormous amount of human effort to discover. Once various sociolinguistic differences have been identified by computational means, traditional critical analysis methods can then be applied for further analysis.
2009 International Conference on Computational Science and Engineering, 2009
The evolution of wireless networks and mobile devices has resulted in increased concerns about pe... more The evolution of wireless networks and mobile devices has resulted in increased concerns about performance and security of mobile payment systems. In this paper we propose SA2pMP, a lightweight secured architecture for twoparty mobile payments. SA2pMP employs a lightweight cryptography scheme that combines public key and symmetric key cryptography systems (ECDSA and AES), as well as a multi-factor authentication mechanism. These are coupled with a transaction log strategy to satisfy the properties of confidentiality, authentication, integrity and nonrepudiation. We simulate SA2pMP in a context of money transfer banking transaction, on three different emulators: Sun Java Wireless Toolkit 2.5.2 for CLDC emulator, Sony Ericsson SDK 2.5.0.3 Z800 emulator, and Nokia S60 3rd Edition emulator. We also compare SA2pMP to some existing mobile payment platforms. The result of simulation and comparison proves that SA2pMP is a lightweight secured mechanism that is feasible and suitable for two-party mobile payment transactions, e.g. mobile banking, over Java ME enabled, resource-limited mobile devices.
Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, 2011
Reversible logic has the potential to solve the problems of energy efficiency that are beginning ... more Reversible logic has the potential to solve the problems of energy efficiency that are beginning to create roadblocks in the continued advancement in complexity and decrease in component size of today's computer systems. Multiplevalued versions of reversible logic can provide even further advantages, but there is currently in the literature little to no work on testability of such designs. This paper details work on designing an online testable block for ternary reversible logic. We build on earlier work that introduced the basic design, and provide some improvements and modifications. The proposed testable block can be used to implement most ternary logic operations and is capable of testing the reversible ternary network in real time (online). Since all parts of the testable block are constructed of reversible building blocks, the block is itself reversible and thus multiple such blocks can be combined to construct complete, testable ternary reversible circuits.
In recent years, reversible computing has established itself as a promising research area and eme... more In recent years, reversible computing has established itself as a promising research area and emerging technology. This is motivated by a widely supported prediction that conventional computer hardware technologies will reach their limits in the near future. This paper proposes a transformation based synthesis approach for realizing conservative reversible functions using SWAP and Fredkin gates. The proposed SWAP and Fredkin gates approach is compared with NOT, CNOT and Toffoli gates approach. Experimental results show that synthesizing conservative reversible functions using SWAP and Fredkin gates is more efficient than comparable approaches using NOT, CNOT and Toffoli gates.
International Journal of Computer Theory and Engineering, 2009
A variety of mathematical transforms have traditionally been used in various logic synthesis appl... more A variety of mathematical transforms have traditionally been used in various logic synthesis applications. This paper investigates the use of the autocorrelation transform: Properties of the coefficient resulting from the application of this transform to switching functions are examined and detailed, including properties to identify symmetries and decompositions. The potential uses in logic synthesis of these properties and other observations based on the autocorrelation coefficients are explored, with emphasis on proofs as mathematical justification of the theorems relating the observed properties of the coefficients to properties of the underlying switching functions.
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Recent work has begun to investigate the advantages of using reversible logic for the design of c... more Recent work has begun to investigate the advantages of using reversible logic for the design of circuits. The majority of work, however, has limited itself to combinational logic. Researchers are just now beginning to suggest possibilities for sequential implementations. This paper performs a closer analysis of three latch designs proposed in previous work and suggests advantages and disadvantages of each.
Uploads
Papers by Jacqueline Rice