Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Programming and Computer Software - In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the...     

The multi-fuzzy N-soft set and its applications to decision-making

Neural Computing and Applications - The goal of this paper is to introduce a novel hybrid model called multi-fuzzy N-soft set, and to design an adjustable decision-making methodology for solving...     

A Multiscale-Porous Anion Exchange Membrane for Convenient and Scalable Electrokinetic Concentration of Cationic Species

A device able to electrokinetically concentrate cationic samples has many potential medical and industrial applications, but until now has remained undeveloped due to the lack of a commercial anion-permselective material leading to a prohibitively complex fabrication procedure. Herein, a novel multiscale-porous anion exchange membrane (MP-AEM) that enables the convenient and scalable electrokinetic concentration of cationic species is proposed. A mechanically enhanced multiscale-porous structure with a solid framework is realized by adopting polyester resin as an additive to overcome the intrinsic limitations of the AEM material. The scalable MP-AEM-embedded electrokinetic concentrator is devised based on the peculiar properties of the MP-AEM that for allow both ion and fluid transport. With the MP-AEM, the concentrator is fabricated in a highly streamlined manner consisting only of a simple insertion and assembly. The concentration performance of the MP-AEM-embedded electrokinetic concentrator is demonstrated with a positively charged fluorescent dye and a fluorescein-labeled protein, and the results show enrichment factors of 250 and 500, respectively. The MP-AEM makes cationic electrokinetic concentration more accessible and scalable, thereby enabling further progress in a wide range of fields.     

Development of DSL Compilers for Specialized Processors

Programming and Computer Software - Modern computer systems often include specialized processors that are programmed in domain-specific languages. The compiler-in-the-loop technology, which assumes...     

Cooperative Diversity in Secondary Systems: Efficient Relaying Protocol for Cognitive Radio

Wireless Personal Communications - This paper considers half-duplex cooperative spectrum sharing scheme where both primary and secondary systems mutually cooperate with each other to exploit...     

Distributed learning consensus control based on neural networks for heterogeneous nonlinear multiagent systems

This paper considers a novel distributed iterative learning consensus control algorithm based on neural networks for the control of heterogeneous nonlinear multiagent systems. The system's unknown nonlinear function is approximated by suitable neural networks; the approximation error is countered by a robust term in the control. Two types of control algorithms, both of which utilize distributed learning laws, are provided to achieve consensus. In the provided control algorithms, the desired reference is considered to be an unknown factor and then estimated using the associated learning laws. The consensus convergence is proven by the composite energy function method. A numerical simulation is ultimately presented to demonstrate the efficacy of the proposed control schemes.     

Fulde–Ferrell State in Spin–Orbit-Coupled Superconductor: Application to Dresselhaus SOC

We show that in the presence of magnetic field, two superconducting phases with the center-of-mass momentum of Cooper pair parallel to the magnetic field are induced in Dresselhaus spin–orbit-coupled superconductor. Specifically, at small magnetic field, the center-of-mass momentum is induced due to the energy-spectrum distortion and no unpairing region with vanishing singlet correlation appears. We refer to this superconducting state as the drift-BCS state. By further increasing the magnetic field, the superconducting state falls into the Fulde–Ferrell state with the emergence of the unpairing regions. The observed abrupt enhancement of the center-of-mass momenta and suppression on the order parameters during the transition indicate the occurrence of a first-order phase transition. Enhanced Pauli limit and hence enlarged magnetic-field regime of the Fulde–Ferrell state, due to the spin-flip terms of the spin–orbit coupling, are revealed. We also address the triplet correlations induced by the spin–orbit coupling, and show that the Cooper-pair spin polarizations, generated by the magnetic field and center-of-mass momentum with the triplet correlations exhibit totally different magnetic-field dependences between the drift-BCS and Fulde–Ferrell states.     

Biohydrogen Production from Organic Waste – A Review

Hydrogen fuel is a promising alternative to fossil fuels because of its energy content, clean nature, and fuel efficiency. However, it is not readily available. Most current producion processes are very energy intensive and emit carbon dioxide. Therefore, this article reviews technological options for hydrogen production that are eco-friendly and generate clean hydrogen fuel. Biological methods, such different fermentation processes and photolysis are discussed together with the required substrates and the process efficiency.