Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.

基于远程遥控方式训练松鼠识别毒品和爆炸物气味

目的松鼠作为一种新型生物探测器,尝试无人介入开展远程遥控训练其识别危险品气味。方法本实验将远程可视智能喂食器与手机互联,登录手机APP后,用手机远程监测和遥控奖励方式对松鼠进行爆炸物与海洛因替代物气味的嗅认训练实验。结果松鼠7天可迅速习得爆炸物气味,证实了松鼠的嗅觉敏锐能力和学习认知能力。在嗅认行为改进训练过程中,限于智能喂食器的技术局限,本实验没有成功建立松鼠嗅认气味的条件反射,而是建立了松鼠嗅认行为的条件反射。结论实验结果表明行为的捕捉以及奖励的时机对松鼠行为监测与训练至关重要,提示采用自动化训练或遥控训练方法,需要先进的通信传输技术以及对松鼠生物学行为的细致捕捉和及时奖励。

SALL4在肝细胞癌诊断及预后评估中的应用价值

婆罗双树样基因4(sal-like 4,SALL4)作为SALL家族的一员,是一种维持干细胞自我更新和多能性的转录因子,在胚胎生长发育过程中起到关键调控作用。SALL4在成人体内的表达处于沉默状态,已有证据表明其异常激活与癌症的发生、发展相关。目前多项研究发现,在血液系统恶性肿瘤以及多种实体瘤中均检测到SALL4再表达,尤其是在肝细胞癌(hepatocellular carcinoma,HCC)中。SALL4作为一种新的肿瘤标志物,联合血清甲胎蛋白(alpha-fetoprotein,AFP)可以提高HCC诊断率。近年来,SALL4在未经手术治疗的肝癌患者的疗效及预后评估中起到重要作用;SALL4高表达者预后普遍较差,同时联合对比增强超声(contrast enhanced ultrasound,CEUS)可以实时反映患者体内肿瘤大小、分化程度,可用于预测生存期。因此,深入了解SALL4在HCC诊断及预后中的临床价值,有助于提高HCC早期诊断效能,从而改善患者预后,减轻家庭及社会医疗负担。

“客来泊”茶馆论剑系列之我的奥运，我的地盘

斗转星移,时间流逝,转眼之间客来泊茶馆开张已经有1年6个月15天了(数学学得真不错,小小感叹下!),还记得当年客来泊茶馆生意是红红火火,馆内人山人海、人声沸腾,人仰马翻;馆外则车水马龙,人来人往,川流不息;楼上说书的,楼下聊天的、卖茶中蛋的。