基于常微分方程的死锁检测实验分析

用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空问,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还采取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.     

Halloysite Nanotube Composited Thermo-responsive Hydrogel System for Controlled-release

Halloysite nanotube-composited thermo-responsive hydrogel system has been successfully developed for controlled drug release by copolymerization of N-isopropylacrylamide (NIPAM) with silane-modified ha...     

用于控制释放的埃洛石纳米管复合温敏型水凝胶系统(英文)

Halloysite nanotube-composited thermo-responsive hydrogel system has been successfully developed for controlled drug release by copolymerization of N-isopropylacrylamide （NIPAM） with silane-modified halloysite nanotubes （HNT） through thermally initiated free-radical polymerization. With methylene blue as a model drug, thermo-responsive drug release results demonstrate that the drug release from the nanotubes in the composited hy-drogel can~be well controlled by manipulating the environmental temperature. When the hydrogel network is swol- len at temperature below the lower critical solution temperature （LCST）, drug releases steadily from lumens of the embedded nanotubes, whereas the drug release stops when hydrogel shrinks at temperature above the LCST. The release of model drug from the HNT-composited hydrogel matches well with its thermo-responsive volume phasetransition, and shows characteristics of well controlled release. The design strategy and release results of the pro- posed novel HNT-composited thermo-responsive hydrogel system provide valuable guidance for designing respon- s_i_ve nanocomposites for controlled-release of active agents.     

军队财务监控机制改善浅析

本文通过分析军队财务监控机制存在的主要问题,提出了改进军队财务监控机制的初步设想。