GVim的TLA+语言插件设计与实现

GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件.TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言.本文描述了为GVim编写TLA+语言插件的详细步骤.这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率.     

脑血管疾病患者测定血清同型半胱氨酸与超敏C-反应蛋白的临床意义

目的:探讨脑血管疾病患者血清同型半胱氨酸(Hcy)和血清超敏C-反应蛋白(HsCRP)水平变化及其相关性.方法:收集脑梗死病患者65例,短暂性脑缺血发作(TIA)患者45例和非脑血管病患者(对照组)55例血液标本,采用化学发光法测定血清Hcy,散射比浊法测定HsCRP.结果:脑血管疾病患者血清Hcy和血清HsCRP浓度水平和异常率均较对照组显著升高(P<0.05),两者之间存在相关性(P<0.05).结论:Hcy和HsCRP的升高可能与脑血管疾病的发生和发展有关,检测患者血清Hcy和HsCRP对诊断和治疗脑血管疾病有重要的临床意义.     

灰分对TLA改性沥青性高低能影响研究

特立尼达湖沥青(TLA)中含有约35%～37%的矿物质细颗粒(灰分)。由于灰分密度比纯沥青密度大,TLA改性沥青成品在储存和运输过程中易产生灰分离析,从而导致其使用性能劣化。为此,文章结合佛山-环城际快速干线TLA改性沥青路面的施工,围绕灰分对40%TLA改性沥青混合料的性能影响进行了系统的理论分析和室内试验,从而提出灰分的控制指标及施工建议。     

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

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

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

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

AC-131型TLA改性沥青混合料配合比的设计及施工

通过特立尼达湖（TLA）改性沥青混合料在旧路改造中的应用,介绍了改性沥青的配合比设计试验及施工,并积累了丰富的试验数据。     

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

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

EKE协议的描述与TLA验证

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

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

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

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

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