带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

高校图书馆服务与MOOC融合发展研究

介绍了MOOC的基本概念及其发展情况，探讨了MOOC时代高校图书馆的角色定位，分析了MOOC时代高校图书馆的独特优势，指出高校图书馆只有与MOOC融合发展，才能适应信息化社会的需要。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

陕西师范大学赵景波教授应邀来山西师范大学作学术报告

<正>2015年5月24日下午4:30陕西师范大学赵景波教授应邀在我校科学会堂A座二楼报告厅作了题为《淀积理论与黄土高原气候变化研究进展》的学术报告.赵景波为陕西师范大学教授,现兼任联合国教科文组织国际岩溶研究中心学术委员会委员、陕西省灾害监测与模拟重点实验室学术委员会副主任、国土资源部岩溶动力学重点     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

征稿启事

<正>《南阳理工学院学报》是由河南省教育厅主管、南阳理工学院主办的综合性学术期刊.创刊于2009年,双月刊,A4开本,本刊分为自然科学版和社会科学版,单月25日出版,国内外公开发行来稿必须为原创性或评述性论文.要具有创新性、学术性和科学性,务须论点明确、文     

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。     

基于后验风险确定故障样本量的Bayes方法

针对目前测试性故障样本量的确定方法过于粗糙和试验样本量过大的问题,提出了合理运用信息熵方法对装备系统各单元的测试性先验信息进行信息融合,得到装备系统级测试性试验数据。在此基础上得到测试性指标的先验分布,并进一步通过Bayes后验风险准则确定故障样本量及试验方案。以某型电动舵机系统各模块的试验数据为例,以故障检测率为测试性指标,经过分析和计算,发现运用所提方法得到的故障样本量相比传统方法明显减少,从而减少了试验成本,同时得到的测试性指标相对误差较小,保证了可信度。     

积分算子的线性性和有界性

积分算子在数学中是作用在函数上的作用子,根据其核函数的不同,可以得到不同的积分算子;研究了积分算子的线性性及有界性等算子的代数性质,得出了积分算子是线性算子,并且在某些特定情况下还是有界算子,从而是连续的线性算子的结论.