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

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

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

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

周鸿祎

经360公司确认,周鸿祎担任酷派和360合资公司"大神科技"的CEO,周鸿祎以后将常驻深圳,360内部已有相关团队成规模驻扎深圳,与酷派团队联合办公。2014年12月16日,奇虎360与酷派结成战略联盟,向酷派投资4.0905亿美元现金成立合资公司,奇虎360、酷派分别持股45%、55%,酷派集团主要提供智能手机设计、制造、供应链管理和售后服务等,奇虎360则提供移动应用开发和在线营销。合资公司因吸收酷派集团原有"大神"品牌的智能手机而得名,还将运营酷派一切互联网概念的产品,包括智能手环等可穿戴设备,并以互联网作     

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

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

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

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

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

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

深部高应力超大断面硐室设计及施工技术研究与应用

针对三水平戊一下延二部皮带机头硐室不能满足集团首家最大功率永磁电机安装要求的问题,本文创新了硐室布置方式,采用了全方位高强支护技术和分步施工技术。该硐室施工后,支护效果良好,有效地控制了深部大断面硐室的帮顶位移及巷道底鼓等问题,满足了集团最大功率永磁电机的运转需要,保证了三水平戊一下山二部皮带的安全运转,为类似矿井超大断面的设计与施工提供了借鉴。     

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

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

雾霾污染的危害与治理支付意愿研究进展

雾霾污染问题是当前研究的热点问题。雾霾污染会导致出行障碍、相关疾病发病率及死亡率上升、动植物生长受阻、旅游业产值下降、社会经济发展受影响和社会稳定度下降等。可见,治理雾霾污染刻不容缓。雾霾治理的费用相当高,公众参与治理雾霾是一种有效的缓解雾霾治理资金紧张的有效途径之一。由此,本文以我国雾霾污染治理的支付意愿为研究对象,利用文献研究和归纳总结方法,系统介绍了雾霾治理支付意愿的相关问题、雾霾治理支付意愿的评估模型以及雾霾治理支付意愿的影响因素,以期为我国雾霾治理费用的分摊提供重要的理论参考。     

转基因作物知识产权法哲学及全球知识监管

知识产权并无坚实的自然法根基,其唯一的合法性基础是工具论的:平衡私权与公共利益,促进知识传播。生物技术的发展曾使发达国家以专利为名占有了发展中国家的植物和作物遗传资源。为制衡这一趋势中包含的不公,国际法《保护生物多样性公约》《粮食和农业植物遗传资源国际条约》等提出"惠益和分享"以及"农民权"等理念,但这些规定并未切实保障发展中国家农民的权益。随着转基因作物技术发展呈现出的诸种新特点,转基因技术介入种质改良,成为专利形成的当代理由,这一情形不仅将加剧发达与发展中国家围绕种质问题的经济和文化不公,还可能排挤非西方科学育种方式所根植的知识类型,而这类知识在保护生态环境、提升农业品质、维持区域农业自治等方面有着难以被替代的价值。