Development of ensemble machine learning approaches for designing fiber-reinforced polymer composite strain prediction model

Engineering with Computers - Over the past few decades, it has been observed a remarkable progression in the development of computer aid models in the field of civil engineering. Machine learning...     

Application of Fuzzy Moving Sliding Surface Approach for Container Cranes

International Journal of Control, Automation and Systems - In this paper, we consider the fuzzy moving sliding surface anti-sway control problem for container cranes. We first introduce the dynamic...     

Visual enhancement of underwater images using Empirical Mode Decomposition

Most underwater vehicles are nowadays equipped with vision sensors. However, it is very likely that underwater images captured using optic cameras have poor visual quality due to lighting conditions in real-life applications. In such cases it is useful to apply image enhancement methods to increase visual quality of the images as well as enhance interpretability and visibility. In this paper, an Empirical Mode Decomposition (EMD) based underwater image enhancement algorithm is presented for this purpose. In the proposed approach, initially each spectral component of an underwater image is decomposed into Intrinsic Mode Functions (IMFs) using EMD. Then the enhanced image is constructed by combining the IMFs of spectral channels with different weights in order to obtain an enhanced image with increased visual quality. The weight estimation process is carried out automatically using a genetic algorithm that computes the weights of IMFs so as to optimize the sum of the entropy and average gradient of the reconstructed image. It is shown that the proposed approach provides superior results compared to conventional methods such as contrast stretching and histogram equalizing.     

Comparison of OR and AI methods in discrete manufacturing using fuzzy logic

Since 1950s the techniques of Operations Research (OR) and Optimization have been utilized to increase the efficiency of the production systems. With the widespread use of computers, it has even become easier to deal with industrial problems. However the complexity of the problems still reveals the difficulty in providing solutions. The use of artificial intelligence (AI) seems to attract the attention of the researcher to overcome to the difficulties. This has already been realized with several successful applications. In this study, the use of AI and OR techniques is compared using fuzzy logic. The progress of manufacturing systems, characteristics of production processes, system managements and system behavior are taken into account. The study is focussed on only discrete manufacturing.     

External Rewriting for Skeptical Proof Assistants

This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly associative-commutative term rewriting into proof assistants based on constructive type theory. Our approach is called external because it consists in performing term rewriting in a specific and efficient environment and checking the computations later in a proof assistant. Two typical systems are considered in this work: ELAN, based on the rewriting calculus, as the term rewriting-based environment, and Coq, based on the calculus of inductive constructions as the proof assistant. We first formalize the proof terms for deduction by rewriting and strategies in ELAN using the rewriting calculus with explicit substitutions. We then show how these proof terms can soundly be translated into Coq syntax where they can be directly type checked. For the method to be applicable for rewriting modulo associativity and commutativity, we provide an effective method to prove equalities modulo these axioms in Coq using ELAN. These results have been integrated into an ELAN-based rewriting tactic in Coq.     

An efficient anonymous authentication protocol in multiple server communication networks (EAAM)

In a multi-server authentication environment, a user only needs to register once at a central registration place before accessing the different services on the different registered servers. Both, from a user point of view as for the management and maintenance of the infrastructure, these types of environments become more and more popular. Smartcard- or smartphone-based approaches lead to more secure systems because they offer two- or three-factor authentication, based on the strict combination of the user’s password, the user’s biometrics and the possession of the device. In this paper, we propose an efficient anonymous authentication protocol in multiple server communication networks, called the EAAM protocol, which is able to establish user anonymity, mutual authentication, and resistance against known security attacks. The novelty of the proposed scheme is that it does not require a secure channel during the registration between the user and the registration center and is resistant to a curious but honest registration system. These features are established in a highly efficient way with the minimum amount of communication flows between user and server during the establishment of the secret shared key and by using light-weight cryptographic techniques such as Chebyshev chaotic map techniques and symmetric key cryptography. The performance and security of the protocol are analyzed and compared with the latest new proposals in this field.