Automatic symbolic derivation of order conditions for two-stage complex Rosenbrock schemes

Rosenbrock methods are known to be good in numerical modeling of stiff problems. In this work, a new symbolic algorithm is proposed for automating the derivation of order conditions for two-stage Rosenbrock schemes with complex coefficients. Software implementation of the proposed algorithm is discussed in detail.     

Automatic verification of reduction techniques in Higher Order Logic

In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to use the consistency of the specifications to verify if the reduced model is faithful to the original one. The user provides the reduction technique, the specification and the system under verification. Then, using Higher Order Logic he verifies automatically if the reduction technique is soundly applied. The method is completely defined in an MDG–HOL special integration platform that combines an automatic high level model checking tool Multiway Decision Graphs (MDGs) within the HOL theorem prover. We provide two case studies, the first one is the reduction using SAT–MDG of an Island Tunnel Controller and the second one is the MDG–HOL assume-guarantee reduction of the Look-Aside Interface. The obtained results of our approach offer a considerable gain in terms of the correctness of heuristics and reduction techniques as applied to commercial model checking, however a small penalty is paid in terms of CPU time and memory usage.     

Error rates of DPSK systems with MIMO EGC diversity reception over Rayleigh fading channels

This paper analyzes the average bit error probability (BEP) of the differential binary and quaternary phase-shift keying (DBPSK and DQPSK respectively) with multiple-input multiple-output (MIMO) systems employing postdetection equal gain combining (MIMO EGC) diversity reception over Rayleigh fading channels. Finite closed-form expressions for the average BEP of DBPSK and DQPSK are presented. Two approaches are introduced to analyze the error rate of DQPSK. The proposed structure for the differential phase-shift keying (DPSK) with MIMO EGC provides a reduced-complexity and low-cost receiver for MIMO systems compared to the coherent phase-shift keying system (PSK) with MIMO employing maximal ratio combining (MIMO MRC) diversity reception. Finally, a useful procedure for computing the associated Legendre functions of the second kind with half-odd-integer order and arbitrarily degree is presented.     

The Role of Antibodies in the Treatment of SARS-CoV-2 Virus Infection,and Evaluating Their Contribution to Antibody-Dependent Enhancement of Infection

Antibodies play a crucial role in the immune response, in fighting off pathogens as well as helping create strong immunological memory. Antibody-dependent enhancement (ADE) occurs when non-neutralising antibodies recognise and bind to a pathogen, but are unable to prevent infection, and is widely known and is reported as occurring in infection caused by several viruses. This narrative review explores the ADE phenomenon, its occurrence in viral infections and evaluates its role in infection by SARS-CoV-2 virus, which causes coronavirus disease 2019 (COVID-19). As of yet, there is no clear evidence of ADE in SARS-CoV-2, though this area is still subject to further study.     

A novel energy‐aware routing mechanism for SDN‐enabled WSAN

Energy consumption is one of the most important design constraints when building a wireless sensor and actuator network since each device in the network has a limited battery capacity, and prolonging the lifetime of the network depends on saving energy. Overcoming this challenge requires a smart and reconfigurable network energy management strategy. The Software‐Defined Networking (SDN) paradigm aims at building a flexible and dynamic network structure, especially in wireless sensor networks. In this study, we propose an SDN‐enabled wireless sensor and actuator network architecture that has a new routing discovery mechanism. To build a flexible and energy‐efficient network structure, a new routing decision approach that uses a fuzzy‐based Dijkstra's algorithm is developed in the study. The proposed architecture can change the existing path during data transmission, which is the key property of our model and is achieved through the adoption of the SDN approach. All the components and algorithms of the proposed system are modeled and simulated using the Riverbed Modeler software for more realistic performance evaluation. The results indicate that the proposed SDN‐enabled structure with fuzzy‐based Dijkstra's algorithm outperforms the one using the regular Dijkstra's and the ZigBee‐based counterpart, in terms of the energy consumption ratio, and the proposed architecture can provide an effective cluster routing while prolonging the network lifetime.     

Enhanced frontier-based exploration for indoor environment with multiple robots

In this paper, the exploration and map-building of unknown environment by a team of mobile robots is intensively investigated. A new exploration technique is proposed to increase the exploration efficiency. In particular, the new technique has two main objectives: firstly, it aims at reducing the exploration time and the traveled distance by reducing the overlap which takes place when a certain area in the environment is explored by more than one robot. To achieve this, a new procedure to assign the next target location for each individual robot is proposed. And secondly, it aims at reducing computations complexity required by target selection and path planning tasks. More importantly, the proposed technique obviates the need for environment segmentation complex procedures which is adopted in some previous important research works. The new technique is intensively tested with different environments. The results showed the effectiveness of the proposed technique.     

6D μ cooling using a solenoid-dipole ring cooler for a muon collider

Six dimensional cooling of large emittance μ⁺ and μ⁻ beams is required in order to obtain the desired luminosity for a muon collider. We propose to use a ring cooler that employs both dipoles and solenoids with the additional requirement that the arcs of the ring be achromatic. We describe the lattice and the beam dynamics of the proposed ring, and demonstrate that the lattice gives substantial cooling in all 6 phase space dimensions.     

Processor control in computerized data-acquisition systems

A method is proposed for detecting single and double processor errors during arithmetic and logicaloperations with reduced time consumption.     

Artificial neural network application of modeling failure rate for Boeing 737 tires

This paper presents an application of artificial neural network (ANN) technique for conducting the reliability analysis of Boeing 737 tires. For this purpose, an ANN model utilizing the feed‐forward back‐propagation algorithm as a learning rule is developed. The inputs to the neural network are the flight operational time and the number of landings as independent variables and the output is the failure rate of the tires. Two years of data are used for failure rate prediction model and validation. Model validation, which reflects the suitability of the model for future predictions, is performed by comparing the predictions of the model with that of Weibull regression model. The results show that the failure rate predicted by the ANN is closer in agreement with the actual data than the failure rate predicted by the Weibull model. The present work also identifies some of the common tire failures and presents representative results based on the established model for the most frequently occurring tire failure. Copyright © 2010 John Wiley & Sons, Ltd.