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

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

论网络传媒的优势

网络媒体的优势是它不断扩展自身生存空间和影响公众生活的根本所在，网络传媒的优势在于其信息传播的互动性，信源的多元化，新闻传播的快捷性，网络传播的自主性，新闻传播的全球化，网络新闻传播的窄播化和个性化。     

一个加细的反向Jensen不等式

文 [1 ]在函数的凸性理论中 ,给出了一个重要的结论 :设 f ( x)、p( x)为 I上的可积函数 ,而 m≤ f ( x)≤ M,p( x)≥ 0 ,∫Ip( x) dx >0 ,则随连续函数Φ( t) ( m≤ t≤ M)之为下凸或上凸而相应地有Φ∫Ip( x) f ( x) dx∫Ip( x) dx≤或≥∫Ip( x) f ( x) dx∫Ip( x) dx(即 Jensen不等式 )　　为证明其反向不等式 ,引入以下记号 ,并引入严格凸函数的一个几何性质。记 I =[a,b];∫I=∫ba;A( f ( x) ) =∫Ip( x) f ( x) dx∫Ip( x) dx为 f ( x)的加权平均 ,p( x)≥ 0 ,∫Ip( x) dx >0 ,x∈ I。设Φ( x) >0 ,Φ″( x) >0 ,x∈ I,则Φ( …     

氯化十六烷基二甲基苄基铵PVC膜糖精离子选择电极的研制

本文以氯化十六烷基二甲基苄基铵为活性材料研制成ＰＶＣ碳棒涂膜式糖精电极。其线性响应范围为５．０×１０￣－５～１．０×ｌ０￣－１ｍｏｌ／Ｌ，响应斜率５３．２ｍＶ／ｐｃ。将电极用于饮料中糖精含量测定，回收率在９０％～１１０／范围内。     

树脂填充EVAL纤维吸附剂的制备及其吸附性能表征

采用具有亲水性的乙烯-乙烯醇共聚物(EVAL)作为纤维吸附剂基质材料,粉末型Lewatit阳离子交换树脂CNP80ws为功能材料,采用可控相分离方法,制备了不同表面形态结构的树脂填充EVAL吸附剂.当使用外部液体调控相分离过程时,在纤维的表面形成了粗糙的开孔结构,并且随树脂的填充量提高纤维表面的粗糙度与开孔度有所提高.研究结果表明:树脂填充EVAL纤维吸附剂具有较大的吸附容量与较高的脱附率,其吸附容量不低于53.9mg BSA/g吸附剂(树脂填充量50%).     

带机器准备时间的同类机在线与半在线排序问题

研究带机器准备时间的m台同类机(uniform machines)在线和半在线排序问题，目标函数为极小化最大机器(工件)完工时间。对于在线情形，证明了LS算法的最坏情况为ρ=｛（1 √5）/2，m=2,1 √2m-2/2,m≥3，并且当m=2，LS算法是最好的近似算法；当m=2，3，…，6时界是紧的，特别地，当s1=s2=…=sm-1,sm≥l时，证明了LS算法的最坏情况界为ρ=｛（1 √5）/2，m=2,3-4/m 1,m≥3，而且界是紧的；对于已知加工时间递减的半在线排序问题，证明了LS算法的最坏情况界为2—2/(m 1)。     

依托大科学装置产业化的人才需求和发展策略研究——以散裂中子源为例

大科学装置作为国家科技基础条件平台的重要组成部分,依托大科学装置的产业化价值也受到各国的关注,相关人才是产业化过程中非常重要和稀缺的因素。以散裂中子源为例,通过实地调研一手资料、访谈关键人物和借鉴标杆的成功经验,包括英国哈维尔高科技园区、日本散裂中子源(Japan Proton Accelerator Research Complex,以下简称J-PARC)、上海光源和美国阿贡实验室等,研究发现在依托大科学装置的产业化过程中,需要实验科学家、产业化相关领域科学家和专业技术背景的产业化人才。借鉴国内外大科学装置的人才发展经验,并结合我国散裂中子源所在地东莞及其周边实际情况,提出人才引进、人才培养和人才激励人才发展策略,促进大科学装置的产业化进程。     

柠条锦鸡儿和樱桃挥发物复合配方对槐绿虎天牛的引诱活性

为了获得高效的槐绿虎天牛生物诱剂,从已有的柠条锦鸡儿和樱桃诱剂中挑选出活性较高的配方,将其组合成12种复合配方,再从柠条锦鸡儿中挑选6种化合物,组合成14种配方,分别用这26种配方对槐绿虎天牛进行触角电位反应、嗅觉行为反应以及野外诱捕测试.结果显示:(1)槐绿虎天牛雌虫对配方K和L的相对选择率较高,均为53.33%;雄虫对配方G、K、L的相对选择率较高,均为40.00%;(2)配方K对槐绿虎天牛的诱捕率最高,达到了21.8%,高于柠条锦鸡儿14种配方的最佳诱捕率(13.9%);(3)柠条锦鸡儿的14种配方中,没有能够同时对雌虫和雄虫具有高引诱活性的配方;(4)柠条锦鸡儿和樱桃挥发物各自的最优配方组合得到的配方G对槐绿虎天牛的引诱效果小于配方K、L.这些结果表明,两种植物源挥发物的组合配方对槐绿虎天牛的引诱效果优于单一植物源配方.     

读文献要重视非学术信息

 阅读文献是科研工作的基本功, 在当前时代, 不重视文献阅读很难有效开展科研工作, 许多科研牛人不仅重视学术信息, 也非常关注非学术信息, 许多年轻人尤其是研究生在阅读文献时往往忽视非学术信息, 其实这些非学术信息对于我们了解一个领域的整体情况十分关键。