Fast RSVP: Efficient RSVP Mobility Support for Mobile IPv6

In recent years, with the development of mobile communication technologies and the increase of available wireless transmission bandwidth, deploying multimedia services in next generation mobile IPv6 networks has become an inevitable trend. RSVP (resource reservation protocol) proposed by the IETF is designed for hardwired and fixed networks and can not be used in mobile environments. This paper proposes a protocol, called Fast RSVP, to reserve resources for mobile IPv6. The protocol adopts a cross-layer design approach where two modules (RSVP module and Mobile IPv6 module) at different layers cooperate with each other. Fast RSVP divides a handover process with QoS guarantees into two stages: (1) setup of the resource reservation neighbor tunnel and (2) resource reservation on the optimized route. It can help a mobile node realize fast handover with QoS guarantees as well as avoid resource wasting by triangular routes, advanced reservations and duplicate reservations. In addition, fast RSVP reserves “guard channels” for handover sessions, thus greatly reducing the handover session forced termination rate while maintaining high performance of the network. Based on extensive performance analysis and simulations, Fast RSVP, compared with existing methods of resource reservation in mobile environments, performs better in terms of packet delay and throughput during handover, QoS recovery time after handover, resource reservation cost, handover session forced termination rate and overall session completion rate.     

Impedance analysis of a phosphatidylcholine-phosphatidylethanolamine system in bilayer lipid membranes

Electrochemical impedance spectroscopy was used for the study of two-component lipid membranes. Phosphatidylcholine (PC) and phosphatidylethanolamine (PE) were to be investigated, because of their presence in biological membranes. Capacitance values of pure components are 0.62 and 0.32 μF cm⁻², respectively. The 1:1 complex was formed during formation of the PC-PE lipid membrane. Formation of the complex can explain the deviation from the additivity rule. This equilibrium was described by mathematical equations and was further verified experimentally. Adequate equations let us calculate such parameters as: capacitance of the complex molecule, area occupied by the complex molecule as well as the stability constant of the complex.     

Formal Mathematics for Mathematicians

The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of articles by practitioners of formalizing proofs who share a deep interest in making computerized mathematics widely available.     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

The Pro-Apoptotic Effect of Silica Nanoparticles Depends on Their Size and Dose,as Well as the Type of Glioblastoma Cells

Despite intensive investigations, nanoparticle-induced cellular damage is an important problem that has not been fully elucidated yet. Here, we report that silica nanoparticles (SiNPs) demonstrated anticancer influence on glioblastoma cells by the induction of apoptosis or necrosis. These effects are highly cell type-specific, as well as dependent on the size and dose of applied nanoparticles. Exposure of LN-18 and LBC3 cells to different sizes of SiNPs—7 nm, 5–15 nm, or 10–20 nm—at dosages, ranging from 12.5 to 1000 µg/mL, for 24 and 48 h reduced the viability of these cells. Treatment of LN-18 and LBC3 cells with 7 nm or 10–20 nm SiNPs at doses ≥50 µg/mL caused a strong induction of apoptosis, which is connected with an increase of intracellular reactive oxygen species (ROS) production. The 5–15 nm SiNPs exhibited distinct behavior comparing to silica nanoparticles of other studied sizes. In contrast to LBC3, in LN-18 cells exposed to 5–15 nm SiNPs we did not observe any effect on apoptosis. These nanoparticles exerted only strong necrosis, which was connected with a reduction in ROS generation. This suggests that SiNPs can trigger different cellular/molecular effects, depending on the exposure conditions, the size and dose of nanoparticles, and cell type of glioblastoma.     

An Improved Markov Model for IEEE 802.15.4 Slotted CSMA/CA Mechanism

IEEE 802.15.4 protocol is proposed to meet the low latency and energy consumption needs in low-rate wireless applications,however,few analytical models are tractable enough for comprehensive evaluation of the protocol.To evaluate the IEEE 802.15.4 slotted CSMA/CA channel access mechanism in this paper,we propose a practical and accurate discrete Markov chain model,which can dynamically represent different network loads.By computing the steady-state distribution probability of the Markov chain,we obtain a...     

RSVP协议在移动IPv6网络中的扩展性研究

针对无线移动通信的特点,提出了一种在移动IPv6网络中保障用户通信服务质量的资源预留新方案Fast RSVP.该方案采用跨层设计的思想,将两个不同层次的模块:移动IPv6模块和RSVP模块结合起来,通过在两个模块之间增加一些原语使得二者配合工作以保证移动用户的通信业务质量.Fast RSVP方案引入了邻居隧道提前资源预留、优化路径资源预留、切换预留、路径融合等一系列新机制.仿真实验结果表明,与其他移动环境中的RSVP扩展方案相比,该Fast RSVP方案在支持无线移动通信方面具有如下优势:(1)能够实现移动节点带有服务质量保证的快速切换;(2)能够避免移动IP切换过程中三角路由和重复预留造成的资源浪费;(3)能够区分不同类型的切换预留请求,在保证网络整体性能的前提下显著降低因为切换而导致的服务中断率.     

QoS provisioning wireless multimedia transmission over cognitive radio networks

The rapid growing of wireless multimedia applications increases the needs of spectrum resources, but today’s spectrum resources have become more and more scarce and large part of the assigned spectrum is in an inefficiency usage. Cognitive Radio (CR) technologies are proposed to solve current spectrum inefficiency problems and offer users a ubiquitous wireless accessing environment, relying on dynamic spectrum allocation. However, there are two unsolved problems in previous work: 1) based on the simplified Quality of Service (QoS) uniform assumption, specific requirements of different wireless multimedia applications cannot be satisfied; 2) aiming at single-objective optimization of spectrum utilization or handoff rate, the co-optimization of these two necessary objectives in CR networks has not been achieved. In this paper, we propose a Two-tier Cooperative Spectrum Allocation method (TCSA) to solve these two problems. TCSA consists of two functional parts: one is a Spectrum Adjacency Ranking algorithm implemented at the secondary users’ terminals to satisfy the QoS requirements for different wireless multimedia applications; and the other is a Max Hyper-weight Matching algorithm implemented at the cognitive engines of CR networks to co-optimize spectrum utilization and secondary users’ spectrum handoff rate. Simulation results show that, compared with the other Random matching algorithm and Cost minimized algorithm, TCSA can significantly improve the performance of CR networks in terms of secondary users’ throughput and spectrum handoff rate.     

Impedance analysis of phosphatidylcholine-cholesterol system in bilayer lipid membranes

Electrochemical impedance spectroscopy was used for the study of two-component lipid membranes. Phosphatidylcholine (lecithin, PC) and cholesterol (Ch) were chosen for the study because they are present in biological membranes and they fulfil essential functions in lively organisms. The theory of equilibrium between components of the membranes has been developed in order to obtain the parameters describing the PCCh complex. The equilibrium between the PC, Ch and PCCh complex on the basis of derived equations was considered and forming the 1:1 complex was proved. The following parameters of the complex were determined: capacitance (C₃), conductance , area occupied by complex molecule (A₃) as well as stability constant of the complex (K).