SET协议支付过程的符号模型检验

电子商务协议的安全性是电子商务健康发展的关键。随着SET协议应用的日益广泛，其安全性受到了业界的极大关注。分析、寻找SET协议安全隐患或证明其安全性，将有助于协议的进一步应用和发展。将模型检测应用于分析SET协议，给出SET协议支付过程的形式化模型和有限状态机模型，以及协议安全属性的CTL公式，并在网络环境被入侵者控制的假设下，基于SMV符号模型检测工具对协议进行了分析。结果表明，SET协议拥有保密性、完整性、认证性等电子商务安全需求属性。     

基于单片机的电子催眠器的设计

本文介绍了在当前发展过程中，应用电子催眠器的意义、设计方法，以期在人们难以入眠的情况下，通过对电子催眠器的使用，在无任何副作用的情况下，能够达到放松身心，顺利入眠的效果。     

酸爽MAX实验室

石川设计以其擅长的空间叙事,引导消费者进入美味专属实验室,接收实验坛中的酸菜神兽不断产生的酸爽能量和美味因子,逐步输送到能量进化中枢,随之流向实验室各个角落……通过流畅的空间叙事和连贯的交互体验装置,将二次元空间“入侵”到三维空间里面,标志着酸菜鱼头部品牌“太二酸菜鱼”进入3.0时代。     

煤炭分选过程中铅与硫的迁移与富集规律

在煤炭资源的加工利用过程中，部分重金属元素会在环境中富集，对环境和人体均有一定危害。煤炭分选作为煤炭加工利用的前端处理工艺，可以去除煤中大部分矸石，但是目前对分选过程中重金属元素的迁移研究较少。选用内蒙古低灰高硫煤样和高灰低硫煤样进行浮沉、浮选试验，通过电感耦合等离子质谱仪(ICP-MS)、X射线衍射(XRD)、X射线荧光分析(XRF)等测试方法研究重金属铅元素在煤中的赋存形式及分选过程中的迁移富集规律。试验结果表明：不同灰分煤样中重金属元素赋存形式差别较大，对分选中的富集与迁移规律影响显著。由逐级化学提取可知铅元素有机结合态含量较少，约为5%,整体表现出向矿物质中富集的趋势；浮沉试验中铅元素在2种煤中易于向较大密度1.6～1.8 g/cm³富集；浮选试验中铅元素趋于向尾煤中富集，且铅元素含量变化与灰分能够保持一致性。此外，低灰高硫煤尾煤中的铅与硫的含量变化呈现较好的一致性，而在含有机硫较高的低硫煤中无此现象，表明铅受无机硫的影响较大。以上规律表明，通过分选可将煤中的大部分铅元素除去，进而提高煤的品质，降低煤中铅元素对环境及人体的危害。     

线路工程建设对水土保持敏感评估及防治策略成效分析

广州至连州高速公路建设线路长，现状该区域水土流失情况较轻，对工程建设中线路所经过的生态保护区，河流区，村庄耕地区的水土流失敏感度进行分析，发现工程建设对沿线区域的水土保持情况产生了不利影响，分区采取防治措施预防水土流失，并对沿线区域的水土敏感进行了评估，分析了水土流失防治措施的治理成效。     

阴离子田菁胶的合成及应用

以田菁胶（SG）为原料，3-氯-2-羟基丙磺酸钠（CHPS-Na）为醚化剂，乙醇为溶剂，合成阴离子田菁胶（ASG）。通过分析影响田菁胶取代度的主要因素，得出较优的合成条件为：m(NaOH)∶m(SG)=1∶8,m(CHPS-Na)/m(SG)=0.4，碱化温度40℃，碱化时间50 min，醚化反应温度55℃，醚化时间5 h。将阴离子田菁胶用于活性印花，其印制性能和效果接近海藻酸钠。     

荷叶碱对小鼠肝AML-12细胞内脂质代谢的影响

该研究通过高效液相色谱法（High Performance Liquid Chromatography，HPLC）测定荷叶中荷叶碱含量，对比分析25种荷叶中荷叶碱含量差异，并利用油酸诱导建立AML-12细胞脂质蓄积模型，研究荷叶碱对脂质代谢的影响。通过测定甘油三酯（Triglyceride，TG)含量和油红O染色情况，评估细胞脂滴蓄积情况；检测细胞内AMP依赖的蛋白激酶（Adenosine 5‘-Monophosphate-Activated Protein Kinase，AMPK）通路相关蛋白表达水平，探究荷叶碱影响脂质代谢的作用机制。经HPLC检测，发现荷叶品种间荷叶碱含量差异显著，其中佛座莲的荷叶碱质量分数最高，达0.68 mg/g，而金凤的荷叶碱质量分数最低，仅为 0.22 mg/g。在脂质代谢研究中，与对照组相比，模型组在建模后脂滴数量显著增加，TG含量提升（P＜0.01），P-AMPK和脂肪甘油三酯脂肪酶（Adipose Triglyceride Lipase，ATGL）在蛋白水平上表达显著降低（P＜0.05）；在荷叶碱的干预下，AML-12细胞的脂滴蓄积程度明显降低，TG含量显著减少（P＜0.05），P-AMPK和ATGL的蛋白表达水平显著升高（P＜0.05）。由此表明：不同荷叶品种间荷叶碱含量存在明显差异，荷叶碱可能是通过调控AMPK/ATGL途径调节AML-12细胞内脂质代谢。该结果可为荷叶的开发利用提供理论支持。     

一种可用于鉴别肝癌呼气信号的改进AdaBoost算法

提出一种改进的AdaBoost强化学习算法，并将其应用于鉴别健康者和肝癌患者的呼气信号。首先采集志愿者（包括健康对照组和肝癌患者）的呼气信号，利用Relief算法提取其主要特征；接着融合Stacking 模型，基于传统的机器学习算法训练得到若干基分类器组，构建一个个子分类器。为减少训练样本对分类器性能的影响，利用K折交叉，先后得到k个基分类器，形成一个基分类器组；进一步，由投票法得到该基分类器组，即子分类器对测试集的预测结果；然后根据各子分类器对训练集的预测错误率调整训练样本，并获得各子分类器的权重系数；最后将多个子分类器的预测结果进行加权组合，得到最终预测结果。实验结果表明，相比传统的AdaBoost算法，改进的AdaBoost算法在鉴别肝癌呼气和健康对照组呼气时，错误率明显下降，鲁棒性有所提升。该算法在鉴别肝癌呼气时，准确率可以达到90%左右，特异性和精确度也均超过95%。因此，改进的AdaBoost算法可有效提升肝癌呼气鉴别精度，对通过呼气鉴别肝癌、实现早期诊断的研究具有重要意义。     

兼具热湿管理功能的全疏水织物的制备与性能

以涤纶织物为基材，单侧涂覆含石墨烯的疏水浆料，制备出全疏水兼具热湿管理功能的织物，并通过调节石墨烯用量优化织物的保暖性和单向导湿性能。结果表明，随着石墨烯用量的增加，织物外侧（非涂层侧）的温度逐渐降低，与常规涤纶织物相比，P-G-24织物外侧的温度下降了2.1℃。由于涂层织物双侧的疏水性和孔径梯度的差异使得其具有优异的单向导湿性能，单向导湿指数达到680.3%、液态水分管理能力综合值为0.8。此外，从涂层侧到非涂层侧（正向）的透湿量高于反向，而透气性与常规涤纶织物相比略有下降。     

辐射保暖户外织物的制备及性能北大核心

通过溶胶-凝胶法在涤纶织物表面包覆疏水石墨烯层,在织物单侧磁控溅射铝层,制备了一种具有辐射保暖功能的双层织物,通过调节石墨烯用量可优化织物的保暖性能。结果表明,随着石墨烯用量的增加,织物保暖性能逐渐提升。石墨烯质量浓度1mg/mL时,石墨烯层对太阳光吸收率为52.1%,铝层对人体辐射的反射率达到93.7%。此时,织物内侧温度相对于涤纶织物升高了2.6℃。此外,由于石墨烯表层覆盖了HDTMS@SiO_(2)疏水膜,经50次洗涤后,织物双侧温度变化均较小。