检索结果-南通市图书馆

Paraconsistent Annotated Logic in Analysis of Physical Systems:Introducing the Paraquantum Factor of Quantization h_(ψ)

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2011年第11期2卷 1397-1409页

作者： joao inacio da silva filho Group of Applied Paraconsistent Logic Santa Cecília UniversitySantosBrazil Institute for Advanced Studies of the University of Sao Paulo Cidade UniversitariaSao PauloBrazil

We present in this paper an alternative of modeling physical systems through a non-Classical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of non-contradiction. The Paraconsistent Annotated Logic with annotation of two values (PAL2v) is a type of PL and has in its theoretical structure the main feature of dealing with contradictions offering flexibility in drawing conclusions. Several works about applications of PAL2v have shown that such logic is able to provide us with an adequate treatment to uncertainties. Based on the foundations of the PAL2v we presented the ParaQuantum logic (PQL) with the goal of performing analysis of signals from information sources which model physical systems. The formalization of the concepts of the logics PQL, that it is represented in a Lattice, requires the considering of Paraquantum logical states ψ which are propagated through variations of the evidence Degrees μ and λ which come out from measurements performed in Observable Variables in the physical world. When we analyze the lattice of the PQL, we obtain equations which quantify values of physical quantities from where we obtain the effects of propagation of the Paraquantum logical states ψ. In this paper, we introduce the Paraquantum Factor of quantization hψ whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. We conclude through these studies that the Paraquantum Logical Model based on the ParaQuantum logics PQL can link the several fields of the physical sciences by means of quantization of values. It is an innovative approach of formulating natural phenomena.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

Relativity Theory and Paraquantum Logic—Part I:The Time and Space in the Paraquantum Logical Model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2012年第9期3卷 957-971页

作者： joao inacio da silva filho Group of Applied Paraconsistent Logic-Santa Cecilia University SantosBrazil Institute for Advanced Studies of the University of Sao Paulo Cidade Universitaria Sao PauloBrazil

From fundamental concepts of the Paraconsistent Annotated Logic with annotation of two values (PAL2v), whose main feature is to be capable of treating contradictory information, was created the Paraquantum Logic (PQL). The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems, are found two Paraquantum factors: the Paraquantum Gamma Factor γPΨ, that has his action in the measurements of Observable Variables in the Physical world and the Paraquantum Factor of quantization hΨ, which has his action in the Paraquantum World represented by the PQL Lattice. Correlation between γPΨ and hΨ produces paraquantum equations for computation of the physical quantities in real physical systems. In this work we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory. Initially the time t is considered like an Observable Variable and the paraquantum analysis is done with the same conditions assumed in the relativity theory for the study of the time dilatation. After the time considerations, paraquantum equations are involved with the space-time and velocity creating conditions for a relativistic/paraquantum analysis. In the part II of this work a new approaches of the relativistic phenomena in the Paraquantum Logical Model will show the correlation of these effects with the Newtonian universe and with quantum mechanics.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

Relativity Theory and Paraquantum Logic—Part II:Fundamentals of an Unified Calculation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2012年第9期3卷 972-988页

The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems are found paraquantum equations for computation of the physical quantities in real physical systems. In the first part of this work we presented a study of Relativity theory which involved the time and the space with their characteristics as degrees of evidence applied in Paraquantum Logical Model. Now, in this second Part we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory and the correlation of these effects with the Newtonian Universe and Quantum Mechanics. Considering physical fundamental quantities varying periodically in amplitude, we introduce the paraquantum equations which consider frequency in the analysis. From of these mathematical relationships obtained in the PQL Lattice some main physical constants related to the studies of De Broglie appeared. With the equations of Energy obtained through the analyses is demonstrated that the Paraquantum Logic is capable to correlate values and to unify the several study areas of the Physical Science.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

A Probabilistic Paraconsistent Logical Model for Non-Relativistic Quantum Mechanics Using Interlaced Bilattices with Conflation and Bernoulli Distribution

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Quantum Information Science 2017年第3期7卷 89-124页

作者： joao inacio da silva filho Laboratory of Applied Paraconsistent Logic Santa Cecilia University—UNISANTASantosBrazil

In this work, we make a representation of non-relativistic quantum theory based on foundations of paraconsistent annotated logic (PAL), a propositional and evidential logic with an associated lattice FOUR. We use the PAL version with annotation of two values (PAL2v), named paraquantum logic (PQL), where the evidence signals are normalized values and the intensities of the inconsistencies are represented by degrees of contradiction. Quantum mechanics is represented through mapping on the interlaced bilattices where this logical formalization allows annotation of two values in the format of degrees of evidence of probability. The Bernoulli probability distribution is used to establish probabilistic logical states that identify the superposition of states and quantum entanglement with the equations and determine the state vectors located inside the interlaced Bilattice. In the proposed logical probabilistic paraquantum logic model (pPQL Model), we introduce the operation of logical conflation into interlaced bilattice. We verify that in the pPQL Model, the operation of logical conflation is responsible for providing a suitable model for various phenomena of quantum mechanics, mainly the quantum entanglement. The results obtained from the entanglement equations demonstrate the formalization and completeness of paraquantum logic that allows for interpretations of similar phenomena of quantum mechanics, including EPR paradox and the wave-particle theory.

关键词： Paraconsistent Logic Interlaced Bilattice Probability Theory Quantum Mechanics Paraquantum Logic Model

Analysis of Physical Systems with Paraconsistent Annotated Logic: Introducing the Paraquantum Gamma Factor γ_(ψ)

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2011年第12期2卷 1455-1469页

作者： joao inacio da silva filho Santa Cecilia University Group of Applied Paraconsistent LogicSantosBrazil Institute for Advanced Studies of the University of Sao Paulo TerreoCidade UniversitariaSao PauloBrazil

In this paper we use a non-classical logic called ParaQuantum Logic (PQL) which is based on the foundations of the Paraconsistent Annotated logic with annotation of two values (PAL2v). The formalizations of the PQL concepts, which is represented by a lattice with four vertices, leads us to consider Paraquantum logical states ψ which are propagated by means of variations of the evidence Degrees extracted from measurements performed on the Observable Variables of the physical world. In this work we introduce the Paraquantum Gamma Factor γPψ which is an expansion factor on the PQL lattice that act in the physical world and is correlated with the Paraquantum Factor of quantization hψ whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. Our studies show that the behavior of the Paraquantum Gamma Factor γPψ, at the time of reading the evidence Degrees through measurements of the Observable Variables in the physical world, is identical to that one of the Lorentz Factor γ used in the relativity theory. In the final part of this paper we present results about studies of expansion and contraction of the Paraquantum Logical Model which correlate the factors γPψ, and γ. By applying these correlation factors, the lattice of the PQL suitable for the universe understudy can be contracted or expanded, allowing the quantization model to cover the several study fields of physics.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

Analysis of the Spectral Line Emissions of the Hydrogen Atom with Paraquantum Logic

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2012年第3期3卷 233-254页

作者： joao inacio da silva filho Group of Applied Paraconsistent Logic Santa Cecilia UniversitySantosBrazil Institute for Advanced Studies The University of Sao Paulo Cidade UniversitariaSao PauloBrazil

In this work we presented a study of the obtaining of the spectral line emissions of the hydrogen atom using equations that are originated from the foundations of the Paraquantum Logic (PQL). Based on a class of logics called Paraconsistent Logics with annotation of two values (PAL2v), PQL performs a logical treatment on signals obtained by measurements on physical quantities which are considered Observable Variables in the physical world. In the process of application of the PQL the obtained values are transformed in Evidence Degrees and represented on a Lattice of four Vertices where special equations transform these degrees into Paraquantum logical states ψ which propagate. This allows creating Paraquantum logical models of physical systems of the real world. Using the paraquantum equations, we investigated the hydrogen atom spectrum and his main series known. We performed a numerical comparative study that applies the Paraquantum Logical Model to calculate the wavelengths values. The values of wavelengths obtained by the Paraquantum Equations are compared by the results found by the Rydberg formula and are verified that the series of the spectral line emissions of the hydrogen atom can be identified with the representative Lattices of the Paraquantum Logic. Through the application of the Paraquantum equations it was found a numeric value relates the layers of Paraquantum model of the Hydrogen atom. This value represents a constant that relates the Lattices that compose the Paraquantum universe, and it was denominated Paraquantum Structure Constant, whose symbol is αψ. The obtained results of the comparison demonstrate that the Paraquantum Logic comes with good possibilities of being the ideal logic to model our physical reality.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

An Introductory Study of the Hydrogen Atom with Paraquantum Logic

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Physics 2012年第4期3卷 312-333页

作者： joao inacio da silva filho Group of Applied Paraconsistent Logic Santa Cecilia UniversitySantosBrazil Institute for Advanced Studies University of Sao Paulo Cidade UniversitariaSao PauloBrazil

Paraquantum Logics (PQL) has its origins in the fundamental concepts of the Paraconsistent Annotated Logics (PAL) whose main feature is to be capable of treating contradictory information. Based on a class of logics called Paraconsistent Logics with annotations of two values (PAL2v), PQL performs a logical treatment on signals obtained by measurements on physical quantities which are considered Observable Variables in the physical world. In the process of application of the PQL the obtained values are transformed in Evidence Degrees and represented on a Lattice of four Ver- tices where special equations transform these degrees into Paraquantum logical states ψ which propagate. The propagation of Paraquantum logical states provides us with results which can be interpreted and modeled through phenomena studied in physics. Using the paraquantum equations, we investigate the effects of balancing of Energies and the quantization and transience properties of the Paraquantum Logical Model in real Physical Systems. As a demonstration of the usage of the paraquantum equations we perform a numerical comparative study that applies the PQL to the Bohr’s model to find the energy levels of the Hydrogen atom. It is verified that the values of energy in each level of the Paraquantum logical model of the Hydrogen atom are close to the values found by the conventional way. The results through the Paraquantum Logic allow considering other important properties of the atom, as the forecast of number of electrons in each layer.

关键词： Paraconsistent Logic Paraquantum Logic Classical Physic Relativity Theory Quantum Mechanics

An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2014年第5期7卷 371-386页

作者： Marcos Ribeiro do Nascimento Luiz Alberto Vieira Dias joao inacio da silva filho Brazillian Aeronautics Institute of Technology—ITA Sao Jose dos Campos Brazil Santa Cecília University—UNISANTA Santos Brazil

Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.

关键词： Paraconsistent Logic Design Testing Strategies Software Testability Paraconsistent Decision Making Model

Yet Another Intelligent Code-Generating System： A Flexible and Low-Cost Solution

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2018年第5期33卷 940-965页

作者： joao Fabricio filho Luis Gustavo Araujo Rodriguez Anderson Faustino da silva Department of Informatics State University of Maringd Maringd-PR 87020-900 Brazil Federal University of Technology -- Parand Campo Mourao-PR 87301-899 Brazil

Modern compilers apply various code transformation algorithms to improve the quality of the target code. However, a complex problem is to determine which transformation algorithms must be utilized. This is difficult because of three reasons： a number of transformation algorithms, various combination possibilities, and several configuration possibil- ities. Over the last few years, various intelligent systems were presented in the literature. The goal of these systems is to search for transformation algorithms and thus apply them to a certain program. This paper proposes a flexible, low-cost and intelligent system capable of identifying transformation algorithms for an input program, considering the program＇s specific features. This system is flexible for parameterization selection and has a low-computational cost. In addition, it has the capability to maximize the exploration of available computational resources. The system was implemented under the Low Level Virtual Machine infrastructure and the results indicate that it is capable of exceeding, up to 21.36%, performance reached by other systems. In addition, it achieved an average improvement of up to 17.72% over the most aggressive compiler optimization level of the Low Level Virtual Machine infrastructure.

关键词： compiler code transformation iterative compilation knowledge representation machine learning