排序方式: 共有36条查询结果,搜索用时 46 毫秒
1.
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性. 相似文献
2.
本研究以新疆石河子产区所种植的赤霞珠葡萄为实验原料,通过在酒精发酵前分别以两种不同浓度(200 mg/L、400 mg/L)添加4种不同种类的单宁(橡木单宁、缩合单宁、葡萄单宁、鞣花单宁),探究4种不同种类的单宁在不同添加量下对新疆产区红葡萄酒色泽及口感的影响。结果表明:当所有单宁的添加量在200 mg/L时,葡萄酒的色泽都有所提升,其中添加缩合单宁200 mg/L时,效果最为明显,色度值为21.52,该处理下葡萄酒的色度高出对照组27.25%,且随着陈酿进行到6个月时,添加缩合单宁200 mg/L的葡萄酒色度依然最高,色度值为24.38,且色泽稳定性较好,酒体呈现深宝石红色,香气较浓郁,带有甘草香。实验表明单宁的添加可以改善葡萄酒陈酿后的色泽稳定性,同时使得香气更加浓郁。该实验为新疆石河子产区的实际生产提供理论依据。 相似文献
3.
脂肪酸甲酯磺酸盐(MES)开发的回顾与展望 总被引:5,自引:0,他引:5
本文简要回顾了国内外对脂肪酸甲酯磺酸盐(MES)的研究、开发和应用状况,讨论了MES生产过程中的几个重要问题,并对MES的发展前景进行了展望。 相似文献
4.
小芒森是酿造天然甜酒的理想品种,该研究选用新疆五家渠、玛纳斯地区以及山东烟台地区的小芒森葡萄果实酿造的葡萄酒为材料,利用气相色谱-质谱法(GC-MS)对小芒森葡萄酒中的香气物质组成进行定性、定量分析。结果表明,小芒森葡萄酒香气物质的种类和含量受地区的影响,地区间差异主要体现在醇类和酯类的种类和含量上,新疆产区小芒森葡萄酒醇类和酯类总体都高于山东烟台地区,可达1 500 mg/L以上,赋予了葡萄酒丰富的水果香气。其次新疆产区的共性香气物质为乙酸乙酯、乙酸异丁酯、癸酸乙酯、己酸异戊酯、癸酸。根据这些结果,反映出小芒森葡萄酒在新疆产区所具有的香气特性,这将为提高新疆产区小芒森葡萄酒香气品质提供一定的理论基础。 相似文献
5.
树体遮光对采收期‘赤霞珠’葡萄果实花色苷类物质积累的影响 总被引:1,自引:0,他引:1
以酿酒葡萄‘赤霞珠’为试材,在开始转色-完全成熟及100%转色-完全成熟2个生长期分别采用50%、20%遮光的遮阳网对果树树体顶端进行遮光处理,以正常生长果实为空白对照。利用高效液相色谱-质谱法检测达到成熟时葡萄果皮花色苷含量,分析不同生长时期、不同遮光程度的遮阳网遮光处理后浆果到达成熟时花色苷组分及含量的差异。实验结果表明:开始转色-完全成熟采用20%遮光的遮阳网处理的样品中检测到15种花色苷,而其余4种处理检测到14种花色苷,未检测到3’-甲基花青素香豆酰化葡萄糖苷(顺式+反式)。不同遮光处理后其花色苷总量均高于对照,而甲基化花色苷仍为主要花色苷,其中100%转色-完全成熟期间采用50%遮光的遮阳网处理,显著提高了样品中甲基化花色苷含量。经过不同遮光处理后花色苷组分构成均有改变:在开始转色-完全成熟期间采用20%遮光的遮阳网进行遮光,明显提高了香豆酰化修饰花色苷及乙酰化修饰花色苷含量;100%转色-完全成熟期间的遮光显著提高了乙酰化修饰花色苷含量。4种遮光处理均使花翠素香豆酰化葡萄糖苷(顺式+反式)含量显著降低。开始转色-完全成熟期间主要增加了3’-甲基花青素乙酰化葡萄糖苷所占总花... 相似文献
6.
7.
采用聚合物造粒的方法,将聚乙烯醇溶液(PVA)和n型Bi2Se0.3Te2.7粉末按一定的配比混合,研究聚合物造粒对Bi2Se0.3Te2.7热电性能的影响。结果表明:造粒后粉体样品的粒径尺寸明显增加,流动性显著提升,其中以PVA与Bi2Se0.3Te2.7质量比1 :10造粒样品的流动性最好;造粒前后,块体样品的电导率、Seebeck系数以及热导率变化范围约在10%以内,总体ZT值变化不大,并且以PVA与Bi2Se0.3Te2.7质量比1 :10造粒样品和Bi2Se0.3Te2.7样品的ZT值在测试范围内几乎相同,均在475 K时达到最大值,约为0.56左右。 相似文献
8.
NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追完。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。 相似文献
9.
莫尔条纹在微小振动测量中的应用 总被引:3,自引:0,他引:3
微小振动的频率和振幅的测量在工程技术领域具有重要意义 ,本文提出利用动态莫尔条纹光电信号测量微小振动的频率和振幅的方法。由于莫尔条纹具有放大作用 ,采用对莫尔条纹光电信号的细分技术 ,测量精度可以做得较高。实验表明 ,振幅测量分辨率可达光栅常数的二十分之一以上。 相似文献
10.