TLA掺量对湖沥青改性沥青高、低温性能的影响

为研究不同TLA掺量对湖沥青改性沥青高温、低温性能的影响,对TLA掺量为15%、25%、35%的湖沥青改性沥青分别采用动态剪切流变试验、蠕变及蠕变恢复试验来研究其高温性能;采用延度试验和BBR试验研究其低温性能。试验结果表明:老化前的湖沥青改性沥青以及RTFO老化后的湖沥青改性沥青的车辙因子G*/Sinδ值和破坏温度(fail temperature)都得到较大的提高,TLA掺量为35%比掺量为15%的湖沥青改性沥青的PG分级至少提高一个高温等级;随着TLA掺量的增加,湖沥青改性沥青的零剪切粘度逐渐变大,高温性能得到显著改善;但是湖沥青改性沥青的延度值和蠕变速率m却在减小,蠕变劲度s值在不断增大,表明TLA的加入对其低温性能是不利的。综合考虑高温、低温性能,建议TLA的合理掺量控制在25%~35%之间。     

基于软硬件协同形式验证的固件漏洞分析技术

为了系统高效地分析固件中潜在的安全隐患,提出了一种基于行为时序逻辑 TLA 的软硬件协同形式验证方法。通过对固件工作过程中的软硬件交互机制进行形式建模分析,在动态调整攻击模型的基础上,发现了固件更新过程中存在的安全漏洞,并通过实验证实了该漏洞的存在,从而证明了形式验证方法的可靠性。     

Study of activation cross-sections of deuteron induced reactions on rhodium up to 40 MeV

In the frame of a systematic study of the activation cross-sections of deuteron induced nuclear reactions, excitation functions of the ¹⁰³Rh(d,x) ^100,101,103Pd, ^{100g,101m,101g,102m,102g}Rh and ^103gRu reactions were determined up to 40 MeV. Cross-sections were measured with the activation method using a stacked foil irradiation technique. Excitation functions of the contributing reactions were calculated using the ALICE-IPPE, EMPIRE-II and TALYS codes. From the measured cross-section data integral production yields were calculated and compared with experimental integral yield data reported in the literature. From the measured cross-sections and previous data, activation curves were deduced to support thin layer activation (TLA) on rhodium and Rh containing alloys.     

TLA改性沥青混合料路用性能研究

对掺量为30%,33%,36%,40%的TLA改性沥青进行了室内试验,并对这些掺量下的TLA改性沥青混合料进行了浸水马歇尔试验、高温车辙试验、冻融劈裂试验、表面构造深度试验和飞散试验,研究表明,TLA改性沥青具有较高的水稳定性、抗高温车辙能力、抗滑性、抗渗性等优良的路用性能,有非常好的推广应用前景.     

行为时序逻辑与自反线性时序逻辑的关系

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中。对行为时序逻辑公式的语义进行形式化定义．从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系．提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念。定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统．以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。     

A comparative study of different wear measurement techniques applied to fretting wear of a spherical against a flat steel specimen

One of the main problems in fretting wear research is accurate measurement of the very small wear volumes (in microgams) produced. Different techniques, with their own advantages and disadvantages, can be used. Classic wear techniques lack sensitivity and often fail to measure the fretting wear volumes at all, or are not accurate enough. The authors have developed a Thin Layer Activation (TLA) method for quantification of the fretting wear of steel surfaces. The same method can also be used to determine material transfer between wear specimens. In this paper, the different methods are reviewed, and their accuracy in terms of the fretting wear measurement of steel surfaces is discussed. It is concluded that TLA has relatively good reproducibility and accuracy in comparison with classic fretting wear measurement techniques, such as normal approach measurement and spherical cap modelling. Modern threedimensional profilometry has better reproducibility than TLA, but is afflicted by systematic errors because of the oxidation of the metal surface. The different methods emphasise different features of the fretting process, and it is advisable to use them together for measuring fretting wear; their combined use provides a better understanding of the fundamentals of the fretting wear process.     

支持乱序执行的Raft协议

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正...