scholarly journals Boolean Function Analogs of Covering Systems

2020 ◽  
Vol 93 (1) ◽  
pp. 54-61
Author(s):  
Anthony Zaleski ◽  
Doron Zeilberger
2021 ◽  
Vol 11 (14) ◽  
pp. 6300
Author(s):  
Igor Smolyar ◽  
Daniel Smolyar

Patterns found among both living systems, such as fish scales, bones, and tree rings, and non-living systems, such as terrestrial and extraterrestrial dunes, microstructures of alloys, and geological seismic profiles, are comprised of anisotropic layers of different thicknesses and lengths. These layered patterns form a record of internal and external factors that regulate pattern formation in their various systems, making it potentially possible to recognize events in the formation history of these systems. In our previous work, we developed an empirical model (EM) of anisotropic layered patterns using an N-partite graph, denoted as G(N), and a Boolean function to formalize the layer structure. The concept of isotropic and anisotropic layers was presented and described in terms of the G(N) and Boolean function. The central element of the present work is the justification that arbitrary binary patterns are made up of such layers. It has been shown that within the frame of the proposed model, it is the isotropic and anisotropic layers themselves that are the building blocks of binary layered and arbitrary patterns; pixels play no role. This is why the EM can be used to describe the morphological characteristics of such patterns. We present the parameters disorder of layer structure, disorder of layer size, and pattern complexity to describe the degree of deviation of the structure and size of an arbitrary anisotropic pattern being studied from the structure and size of a layered isotropic analog. Experiments with arbitrary patterns, such as regular geometric figures, convex and concave polygons, contour maps, the shape of island coastlines, river meanders, historic texts, and artistic drawings are presented to illustrate the spectrum of problems that it may be possible to solve by applying the EM. The differences and similarities between the proposed and existing morphological characteristics of patterns has been discussed, as well as the pros and cons of the suggested method.


2017 ◽  
Vol 27 (2) ◽  
Author(s):  
Stanislav V. Smyshlyaev

AbstractThe paper is concerned with relations between the correlation-immunity (stability) and the perfectly balancedness of Boolean functions. It is shown that an arbitrary perfectly balanced Boolean function fails to satisfy a certain property that is weaker than the 1-stability. This result refutes some assertions by Markus Dichtl. On the other hand, we present new results on barriers of perfectly balanced Boolean functions which show that any perfectly balanced function such that the sum of the lengths of barriers is smaller than the length of variables, is 1-stable.


2013 ◽  
Vol 2013 ◽  
pp. 1-9
Author(s):  
Yih-Lon Lin ◽  
Jer-Guang Hsieh ◽  
Jyh-Horng Jeng

If the given Boolean function is linearly separable, a robust uncoupled cellular neural network can be designed as a maximal margin classifier. On the other hand, if the given Boolean function is linearly separable but has a small geometric margin or it is not linearly separable, a popular approach is to find a sequence of robust uncoupled cellular neural networks implementing the given Boolean function. In the past research works using this approach, the control template parameters and thresholds are restricted to assume only a given finite set of integers, and this is certainly unnecessary for the template design. In this study, we try to remove this restriction. Minterm- and maxterm-based decomposition algorithms utilizing the soft margin and maximal margin support vector classifiers are proposed to design a sequence of robust templates implementing an arbitrary Boolean function. Several illustrative examples are simulated to demonstrate the efficiency of the proposed method by comparing our results with those produced by other decomposition methods with restricted weights.


2011 ◽  
Vol 20 (06) ◽  
pp. 1019-1035 ◽  
Author(s):  
SAMBHU NATH PRADHAN ◽  
M. TILAK KUMAR ◽  
SANTANU CHATTOPDHYAY

In this paper, a heuristic based on genetic algorithm to realize multi-output Boolean function as three-level AND-OR-XOR network performing area power trade-off is presented. All the previous works dealt with the minimization of number of product terms only in the two sum-of-product-expressions representing a Boolean function during AND-OR-XOR network synthesis. To the best of knowledge this is the first ever effort to incorporate total power, that is, dynamic and leakage power along with the area (in terms of number of product terms) during three-level AND-OR-XOR networks synthesis. The synthesis process, without changing the delay performance results in lesser number of product terms compared to those reported in the literature. It also enumerates the trade-offs present in the solution space for different weights associated with area, dynamic power, and leakage power of the resulting circuit.


Sign in / Sign up

Export Citation Format

Share Document