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

古建筑木结构透榫节点力学模型研究

为研究古建筑木结构透榫节点的M-θ力学模型，在分析透榫节点构造特征与受力机理的基础上，建立其数值模型，用透榫节点的试验数据验证了该数值模型的正确性，并分析了节点缝隙、木材横纹弹性模量和大榫头长度对透榫节点受弯承载力的影响。根据受力分析结果，建立以弹性点、屈服点与极限点为特征点的三折线多参数M-θ力学模型，其结果与多数的试验结果基本吻合，并将该力学模型应用于木构架的受力分析。研究结果表明：透榫节点的滞回耗能能力强，节点的变形主要集中在榫头处。当榫头与卯口之间的缝隙增大时，节点的受弯承载力降低。随木材横纹弹性模量的提高和大榫头长度的增加，节点的受弯承载力有一定提高。文章建立的M-θ力学模型能较好反映透榫节点的受力过程，适用于木构架的受力分析，其荷载 位移骨架曲线与试验结果基本吻合。研究成果可为古建筑木结构的维修与保护提供参考。     

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.