Jean-Luc Paillet

Jean-Luc Paillet
French National Centre for Scientific Research | CNRS · Lavoratoire des Sciences de L'information et des Systèmes

Maitre de Conférences

About

48
Publications
3,804
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
118
Citations
Citations since 2016
13 Research Items
31 Citations
201620172018201920202021202201234567
201620172018201920202021202201234567
201620172018201920202021202201234567
201620172018201920202021202201234567
Introduction
Method: Quantum Field Theory and Particle Theory, Interest in "Beyond Standard Model" research Projet: Condensed Matter Nuclear Science

Publications

Publications (48)
Presentation
The theoretical understanding of the Cold Fusion processes is very complex, because they seem to involve all the known interactions. It seems reasonable to place ourselves in the Standard Model, which totals the most knowledge and observations in the field of fundamental physics, with certainly the necessity to go beyond.
Conference Paper
Full-text available
After analyzing, in the literature, deep orbit results of relativistic quantum equations, we studied them in a semi-classical way, by looking for a local minimum of total energy of an electron near the nucleus, while respecting the Heisenberg Uncertainty Relation (HUR). Now, while using new information thanks to semi-classical computations, we come...
Chapter
Full-text available
We look into the difficult question of electron deep orbits (EDOs) in the hydrogen atom. Introductory chapters show these orbits as “anomalous” (usually rejected) solutions of relativistic quantum equations; their interest for LENR; the principal negative arguments found in the literature; how it is possible to resolve the questions raised; and som...
Presentation
Full-text available
This presentation updates our on-going work on the theoretical basis for Electron Deep Orbits (EDO) in the relativistic QM equations. Previous semi-classical studies (search for a local minimum of energy) provide a lot of useful informations correcting the imperfections of the initial Dirac EDO's for finite nucleus case. Particularly, we can now de...
Conference Paper
Full-text available
We address a number of questions relating to the progress of our study on the relativistic-electron deep orbits (EDOs): (1) How to combine different EM potentials having two possible versions (attractive and repulsive), while rejecting unrealistic energies? (2) What about the angular momentum of the deep electrons? How is the Heisenberg Uncertainty...
Presentation
Full-text available
"On Highly Relativistic Deep Electrons," presented at ICCF21-Fort Collins (Co, USA)-June 2018. This annotated ppt presentation addresses a number of questions relating to the progress of our study on the relativistic-electron deep orbits (EDOs): - How to combine different EM potentials having two possible versions (attractive and repulsive), while...
Conference Paper
Full-text available
The relativistic Schrodinger (Klein-Gordon or K-G) and Dirac equations predict deep electron orbits with radii in the femto-meter range; but, they do not predict how electrons can get there or what happens when/if they do. In prior papers, we have explored the nature of deep-orbit solutions of the relativistic equations and of the resulting femto-a...
Preprint
Full-text available
In previous works, we analyzed and countered arguments against the deep orbits, as discussed in published solutions. Moreover, we revealed the essential role of Special Relativity as source of electron deep orbits (EDOs). We also showed, from a well-known analytic method of solution of the Dirac equation, that the obtained EDOs have a positive ener...
Conference Paper
Full-text available
In the previous works, we discussed arguments for and against the deep orbits, as exemplified in published solutions. So we considered the works of Maly and Va'vra on the topic, the most complete solution available and one showing an infinite family of EDO solutions. In particular, we deeply analyzed their second of these papers, where they conside...
Article
Full-text available
In this paper, we explicitly point out the reasons why Special Relativity must be considered as the source of electron deep orbits, and dominates their behavior. We show that the cause is the quadratic form of the relativistic expression of energy, and this clearly appears when we explicitly develop the relativistic Schrödinger equation and compare...
Conference Paper
Full-text available
This work continues our previous works, on electron deep orbits of the hydrogen atom. An introduction shows the importance of the deep orbits of hydrogen (H or D) for research in the LENR domain, and gives some general considerations on the Electron Deep Orbits (EDO) and on other works about deep orbits. A first part recalls the known criticism aga...
Conference Paper
Full-text available
This work continues our previous works on electron deep orbits of the hydrogen atom. An introduction shows the importance of the deep orbits of hydrogen (H or D) for research in the LENR domain, and gives some general considerations on the Electron Deep Orbits (EDOs). In a first part we quickly recall the known criticism against the EDO and how we...
Conference Paper
Full-text available
Conference Paper
Full-text available
In this paper, we present the formal transformation of Timed Input/Output Automata into simulation models, expressed in the DEVS formalism. This transformation takes place in an approach of a validation of high-level specifications by simulation. The validation is based on the simulation of a coupled model built with the system to be controlled and...
Conference Paper
In this paper, we present the formal transformation of a formal discrete event specification, expressed in the DEVS formalism, into a Timed Input/Output Automaton. This transformation takes place in an approach for the validation of simulation models by means of formal proof of timed automata.
Article
Full-text available
In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete even...
Article
Full-text available
In this paper, we present the formal transformation of Timed Input/Output Automata into simulation models, expressed in the DEVS formalism. This transformation takes place in an approach of a validation of high-level specifications by simulation. The validation is based on the simulation of a coupled model built with the system to be controlled and...
Article
This paper is concerned about high level specifications of discrete event systems. We present a study about transformations between DECM specifications and Event Graphs specifications. Such transformations allow us to exploit the specific and very different features of both representations.
Article
In this paper, we present DECM (Discrete Event Calculus Model), an original discrete event mathematical model for the specification of control systems at a high level of abstraction. Because the concept of event is more natural for nonspecialists than the concept of state, the proposed model is centered on the latter concept. This in turn permits t...
Article
rmations. We modify an already de#ned functional algebra that we called P-Calculus and enrich it with new operators. In addition we couple it with a formal system involving a typed formal language and a rewriting system. In order to get reliable devices it is crucial to have proof processes validated by proof-assistants. Various provers are already...
Chapter
We present a formal system interpreted in a functional algebra. Well-formed expressions depict circuit architectures and their interpretations correspond to the associated behaviours. We also describe our approach for interfacing it with proof assistants (Coq and LP) in view of formal verification and synthesis. Then, we briefly comment our experie...
Conference Paper
Full-text available
We present the architecture of FORMATH, a system for modelling and proving circuits. Its core is a formal system, the P-calculus which allows one to accurately describe structures and behaviours of circuits. In order to perform verifications, the P-calculus is implemented into proof assistants
Article
We present the architecture of Formath: a system for modelling and proving circuits. Its core is a formal system, the P-calculus which allows to accurately describe structures and behaviours of circuits. In order to perform verifications, the P-calculus is implemented into proof assistants (LP and COQ). Different aspects of the system are depicted...
Article
This paper presents an overview of the different aspects in the area of the formal verification of VLSI hardware. For particular aspects of the problem area the adequate approaches are being addressed. In this respect an overview of major directions and achievements in the area of formal hardware verification as under research in the CHARME ESPRIT...
Article
Full-text available
Zero-defect designs are the goal of current research activities in CAD. An increasingly popular avenue of attack is formal verification of hardware correctness. Formal verification techniques have been applied widely in the past, but most of the examples were either simple or verification-oriented. This paper presents the application of such techni...
Article
Full-text available
The paper presents the application of formal verification techniques to a real microprocessor. The device is described and verified resorting to a functional model. A methodology which can be used in a wide number of cases is also presented.
Article
The approach suggested by a team engaged in augmentation of simulated circuit validation by automatic testing is explained with reference to a functional model and three automatic demonstration software packages: a tautology demonstrator, a Boyer & Moore theorem prover, and an OBJ3 rewriting-rule-based system. The performances and fields of applica...
Conference Paper
Full-text available
The authors present the application of formal verification techniques to the MTI (Microprocesseur a test integre) microprocessor. The device is described and verified using a functional model. The authors note that the application is a real, rather than a verification-oriented microprocessor, whose description was available to them under the form o...
Article
Let F be any family of subsets of a finite set E and let n be an integer, n<|F|. Under what condition does the knowledge of cardinals of m-intersections in F, for all m≤n, univocally determine the cardinal of any intersection in F, and what is the minimal condition? We give a complete answer to that. For any n, this determination property is satisf...
Article
Full-text available
mail: Jean-Luc.Paillet@cmi.unv-mrs.fr ABSTRACT In this paper, we present an original discrete event formalism for the specification of control systems at a high level of abstraction. The concept of event being more natural than the concept of state, the proposed formalism is centered on this concept of event. It allows the expression of an asynchro...

Questions

Question (1)
Question
I would like to remove a paper (a written presentation) from my publication list, because I detected an error that I had not corrected. But I can't do it, because when I go to the box corresponding to the "remove" command, the option "remove my public full-text" is not allowed, with an error message "You haven't added a public full-text to this publication page."

Network

Cited By

Projects