电子商务公平协议设计与分析方法研究

电子商务安全性得到了人们越来越多的重视，安全协议在电子商务中发挥着重要的作用，尤其是电子商务公平协议，公平性问题渗透在电子商务活动的各个环节和应用场景下，本文围绕电子商务公平协议的设计和分析方法进行了研究，取得了以下几个方面的成果： 1）设计了一种多方公平非否认协议。将可验证可恢复加密签名算法用于多方公平非否认协议，有效地减少了协议主体介入协议的程度，提高了恢复协议执行的效率。由于收据具有可验证性和可恢复性，使得发送者获得的收据不论是在TTP介入的情况下还是在TTP没有参与的情况都是一样的，在一定程度上简化了出现纠纷时的裁决过程。 2）提出了一种基于适应度函数遗传算法的公平协议自动生成方法。通过对Clark-Jacob方法进行扩展，针对公平协议设计空间特征，获得公平性判定模型，模型中引入通信信道类型编码，将主体拥有集合和主体信念集合相分离来对安全目标进行判定，并指出公平性包含的局部目标和全局目标。利用基于适应度函数的遗传优化算法，对用二进制串表示的协议空间进行优化搜索，最终获得满足目标的协议。 3）通过增加对不诚实主体干扰行为的描述，给出了一种基于主体干扰的离线TTP公平协议形式化分析方法。利用主体干扰迹来模拟主体的干扰行为，将丛中结点的状态定义为平衡状态和不平衡状态，利用结点状态平衡性和协议执行结果一致的特性来证明协议的公平性。对两个协议进行分析，发现了一个以前没有被提到过的不公平的问题，验证了两个协议中确实存在的问题。 4）提出了一种可用于分析公平协议的基于逻辑推理的分析方法。针对离线TTP公平协议具有协议簇的特点，将协议实例化，实例化后可以对实例的非否认性和有效性单独进行分析；通过增加时间相关的限定词来表述协议的执行序列和时效性的满足条件，从而用于时效性和公平性的分析。 5）针对ZG离线公平非否认性协议存在的问题，对其进行了改进。两种改进协议适合于不同的场景。通过在改进协议中增加协议的状态信息，使得不会因解决请求延迟到达协议被按照无效处理而导致协议中每个主体的执行状态不一致，而影响公平性，同时利用时间戳服务来对消息设置时间戳，减少解决请求被延迟的情况发生。 6）设计了一种挂号邮件方案。该方案的特点是：现有的邮件系统做小的改动来提供挂号电子邮件；具有时间认证性。通过利用邮件头中的用户自定义选项，在邮件收发的过程中，邮件被获取的时候接收者先只能够获得邮件的主题、邮件的摘要信息、发送者信息，只有在接收者发送了接收收据以后，才能够获得邮件正文。

粗枝云杉( Picea asperata Mast.)天然群体的遗传变异

西南地区在我国的经济发展和生态环境建设中占重要地位，但也是我国生态环境最脆弱的地区之一，生态系统退化，生态功能减弱，严重制约着西南林业的可持续经营与发展。本项目采用DNA 分子标记SSR 研究不同生境条件下粗枝云杉群体的遗传变异及其时空分布格局，考察遗传变异与复杂的山地生态环境间的潜在联系，系统地揭示粗枝云杉天然群体与环境系统相互作用的生态适应与分子进化机制。粗枝云杉适应性强，生长迅速，在植树造林和工业用材方面占有重要地位，研究成果可为中国西南部亚高山天然林的可持续经营及退化生态系统的恢复与重建提供理论依据和科学指导。主要研究结果如下： 1. SSR 位点变异丰富，等位基因频率的分布格局多样。7 个SSR 标记全是多态位点，每位点的等位基因数变化范围为13~24，平均为19.9 个。SSR 位点的等位基因片段长度范围变化较大。73.1%的等位基因变异遵循逐步突变模型(SSM)而发生1 个重复基元的变化，22.3%和4.6%的变异分别按两阶段突变模型(TMP)发生1 个重复基元以上的变化和在SSR 位点侧翼区发生1 个碱基变化的插入-删除事件。 2. 粗枝云杉拥有中等偏高水平的遗传多样性和相对大的群体间遗传分化。通过分析代表10 个群体的250 个个体在7 个SSR位点的变化，调查了源自中国西南山区的粗枝云杉的微卫星变异。相当高的遗传多样性和强烈的群体分化发生在粗枝云杉中， 其群体平均Nei's 期望杂合度为0.707 ， 群体间遗传距离为0.121~0.224(FST)和0.100~0.537(RST)。然而，群体间遗传距离与地理距离之间无相关性，从而排除了简单的距离分离模式并暗示迁移不是影响粗枝云杉遗传变异格局的主要因素。事实上，使用私有等位基因估算的基因流数量非常低，仅等于0.753。等位基因置换检验(Allele permutation tests)揭示逐步突变及遗传漂变都对群体间分化有贡献。另外，在多数位点检测到显著的群体间遗传差异，这个结果说明自然选择，假设通过环境压力，是引起粗枝云杉微地理分化的主要因素之一。根据SSR基因型，250 个粗枝云杉个体的70%被正确地归类入其各自的来源群体，结果表明微卫星(SSR)对区分来自中国不同生态地理位点的粗枝云杉基因型是有效的。 3. 在SSR、RAPD 和AFLP 位点，显著的群体间遗传结构被发现的，但三种标记间遗传分化程度和群体遗传关系有差异。利用来自10 个群体的247 个个体，我们报告了关于样本粗枝云杉群体间遗传关系的总体看法。根据各自对评价遗传关系的信息能力和适用性，SSR、RAPD 和AFLP 标记被选用，三种技术非常有效地区别这些基因型。使用的SSR、RAPD 和AFLP 标记分别估计平均Dice 相似性系数。Mantel 检验产生显著但相对低的共表型适合度(RAPD = 0.63£AFLP = 0.60和SSR = 0.75)。比较三种标记系统，RAPD 和AFLP 共表型指数相对高地相关(r =0.59)，而RAPD 和SSR 及SSR 和AFLP 之间的相关系数分别是0.53 和0.35。所有系统树，包括不同标记资料结合获得的系统树，反映了多数群体依据它们的地理条件而成某种特定关系。结果暗示单个或结合标记系统能用来深入洞察粗枝云杉遗传研究，并且不同标记系统合并资料能提供更可靠的信息。 Southwestern region plays an important role in economic developmentand ecological construction in China. Yet, it is also one of the weak regionsof ecological environment in China with degraded ecosystem and imperfectfunction, which restricts the sustaining management and development ofsouthwestern forestry. The genetic variation and spatial distribution patternof P. asperata populations originating from different habitats wereinvestigated using SSR molecular markers in this study. The correlationsbetween genetic variation and ecological and environmental conditionswere detected, and the interaction between P. asperata populations andenvironmental system and the mechanism of ecological adaption -molecular evolution were revealed. Given the significant ecological andeconomic roles of the fast-growing and wide-adaptive species in reforestation and production of pulp wood and timber, the study couldprovide a strong theoretical evidence and scientific direction for thesustaining management of subalpine natural forest, and the afforestationand rehabilitation of degraded ecosystem. The results are as follows: 1. The genetic variation at SSR loci was abundant and the distributionof allelic frequencies was uneven. All seven loci were polymorphic, and thenumber of alleles per locus varied from 13 to 24 with a mean valueequaling 19.9. The allele sizes at SSR loci were found to vary widely.73.1% of allelic variation followed stepwise mutation model (SSM) whichresults increase or decrease by one repeat type, and 22.3% and 4.6% wereresulted from two-phase mutation model (TMP) with allele size varying bymore than one repeat type and from insertion-deletion events in theflanking regions at SSR loci with a single basepair changing, respectively. 2. P. asperata possessed a moderate to high level of genetic diversityand considerable genetic differentiation. Microsatellite variation of P.asperata. originating from the mountains of southwestern China wasinvestigated by analyzing variation at seven SSR loci in 250 individualsrepresenting ten populations. A fair degree of genetic diversity and strongpopulation subdivision occurred with the mean gene diversity (H) of 0.707,and genetic distances among populations varying between 0.121 and 0.224(FST) and between 0.100 and 0.537 (RST). However, inter-populationgenetic distances showed no correlation with geographic distances between the population sites. This ruled out a simple isolation by distance modeland suggested that migration does not have a great impact. In fact, theamount of gene flow, detected using private alleles, was very low, equalingonly 0.753. Allele permutation tests revealed that stepwise-like mutations,coupled with genetic drift, could contribute to population differentiation.Moreover, significant genetic differences between populations weredetected at most loci. The results indicate that natural selection, presumablythrough environmental stress, may be one of the main factors causingmicro-geographical differentiation in the genetic structure of P. asperata.Based on SSR genotypes, 70% of the 250 individuals were correctlyclassified into their sites of origin. This suggests that microsatellites (SSRs) are effective in distinguishing genotypes of P. asperata originating fromdiverse eco-geographical sites in China. 3. Using a set of 247 individuals from ten P. asperata populations wereport an overview on the genetic relationship among the sampled P.asperata populations. RAPD, AFLP and SSR were used in terms of theirinformativeness and applicability for evaluate relationship and all threetechniques discriminated the genotypes very effectively. Mean Dicesimilarities coefficient were estimated using RAPD, AFLP and SSR,respectively. The Mantel test resulted in a significant but relatively low fit(RAPD = 0.63, AFLP = 0.60 and SSR = 0.75) of cophenetic values.Comparing the three marker systems to each other, RAPD and AFLP cophenetic indices were highly correlated (r = 0.59), while correlationcoefficient between RAPD and SSR was r = 0.53 and between SSR andAFLP was r = 0.35. For all markers a relatively high similarity indendrogram topologies was obtained although some differences wereobserved. All the dendrograms, including that obtained by the combineduse of all the marker data, reflect some relationships for most of thepopulations according to their geographic conditions. The results indicatethat single or combined marker system could be used to insight into geneticstudy in P. asperata and the combined data of different marker systems canprovide more reliable information.

Quench Protection Design and Simulation of a 7 Tesla Superconducting Magnet

A 7 Tesla superconducting magnet with a clear warm bore of 156 mm in diameter has been developed for Lanzhou Penning Trap at the Institute of Modern Physics for high precision mass measurement. The magnet is comprised of 9 solenoid coils and operates in persistent mode with a total energy of 2.3 MJ. Due to the considerable amount of energy stored during persistent mode operation, the quench protection system is very important when designing and operating the magnet. A passive protection system based on a subdivided scheme is adopted to protect the superconducting magnet from damage caused by quenching. Cold diodes and resistors are put across the subdivision to reduce both the voltage and temperature hot spots. Computational simulations have been carried in Opera-quench. The designed quench protection circuit and the finite element method model for quench simulations are described; the time changing of temperature, voltage and current decay during the quench process is also analysed.

Spatial variability in water quality and surface sediment diatom assemblages in a complex lake basin,lake of the woods,ontario,canada

Lake of the Woods (LOW) is an international waterbody spanning the Canadian provinces of Ontario and Manitoba, and the U.S. state of Minnesota. In recent years, there has been a perception that water quality has deteriorated in northern regions of the lake, with all increase in the frequency and intensity of toxin-producing cyanobacterial blooms. However, given the lack of long-term data these trends are difficult to verify. As a first step, we examine spatial and seasonal patterns in water quality in this highly complex lake on the Canadian Shield. Further, we examine surface sediment diatom assemblages across multiple sites to determine if they track within-take differences in environmental conditions. Our results show that there are significant spatial patterns in water quality in LOW. Principal Component Analysis divides the lake into three geographic zones based primarily on algal nutrients (i.e., total phosphorus, TP), with the highest concentrations at sites proximal to Rainy River. This variation is closely tracked by sedimentary diatom assemblages, with [TP] explaining 43% of the variation in diatom assemblages across sites. The close correlation between water quality and the surface sediment diatom record indicate that paleoecological models could be used to provide data on the relative importance of natural and anthropogenic sources of nutrients to the lake.