一种内部威胁实时检测与防护中间件模型

针对企业信息系统中的内部威胁行为,特别是内部用户的资源滥用行为,提出了一种基于中间件的实时检测框架,并定义了安全功能和相应组件,通过比较用户身份权限和异常操作行为发现恶意内部威胁行为.将对象序列化技术与传统密码技术相结合实现用户实名登录,保证操作防抵赖性.从根本上防止了恶意内部人员获取非法数据并提供检测功能,提高了信息系统的安全性.     

弹道明胶老化初级阶段的模型

用流变震荡模式研究了10 wt%浓度的弹道明胶在冷却和等温下的老化行为.对明胶从sol-gel点冷却到某个目标温度的过程,通过不同冷却速率的实验,建了一个弹性模量与温度的线性关系.不同温度下明胶的等温老化实验表明,弹性模量-时间曲线具有相似的形状.依据Normand提出的二级反应动力学模型,引入一个表征明胶老化行为的速率常数,构建了一个预测弹道明胶在老化初级阶段的弹性模量演化的模型.该模型中模量-温度关系在初始和无穷大时是直线,其他模量-温度线是近似直线,并交于sol-gel点.老化速率常数和过冷度之间符合Flory-Weaver方程.对弹性模量和老化时间进行归一化处理,可将不同温度下的老化曲线叠加成一条主曲线.     

优化背景值的GM(1,1)幂模型及其应用

GM(1,1)幂模型中幂指数的连续性,使得模型在一般的S形曲线序列的预测和拟合中具有更广泛的实用性.通过将背景值转化为相邻序列点的确定性函数建立了改进的GM(1,1)幂模型,给出了背景值序列的有关性质,借助已有文献中的算例验证了模型在拟合和预测方面的优越性.     

基于Grbner基方法的交通分配算法

交通规划中的第四阶段交通分配是交通规划中最重要的环节之一,合理的交通分配方法是未来规划期内交通运输系统状态良好的关键,对交通分配模型进行优化有利于交通规划正确高效.经典的交通规划分配模型算法计算复杂,比较次数多,计算量大,而Grbner基方法在计算机上容易实现,计算思路清晰简洁,适合在交通分配中采用.选取了交通分配中的典型算法增量分配法,对其中最短路算法用Grbner基方法改进,构造了基于Grbner基方法的交通分配模型.模型先将交通分配中的最短路问题转化为求多项式集的Grbner基,然后直接得出交通分配中的最短路径,使交通分配算法高效简洁.最后,为算法加以实例佐证,证实算法在工程应用中可行.     

四阶不定微分算子非实特征值的界

给出了四阶正则不定微分算子仅在可积条件下的非实特征值上界和下界的估计.更一般地,非实特征值的下界可以利用Krein空间的自共轭算子得到.     

“形内外”与“正负性”

数学是研究数量关系和空间形式的科学,而在数与形之间,又存在众多的和谐之美,体现位置关系与数量关系的辩证统一.本文举例说明形内外与正负性的辩证和谐.     

Environmental Impacts on Spiking Properties in Hodgkin-Huxley Neuron with Direct Current Stimulus

Based on the well accepted Hodgkin-Huxley neuron model, the neuronal intrinsic excitability is studied when the neuron is subject to varying environmental temperatures, the typical impact for its regulating ways. With computer simulation, it is found that altering environmental temperature can improve or inhibit the neuronal intrinsic excitability so as to influence the neuronal spiking properties. The impacts from environmental factors can be understood that,the neuronal spiking threshold is essentially influenced by the fluctuations in the environment. With the environmental temperature varying, burst spiking is realized for the neuronal membrane voltage because of the environment-dependent spiking threshold. This burst induced by changes in spiking threshold is different from that excited by input currents or other stimulus.     

两种典型方法解决与体积相关问题

对于空间几何体,一般情况下求体积都能直接应用体积公式来解决,但是对于一些特例问题则不能直接解决,下面介绍两种方法来解决与体积相关问题.     

m次幂等矩阵的等价条件

利用矩阵的秩和齐次线性方程组解空间的维数,给出了m(m≥2)次幂等矩阵的一些等价条件,推广了2,3次幂等矩阵的相应结果.此外,所获结果还给推广到了m次幂等线性变换中.     

Orlicz函数的基本性质及其应用

讨论了一类凸函数的基本性质,并应用这些基本性质证明了Orlicz-Lorentz空间上的一个插值定理.