Fernando Cuartero | University of Castilla-La Mancha (original) (raw)

Uploads

Papers by Fernando Cuartero

Research paper thumbnail of A Tool to Calculate Mechanical Forces on Railway Catenary

This paper presents the basis for the mechanical calculation of the catenary system in a railway,... more This paper presents the basis for the mechanical calculation of the catenary system in a railway, considering static wire equations. The objective is to allow an increment in the speed in railways by developing an accurate mechanical calculation of the electric wiring known as catenary. Two algorithms for the calculation are developed. In the first one, the exact weight of the wire is considered, while in the other, the weight of the wire is estimated as a uniform horizontal load. The second algorithm has been implemented in a software tool and is currently used by Spain's railway company RENFE to design the catenaries of its railways.

Research paper thumbnail of Heuristics for Quantum Computing Dealing with 3-SAT

Mathematics

The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3... more The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. We present an heuristics that leads this strategy, improving the performance of the purely random incremental scheme. We finally validate our approach by means of a thorough empirical study.

Research paper thumbnail of A Dynamic Model for the Study and Simulation of the Pantograph–Rigid Catenary Interaction with an Overlapping Span

Applied Sciences, 2021

In this paper, the authors present a mathematical and engineering model to optimally calculate th... more In this paper, the authors present a mathematical and engineering model to optimally calculate the dynamic equation on the pantograph–catenary interaction when considering a rigid catenary with an overlapping span. The model starts from well-known methods adapted to the special features of rigid catenary. As a result, an algorithm for the integration of a dynamic equation based on explicit methods is provided. Moreover, from this algorithm, a reliable, efficient, and user-friendly software tool called RICATI is developed in order to approach the model to railway-based companies. The results show the usefulness of an application. such as RICATI, to check the behavior of the configuration initially established for a catenary, allowing solutions to be obtained for the problems encountered when simulating the passage of the pantograph (or pantographs), not only for the overlapping span but also for the entire catenary. That encourages us to continue future works.

Research paper thumbnail of Advanced Algorithm to Calculate Mechanical Forces on a Catenary

WIT Transactions on the Built Environment, 2004

An advanced algorithm for the mechanical calculation of the catenary system in a railway is prese... more An advanced algorithm for the mechanical calculation of the catenary system in a railway is presented in this paper. The main objective is to allow an increment in the speed in railways, by developing an accurate mechanical calculation of the catenary. Among the different types of these kinds of electrical systems, the so called stitched catenary presents a better dynamical behavior, because it maintains a more uniform stiffness along the span. Of course, the price to be paid consists of a greater complexity due to the existence of two kinds of carriers, the main and the secondary ones. Finally, the presented algorithm will be used to implement a software tool.

Research paper thumbnail of Automation of Avionic Systems Testing

Lecture Notes in Computer Science, 2007

Research paper thumbnail of A Three-Dimensional Calculation for Dynamic Pantograph-Catenary Interaction

Proceedings of the Eleventh International Conference on Computational Structures Technology

Research paper thumbnail of A Distributed Memory Implementation of the Regional Atmospheric Model PROMES

Research paper thumbnail of A Denotational Model for Probabilistic and Nondeterministic Processes

Research paper thumbnail of Improving performance in flexible manufacturing systems

The Journal of Logic and Algebraic Programming, 2009

Research paper thumbnail of On the Amplitude Amplification of Quantum States Corresponding to the Solutions of the Partition Problem

In this paper we investigate the effects of a quantum algorithm which increases the amplitude of ... more In this paper we investigate the effects of a quantum algorithm which increases the amplitude of the states corresponding to the solutions of the partition problem by a factor of almost two. The study is limited to one iteration.

Research paper thumbnail of Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm

10th International Multimedia Modelling Conference, 2004. Proceedings., 2004

Research paper thumbnail of Quantum algorithm for doubling the amplitude of the search problem's solution states

In this paper we present a quantum algorithm which increases the amplitude of the states correspo... more In this paper we present a quantum algorithm which increases the amplitude of the states corresponding to the solutions of the search problem by a factor of almost two.

Research paper thumbnail of FORMAL VERIFICATION OF TLS HANDSHAKE AND EXTENSIONS FOR WIRELESS NETWORKS

Research paper thumbnail of Automatic Translation of WS-CDL Choreographies to Timed Automata

Research paper thumbnail of Analysis and Verification of Time Requirements Applied to the Web Services Composition

This work presents a new approach to the analysis and verification of the time requirements of We... more This work presents a new approach to the analysis and verification of the time requirements of Web Services compositions via goal-driven models and model checking techniques. The goal-driven model used is an extension of the goal model KAOS and the model checker engine is the UPPAAL tool. The goal model specifies the properties that the system must satisfy and how they should be verified by using the model checker engine. In order to illustrate this approach, we apply these techniques to a basic Internet purchase process.

Research paper thumbnail of Model Checking Techniques applied to the design of Web Services

Clei Electronic Journal, 2007

Research paper thumbnail of Analysis of the SET e-commerce protocol using a true concurrency process algebra

Research paper thumbnail of Algebraic theory of probabilistic and nondeterministic processes

The Journal of Logic and Algebraic Programming, 2003

Research paper thumbnail of Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems

The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary... more The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with regard to such semantics, by ordinary Petri nets is presented. This codification is presented in a gradual way, beginning with that corresponding to a more restricted and thus simpler step semantics. This semantics does not allow

Research paper thumbnail of A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol

This paper reports the formal specification and performance evaluation of a phase in the Secure E... more This paper reports the formal specification and performance evaluation of a phase in the Secure Electronic Transaction (SET), an e-commerce protocol by Visa and MasterCard. We focus on the purchase phase which is modelled by means of a True Concurrency Timed Process Algebra (BTC), which takes into account the number of resources that the system has at its disposal. Here, we extend its syntax with the intention of representing what actions use the shared resources and how many resources the system has at its disposal. We then give a performance evaluation of this model where some interesting results are presented.

Research paper thumbnail of A Tool to Calculate Mechanical Forces on Railway Catenary

This paper presents the basis for the mechanical calculation of the catenary system in a railway,... more This paper presents the basis for the mechanical calculation of the catenary system in a railway, considering static wire equations. The objective is to allow an increment in the speed in railways by developing an accurate mechanical calculation of the electric wiring known as catenary. Two algorithms for the calculation are developed. In the first one, the exact weight of the wire is considered, while in the other, the weight of the wire is estimated as a uniform horizontal load. The second algorithm has been implemented in a software tool and is currently used by Spain's railway company RENFE to design the catenaries of its railways.

Research paper thumbnail of Heuristics for Quantum Computing Dealing with 3-SAT

Mathematics

The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3... more The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. We present an heuristics that leads this strategy, improving the performance of the purely random incremental scheme. We finally validate our approach by means of a thorough empirical study.

Research paper thumbnail of A Dynamic Model for the Study and Simulation of the Pantograph–Rigid Catenary Interaction with an Overlapping Span

Applied Sciences, 2021

In this paper, the authors present a mathematical and engineering model to optimally calculate th... more In this paper, the authors present a mathematical and engineering model to optimally calculate the dynamic equation on the pantograph–catenary interaction when considering a rigid catenary with an overlapping span. The model starts from well-known methods adapted to the special features of rigid catenary. As a result, an algorithm for the integration of a dynamic equation based on explicit methods is provided. Moreover, from this algorithm, a reliable, efficient, and user-friendly software tool called RICATI is developed in order to approach the model to railway-based companies. The results show the usefulness of an application. such as RICATI, to check the behavior of the configuration initially established for a catenary, allowing solutions to be obtained for the problems encountered when simulating the passage of the pantograph (or pantographs), not only for the overlapping span but also for the entire catenary. That encourages us to continue future works.

Research paper thumbnail of Advanced Algorithm to Calculate Mechanical Forces on a Catenary

WIT Transactions on the Built Environment, 2004

An advanced algorithm for the mechanical calculation of the catenary system in a railway is prese... more An advanced algorithm for the mechanical calculation of the catenary system in a railway is presented in this paper. The main objective is to allow an increment in the speed in railways, by developing an accurate mechanical calculation of the catenary. Among the different types of these kinds of electrical systems, the so called stitched catenary presents a better dynamical behavior, because it maintains a more uniform stiffness along the span. Of course, the price to be paid consists of a greater complexity due to the existence of two kinds of carriers, the main and the secondary ones. Finally, the presented algorithm will be used to implement a software tool.

Research paper thumbnail of Automation of Avionic Systems Testing

Lecture Notes in Computer Science, 2007

Research paper thumbnail of A Three-Dimensional Calculation for Dynamic Pantograph-Catenary Interaction

Proceedings of the Eleventh International Conference on Computational Structures Technology

Research paper thumbnail of A Distributed Memory Implementation of the Regional Atmospheric Model PROMES

Research paper thumbnail of A Denotational Model for Probabilistic and Nondeterministic Processes

Research paper thumbnail of Improving performance in flexible manufacturing systems

The Journal of Logic and Algebraic Programming, 2009

Research paper thumbnail of On the Amplitude Amplification of Quantum States Corresponding to the Solutions of the Partition Problem

In this paper we investigate the effects of a quantum algorithm which increases the amplitude of ... more In this paper we investigate the effects of a quantum algorithm which increases the amplitude of the states corresponding to the solutions of the partition problem by a factor of almost two. The study is limited to one iteration.

Research paper thumbnail of Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm

10th International Multimedia Modelling Conference, 2004. Proceedings., 2004

Research paper thumbnail of Quantum algorithm for doubling the amplitude of the search problem's solution states

In this paper we present a quantum algorithm which increases the amplitude of the states correspo... more In this paper we present a quantum algorithm which increases the amplitude of the states corresponding to the solutions of the search problem by a factor of almost two.

Research paper thumbnail of FORMAL VERIFICATION OF TLS HANDSHAKE AND EXTENSIONS FOR WIRELESS NETWORKS

Research paper thumbnail of Automatic Translation of WS-CDL Choreographies to Timed Automata

Research paper thumbnail of Analysis and Verification of Time Requirements Applied to the Web Services Composition

This work presents a new approach to the analysis and verification of the time requirements of We... more This work presents a new approach to the analysis and verification of the time requirements of Web Services compositions via goal-driven models and model checking techniques. The goal-driven model used is an extension of the goal model KAOS and the model checker engine is the UPPAAL tool. The goal model specifies the properties that the system must satisfy and how they should be verified by using the model checker engine. In order to illustrate this approach, we apply these techniques to a basic Internet purchase process.

Research paper thumbnail of Model Checking Techniques applied to the design of Web Services

Clei Electronic Journal, 2007

Research paper thumbnail of Analysis of the SET e-commerce protocol using a true concurrency process algebra

Research paper thumbnail of Algebraic theory of probabilistic and nondeterministic processes

The Journal of Logic and Algebraic Programming, 2003

Research paper thumbnail of Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems

The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary... more The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with regard to such semantics, by ordinary Petri nets is presented. This codification is presented in a gradual way, beginning with that corresponding to a more restricted and thus simpler step semantics. This semantics does not allow

Research paper thumbnail of A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol

This paper reports the formal specification and performance evaluation of a phase in the Secure E... more This paper reports the formal specification and performance evaluation of a phase in the Secure Electronic Transaction (SET), an e-commerce protocol by Visa and MasterCard. We focus on the purchase phase which is modelled by means of a True Concurrency Timed Process Algebra (BTC), which takes into account the number of resources that the system has at its disposal. Here, we extend its syntax with the intention of representing what actions use the shared resources and how many resources the system has at its disposal. We then give a performance evaluation of this model where some interesting results are presented.