EKE协议的描述与TLA验证

行为时序逻辑(TLA)是Leslie Lamport于20世纪90年代提出的一种新的逻辑,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达模型程序与系统属性。文中首先介绍了行为时序逻辑的语法和语义,然后以EKE协议为例,用基于行为时序逻辑语言TLA+对EKE协议进行了建模分析,用TLA建模并用行为时序逻辑语言TLA+进行协议的描述,最后用TLC检测工具进行分析,发现存在中间人的重放攻击漏洞。     

TLA改性沥青配合比设计及路用研究

特立尼达湖(TLA)改性沥青是一种混合了TLA沥青的改性沥青制成品,拥有多项出色的路用性能,沥青混合料均匀,改善沥青和沥青混合料的温度敏感性,增强在高温环境下的稳定性和抗变形能力,以及抗水损害能力等。在高速公路施工中采用并取得了良好效果,介绍了TLA改性沥青混合料配合比设计,施工工艺及质量控制。     

基于插件技术的森林资源GIS的设计与实现

在总结当前森林资源地理信息系统开发方式的基础上,提出了基于插件技术开发森 林资源地理信息系统的新方法,阐明了利用插件技术开发森林资源地理信息系统的优点和意义。插件式森林资源地理信息系统的开发过程分为插 件引擎开发、宿主程序开发和插件实例化3个部分。通过对泛型、接口等关键技术的解析,以.Net技术实现了插件式应用程序,并通过实例演示了 插件式森林资源地理信息系统的开发过程及主要功能。     

基于插件技术的日志采集Agent系统的设计与实现

为了从多源日志信息中灵活地采集数据,在代理技术的基础上提出采用插件技术来实现多源日志采集Agent系统.日志采集工作由多个采集代理来完成,每个代理可以完成一个或多个日志源的数据采集,同时每个日志源被当作代理上的一个插件.基于此设计了日志采集Agent系统的体系结构和工作流程,并通过插件配置和正则表达式来实现各日志源的采集知识定义,从而使多源日志的采集问题得到较好地解决.与其他日志采集系统相比,该Agent系统不仅可以解决多源日志的采集工作,而且具有良好的扩展性和高效性.     

软件开发中插件框架的实现

插件(Plug-in)的思想在现代软件开发中有着非常重要的作用,它在软件重用性、可扩展性和可维护性等方面有着不可替代的地位。本文叙述了插件的基本原理,并结合VB6给出了一个基于插件框架的例子。     

插件平台技术设计思想

插件是按照一定规范和标准编写出来的程序。插件的本质在于不修改程序主体（平台）的情况下对软件功能进行扩展与加强,当插件的接口公开后,任何公司或个人都可以制作自己的插件来解决一些操作上的不便或增加新的功能,也就是实现真正意义上的“即插即用”软件开发。     

高速公路TLA改性沥青路面的施工关键技术控制探讨

特立尼达湖沥青（TLA）作为一种沥青改性剂掺加到石油沥青中,具有良好的高温稳定性和低温抗裂性。目前日益广泛应用于高速公路的建设。本文从摊铺与碾压两个环节,针对高速公路TLA改性沥青路面的施工关键技术进行分析,以期为高速公路建设水平的提高提供参考和借鉴。     

基于插件技术的交换机操作模块的设计和实现

在交换机与安全系统间联动这一领域中并没有一种通用的操作不同类型交换机的方法。针对这一问题， 结合特定的交换机操作模块的设计和实现，给出了一种基于插件技术实现统一交换机操作的方案，该方案具备一 定的可行性，易于扩展，便于维护。使用该方案可以很容易地达到统一交换机操作的目的。     

基于插件模式实现的综合备份系统

社会公共部门一般同时使用多个软件系统进行业务处理,不同的系统产生具有独立功能和含义的数据。考虑到数据存储介质的容量限制以及数据安全性,需要经常对数据进行清理和备份处理;而数据的种类越多,进行备份所需的操作也愈加复杂。为了方便数据管理、简化操作流程,故本文提出了基于插件模式实现的综合备份系统。     

TLA改性沥青混合料路面碾压质量控制

目前高等级公路沥青路面的主要病害有车辙、开裂及水损害等,为了确保沥青路面高强、稳定、安全、耐久性的要求,改性沥青的使用已经成为主要手段。因此,本文开展了TLA改性沥青路面施工质量控制技术的探讨。     

油蚀对TLA改性沥青混合料水稳定性的影响

通过制定室内油蚀试验方案,采用浸水马歇尔和冻融劈裂试验,分析了油蚀对TLA改性沥青混合料AC-13C的水稳定性的影响规律.研究结果表明,油蚀对水稳定性的影响与TLA掺量和油蚀时间密切相关,其中,油蚀浸水残留稳定度和油蚀冻融残留强度比随着TLA掺量增加呈现先增后减的单峰变化关系,且峰值出现在TLA掺量为30%左右; 同时,初期60 min内油蚀浸水残留稳定度的降幅占总降幅的80%以上.因此,适宜的TLA掺量与及时的除油污处理可有效提高TLA改性沥青路面的抗油蚀水损坏能力.     

基于TLA的Kerberos协议符号化与检测

Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。     

特立尼达湖沥青（TLA）路用性能研究

对特立尼达湖沥青的特点和使用情况进行了概述,通过室内试验,对特立尼达湖沥青的高低温性能、水稳定性和抗疲劳性能进行了分析研究．结果表明,湖沥青相对基质沥青的性能大幅提高,主要表现在软化点和耐老化性的提高上,与沥青相容性好,同时湖沥青混合料的路用性能也优于普通沥青混合料．     

灰分沉淀离析对TLA改性沥青性能的影响

结合佛山一环工程实践,进行了灰分沉淀后不同灰分含量的40%TLA改性沥青的性能对比试验.研究结果表明,随着灰分含量的增加,TLA改性沥青的针入度、残留针入度比、延度和质量损失比降低,而针入度指数、软化点、当量脆点、粘度和相对密度增加.总体上,灰分沉淀离析主要影响TLA改性沥青的低温性能,对感温性能和高温性能也有较大影响,对抗变形能力和抗老化性能有一定的影响,但基本不影响其针入度等级.因此,建议加强TLA改性沥青运输和储存过程中的搅拌,严格控制储存时间,以减少灰分沉淀离析对其性能的影响程度,避免灰分堵塞施工设备管道.     

TLA改性沥青混合料AC-13C配合比及性能研究

依托广东省佛山市一环城际快速干线沥青路面工程,对TLA改性沥青混合料AC-13C的配合比和性能进行了试验研究．首先分析了6种不同TLA掺量的TLA改性沥青的技术性能,从而确定了性价比优良的TLA适宜掺量为40％;其次通过正交试验法对TAC-13C的配合比进行了优化设计,提出了满足各项技术指标要求的级配建议范围,并据此进行了配合比设计,对其路用性能进行了室内检验;然后通过试验路铺筑及现场质量监控和性能检测进行了验证．研究结果表明,设计出的TAC-13C具有优良的路用性能,可应用于南方湿热地区的重交通道路．     

海水中Cu2+,Mn2+和Sr2+对中国对虾糠虾幼体成活率与变态率的影响

在去除重金属离子的天然海水中添加不同浓度的Cu2+、Mn2+和Sr2+进行养殖实验,研究了Cu2+、Mn2+和Sr2+对中国对虾(Penaeus chinensis)糠虾幼体成活率与变态率的影响,结果表明,当海水中Cu2+、Mn2+和Sr2+浓度分别为10,20和20μg/L时对中国对虾糠糠虾的成活变态最为有利.并提出在育苗用海水中加入一定的锰.     

互联网+与创新

互联网+以及创新是时下非常关注的、也是最近听得最多的关键词。互联网+的本质是什么?对传统产业又意味着什么?它和创新之间有什么关系?从互联网+的内涵和动力之源、互联网+时代的互联网思维、互联网+——中国经济的新引擎等方面进行了综述。     

C+3和C+4分子离子的结构与性质研究

用密度泛函B3LYP／6-311g*方法计算得到C3^ 分子离子的稳定构型为角形C2v结构，C4^ 分子离子有6种可能构型，即Cs,D∞h，C2v，C∞v，C2h，D2h结构。同时，计算表明C4^ (D4h)和C4^ (Td)不能稳定存在。     

一种Fe3+/Cu2+荧光化学敏感器（英文）

实验设计合成了对Fe3+/Cu2+具有良好选择性的荧光化学敏感器2,3,4,5-四苯基联苯胺(D).化合物D的乙醇溶液在加入FeCl3或CuCl2后,荧光发生了猝灭.进一步的实验表明,硝酸铁的加入也会使化合物D的荧光猝灭而硫酸铁几乎没有什么影响;对于铜盐,醋酸铜的加入使化合物D的荧光猝灭,而硝酸铜和硫酸铜不能使其完全猝灭.