泊松分布下信息安全事件概率计算模型

从信息安全事件的概率分布规律出发,根据泊松分布的基本特征,通过数学证明了信息安全事件发生频数服从泊松分布,并采用国家互联网应急中心(CNCERT/CC)统计数据验证了这一理论结果.在此基础上,基于贝叶斯定理,建立了泊松分布下的信息安全事件概率计算模型.根据泊松分布的概率质量函数,计算了信息安全事件发生频数的先验概率分布;通过构建似然函数调整先验概率分布,得到信息安全事件发生频数后验概率分布;最后,采用CNCERT/CC统计数据验证了该模型的可行性和有效性.     

微小摄动下SVEP与Weyl型定理的关系

设H为复的无限维可分Hilbert空间,B(H)为H上有界线性算子的全体.若σ(T)\σw(T)=πoo(T),则称T∈B(H)满足Weyl定理,其中σ(T)和σw(T)分别表示算子T的谱和Weyl谱,πroo(T)={λ∈isoσ(T):0dimN(T-λI)∞};当σ(T)\σw(T)∈roo(T)时,称T∈B(H)满足Browder定理.本文利用算子的广义Kato分解性质,刻画了算子在微小紧摄动下单值延拓性质(SVEP)与Weyl型定理之间的关系.     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

回归模型的相关性检验

基于经验似然的方法构造了检验统计量,对非参数回归模型中的误差进行了相关性假设检验,获得了零假设下检验统计量的渐近分布为χ2分布.模拟计算表明相关性假设检验的经验似然方法具有较好的功效.     

变时滞高阶细胞神经网络周期解的存在性及其全局指数稳定性

利用迭合度理论得到了周期解的存在性的充分条件,然后利用微分不等式分析技巧得到周期解的唯一性及其全局指数稳定性的一个新的判据.     

取向电工钢加工过程中第二相粒子的析出行为

利用场发射扫描电镜观察了以MnS为主要抑制剂的普通取向电工钢加工过程中第二相粒子的分布状态,统计了粒子面密度、平均尺寸以及相应的尺寸分布.结果显示,热轧加工造成了大量第二相粒子弥散、细小地析出,同时基体仍保持过饱和状态.冷轧变形会造成第二相粒子的回溶行为,而基体的过饱和状态会减弱回溶现象.中间退火与脱碳退火过程中会同时存在新粒子的形核及已析出粒子的粗化两个过程,而在最终二次再结晶升温阶段则以第二相粒子明显粗化为主.     

模m二次剩余系之Wilson定理

主要研究了模m二次剩余系之Wilson定理,研究表明,若模m有原根,-1为模m的二次剩余,则模m的二次剩余系全体元素之积modm的同余数为-1;若不然,则模m二次剩余系全体元素之积modm的同余数为1。且模m二次非剩余系全体元素之积与二次剩余系全体元素之积modm的同余数相反。若m无原根,则模m二次剩余系全体元素之积与二次非剩余系全体元素之积modm的同余数相等。     

第二类r-循环矩阵的判定条件及其对角化

利用第二类r-循环矩阵的概念,给出了几个充要条件;利用它的相似标准型,给出了第二类r-循环矩阵非奇异的条件、逆矩阵表达式.     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.