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

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

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

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

关于铁路工程施工中的成本造价管理分析

为了顺应时代的变化,也为了紧跟上我国快速发展的经济,对于铁路建设我们必须提出新的要求,实施新的改革.为了对铁路工程的施工成本进行控制,我们必须在施工前对即将要进行施工的铁路的成本造价进行预算和管理.只有通过这样,铁路施工才能顺利进行.同时,施工的进度也得到了保障.     

"青蛙现象"对高校突发事件预防管理工作的启示研究

近年来,频发的高校突发事件给高校带来了一定的负面影响.而高校管理中的一些"青蛙现象"的存在,容易滋生一些不安全、不稳定因素,因此,对"青蛙现象"的研究已经成为高校突发事件预防管理工作的重要内容.     

"Human Library"与图书馆知识服务的策略研究

"Human Library"作为一种全新的知识服务理念与服务模式,在图书馆知识服务方面具有鲜活、独特的优势.阐述了"Human Library"与图书馆知识服务的概念,提出了"Human Library"与图书馆知识服务的策略,包括加强宣传以提高社会认可、增进共识以促进合作共赢、完善制度以推进规范管理.     

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

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

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

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

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

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

浅论高校图书馆的财务管理

结合工作实际,阐述了图书馆财务管理的基本内容及其重要性,探讨了图书馆财务工作的基本规范化管理,强调了加强馆内财务预算管理的问题.     

基于社会资本视角的图书馆知识营销研究

社会资本对图书馆知识营销具有提供交易场域和情感支持、降低交易费用、提高抗风险能力、减少信息不对称等作用,但网络状况、信任程度、个体调用能力、社会结构稳定程度、意识形态类型、规范与惩罚程度等因素对资本积累具有重大的影响.从社会资本视角,探讨了社会资本理论在图书馆知识营销中的应用,并提出了应对各个影响因素的策略.