全实验室自动化系统的构建与实现

全实验室自动化（TLA）代表着检验医学全程自动化的方向。TLA的成功实施因素之一是实验室自动化系统（LAS）、实验室信息系统（LIS）和临床信息系统（CIS）三者间的良好整合。本文从网络结构、工作流程和实现方法上详细介绍了一个成功案例,为国内医院更多、更好地应用TLA技术提供实践经验。     

PaxosStore中共识协议TPaxos的推导、规约与精化

PaxosStore是腾讯开发的高可用分布式存储系统，现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体，我们称之为TPaxos.TPaxos的新颖之处在于它的"统一性"：它为每个参与者维护统一的状态类型，并采用统一格式的消息进行通信.然而，这种设计方案也带来了TPaxos与Paxos之间的诸多差异，给理解TPaxos造成了障碍.其次，虽然腾讯开源了TPaxos协议的核心代码（包括伪代码与C++代码），TPaxos仍缺少抽象而精确的形式化规约.最后，就我们所知，TPaxos的正确性尚未经过必要的数学论证或者形式化工具的检验.针对这些情况，本文有三个主要贡献.首先，我们从经典的Paxos协议出发，论证如何逐步推导出TPaxos协议.基于这种推导，我们可以将TPaxos看作Paxos的一种自然变体，更易于理解.其次，我们给出了TPaxos协议的TLA+形式化规约.在开发规约的时候，我们发现TPaxos协议描述中存在至关重要但并未充分阐明的微妙之处：在消息处理阶段，参与者（作为接受者角色）是先作出"不再接受具有更小编号的提议"的承诺（Promise）还是先接受（Accept）提议?这导致对TPaxos的两种不同理解，并促使我们提出TPaxos的一种变体，称为TPaxosAP.在TPaxosAP中，参与者先接受提议后作承诺.最后，我们使用精化（refinement）技术论证了TPaxos与TPaxosAP的正确性.特别地，由于已知的投票机制Voting不能完全描述TPaxosAP的行为，我们首先提出了适用于TPaxosAP的投票机制EagerVoting，然后建立了从TPaxosAP到EagerVoting以及从EagerVoting到Consensus的精化关系，并使用TLC模型检验工具验证了它们的正确性.     

特立尼达湖改性沥青混合料在高温多雨地区应用初步研究

通过室内试验对特立尼达湖改性沥青(TLA改性沥青)的性能进行研究,并通过试验研究了TLA改性沥青混合料的性能,通过室内配合比设计以及验证,为其在我国高温多雨地区的应用提出理论基础。     

TLA改性沥青流变和老化性能的研究

采用动态剪切流变仪（DSR）对不同掺量的11A改性沥青的流变性能进行了研究,并通过薄膜烘箱老化（TFOT）和紫外老化（uv）试验研究了TLA对沥青老化性能的影响。结果表明：加入TLA后,沥青的复数模量增大,相位角减小,TLA的掺量每增加10％,PG高温区间基本上升1个等级,大大提高了沥青的高温稳定性和降低了其温度敏感性。与未改性沥青相比,TLA改性沥青TFOT和UV老化后的软化点增量和粘度变化指数显著减小,TFOT老化后的残留针入度比明显增大,TLA的加入有效地改善了沥青的热氧老化和紫外老化性能。     

高速公路特殊路段沥青混合料高温性能研究

采用马歇尔试验、车辙试验等方法研究了SEAM沥青、特立尼达湖沥青、法国PR PLAST.S抗车辙剂三种材料分别改性的沥青混合料的高温稳定性.研究结果表明3种改性混合料的马歇尔稳定度和车辙动稳定度较普通沥青混合料均有较大程度的提高,车辙最大变形量也明显减小,其中法国PR PLAST.S抗车辙剂对提高混合料的高温性能更为显著。因此建议在炎热地区高速公路建设中优先选用抗车辙剂。     

Activation cross-sections of deuteron induced nuclear reactions on manganese up to 40 MeV

In the frame of a systematic study on activation cross-sections of deuteron induced reactions experimental excitation functions on ⁵⁵Mn were measured with the activation method using the stacked foil irradiation technique up to 40 MeV. By using high resolution γ-ray spectrometry, cross-section data for the production of ^56,54,52Mn and ⁵¹Cr were determined. Comparison with the earlier published data and with the results predicted by the ALICE-IPPE and EMPIRE-II theoretical codes - improved for more reliable calculations for d-induced reactions - and with data in the TENDL 2010 libraries are also included. Thick target yields were calculated from a fit to our experimental excitation curves and implications for practical applications in industrial (Thin Layer Activation) accelerator technology are discussed.     

煤直接液化残渣改性沥青的可行性研究

介绍了道路沥青的组成、性质和评价指标,以及煤直接液化残渣的来源和组成特性。简单介绍了煤直接液化残渣制备改性沥青的工艺,对国内的研究现状进行总结及分析,总结前人研究成果,并指出煤直接液化残渣作为沥青改性剂在实验研究中是可行的,但能否适用于工业化应用还需要开展更加深入的研究性工作。     

Evaluation of the anticorrosive properties of benzotriazole alkyl derivatives on 6% Sn bronze alloy

This paper focuses on the anticorrosive behaviour of surface films formed by different benzotriazole alkyl derivatives on a Cu6Sn bronze (B6), whose composition is similar to materials used for outdoor artefacts. Some alkyl derivatives of the 1,2,3-benzotriazole (BTA) as: 5-hexyl-1,2,3-benzotriazole; 5-dodecyl-1,2,3-benzotriazole and [5-(1-undecyl)dodecyl]-1,2,3-benzotriazole were synthesized in order to investigate the influence exerted by the aliphatic chain on the inhibiting properties of the base molecule (BTA) toward bronze corrosion. The protective efficiency of the organic films, after a preliminary evaluation by electrochemical measurements, was determined by thin layer activation (TLA) and gravimetric techniques on the samples submitted to artificial weathering experiments in acid rain. For TLA measurements a γ-emitting radio nuclide ⁶⁵Zn (t_1/2 = 244 days), used as a corrosion tracer, was produced on the bronze surface by a high energy proton beam. At the end of artificial weathering exposures the radioactivity recovered on the bronze surface, once it was treated with a picking solution, allowed determination of the thickness loss. All the results arising from the different techniques, used in this study, show that BTA molecules bearing long aliphatic chain act as the best corrosion inhibitors.     

基于TLA的Web服务组合研究

随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点.简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式.并给出了具体的算法.