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

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

民族师范院校地理师范生就业分析——以阿坝师范学院为例

近年来高校毕业生的就业压力不断增大,各师范院校也在不断调整就业工作以适应市场变化.以阿坝师范学院人文社科系地理教育专业为例,结合近两年的就业情况分析,总结反思了该系的就业工作,虽然就业工作成绩显著,但仍需不断加强应届师范生的教师基本技能训练、考试能力、面试技巧等能力,不断创新工作,以增强该系毕业生的就业竞争力.     

中小企业税务风险管理现状分析 ——基于广东省实证调研数据

税务风险的管理问题已经逐渐引起了政府和中小企业的关注。参照COSO的《企业风险管理整合框架》,利用层次分析法对企业税务风险意识、制度水平构建量化评价体系,并对广东省1000多家企业的问卷调查数据进行回归分析。分析结果显示,企业的注册资本、年收入、经营年限等特征变量与企业的税务风险意识及管理水平均存在正相关关系。分析结果既为政府扶持当地中小企业的发展提供了参考依据,也为会计中介机构提供财税咨询服务提供了业务拓展方向。     

高速电主轴热特性仿真与实验研究

对高速电主轴温度场分布随转速的变化规律进行了研究。通过在外壳上布置一定数量的温度传感器,对不同转速下的外壳温度进行实时测量,并将实验结果与ANSYS的模拟结果进行对比,验证了采用在电主轴外壳上布置多个测点测量与仿真相结合的方法来预测电主轴内部温度场分布的可行性;另外还分析了在不同转速下,高速电主轴关键部位的温升,仿真结果表明:主轴在6000~10000 r/min时,温升呈线性增加,在大于10000 r/min后,温升以指数规律增加。     

设立银川水文站必要性和可行性分析

银川河位于积石山县境内,近100年来发生4次大洪水,给该县人民造成了重大人员伤亡和巨大经济损失。就设立银川水文站的必要性和可行性进行论证分析,建成后银川水文站将为当地防汛抗旱,确保沿河村镇及城区防洪安全,发挥重要作用。     

污染环境中具有Markov切换的随机互惠三种群生存分析

研究污染环境下受到毒素和双重噪声(白噪声和有色噪声)作用的随机系统,建立污染环境中具有Markov切换的随机互惠三种群模型。利用随机微分方程相关理论和分析方法,考虑系统同时受到白噪声、有色噪声、毒素浓度及种群间相互作用因素对种群生存状态的影响,得到随机互惠三种群系统中各种群趋于灭绝、随机非平均持久、随机弱平均持久和随机强平均持久的充分条件。数值模拟验证了理论结果的正确性。     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

2008—2012年《中华实用儿科临床杂志》载文文献计量分析

目的:分析《中华实用儿科临床杂志》近5年发展情况,为提高该刊质量提供参考依据. 方法:通过"中国生物医学文献数据库"收集该刊2008—2012年的文献题录,采用文献计量学方法,对文献的时间分布、单位分布、作者分布、作者合作情况、单位合作情况、高频关键词、高频主题词等指标进行统计分析. 结果:2008—2012年《中华实用儿科临床杂志》共载文3 459篇,单篇论文的长度在逐年增长;涉及作者13 870位,每篇论文作者平均数量大于4,每篇论文的平均合作单位数量多于1.45,关键词和主题词符合本刊的主题.2008—2010年被引的文献为1 131条,占期间总文献量的62%.结论:2008—2012年发表的论文选择更具有针对性,向着更为合理性的方向发展,研究方法也多采用定量分析方法,并且论文形式多样,文献被引次数越来越多.     

具有Logistic增长项的两种群竞争Keller-Segel模型的稳定性分析

应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题.