Rapid Visual Screening (RVS) is a procedure that estimates structural scores for buildings and prioritize their retrofit and upgrade requirements. Despite the speed and simplicity of RVS, many of the collected parameters are non-commensurable and include subjectivity due to visual observations. It might cause uncertainties in the evaluation, which emphasizes the use of a fuzzy-based method. This study aims to propose a novel RVS methodology based on the interval type-2 fuzzy logic system (IT2FLS) to set the priority of vulnerable building to undergo detailed assessment while covering uncertainties and minimizing their effects during evaluation. The proposed method estimates the vulnerability of a building, in terms of Visual Damage Index, considering the number of stories, age of building, plan irregularity, vertical irregularity, building quality, and peak ground velocity, as inputs with a single output variable. Applicability of the proposed method has been investigated using a post-earthquake damage database of 28 reinforced concrete buildings from the Bingöl earthquake in Turkey.

In recent decades, power consumption has become an essential factor in attracting the attention of integrated circuit (IC) designers. Multiple-valued logic (MVL) and approximate computing are some techniques that could be applied to integrated circuits to make power-efficient systems. By utilizing MVL-based circuits instead of binary logic, the information conveyed by digital signals increases, and this reduces the required interconnections and power consumption. On the other hand, approximate computing is a class of arithmetic computing used in systems where the accuracy of the computation can be traded-off for lower energy consumption. In this paper, we propose novel designs for exact and inexact ternary multipliers based on carbon-nanotube field-effect transistors (CNFETs). The unique characteristics of CNFETs make them a desirable alternative to MOSFETs. The simulations are conducted using Synopsys HSPICE. The proposed design is compared against existing ternary multipliers. The results show that the proposed exact multiplier reduces energy consumption by up to 6X. At the same time, the best inexact design improves energy efficiency by up to 35X compared to the latest state-of-the-art methods. Using the imprecise multipliers for image processing provides evidence that these proposed designs are a low-power system with an acceptable error.

The proliferation of mobile and IoT devices, coupled with the advances in the wireless communication capabilities of these devices, have urged the need for novel communication paradigms for such heterogeneous hybrid networks. Researchers have proposed opportunistic routing as a means to leverage the potentials offered by such heterogeneous networks. While several proposals for multiple opportunistic routing protocols exist, only a few have explored fuzzy logic to evaluate wireless links status in the network to construct stable and faster paths towards the destinations. We propose FQ-AGO, a novel Fuzzy Logic Q-learning Based Asymmetric Link Aware and Geographic Opportunistic Routing scheme that leverages the presence of long-range transmission links to assign forwarding candidates towards a given destination. The proposed routing scheme utilizes fuzzy logic to evaluate whether a wireless link is useful or not by capturing multiple network metrics, the available bandwidth, link quality, node transmission power, and distance progress. Based on the fuzzy logic evaluation, the proposed routing scheme employs a Q-learning algorithm to select the best candidate set toward the destination. We implement FQ-AGO on the NS-3 simulator and compare the performance of the proposed routing scheme with three other relevant protocols: AODV, DSDV, and GOR. For precise analysis, we consider various network metrics to compare the performance of the routing protocols. Our simulation result validates our analysis and demonstrates remarkable performance improvements in terms of total network throughput, packet delivery ration, and end-to-end delay.

In this work, we present a model of the atom that is based on a nonclassical logic called paraconsistent logic (PL), which has the main property of accepting the contradiction in logical interpretations without the conclusions being annulled. The proposed model is constructed with an extension of PL called paraconsistent annotated logic with annotation of two values (PAL2v), which is associated with an interlaced bilattice of four vertices. We use the logarithmic function of the Shannon entropy H_(s) to construct the paraconsistent equations and thus adapt a probabilistic model for representations in quantum physics. Through analyses of the interlaced bilattice, comparative values are obtained for some of the phenomena and effects of quantum mechanics, such as superposition of states, quantum entanglement, wave functions, and equations that determine the energy levels of the layers of an atom. At the end of this article, we use the hydrogen atom as a basis of the representation of the PAL2v model, where the values of the energy levels in six orbital layers are obtained. As an example, we present a possible method of applying the PAL2v model to the use of Raman spectroscopy signals in the detection of lubricating mineral oil quality.

Using classical clinical observations, we first outline an elementary conceptual model for the Mind Representation System, then move to a more elaborate mathematical model that refers to discrete cofibration with enriched fibers.

Vehicular ad-hoc network (VANET) is a type of mobile network which is used for establishing connection between vehicles (M2M) and also between vehicles and nearby stationary equipment which are often road-side equipment. The main target of VANET is to provide security and convenience for the passengers. In order to achieve this goal, a special electronic device called OBU (On-Board Unit) is embedded in each vehicle which makes the connection between vehicles and between the vehicles and the road-side equipment possible. In this paper, the Location-Aware Clustering in Vehicular Ad-hoc Networks (LAC-VANET) is proposed. We try to achieve the main and major goal in VANET networks, i.e. fast propagation of security and urgent messages in ITS systems, using clustering and selecting the best cluster head based on Fuzzy logic such that the cluster head can transfer important information such as the obstacles and accidents detected on the road with a suitable speed and without creating a large traffic load in the vehicle network in order to notify other vehicles and prevent the danger and vehicle accidents. Moreover, LAC-VANET method is evaluated here via extensive simulations carried out in NS-2. The simulation results indicate that the VANET network performance metrics are improved in terms of average throughput, Packet Delivery Ratio (PDR), end to end delay, and packet loss rate.

Election Algorithm (EA) is a powerful metaheuristics model motivated by phenomena of the socio-political mechanism of the presidential election conducted in many countries. EA is selected as a topic of discussion due to its capability and robustness to carry out complex problems in the random-2SAT logic program. This paper utilizes a hybridized EA assimilated with the Hopfield neural network (HNN) in carrying out random logic program (HNN-R2SATEA). The efficiency of the proposed method was compared with the existing traditional exhaustive search (HNN-R2SATES) model and the recently introduced HNN-R2SATICA model. From the result obtained, clearly proven that based on our proposed hybrid model outperformed other existing model based on the Global Minima Ratio (ZM), Mean Absolute Error (MAE), Bayesian Information Criterion (BIC) and Execution Time (ET). The expected outcome portrays that the EA algorithm outperformed the other two algorithms in doing random-kSAT logic program. The results proved the robustness, effectiveness, and compatibility of the HNN-R2SATEA model.

Cooperative non-orthogonal multi access communication is a promising paradigm for the future wireless networks because of its advantages in terms of energy efficiency, wider coverage and interference mitigating. In this paper, we study the secrecy performance of a downlink cooperative non-orthogonal multi access (NOMA) communication system under the presence of an eavesdropper node. Smart node selection based on feed forward neural networks (FFNN) is proposed in order to improve the physical layer security (PLS) of a cooperative NOMA network. The selected cooperative relay node is employed to enhance the channel capacity of the legal users, where the selected cooperative jammer is employed to degrade the capacity of the wiretapped channel. Simulations of the secrecy performance metric namely the secrecy capacity ($C_S$) are presented and compared with the conventional technique based on fuzzy logic node selection technique. Based on our simulations and discussions the proposed technique outperforms the existing technique in term the of secrecy performance.

An orthogonal pore ('orthopore') is conceptually based on an electrolytic cell with a standard pore (the main or 'longitudinal' pore) between cis and trans compartments filled with electrolyte and augmented by a secondary or 'transverse' pore in the form of a channel that is perpendicular to and intersects the main pore. Orthopores can be designed at different scales: macro through micro to nano. With nano-sized pores an analyte (polymer) can be threaded through the main pore and exposed at the junction to electrolyte flow through the secondary pore. Polymer translocation speeds are then independent of the current measured, which can be of an arbitrary magnitude even with the polymer stationary. Orthopores have a wide range of potential applications, including polymer (DNA and protein) sequencing, DNA unzipping, logic circuitry, and protein identification. The present report shows how orthopores can be used to implement boolean logic.

The Landauer principle asserts that “the information is physical”. In its strict meaning Landauer's principle states that there is a minimum possible amount of energy required to erase one bit of information, known as the Landauer bound W=kBTln2 where T is the temperature of a thermal reservoir used in the process and kB is Boltzmann’s constant. Modern computers use the binary system in which a number expressed in the base-2 numeral system. We demonstrate that the Landauer principle remains valid for the physical computing device based on the ternary and more generally N-based logic. The energy necessary for erasure of one bit of information (the Landauer bound) W=kBTln2 remains untouched for the computing devices exploiting a many-valued logic.

We propose a concept of hybrid nanoelectronic-magnetic device for logic integrated platforms made of magnetic core-shell nanoparticles deposited onto prepatterned Si (111) substrate with basic logic circuitry made of metallic conductive lines. The synthesis of magnetic material and the creation of nanoelectronic prepatterned interdigitated die is reported and its capabilities are demonstrated in terms of magnetotransport properties. The laser pyrolysis method is employed in order to synthesize magnetic core-shell Fe / FeC nanoparticles with sizes between 12 – 15 nm. E-beam lithography has been used in order to design and execute two different layouts of interdigitated die, prepatterned with logic capacity, one with two pads and 50 microns thick conductive metallic lines, another one with 4 pads and parallel 5 microns thick conductive lines separated by 5 microns thick spacer. The as-obtained structures are morphologically characterized by means of optical, scanning and transmission electron microscopies. As-synthesized core-shell nanoparticles have been magnetically characterized inasmuch as the hybrid device obtained by depositing centrifugated and dispersed core-shell nanoparticles from liquid carrier solutions. For the first time, a significant giant magnetoresistive (GMR) effect has been observed and measured for the hybrid architectured device made of Fe / FeC nanosized materials on pre-patterned interdigitated die. A ∆R/R of 8% at 4.2 K has been measured from conductivity-in-plane electron transport measurements. This opens possibilities for the use of such devices as arrays of nanosensors and in spintronic applications.

We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.

Our method for density elimination is generalized to the non-commutative substructural logic GpsUL∗. Then the standard completeness of HpsUL∗follows as a lemma by virtue of previous workbyMetcalfeandMontagna. This result shows that HpsUL∗ is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.

As e-commerce services and Internet technology have rapidly developed in recent years, many services and applications integrating these technologies can now be completed online. These commercial activities include online auctions, online ticketing and online payments. The client shops from the store online, andthe store delivers the goods to the client. The goods can be divided into digital products without entities, as well as actual entities. If it is a physical product, the store will deliver the package to the client through itslogistics. However, there have been many cases of switched goods purchased by clients in recent years. Earlier, some scholars proposed a security mechanism with a subliminal channel for E-cash and digital content. Only the sender and the receiver would know that the secret information was hidden in the signature. So the privacy of this subliminal message couldbe ensured. We apply this concept to the logistics environment to design secure logistics architecture with subliminal messages. The client can check the subliminal message of the received package, and know whether the package has been switched by malicious people. In addition, the proposed scheme also applies sensor technology;the client can check the GPS location, the temperature and humidity at any time during the delivery process. So intelligent logisticswouldthereby be achieved. This paper proposes an intelligent and secure package sensoring logistics system based on a subliminal channel. The proposed architecture uses the related mechanisms tosolve the problems of a logistics system, including how to achieve mutual authentication, data integrity, anti-switch package, package location and status tracing, resisting replay attacks, forward and backward secrecy, and non-repudiation issues.

Traditional silicon binary circuits continue to face challenges such as high leakage power dissipation and large area of interconnections. Multiple-Valued Logic (MVL) and nano-devices are two feasible solutions to overcome these problems. In this paper, we present a novel method to design ternary logic circuits based on Carbon Nanotube Field Effect Transistors (CNFETs). The proposed designs use the unique properties of CNFETs, e.g., adjusting the Carbon Nanotube (CNT) diameters to have the desired threshold voltage and have the same mobility of P-FET and N-FET transistors. Each of our designed logic circuits implements a logic function and its complementary via a control signal. Also, these circuits have a high impedance state which saves power while the circuits are not in use. We show a more detailed application of our approach by designing a two-digit adder-subtractor circuit. We simulate the proposed ternary circuits using HSPICE via standard 32nm CNFET technology. The simulation results indicate the correct operation of the designs under different process, voltage and temperature (PVT) variations. Moreover, we designed a two-digit adder/subtractor and a power efficient ternary logic ALU based on the proposed gates. Simulation results show that the two-digit adder/subtractor using our proposed gates has 12X and 5X lower power consumption and PDP (power delay product) respectively, compared to previous designs.

This article addresses the role the Word-Acaid Philosophy plays in directing or guiding human behaviour in all situations and circumstances. It discusses the origin of the philosophy when I asked myself the following question: “Why do I do what I do when I do what I do?” This question led me to carefully self-examine to discover the reason for my behaviours. Once the philosophy was crafted, I observed that all other human beings seem to go through the same process. The philosophy did not originate as a formal study. However, in this article I did a systematic study on the concepts to verify the initial propositions. In order to achieve my goal a formal study was done using a descriptive approach to explicate the modus operandi of the philosophy with a view of understanding its nature and the role each of the essential elements plays. A conceptual analysis method was used focusing on the definition of key concepts. It was conclusively found that each concept played a significant role in driving human behaviour in every situation. The findings’ implications are very significant to trainers, coaches, educators and all whose goal is to affect human beings towards particular exit outcomes. The findings made it very simple also for me to deductively conclude that the philosophy is a system and is valid.

Satellites are subject to various severe vibration during different phases of flight. The concept of satellite smart adapter is proposed in this study to achieve active vibration control of launch vehicle on satellite. The satellite smart adapter has 18 active struts in which the middle section of each strut is made of piezoelectric stack actuator. Comprehensive conceptual design of the satellite smart adapter is presented to indicate the design parameters, requirements and philosophy applied which are based on the reliability and durability criterions to ensure successful functionality of the proposed system. The coupled electromechanical virtual work equation for the piezoelectric stack actuator in each active strut is drived by applying D'Alembert's principle. Modal analysis is performed to characterize the inherent properties of the smart adapter and extraction of a mathematical model of the system. Active vibration control analysis was conducted using fuzzy logic control with triangular membership functions and acceleration feedback. The control results conclude that the proposed satellite smart adapter configuration which benefits from piezoelectric stack actuator as elements of its 18 active struts has high strength and shows excellent robustness and effectiveness in vibration suppression of launch vehicle on satellite.

Two representable substructural logics ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are logics for finite UL and IUL-algebras, respectively. In this paper, the standard completeness of ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ is proved by the method developed by Jenei, Montagna, Esteva, Gispert, Godo and Wang. This shows that ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are substructural fuzzy logics.

We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. But what does it happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum registers measurements? This paper gives an answer to this question, and, quite surprising, shows that such a logic is nothing else that the standard propositional intuitionistic logic.

This paper presents a method to detect and classify the high impedance fault that occur in the medium voltage distribution network using discrete wavelet transform (DWT) and adaptive neuro-fuzzy inference system (ANFIS). The network is designed using Matlab software and various faults such as high impedance, symmetrical and unsymmetrical fault have been applied to study the effectiveness of the proposed ANFIS classifier method. This is achieved by training the ANFIS classifier using the features (standard deviation values) extracted from the three phase fault current signal by DWT technique for various cases of fault with different values of fault resistance in the system. The success and discrimination rate obtained for identifying and classifying the high impedance fault from the proffered method is 100% whereas the values are 66.7% and 85% respectively for conventional fuzzy based approach. The results indicate that the proposed method is more efficient to identify and discriminate the high impedance fault accurately from other power system faults in the system.

DNA origami has emerged in recent years as a powerful technique for designing and building 2D and 3D nanostructures. While the breadth of structures that have been produced is impressive, one of the remaining challenges, especially for DNA origami structures intended to carry out useful biomedical tasks in vivo, is to endow them with the ability to detect and respond to molecules of interest. Target molecules may be disease indicators or cell surface receptors, and the responses may include conformational changes leading to release of therapeutically relevant cargo. Nucleic acid aptamers are ideally suited to this task and are beginning to be used in DNA origami designs. In this review we consider examples of uses of DNA aptamers in DNA origami structures and summarise what is currently understood regarding aptamer-origami integration. We review three major roles for aptamers in such applications: protein immobilisation, triggering of structural transformation, and cell targeting. Finally, we consider future perspectives for DNA aptamer integration with DNA origami.

Solar Energy has enormous potential to fulfill the energy requirements of the world and can be extracted using solar cells. However, the solar cells are affected by poor efficiency and further affected by wind speed, orientation of the panel, temperature and dust deposition. There are different cleaning technologies devised by many industry experts to clean the solar panels. However, they are facing drawbacks when deployed in the solar farm. An efficient cleaning system, along with an added cooling system must be devised, so that the solar panels must be cleaned and cooled often to maximize the energy production. This paper presents a low-cost, energy-efficient, smart and innovative dust cleaning and cooling system for Photovoltaic (PV) Panels. The system is designed, fabricated, fully-automated using Programmable Logic Controller (PLC) and tested successfully. A battery-charging kiosk, capable of charging two, 24V Lead Acid Batteries embedded within this prototype, shall provide clean-energy in a sustainable manner to the rural communities of the developing nations. The user can check the status of the battery such as battery voltage, battery temperature, and state of charge on the Human Machine Interface (HMI) panel while charging the batteries

ABSTRACT Ethiopia is a developing country, where majority of the population lives in rural areas without access to electricity. 83% of the total population of the country use traditional biomass energy as a basic source of energy. In contrast, the country is endowed with sufficient renewable energy resources which can be used as a standalone electric energy supply system for electrifying remote areas of the country. These resources are mainly micro hydropower and wind which can be used individually or the best combination of one another. The application of hybrid renewable energy system has become an important alternative solution for rural electrification program. The Modeling and control of a hybrid PV-Wind-Hydro DG system is also addressed. Dynamic models for the major system components, namely, wind energy conversion system, PV energy conversion system, hydro, inverter, and overall fuzzy logic controller units are developed. Then, a simulation model for the proposed hybrid power system has been developed using MATLAB /Simulink environment. This is done by creating subsystem sets of the major dynamic component models and then assembling into a single aggregate model. The overall power management strategy for coordinating and/or controlling the different energy sources is also presented in the thesis work. Generally there are 800 households with total electric demand of 71.6KW.To satisfy this demand 52%, 35% and 13% is to be contributed from wind/hydro/solar respectively. To use the power economically fuzzy logic controller is used. The controller monitors the demand and the available sources and then switches to the appropriate power supply according to the written rules. Simulations have been carried out to verify the system dynamic performance using a practical load profile and weather data. The result shows that the overall power management strategy is effective and the load demand is balanced. To complete this work, a grid extension from the closest substation has been compared with hybrid system. Cost of the grid extension is estimated based on the data obtained from EEP office. This is done in order to compare the cost of the designed hybrid power system against the cost of grid extension. The result shows that breakeven grid extension distance to be 23.9km which indicates that grid extension is preferable.

This research work deals hybrid control system based integrated Cuk converter fed brushless DC motor (BLDCM) for power factor correction. In this work, moth-flame optimization (MFO) and fuzzy logic controller (FLC) has been combined and moth –flame fuzzy logic controller (MFOFLC) has been proposed. Firstly, the BLDC motor modelling is composed with power factor correction (PFC) based integrated Cuk converter and BLDC speed is regulated using variable DC-Link inverter voltage which makes low switching operation with less switched losses. Here, with the use of switched inductor, the task and execution of proposed converter is redesigned. The DBR (diode bridge rectifier) trailed by proposed PFC based integrated Cuk converter operates in discontinuous inductor conduction mode(DICM) for achievement of better power factor.MFO is exhibited for gathering of dataset from the input voltage signal. At that point separated datasets is send to FLC to improve the updating function and minimization of torque ripple. However, our main objective is to assess adequacy of proposed method, the power factor is broke down. The execution of the proposed control methodology is executed in MATLAB/Simulink working platform and the display is assessed with the existing techniques.

A novel metaheuristic optimization method is proposed based on an earthquake that is a geology phenomenon. The novel Earthquake Algorithm (EA) proposed, adapts the principle of propagation of geology waves P and S through the earth material composed by random density to ensure the dynamic balance between exploration and exploitation, in order to reach the best solution to optimization complex problems by searching for the optimum into the search space. The performance and validation of the EA are compared against the Bat Algorithm (BA) and the Particle Swarm Optimization (PSO) by using 10 diverse benchmark functions. In addition, an experimental engineering application is implemented to evaluate the proposed algorithm. Early results show a feasibility of the proposed method with a clearly constancy and stability. It is important highlight the fact that the main purpose of this paper is to present a new line of research, which is opened from the novel EA.

This research work explains the practical realization of hybrid solar wind based standalone power system with maximum power point tracker (MPPT) to produce electrical power in rural places (residential applications). The solar inspired Ant Colony Optimization (ACO) based MPPT algorithm is employed for the purpose of fast and accurate tracking power from solar and wind system. Fuzzy Logic Control (FLC) inverter controlling strategy is adopted in this presented work compared to classical PI control. Moreover, single Cuk converter is operated as impedance power adapter to execute MPPT functioning. Satisfactory practical results have been realized using dSPACE (DS1104) platform that justify the superiority of proposed algorithms designed under various operating situations.

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences, and distinguishability, and is formalized using the distinctions (`dits') of a partition (a pair of points distinguished by the partition). All the definitions of simple, joint, conditional, and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates (cohered together in the pure superposition state being measured) that are distinguished by the measurement (decohered in the post-measurement mixed state). Both the classical and quantum versions of logical entropy have simple interpretations as "two-draw" probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states.

Trends such as Industrial Internet of Things (IIoT) and Industry 4.0 have increased the need to use powerfull network technologies in industrial automation. The growing communication in industrial automation is harnessing the productivity and efficiency of manufacturing and process automation with minimum human intervention. Due to the ongoing evolution of industrial networks from Fieldbus technologies to Ethernet, the new opportunity has emerged to integrate the Software Defined Networking (SDN) technique. In this paper, we provide a brief overview of SDN in the domain of industrial automation. We propose a network architecture called Software Defined Industrial Automation Network (SDIAN), with the objective of improving network scalability and efficiency. To match the specific considerations and requirements of having a deterministic system in an industrial network, we propose two solutions for flow creation: Pro-active Flow Installation Scheme (PFIS) and Hybrid Flow-Installation Scheme (HFIS). We analytically quantify the proposed solutions in alleviating the overhead incurred from the flow setup cost. The analytical model is verified through monte carlo simulations. We also evaluate the SDIAN architecture and analyze the network performance of the modified topology using an emulator called Mininet. We further list and motivate SDIAN features and in particular report on an experimental food processing plant demonstration featuring Raspberry PIs (RPIs) instead of traditional Programmable Logic Controllers (PLCs). Our demonstration exemplifies the characteristics of SDIAN.

Human footprint is having a unique set of ridges unmatched by any other human being, and therefore it can be used in different identity documents for example birth certificate, Indian biometric identification system AADHAR card, driving license, PAN card, and passport. There are many instances of the crime scene where an accused must walk around and left the footwear impressions as well as barefoot prints and therefore it is very crucial to recovering the footprints to identify the criminals. Footprint-based biometric is a considerably newer technique for personal identification. Fingerprints, retina, iris and face recognition are the methods most useful for attendance record of the person. This time world is facing the problem of global terrorism. It is challenging to identify the terrorist because they are living as regular as the citizens do. Their soft target includes the industries of special interests such as defense, silicon and nanotechnology chip manufacturing units, pharmacy sectors. They pretend themselves as religious persons, so temples and other holy places, even in markets is in their targets. These are the places where one can obtain their footprints easily. The gait itself is sufficient to predict the behaviour of the suspects. The present research is driven to identify the usefulness of footprint and gait as an alternative to personal identification.

Arabic was the language of philosophy, logic, Islamic sciences and rhetorical linguistic sciences. It was used in the writing of all sciences generally and became the language of world culture. Although the other languages of the Islamic world had a little share, but all peoples of Islamic countries; Arabs and non-Arabs, Muslims and non-Muslims attributed to that movement appreciated. Hence, Arab sciences flourished in their bright ages. Arabic language was a cultural container of the ancient Greek and Latin intellectual heritage. As the ancient Greek and Latin sciences and literatures were translated into Arabic in the bright ages of Islam. Arab language was a strong bond for them, as a common human heritage for the centuries to save it from being lost, as Muslims used it to develop their sciences and arts, as Muslims in the East used the Western sciences and literatures in the modern age, because they are not Eastern or Western, but the common efforts of all humanity. Arabic language opened for the dictionaries ​​and other tongues of cross-fertilization, civil friction and simulation. Arabic had become the language of sciences: mathematics, astronomy, engineering, logic, philosophy, mysticism, agriculture, industry and economics by the continuous efforts of scientists in their scientific research, invention, experimentation, knowledge collection and classification in various fields, where orientalists recognized the Arab leadership. That scientific and literary civilization moved to Europe through Italy, Andalusia, Crusades and the Ottoman Caliphate. Europeans learned Arabic language, literature and sciences in the centers of Toledo, Fez and cities of Maghreb.

In this paper, some characterizations of fuzzifying strong compactness are given, including characterizations in terms of nets and pre -subbases. Several characterizations of locally strong compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.

Human non-conscious reasoning is one of the most successful procedures developed to solve everyday problems in an efficient way. This is why the field of artificial intelligence should analyze, formalize and emulate the multiple ways of non-conscious reasoning with the purpose of applying them in knowledge based systems, neurocomputers and similar devices for aiding people in the problem-solving process. In this paper, a framework for those non-conscious ways of reasoning is presented based on object-oriented representations, fuzzy sets and multivalued logic.

Natural events such as floods, fires, tsunamis, earthquakes and others have nowadays caused serious damage to human beings and nature. The precise detection of these natural events and especially the earthquake has nowadays become the focus of many computer and geoscientific researchers. Computer science and machine learning algorithms have revolutionized early detection and prediction of these events. Hence, a fuzzy method has been initially used in this article to enhance the authenticity of data based on application of effective variables and then combination of neural network algorithms of the MLP perceptron and radial network of RBF in form of a collective learning system in order to more accurately identify seismic events on a small scale. It was observed after simulating the proposed method that the proposed method has significantly improved based on actual error and root-mean-square error (RMSE) criteria compared to basic methods.

The scheme to realize high speed (~250Gb/s) all-optical Boolean logic gates using semiconductor optica amplifiers with quantum-dot (QD-SOA) is introduced and analyzed in this review. Numerical simulation method was presented by solving the rate equation and taking into account nonlinear dynamics including carrier heating and spectral hole-burning. Binary phase shift keyed (BPSK) signal and on-off keyed signal are used to generate high speed all-optical logic gates. The applications based on all-optical logic gates such as, all-optical latches, pseudo random bit sequence (PRBS) generation and all-optical encryption, are also discussed in this review. Results show that the scheme based on QD-SOA is a promising method for the realization of high speed all-optical communication system in the future.

The fault diagnosis of wind farms has been proven to be a challenging task and motivates the research activities carried out through this work. Therefore, this paper deals with the fault diagnosis of a wind park benchmark model, and it considers viable solutions to the problem of earlier fault detection and isolation. The design of the fault indicator involves data-driven approaches, as they can represent effective tools for coping with poor analytical knowledge of the system dynamics, noise, uncertainty and disturbances. In particular, the proposed data-driven solutions rely on fuzzy models and neural networks that are used to describe the strongly nonlinear relationships between measurement and faults. The chosen architectures rely on nonlinear autoregressive with exogenous input models, as they can represent the dynamic evolution of the system along time. The developed fault diagnosis schemes are tested by means of a high-fidelity benchmark model, that simulates the normal and the faulty behaviour of a wind farm installation. The achieved performances are also compared with those of a model-based approach relying on nonlinear differential geometry tools. Finally, a Monte-Carlo analysis validates the robustness and the reliability of the proposed solutions against typical parameter uncertainties and disturbances.

In this paper, a geometric model is introduced for Neutrosophic data problem for the first time. This model is based on neutrosophic sets and neutrosophic relations. Neutrosophic control points are defined according to these points, resulting in neutrosophic Bézier curves.

In service economy, scholars and practitioners focus on the development and the appliance of innovative services. The importance of service innovation is rising in many sectors and among different organizations. Several disciplines (e.g. marketing, management, operations research, etc.) focus on this innovation, a concept widely used, but with different definitions. In this paper, service innovation has been analyzed according to SD Logic and a service ecosystem perspective. Literature still call for a deeper understanding of how new or renewed resources’ combination affect the shaping of service ecosystems. To contribute to fill this gap, the study explores the practices that different actors, internal and external to a healthcare service ecosystem, enact to co-create value in novel ways that is service innovation. The paper is structured as follows. In the next section, the main academic contributions on service research have been reviewed, focusing on healthcare service innovation. Follows, the research method and the discussion of research findings. Finally, theoretical and managerial implications have been detailed and an agenda for future research suggested. The paper offers interesting insights to develop new or renewed practices that foster the reshaping and maintaining of a healthcare service ecosystem. Some recommendations are included to support managers in the development of service innovation strategies.

Iterated games, in which the same economic interaction is repeatedly played between the same agents, are an important framework for understanding the effectiveness of strategic choices over time. To date very little work has applied information theory to the information sets used by agents in order to decide what action to take next in such strategic situations. This article looks at the mutual information between previous game states and an agent's next action by introducing two new classes of games: ’invertible games’ and ‘cyclical games'. By explicitly expanding out the mutual information between past states and the next action we show under what circumstances these expressions can be simplified. These information measures are then applied to the Traveler's Dilemma game and the Prisoner's Dilemma game, the Prisoner's Dilemma being invertible, to illustrate their use. In the Prisoner's Dilemma a novel connection is made between the computational principles of logic gates and both the structure of games and the agents' decision strategies. This approach is applied to the cyclical game Matching Pennies to analyse the foundations of a behavioural ambiguity between two well studied strategies: ‘Tit-for-Tat' and ’Win-Stay, Lose-Switch'.

I introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic, and of neutrosophic propositional logic. In order for the paper to be self-contained, I also recall the etymology and definition of neutrosophy and of neutrosophic logic. Several examples are presented as well.

In this paper it is examined how, if at all, logical laws can be normative for human reasoning, wherein the notion of normativity is analysed with respect to approaches to logic given in works of Aristotle, Descartes, Kant, Frege and Wittgenstein. During the ancient and medieval period, logic was being considered in terms of discourse and dialogical practice, but since Descartes and especially Kant it has been treated as a system of laws with which the process of individual human reasoning has been compared. Therefore, normativity can be investigated in private sphere (for thinking and reasoning) and in public sphere (for dialogic practices in a community). Wittgenstein discussed both aspects of normativity: in Tractatus, a focus is on laws of logic that are primarily normative for the state of affairs in the world, while in Philosophical Investigations an emphasis is on a social aspect of normativity (which is closer to Aristotle’s view), which is derived from adopted rules that have been applied in a certain community. Taken that way, logic is certainly normative in the public sphere, but the more difficult issue is whether logic is normative for thinking, regarding to the difference between the logical laws and those of thought.