期刊文献+
共找到146篇文章
< 1 2 8 >
每页显示 20 50 100
TLA与聚酯纤维复合改性热再生沥青混合料路用性能研究
1
作者 胡文娟 《粉煤灰综合利用》 CAS 2024年第1期22-27,共6页
为了改善热再生沥青混合料的路用性能及耐久性,首先采用TLA与聚酯纤维进行复配设计,然后基于马歇尔、高温车辙、低温弯曲、浸水马歇尔、冻融劈裂、两点弯曲与浸水APA等试验,针对TLA与聚酯纤维复合改性热再生沥青混合料的高温稳定性、低... 为了改善热再生沥青混合料的路用性能及耐久性,首先采用TLA与聚酯纤维进行复配设计,然后基于马歇尔、高温车辙、低温弯曲、浸水马歇尔、冻融劈裂、两点弯曲与浸水APA等试验,针对TLA与聚酯纤维复合改性热再生沥青混合料的高温稳定性、低温抗裂性、水稳定性、抗疲劳耐久性能展开综合考察。结果表明:单掺TLA或聚酯纤维均能改善热再生沥青混合料的高温稳定性能、低温抗裂性能及水稳定性,且TLA的各项性能改善效果相对较为明显;经复掺TLA与聚酯纤维改性后热再生沥青混合料的路用性能均得到显著的提升,可适用于我国北方严寒或南方高温湿热多雨等复杂气候地区的沥青路面建设之中;TLA能够有效提高热再生沥青混合料的劲度模量与疲劳寿命,合理复掺聚酯纤维后提升效果更为明显,均符合高模量沥青混合料的规定及要求;采用合理比例的TLA与聚酯纤维进行复掺,可综合提升热再生沥青混合料的路用性能及耐久性。 展开更多
关键词 聚酯纤维 热再生沥青混合料 TLA 路用性能 耐久性
下载PDF
GVim的TLA^+语言插件设计与实现 被引量:1
2
作者 邢超 龙士工 《贵州大学学报(自然科学版)》 2013年第3期82-86,共5页
GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件。TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言。本文描述了为GVim编写TLA+语言插件的详细步骤。这些插件提供了关键字高亮,插入模板,缩进,以及在... GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件。TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言。本文描述了为GVim编写TLA+语言插件的详细步骤。这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率。 展开更多
关键词 GVim TLA+ PlusCal 插件
下载PDF
一例喉癌术后并发难治性咽瘘的护理 被引量:2
3
作者 吴程为 俞雪飞 赵秀芬 《护士进修杂志》 2023年第11期1032-1035,共4页
总结1例喉癌术后并发难治性咽瘘的护理体会。护理要点包括:动态评估伤口,应用敷料促进伤口愈合;积极进行全身抗感染治疗;制订个体化营养治疗方案;以叙事护理为主要基础,围术期全方位予针对性的心理疏导关怀;同时制订个体化出院随访计划... 总结1例喉癌术后并发难治性咽瘘的护理体会。护理要点包括:动态评估伤口,应用敷料促进伤口愈合;积极进行全身抗感染治疗;制订个体化营养治疗方案;以叙事护理为主要基础,围术期全方位予针对性的心理疏导关怀;同时制订个体化出院随访计划,建立长期随访预案。经积极的救治和精心的护理,术后165d患者康复出院,患者术后随访半年余,气管造口处皮肤完整。 展开更多
关键词 喉肿瘤 难治性咽瘘 创口感染 出血 营养支持治疗
下载PDF
基于用户同意的隐私保护协议形式化描述与验证
4
作者 马丽 姜火文 彭云 《电子学报》 EI CAS CSCD 北大核心 2023年第7期1842-1849,共8页
将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控... 将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控制协议,将用户同意转化为一种同意权限,形成一种同意加授权的双重访问控制机制.本文给出协议的语法、语义及安全性定义和分析,并采用模型检测的方法对协议应满足的性质进行验证,最终证明本文的设计可以从访问控制的角度满足个人信息保护法规的要求. 展开更多
关键词 个人数据保护 隐私保护模型 隐私保护协议 访问控制 隐私授权 TLA+(Temporal Logic of Actions plus)
下载PDF
TLA与木质素纤维复合改性高模量沥青混凝土性能研究 被引量:1
5
作者 袁冻雷 《合成材料老化与应用》 CAS 2023年第3期68-71,共4页
为了改善高模量沥青混凝土的性能,采用TLA与木质素纤维进行复配设计高模量沥青混凝土,对TLA与木质素纤维复合改性高模量沥青混凝土的路用性能及疲劳耐久性展开综合考察。结果表明:单掺木质素纤维改性能够一定程度增强高模量沥青混凝土... 为了改善高模量沥青混凝土的性能,采用TLA与木质素纤维进行复配设计高模量沥青混凝土,对TLA与木质素纤维复合改性高模量沥青混凝土的路用性能及疲劳耐久性展开综合考察。结果表明:单掺木质素纤维改性能够一定程度增强高模量沥青混凝土的路用性能及耐久性能;随着TLA掺量的增加,复合改性高模量沥青混凝土的高温车辙变形量与疲劳车辙变形量指标呈先减小后增大变化,而其它指标则均呈先增大后减小变化,适量TLA与木质素纤维复合改性能够增强高模量沥青混凝土的路用性能及耐久性能;掺入过量TLA会增加沥青的黏性与脆性,不利于高模量沥青混凝土路用性能及耐久性能的提升;采用适量的TLA与木质素纤维复掺,可综合提升高模量沥青混凝土的性能,推荐最佳复掺组合为30%TLA+6%木质素纤维。 展开更多
关键词 高模量沥青混凝土 TLA 木质素纤维 路用性能 耐久性
下载PDF
湖沥青/丁苯橡胶复合改性沥青性能试验研究
6
作者 董红锋 《合成材料老化与应用》 CAS 2023年第4期44-46,59,共4页
通过沥青三大指标和旋转黏度等常规性能试验和DSR、BBR流变试验以及老化试验对TLA/SBR复合改性沥青的性能进行测试,试验结果表明:TLA和SBR能提高沥青的高温抗剪切变形和抗疲劳性能,SBR可以改善沥青的低温抗裂性,但TLA对沥青低温性能产... 通过沥青三大指标和旋转黏度等常规性能试验和DSR、BBR流变试验以及老化试验对TLA/SBR复合改性沥青的性能进行测试,试验结果表明:TLA和SBR能提高沥青的高温抗剪切变形和抗疲劳性能,SBR可以改善沥青的低温抗裂性,但TLA对沥青低温性能产生不利影响;综合复合改性沥青各方面性能,推荐复合改性沥青最佳用量组合为3%SBR+20%TLA。 展开更多
关键词 TLA SBR 复合改性沥青 沥青性能
下载PDF
BD Kiestra TLA系统在临床微生物检验规培教学中的应用探讨
7
作者 蒲燕 旷凌寒 《工业微生物》 CAS 2023年第5期10-12,共3页
文章探讨了BD Kiestra TLA系统在临床微生物检验规培教学中的应用前景,通过与传统教学方式进行对比,明确流水线特点,制定出更加适合规培生发展的新的培训目标。与流水线结合修改后的培训目标能高效帮助学生完成前处理培训、仪器操作、... 文章探讨了BD Kiestra TLA系统在临床微生物检验规培教学中的应用前景,通过与传统教学方式进行对比,明确流水线特点,制定出更加适合规培生发展的新的培训目标。与流水线结合修改后的培训目标能高效帮助学生完成前处理培训、仪器操作、基础知识的融会贯通及广泛的拓展学习等,更有利于规培学生发展,促进微生物检验学科的进步。 展开更多
关键词 BD Kiestra TLA自动化系统 规范化培训 检验专业教学 临床微生物检验
下载PDF
TLA改性沥青及其混合料氯盐侵蚀下的性能研究
8
作者 李宁 《石油沥青》 2023年第6期1-6,共6页
为研究基质沥青及特立尼达湖沥青(TLA)改性沥青及其混合料在不同浓度和不同侵蚀时间的盐雾试验作用后性能的变化,通过沥青三大指标试验对两种沥青盐雾侵蚀的性能指标进行分析,然后通过浸水马歇尔试验和冻融劈裂试验对盐雾侵蚀后的两种... 为研究基质沥青及特立尼达湖沥青(TLA)改性沥青及其混合料在不同浓度和不同侵蚀时间的盐雾试验作用后性能的变化,通过沥青三大指标试验对两种沥青盐雾侵蚀的性能指标进行分析,然后通过浸水马歇尔试验和冻融劈裂试验对盐雾侵蚀后的两种沥青混合料水稳定性进行研究。结果表明,随着氯盐浓度的增大或作用时间的增长,两种沥青的针入度、延度减小,软化点上升,TLA的掺入可一定程度减小氯盐对基质沥青的侵蚀作用;随着氯盐浓度的增大或作用时间的增长,两种沥青混合料的稳定度、劈裂强度呈现线性递减的趋势,流值逐渐变大,与作用时间相比,浓度变化对稳定度的影响更大;TLA改性沥青混合料的冻融劈裂强度比大于基质沥青,且变化程度较小,TLA改性沥青的掺入可提高沥青混合料的水稳定性,更能抵抗氯盐盐雾侵蚀,具有更好的耐腐蚀性。沥青混合料的稳定度、流值、劈裂强度与氯盐浓度和作用时间呈线性相关的关系。 展开更多
关键词 TLA改性沥青 水稳性能 氯盐侵蚀
下载PDF
ABCD评分对短暂性脑缺血发作短期预后的急诊评估价值 被引量:22
9
作者 杜敢琴 孙圣刚 +2 位作者 富奇志 宋海乔 黄丽娜 《中国急救医学》 CAS CSCD 北大核心 2008年第3期193-196,共4页
目的评价ABCD评分对短暂性脑缺血发作(TIA)后7d和90d脑梗死发生的急诊评估价值。方法以2006—01~2007—06住院的TIA患者为研究对象,收集其临床资料、磁共振弥散加权成像(DWI)和磁共振血管成像(MRA)的检查结果,按ABCD评分标准... 目的评价ABCD评分对短暂性脑缺血发作(TIA)后7d和90d脑梗死发生的急诊评估价值。方法以2006—01~2007—06住院的TIA患者为研究对象,收集其临床资料、磁共振弥散加权成像(DWI)和磁共振血管成像(MRA)的检查结果,按ABCD评分标准完成评分。随访TIA后7d和90d脑梗死的发生率,并分析ABCD评分与TIA后短期脑梗死发生的关系。结果TIA后90d共35例(30.7%)发生脑梗死,其中24例(21.1%)发生于7d内;ABCD评分与TIA后7d和90d脑梗死发生之间有直线相关关系,ABCD评分越高,脑梗死的发生率越高(P〈0.001);多因素Logistic回归分析发现,ABCD评分(OR2.80.95%CI1.37~5.68,P=0.005)是TIA后7d脑梗死发生的独立危险因素,ABCD评分(OR2.64.95%CI1.39~4.93,P=0.003)和DWI异常(OR5.84.95%CI1.08~31.66,P=0.041)是TIA后90d脑梗死发生的独立危险因素。结论ABCD评分是急诊预测TIA短期预后的一种简单、有效的方法,结合DWI结果可以提高其对TIA后90d脑梗死的预测价值。 展开更多
关键词 脑缺血发作 短暂性 ABCD评分 脑梗死 预后
下载PDF
煤直接液化残渣对道路沥青改性作用的初步评价 被引量:51
10
作者 王寨霞 杨建丽 刘振宇 《燃料化学学报》 EI CAS CSCD 北大核心 2007年第1期109-112,共4页
Based on the specifications of ASTM D571095 and BSI BS-3690 for Trinidad Lake Asphalt(TLA) modified asphalt,two residues(CLA1 and CLA2)from direct coal liquefaction(DCL) were evaluated for using as high grade paving a... Based on the specifications of ASTM D571095 and BSI BS-3690 for Trinidad Lake Asphalt(TLA) modified asphalt,two residues(CLA1 and CLA2)from direct coal liquefaction(DCL) were evaluated for using as high grade paving asphalt modifier.TLA was used as comparison.The results show that CLA1-and CLA2-modified asphalt with 7% of CLA1 or CLA2 addition has similar modification ability as 20% TLA-modified asphalt.The modified asphalts meet the specifications for 40~55 or 50 penetration grade.The penetration ratio of CLA2-modified asphalt after TFOT is significantly higher,which indicates its supreme ability to against the temperature aging.Preliminary study implies that DCL residues may be a suitable alternative additive for producing TLA-type modified asphalt.Furthermore it was also found that with increasing amount of CLA1 or CLA2 addition the softening point of the modified asphalts increase and the penetration value and the ductility decrease. 展开更多
关键词 煤直接液化残渣 TLA 改性沥青
下载PDF
DCLR与TLA共混改性沥青的性能对比 被引量:11
11
作者 季节 石越峰 +3 位作者 索智 徐世法 杨松 李鹏飞 《燃料化学学报》 EI CAS CSCD 北大核心 2015年第9期1061-1067,共7页
以SK-90沥青为基质沥青,分别加入相同掺量(与沥青质量比为5%、10%、15%和20%)的DCLR和TLA,利用SHRP PG、针入度分级体系、红外光谱仪和凝胶色谱仪对比分析DCLR和TLA共混改性沥青的宏观性能和微观结构的变化。结果表明,DCLR和TLA的加入... 以SK-90沥青为基质沥青,分别加入相同掺量(与沥青质量比为5%、10%、15%和20%)的DCLR和TLA,利用SHRP PG、针入度分级体系、红外光谱仪和凝胶色谱仪对比分析DCLR和TLA共混改性沥青的宏观性能和微观结构的变化。结果表明,DCLR和TLA的加入均可以改善沥青的高温性能,但对沥青的低温性能和疲劳性能产生一定的不利影响。同时,根据DCLR和TLA共混改性沥青的官能团和分子量分布的变化可以判断DCLR和TLA对沥青的改性作用主要为物理改性,在某种程度上,DCLR不能完全替代TLA。 展开更多
关键词 DCLR共混改性沥青 TLA改性沥青 宏观性能 微观结构 可行性
下载PDF
老化对交直流复合电场下油纸绝缘沿面放电过程特性的影响 被引量:11
12
作者 金福宝 周远翔 +2 位作者 黄猛 黄建文 王明渊 《高电压技术》 EI CAS CSCD 北大核心 2015年第12期4120-4130,共11页
长期运行换流变压器中存在由沿面放电导致的绝缘故障的现象,而针对换流变压器中交直流复合电场下老化油纸绝缘的沿面放电发展过程特性研究又相对缺乏不足。因此,采用在130℃下加速热老化方法制备不同老化程度的油纸绝缘试样,并使用CIGRE... 长期运行换流变压器中存在由沿面放电导致的绝缘故障的现象,而针对换流变压器中交直流复合电场下老化油纸绝缘的沿面放电发展过程特性研究又相对缺乏不足。因此,采用在130℃下加速热老化方法制备不同老化程度的油纸绝缘试样,并使用CIGRE method II推荐的典型球板电极模型对不同老化程度油纸绝缘试样在不同比例交直流复合电场下的沿面放电起始电压、闪络电压以及沿面放电发展速度等特性进行了对比分析研究,同时对老化前后油纸绝缘沿面放电发展过程中放电特征参数的变化规律展开了研究。研究结果表明,随着交直流复合电压中直流电压分量的不断增大,老化油纸绝缘沿面放电起始电压和闪络电压均呈现逐渐上升的趋势,其中纯交流电压下的沿面放电起始电压和闪络电压均最低;相同电压作用下的沿面放电起始电压随着油纸绝缘老化程度的不断加剧呈现先上升后下降的趋势;随着油纸绝缘老化程度的不断增加以及交直流复合电压中直流电压分量的不断增加,油纸绝缘沿面的爬电距离不断延长、耐受时间逐渐缩短,沿面放电发展速度逐渐加快。与未老化油纸绝缘沿面放电过程放电特征参数变化规律相比,老化后沿面放电发展特征参数幅值较大,各阶段变化起伏较少,变化趋势直接明显;同时发现交直流复合电压中的直流电压分量对老化油纸绝缘沿面放电发展具有加速的作用,而且直流电压分量越高,加速作用越明显。 展开更多
关键词 老化样品 油纸绝缘 交直流复合电场 沿面放电 起始电压 闪络电压 放电过程
下载PDF
煤与FCC油浆共处理重质产物对道路沥青改性作用的评价 被引量:8
13
作者 薛永兵 杨建丽 +1 位作者 刘振宇 张玉贞 《石油学报(石油加工)》 EI CAS CSCD 北大核心 2006年第1期95-99,共5页
依据美国ASTM D5710-95和英国BSI BS 3690对Trinidad湖沥青(TLA)的评价标准,以及中华人民共和国行业标准JTG F40-2004《公路改性沥青路面施工技术规范》对改性沥青混合料和SBS类(I类)改性沥青储存稳定性的技术要求,对比同样试验条件下TL... 依据美国ASTM D5710-95和英国BSI BS 3690对Trinidad湖沥青(TLA)的评价标准,以及中华人民共和国行业标准JTG F40-2004《公路改性沥青路面施工技术规范》对改性沥青混合料和SBS类(I类)改性沥青储存稳定性的技术要求,对比同样试验条件下TLA改性沥青的特性,评价了煤与FCC油浆共处理所得重质产物对道路石油沥青的改性作用。结果表明,在400℃、10 MPa H2压力条件下所得的重质产物(CSA)对试验用90#基质沥青的改性作用与TLA的改性作用相似,满足上述各标准的指标要求;CSA改性沥青的混合料具有较高的极限拉伸应变值,即具有较好的弯曲性能,显示了更加优良的低温抗裂性能。 展开更多
关键词 FCC油浆 共处理 道路沥青改性剂 TLA
下载PDF
DCLR与TLA改性沥青胶浆的流变性能对比 被引量:6
14
作者 季节 石越峰 +2 位作者 索智 徐世法 许鹰 《沈阳建筑大学学报(自然科学版)》 CAS 北大核心 2015年第6期1041-1048,共8页
目的研究煤直接液化残渣(DCLR)和特立尼达湖沥青(TLA)改性沥青胶浆的流变性能,揭示DCLR和TLA对沥青胶浆的流变特性影响规律及改性效果.方法分别制备粉胶质量比为0.6,0.8,1.0,1.2的DCLR和TLA改性沥青胶浆,采用动态剪切流变仪(DSR)... 目的研究煤直接液化残渣(DCLR)和特立尼达湖沥青(TLA)改性沥青胶浆的流变性能,揭示DCLR和TLA对沥青胶浆的流变特性影响规律及改性效果.方法分别制备粉胶质量比为0.6,0.8,1.0,1.2的DCLR和TLA改性沥青胶浆,采用动态剪切流变仪(DSR)和弯曲梁流变仪(BBR)对沥青胶浆流变性能进行了测试,并对比分析了DCLR与TLA改性沥青胶浆的流变特性.结果在相同温度下,随着粉胶质量比的提高,DCLR沥青胶浆的复数模量增大,相位角减小,车辙因子、疲劳因子、蠕变劲度模量均增大,蠕变速率减小,DCLR显著地改善了沥青胶浆的高温性能,但对其低温和疲劳性能有消极影响.当粉胶质量比在0.8~1.0,DCLR沥青胶浆的性能最为优越.结论相比TLA改性沥青胶浆,DCLR改性沥青胶浆的高温性能更为优越,但低温和疲劳性能相对较差. 展开更多
关键词 道路工程 DCLR TLA 沥青胶浆 粉胶质量比 流变性能
下载PDF
西方三语习得研究对我国外语研究的启示 被引量:20
15
作者 韩曙花 刘永兵 《东北师大学报(哲学社会科学版)》 CSSCI 北大核心 2012年第6期136-139,共4页
三语习得主要研究在母语和二语之外,人们是如何习得另一种或多种语言的。三语习得研究始于20世纪80年代末,到了本世纪初进入研究高峰期。经过20多年的发展,三语习得研究已成为了一个独立的研究领域。本文根据国外现有研究文献对三语习... 三语习得主要研究在母语和二语之外,人们是如何习得另一种或多种语言的。三语习得研究始于20世纪80年代末,到了本世纪初进入研究高峰期。经过20多年的发展,三语习得研究已成为了一个独立的研究领域。本文根据国外现有研究文献对三语习得的概念进行界定,讨论三语习得和二语习得的差异,并对三语习得迁移理论和元语言认知研究进行综述。本文的目的旨在深入理解和认识这一新兴领域取得的成果和存在的问题,从而为我国的三语习得研究提供参考,并为外语教师三语教学实践提供启示。 展开更多
关键词 三语习得 语言迁移 元语言认知 综述
下载PDF
全实验室自动化系统的构建与实现 被引量:8
16
作者 郭幽燕 韩向非 +3 位作者 李昕 王杨 白树功 胡华明 《计算机工程与科学》 CSCD 2007年第12期143-146,共4页
全实验室自动化(TLA)代表着检验医学全程自动化的方向。TLA的成功实施因素之一是实验室自动化系统(LAS)、实验室信息系统(LIS)和临床信息系统(CIS)三者间的良好整合。本文从网络结构、工作流程和实现方法上详细介绍了一个成功案例,为国... 全实验室自动化(TLA)代表着检验医学全程自动化的方向。TLA的成功实施因素之一是实验室自动化系统(LAS)、实验室信息系统(LIS)和临床信息系统(CIS)三者间的良好整合。本文从网络结构、工作流程和实现方法上详细介绍了一个成功案例,为国内医院更多、更好地应用TLA技术提供实践经验。 展开更多
关键词 全实验室自动化 实验室自动化系统 标本号 条形码
下载PDF
TLA改性沥青混合料AC-13C配合比及性能研究 被引量:23
17
作者 查旭东 陈定 《长沙理工大学学报(自然科学版)》 CAS 2008年第3期8-14,共7页
依托广东省佛山市一环城际快速干线沥青路面工程,对TLA改性沥青混合料AC-13C的配合比和性能进行了试验研究.首先分析了6种不同TLA掺量的TLA改性沥青的技术性能,从而确定了性价比优良的TLA适宜掺量为40%;其次通过正交试验法对TAC-13C的... 依托广东省佛山市一环城际快速干线沥青路面工程,对TLA改性沥青混合料AC-13C的配合比和性能进行了试验研究.首先分析了6种不同TLA掺量的TLA改性沥青的技术性能,从而确定了性价比优良的TLA适宜掺量为40%;其次通过正交试验法对TAC-13C的配合比进行了优化设计,提出了满足各项技术指标要求的级配建议范围,并据此进行了配合比设计,对其路用性能进行了室内检验;然后通过试验路铺筑及现场质量监控和性能检测进行了验证.研究结果表明,设计出的TAC-13C具有优良的路用性能,可应用于南方湿热地区的重交通道路. 展开更多
关键词 路面工程 特立尼达湖沥青 沥青混合料 配合比 路用性能
下载PDF
TLA改性沥青在沧黄高速公路中的应用研究 被引量:6
18
作者 周丽萍 杨嘉 安娟 《西华大学学报(自然科学版)》 CAS 2007年第4期75-77,共3页
研究了特立尼达湖沥青(TLA)改性沥青的性能以及在国内外的应用状况,详细分析了TLA改性沥青在沧黄高速公路中的制备以及施工方案。检测结果表明:TLA改性沥青混合料具有优良的高温性能、低温性能以及水稳定性,是一种很好的沥青改性材料。... 研究了特立尼达湖沥青(TLA)改性沥青的性能以及在国内外的应用状况,详细分析了TLA改性沥青在沧黄高速公路中的制备以及施工方案。检测结果表明:TLA改性沥青混合料具有优良的高温性能、低温性能以及水稳定性,是一种很好的沥青改性材料。它对于大交通量、重载作用下的公路沥青路面,有广阔的应用前景。 展开更多
关键词 特立尼达湖沥青 TLA 改性沥青 沧黄高速
下载PDF
基于TLA的UML模型形式化验证 被引量:3
19
作者 梁盟磊 王小平 +1 位作者 薛小平 李刚 《计算机工程》 CAS CSCD 北大核心 2011年第2期72-74,共3页
统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC... 统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。 展开更多
关键词 形式化方法 形式化验证 统一建模语言 行为时序逻辑
下载PDF
行为时序逻辑中公平性的研究与完善 被引量:4
20
作者 唐郑熠 李均涛 李祥 《计算机应用研究》 CSCD 北大核心 2010年第5期1788-1790,共3页
基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程,分析公平性... 基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程,分析公平性的概念与定义方法,并以实际例子说明它的局限性。在此基础上,提出以加入两级新的公平性方式对其进行完善。最后,证明了新公平性等级之间的蕴涵关系。完善后的公平性具有更强的描述能力,能够对系统进行更完整的描述与规约。 展开更多
关键词 行为时序逻辑 公平性 并发系统 系统描述 蕴涵关系
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部