scholarly journals SOFTWARE AND ALGORITHMIC PROVIDED FOR WORK WITH CELLULAR AUTOMATES

2018 ◽  
Vol 28 (3) ◽  
pp. 137-141
Author(s):  
O. V. Sinkevych ◽  
I. Ya. Sokolovskyy
Keyword(s):  
Cellular Automata ◽  
3D Model ◽  
Graphical Representation ◽  
Mathematical Functions ◽  
Von Neumann ◽  
Class System ◽  
First Order ◽  
3D Objects ◽  
The Relationship ◽  
Direct Use

In this paper, the system of initial theoretical positions is considered, which is the basis of the research search for variants of cellular automata for the study of thermal and mechanical processes in 3D objects of SolidWorks, through their representation in 2D von Neumann neighborhood of the first order. The execution of this work also involves the creation of initial rules for changing the investigated system, which are necessary for the direct use of cellular automata. As a result of the verification of these rules, it was found that their number may not be enough to address specific tasks in the field of 3D research. Because of this, it was left possible to create new rules for changing the system, or changes already existing. In addition, in the process of performing this work, all the processes of scientific research, as well as the proposed initial provisions have been repeatedly tested, developed and adjusted if necessary. For successful experiments, the 3D model under study was divided into 3D cubes of the same size. The number of these 3D cubes depends on the density of the section that the user specifies manually using the appropriate item of the developed software. In addition, in this paper describes the establishment of the relationship between the faces of created 3D cubes. These dependencies were presented in the form of an appropriate relationship scheme, which is then used in the design and configuration of the corresponding system classes, which are closely related to each word, both logically and functionally. Based on the developed system classes, appropriate software was created, which is the basis of the use of cellular automata in the study of tasks in the field of 3D modeling. In addition, in this paper a graphical representation of the interrelationships between the developed classes was presented. For a better understanding of the mechanism of the class system operation, a sequence diagram was developed. With this diagram, you can see not only how the classes interact with each other but also in what sequence this interaction takes place. In the future, this work involves expanding the capabilities of the software developed, as well as filling it with mathematical functions that would allow it to be used in the study of the mechanical and mechanical processes of various 3D objects.

Nonlinear Analysis of Visual Evoked Potentials Elicited by Color Stimulation

1997 ◽  
Vol 36 (04/05) ◽  
pp. 315-318 ◽  
Author(s):  
K. Momose ◽  
K. Komiya ◽  
A. Uchiyama
Keyword(s):  
Visual System ◽  
Evoked Potentials ◽  
Visual Evoked Potentials ◽  
Normal Subjects ◽  
Second Order ◽  
First Order ◽  
The Relationship ◽  
Perceived Color ◽  
Second Order Nonlinearity ◽  
Visual Evoked

Abstract:The relationship between chromatically modulated stimuli and visual evoked potentials (VEPs) was considered. VEPs of normal subjects elicited by chromatically modulated stimuli were measured under several color adaptations, and their binary kernels were estimated. Up to the second-order, binary kernels obtained from VEPs were so characteristic that the VEP-chromatic modulation system showed second-order nonlinearity. First-order binary kernels depended on the color of the stimulus and adaptation, whereas second-order kernels showed almost no difference. This result indicates that the waveforms of first-order binary kernels reflect perceived color (hue). This supports the suggestion that kernels of VEPs include color responses, and could be used as a probe with which to examine the color visual system.

scholarly journals On the correspondence between nested calculi and semantic systems for intuitionistic logics

2020 ◽  
Author(s):  
Tim Lyon
Keyword(s):  
Intuitionistic Logic ◽  
Structural Rules ◽  
First Order ◽  
Constant Domains ◽  
The Relationship ◽  
Intuitionistic Logics

Abstract This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics.

Relational Chase Procedures Interpreted as Resolution with Paramodulation1

1991 ◽  
Vol 15 (2) ◽  
pp. 123-138
Author(s):  
Joachim Biskup ◽  
Bernhard Convent
Keyword(s):  
Alternative Interpretation ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Problem ◽  
First Order ◽  
Inference Problems ◽  
The One ◽  
The Relationship ◽  
Theoretical Foundations ◽  
Insight Into

In this paper the relationship between dependency theory and first-order logic is explored in order to show how relational chase procedures (i.e., algorithms to decide inference problems for dependencies) can be interpreted as clever implementations of well known refutation procedures of first-order logic with resolution and paramodulation. On the one hand this alternative interpretation provides a deeper insight into the theoretical foundations of chase procedures, whereas on the other hand it makes available an already well established theory with a great amount of known results and techniques to be used for further investigations of the inference problem for dependencies. Our presentation is a detailed and careful elaboration of an idea formerly outlined by Grant and Jacobs which up to now seems to be disregarded by the database community although it definitely deserves more attention.

A Difference Method for Plane Problems in Magnetoelastodynamics

1972 ◽  
Vol 39 (3) ◽  
pp. 689-695 ◽  
Author(s):  
W. W. Recker
Keyword(s):  
Partial Differential Equations ◽  
Differential Equations ◽  
Numerical Method ◽  
Difference Method ◽  
Necessary Condition ◽  
Two Dimensional ◽  
Symmetric Hyperbolic System ◽  
Von Neumann ◽  
First Order ◽  
Independent Variables

The two-dimensional equations of magnetoelastodynamics are considered as a symmetric hyperbolic system of linear first-order partial-differential equations in three independent variables. The characteristic properties of the system are determined and a numerical method for obtaining the solution to mixed initial and boundary-value problems in plane magnetoelastodynamics is presented. Results on the von Neumann necessary condition are presented. Application of the method to a problem which has a known solution provides further numerical evidence of the convergence and stability of the method.

scholarly journals Three-state von Neumann cellular automata and pattern generation

2015 ◽  
Vol 39 (7) ◽  
pp. 2003-2024 ◽  
Author(s):  
Ugur Sahin ◽  
Selman Uguz ◽  
Hasan Akın ◽  
Irfan Siap
Keyword(s):  
Cellular Automata ◽  
Pattern Generation ◽  
Von Neumann

scholarly journals A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

2007 ◽  
Vol 72 (1) ◽  
pp. 119-122 ◽  
Author(s):  
Ehud Hrushovski ◽  
Ya'acov Peterzil
Keyword(s):  
Real Numbers ◽  
The Real ◽  
First Order ◽  
Real Closed Fields ◽  
Minimal Structure ◽  
Closed Fields ◽  
New Construction ◽  
The Relationship

AbstractWe use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

The problem of measuring the quantity of output in the input–output model by W. Leontief in modeling the trends in economic reproduction of nations and regions

2021 ◽  
Vol 19 (8) ◽  
pp. 1568-1592
Author(s):  
Nikolai I. KURYSHEV
Keyword(s):  
Input Output ◽  
Von Neumann ◽  
Output Matrix ◽  
Production And Consumption ◽  
Production Quantity ◽  
Mathematical Analyses ◽  
Neumann Model ◽  
Product Output ◽  
The Relationship ◽  
Cost Characteristics

Subject. This article deals with the problem of constructing a Leontief's input–output matrix. Objectives. The article aims to determine the rules for constructing a Leontief's input–output matrix on the basis of data on production time and quantity of product output. Methods. For the study, I used the methods of logical and mathematical analyses. Results. The article formulates the rules for constructing a Leontief's input–output matrix, taking into account differences in the time of production, quantity of output, as well as the conditions for the reproduction of the resources expended. It summarizes these rules for the J. von Neumann model. Conclusions. The proposed approach to the analysis of the material mechanism of economic reproduction defines the relationship between the quantitative and cost characteristics of the production and consumption of products and resources. This relationship opens up new opportunities for the application of input–output models to create simple and accurate algorithms for identifying and predicting the macroeconomic trends.

scholarly journals Memory versus logic: two models of organizing information and their influences on web retrieval strategies

1970 ◽  
Vol 4 (2) ◽  
pp. 178-186
Author(s):  
Teresa Numerico
Keyword(s):  
Information Retrieval ◽  
Web Search ◽  
Data Representation ◽  
Philosophical Tradition ◽  
Formal Representation ◽  
Mathematical Functions ◽  
Von Neumann ◽  
Vannevar Bush ◽  
Social Topology ◽  
Information Retrieval Methods

We can find the first anticipation of the World Wide Web hypertextual structure in Bush paper of 1945, where he described a “selection” and storage machine called the Memex, capable of keeping the useful information of a user and connecting it to other relevant material present in the machine or added by other users. We will argue that Vannevar Bush, who conceived this type of machine, did it because its involvement with analogical devices. During the 1930s, in fact, he invented and built the Differential Analyzer, a powerful analogue machine, used to calculate various relevant mathematical functions. The model of the Memex is not the digital one, because it relies on another form of data representation that emulates more the procedures of memory than the attitude of the logic used by the intellect. Memory seems to select and arrange information according to association strategies, i.e., using analogies and connections that are very often arbitrary, sometimes even chaotic and completely subjective. The organization of information and the knowledge creation process suggested by logic and symbolic formal representation of data is deeply different from the former one, though the logic approach is at the core of the birth of computer science (i.e., the Turing Machine and the Von Neumann Machine). We will discuss the issues raised by these two “visions” of information management and the influences of the philosophical tradition of the theory of knowledge on the hypertextual organization of content. We will also analyze all the consequences of these different attitudes with respect to information retrieval techniques in a hypertextual environment, as the web. Our position is that it necessary to take into accounts the nature and the dynamic social topology of the network when we choose information retrieval methods for the network; otherwise, we risk creating a misleading service for the end user of web search tools (i.e., search engines).

scholarly journals Photocatalytic degradation of indigo carmine by ZnO photocatalyst under visible light irradiation

2017 ◽  
Vol 14 (3) ◽  
pp. 582-587
Author(s):  
Baghdad Science Journal
Keyword(s):  
Zinc Oxide ◽  
Photocatalytic Degradation ◽  
Indigo Carmine ◽  
Catalyst Loading ◽  
Order Kinetic ◽  
Kinetic Reaction ◽  
First Order ◽  
Pseudo First Order ◽  
The Relationship ◽  
Influential Parameters

In this work, the photocatalytic degradation of indigo carmine (IC) using zinc oxide suspension was studied. The effect of influential parameters such as initial indigo carmine concentration and catalyst loading were studied with the effect of Vis irradiation in the presence of reused ZnO was also investigated. The increased in initial dye concentration decreased the photodegradation and the increased catalyst loading increased the degradation percentage and the reused-ZnO exhibits lower photocatalytic activity than the ZnO catalyst. It has been found that the photocatalytic degradation of indigo carmine obeyed the pseudo-first-order kinetic reaction in presence of zinc oxide. This was found from plotting the relationship between ln (C0/Ct) and irradiation the rate constant of the process.UV- spectrophotometer was used to study the indigo carmine photodegradation.

Sign in / Sign up

Export Citation Format

Share Document