Seasonal variance in P system models for metapopulations

Metapopulations are ecological models describing the interactions and the behavior of populations living in fragmented habitats. In this paper, metapopulations are modelled by means of dynamical probabilistic P systems, where additional structural features have been defined (e.g., a weighted graph associated with the membrane structure and the reduction of maximal parallelism). In particular, we investigate the influence of stochastic and periodic resource feeding processes, owing to seasonal variance, on emergent metapopulation dynamics.     

一个基于新光滑函数求解非线性互补问题的光滑算法

基于新的光滑函数,提出了一个求解非线性互补问题的光滑型算法.该算法可以从任意点出发,每一步迭代只需求解一个线性方程组,并进行一次线性搜索.在不需要满足严格互补条件下,证明了算法是全局收敛且是局部二阶收敛的.数值实验表明算法是有效的.     

换乘停车场规划研究

分析出行者选择P+R换乘方式的影响因素,针对现有换乘停车场的不足,提出一种基于HBW出行模型和Logit模型的换乘停车场规划中规模确定、场址选择的方法. 以武汉市为例进行停车场规划设计,结果表明该方法合理,可优化城市交通方式结构,缓解交通密集城区交通压力,提高出行的便捷性.     

一类（p1,…,pn）-Laplacian方程组三解的存在性

为了将（p,q）-Laplacian方程组解的部分结果推广到（p1,…,pn）-Laplacian方程组,利用三临界点定理和广义Sobolev空间的一些性质,对一类含有（p1,…,pn）-Laplacian算子,并带有Dirichlet边界条件的拟线性椭圆方程组解的存在性进行了探讨。根据变分原理将方程组的能量泛函表示出来,在方程组满足一定条件下,证明了该椭圆方程组三解的存在性。该研究推广了已有的拟线性椭圆方程组解的存在性结果,为下一步证明该方程组解的其他性质奠定了基础。     

在高校体育课中开设体育英语选项课的教学改革探索

高校开设体育选项课时多以体育术科项目为主,多注重身体素质和学生的兴趣爱好。而体育英语选项课是理论与实践相结合,更能迎合学生的学习兴趣。既可以锻炼身体又可以提高体育英语水平,还可以培养学生的创新能力、实践能力、教学能力和社会适应能力。     

基于S7-300 PLC的煤地下气化过程监控系统设计

为了实时监测煤地下气化生产过程中各种参数的实际运行情况,利用S7-300PLC和Fame View组态软件,设计了煤地下气化实时测控系统。为保障系统安全可靠,现场监控主机采用双机冗余配置,通信网络采用了工业以太网和PROFIBUS-DP现场总线,对供风机和引风机实现了PID控制。实际运行结果表明,该系统能够对煤地下气化生产参数进行有效的实时监测和控制。     

补虚化瘀法对产后抑郁低雌激素大鼠海马RSK1和MEK1的影响

目的：探讨补虚化瘀方药参归仁合剂对产后抑郁大鼠海马神经元内胞外信号调节激酶1/2(ERK1/2)通路的影响,测定P90核糖体S6激酶（RSK1）和丝裂原活化细胞外调节激酶1(MEK1)蛋白表达量。方法：56只雌性大鼠分为正常组,模型组,参归仁高、中、低剂量组（7,3.6,1.8 g·kg-1·d-1）,盐酸舍曲林组（4.5 mg·kg-1·d-1）、苯甲酸雌二醇组（10 μg·d-1）,除正常组外,其余各组均采用苯甲酸雌二醇和黄体酮造模,模拟产后抑郁状态。使用蛋白质免疫印迹(Western blot)法检测其海马P-RSK1和P-MEK1的蛋白表达量。结果：与模型组比较,参归仁中剂量组和舍曲林组在海马组织中P-RSK1蛋白表达水平明显增加（P＜0.01）;与模型组比较,参归仁中剂量组、舍曲林组和苯甲酸雌二醇组在海马组织中P-MEK1蛋白表达水平明显增加（P＜0.01）。结论：参归仁合剂可增加海马组织中P-RSK1和P-MEK1蛋白表达量,且参归仁中剂量组效果显著,参归仁合剂可起到抗抑郁作用。     

面向云端融合计算的防御性数据销毁机制

云端融合计算将云计算和对等计算有机地融合,充分挖掘网络中心集群服务器端和网络边缘终端所蕴含的各种可利用的资源。引入了动态性比较强的网络边缘节点之后,云端融合计算环境下的数据安全保护和远程数据销毁更加困难,特别是恶意的异地主体可能对被托管的数据实施非法篡改等攻击行为。为此,本文提出了基于移动Agent的防御性数据销毁机制,利用移动Agent对云端数据进行检测,将待上传密文数据的HASH值拼接在密文后面,并定时对数据进行双重检测,有效区分云端数据的正常修改和非法篡改。通过预测相关数据受攻击的可能性,对已被非法篡改或有被非法篡改可能性的数据进行有效处理。设计并构建了基于移动Agent的云端数据防御性数据销毁原型系统。实验结果表明,基于移动Agent的防御性数据销毁机制在检测准确性、安全性、时间开销等方面具有良好的性能表现。      

改进的双块补零P码直接捕获算法

针对低信噪比和高动态环境下的P码直接捕获问题,本文对传统双块补零算法进行改进,提出一种分段旋转双块补零算法.算法通过分段FFT得到各数据段的频谱;通过频谱的循环移位进行频率斜升和初始频偏补偿,再求出频率补偿后的各段数据与本地伪码的相关值并进行非相干累加;对相关峰峰值进行恒虚警检测和抛物插值.仿真结果表明,本文所提算法与传统双块补零算法相比,检测概率和参数估计精度大致相当,捕获时间降低80%,逻辑运算单元和存储单元分别减少64%和99%.同时给出了不同系统要求下的关键参数选取方法,使算法具有较高的实用性.