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.     

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.     

Soret and Dufour effects between two rectangular plane walls with heat source/sink

This study addresses the thermo‐diffusion and the diffusion‐thermo phenomena in a semi‐infinite absorbent channel whose walls are contracting/expanding, with heat source/sink effects. The governing partial differential equations with suitable boundary conditions are transformed to a system of dimensionless ordinary differential equations. An analytic solution of the problem has been found using a technique called homotopy analysis method (HAM). HAM gives consistently valid answers to the problem over an extensive variety of parameters and also provides better accuracy. To validate the analytical results, a comparison has been presented with a numerical solution calculated by using the parallel shooting method. The effects of dimensionless parameters, that is, deformation parameter, Reynolds number, Soret and Dufour numbers, and heat source/sink parameter on the expressions of velocity, temperature, and concentration profiles are analyzed graphically to understand the physics of the deformable channel. It has been noted that the velocity across the channel is higher for the expanding channel, as compared to that for the contracting channel. Also the Soret and Dufour number increases the temperature of the fluid, and decreases the concentration. The temperature profile has an increasing behavior in the case of heat source, and a decreasing behavior in the case of heat sink.