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...     

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.     

磁絮凝强化技术处理厌氧消化污泥脱水液

为满足后续生物处理单元对固体悬浮物（SS）和铁浓度的进水要求，采用磁絮凝强化技术对厌氧消化污泥脱水液进行预处理。通过正交试验和单因素试验，本文考察了混凝水力条件、聚合氯化铝（PAC）投加量、聚丙烯酰胺（PAM）投加量、磁粉投加量及药剂投加顺序对磁絮凝效果的影响。试验结果表明：磁絮凝强化技术在快搅300r/min（2min）、慢搅100r/min（15min）、静置10min时，依次投加磁粉（40mg/L）、PAC（30mg/L）、PAM（4mg/L）时处理效果最好。在此运行条件下，SS和Fe³⁺去除率分别为97.61%、98.24%、絮凝指数（FI值）取得最大值、zeta电位绝对值最小，絮凝效果最佳。与对照相比，磁絮凝强化技术对SS和Fe³⁺去除率分别可提高3.70%和10.82%，同时絮体最大沉降速度可提高33%。磁絮凝技术处理后的出水不仅可以满足后续生物处理单元对SS和铁浓度的要求，还可以有效提高磁絮凝体的沉降速度，减小沉淀时间，具有较好的实用价值。     

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.