指定验证方的门限验证签名方案及安全性证明

Laih提出了指定验证方的签名方案设计问题，并给出一种解决方案．首先分析指出该方案存在严重安全缺陷，然后提出了签名方案SV-EDL���解决了如上密码学问题.同时，把可证明安全理论引入这类方案的分析设计，并在RO（random oracle）模型中证明：SV-EDL���抗伪造安全性和计算Diffie-Hellman（computational Diffie-HeUman,简称CDH）问题紧密关联，亦即伪造SV-EDL���名几乎和解决CDH问题一样困难；除指定方以外，任何人验证签名的能力都与决策Difile-Hellman（decisional Diffie-Hellman,简称DDH）问题密切相关。由于CDH问题和DDH问题的困难性与离散对数（discrete logarithm，简称DL���问题紧密相关已成为广泛共识，因此与当前同类方案比较，该签名方案提供了更好的安全性保证．此外，上述签名方案还以非常简明、直接的方式满足不可否认要求最后提出并构造了验证服务器系统的门限验证协议，并在标准模型中给出了安全性证明．该方案不要求可信中心的存在．

吝啬语义信任协商

自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种通过交换DL-TNL语义身份断言来建立信任关系的吝啬语义信任协商框架,避免了完整属性证书的直接出示,减少信任建立过程中身份信息被披露的程度,并提出一种正确、完备且有效的吝啬语义信任协商策略.在该策略下,交易双方的协商引擎可以快速有效地从由身份断言权威签发的包含多个DL-TNL语义身份断言的身份断言证书中,自动计算出批露最少信息且符合对方策略的身份断言集进行出示,以最大限度地减少信任建立过程中被披露的身份信息,并保证理论上存在成功可能性时,使用该策略必然可以有效地帮助主体最终获得网络资源的访问权限.有关该策略完备性和正确性的证明以及策略实施中所使用的符合性检测算法的实现和分析均在文中给出.

非结构化P2P系统Overlay优化技术综述

非结构化P2P Overlay网络的结构松散,网络中资源的分布没有明确的限制,这使得非结构化P2P Overlay网络中的资源搜索在很大程度上依赖于通信开销巨大的泛洪法,因而非结构化P2P系统在伸缩性,可用性等方面,存在明显的不足.非结构化P2P Overlay网络的上述特点决定了非结构化P2P Overlay优化技术的重要性.本文分四大类别,对非结构化P2P Overlay优化技术进行了介绍,分析比较了各类方法的优劣以及它们的适用场合,并在此基础上对未来工作进行了展望.

MANET下服务发现系统的实现、建模和优化

随着移动自组织网络（MANET）的日益普及，这种网络环境下的应用需求越来越多，服务发现系统是支撑这些应用的基础服务之一，它帮助用户在移动环境中发布、管理、发现和使用种类繁多的服务。 学术界和工业界对MANET下服务发现已经进行了很多探索和研究，但是已有研究多是构造有目录服务器的发现系统，它需要网络中存在能力比较强且稳定的节点充当目录服务器，这种模式并不适用于所有场景。到目前为止，无目录服务器的服务发现系统的构造相对较少且技术尚不成熟，存在较多问题需要解决。另外，针对不同的服务发现系统还没有一种普遍可行的系统建模和性能分析的方法。 本文针对MANET环境下不同的应用场景，改进了有目录服务器的发现系统SCN4M（Service CatalogNet for MANET），设计和实现了无目录服务器的发现系统SCN4M-DL���Service CatalogNet for MANET-DirectoryLess）。论文在SCN4M中引入了多种服务匹配策略包括近似匹配算法、基于正则表达式的匹配算法，同时提出了基于系统负载的自适应匹配策略调整机制，即通过引入请求队列队长作为控制变量，决定变换匹配策略的时机，以此加快或降低匹配处理速度。在SCN4M-DL���采用跨层设计思想，提出了面向区域的混合式地理位置路由算法，分阶段地使用贪心路由、面路由和面向服务发现的环形路由；并在此基础之上，实现了基于地理位置信息的服务注册、管理和发现。在两个系统中都使用了排队论对系统中的单个节点进行建模和优化。在SCN4M中通过扩展的有多服务速率的M/M+/1模型，得出了系统吞吐量、系统等待队长、系统平均调整次数的表达式，实际系统的运行结果验证了模型的适用性，论文依据模型给出了SCN4M在评价指标QoS指导下的优化的运行方案设计。在SCN4M-DL���，通过应用改进的串联排队论模型，将本地的发现过程分成了二个独立的阶段，然后，将SCN4M中的M/M+/1模型成功应用于第二阶段，论文也给出了SCN4M-DL���优化方案。

实时数据库缓冲区管理算法的设计和实现

分析了实时数据库的事务特征,对以往的研究成果进行了总结,以满足事务的按时完成比率(SuccessRatio)为目标,为实时系统设计了一种使用反馈控制思想的基于优先级的实时数据库缓冲区管理算法FCLRU2 dl,并将该算法与常用的实时数据库事务调度算法和并发控制策略配合进行了测试和评估,证明了算法的优越性。实验中得到的另一个结论是在特定的事务调度算法和并发控制策略下,实时数据库不需要全部位于内存中,可以不是内存数据库。

城市生活有机垃圾厌氧降解的过程机理与工程应用研究

首先进行城市生活有机垃圾典型组分的厌氧发酵产甲烷和产氢特性研究，在此基础上，设计厌氧发酵联产氢气和甲烷的组合工艺提高能源回收效率，并采用厨余垃圾和废纸联合厌氧消化的方式避免厨余垃圾单独厌氧消化的挥发性脂肪酸抑制。其次，结合国内近年出现的城市生活垃圾分选技术，分别以机械干分选有机垃圾和水分选有机垃圾为原料进行厌氧发酵产甲烷实验，并根据实验结果设计日处理500吨城市生活垃圾厌氧沼气工程及进行经济性评价。主要结论如下：（1）糖和淀粉类的生化产甲烷能力为260 mL/gVS，纤维素，粗纤维、蛋白类和脂类分别为244、145、258 、757 mL/gVS；蛋白质类原料在厌氧消化过程中容易形成“抑制型稳态”；脂类原料容易导致长链脂肪酸抑制。（2）碳水化合物（糖、淀粉和纤维素）是最佳的厌氧发酵制氢原料，蛋白类、脂类和木质纤维类均不适宜作为厌氧发酵制氢原料。采用厌氧发酵联产氢气和甲烷的组合工艺可以显著提高能源回收率。（3）厨余垃圾单独厌氧发酵容易受到VFAs的强烈抑制，采用厨余垃圾与废纸联合厌氧发酵，能够避免VFAs抑制。（4）水分选有机垃圾的生物可降解性优于机械干分选有机垃圾，在原料TS浓度为11%~16%时的甲烷产率为273~314 L/kgVS。（5）国家财政补贴，税收优惠和CDM额外收益决定了城市生活垃圾的厌氧消化与热电肥联产工程的经济可行性。

Experimental Investigation on Propane Hydrate Dissociation by High Concentration Methanol and Ethylene Glycol Solution Injection

The dissociation behaviors of propane hydrate by high concentration alcohols inhibitors injection were investigated. Methanol (30.0, 60.1, 80.2, and 99.5 wt %) and ethylene glycol (30.0, 60.1, 69.8, 80.2, and 99.5 wt %) solution were injected, respectively, as alcohols inhibitors in 3.5 L transparent reactor. It is shown that the average dissociation rates of propane hydrate injecting methanol and ethylene glycol solution are 0.02059-0.04535 and 0.0302-0.0606 mol.min(-1).L-1, respectively. The average dissociation rates increase with the mass concentration increase of alcohols solution, and it is the biggest when 99.5 wt % ethylene glycol solution was injected. The presence of alcohols accelerates gas hydrate dissociation and reduces the total need of external energy to dissociate the hydrates. Density differences act as driving force, causing the acceleration effects of ethylene glycol on dissociation behaviors of propane hydrate are better than that of methanol with the same injecting flux and mass concentration.

Effect of microwave on formation/decomposition of natural gas hydrate

Natural gas hydrate (NGH) reservoirs have been considered as a substantial future clean energy resource and how to recover gas from these reservoirs feasibly and economically is very important. Microwave heating will be taken as a promising method for gas production from gas hydrates for its advantages of fast heat transfer and flexible application. In this work, we investigate the formation/decomposition behavior of natural gas hydrate with different power of microwave (2450MHZ), preliminarily analyze the impact of microwave on phase equilibrium of gas hydrate,and make calculation based on van der Waals-Platteeuw model. It is found that microwave of a certain amount of power can reduce the induction time and sub-cooling degree of NGH formation, e.g., 20W microwave power can lead to a decrease of about 3A degrees C in sub-cooling degree and the shortening of induction time from 4.5 hours to 1.3 hours. Microwave can make rapid NGH decomposition, and water from NGH decomposition accelerates the decomposition of NGH with the decomposition of NGH. Under the same pressure, microwave can increase NGH phase equilibrium temperature. Different dielectric properties of each composition of NGH may cause a distinct difference in temperature in the process of NGH decomposition. Therefore, NGH decomposition by microwave can be affected by many factors.

Vacuum pyrolysis of waste tires with basic additives

Granules of waste tires were pyrolyzed tinder vacuum (3.5-10 kPa) conditions, and the effects of temperature and basic additives (Na2CO3, NaOH) on the properties of pyrolysis were thoroughly investigated. It was obvious that with or without basic additives, pyrolysis oil yield increased gradually to a maximum and subsequently decreased with a temperature increase from 450 degrees C to 600 degrees C, irrespective of the addition of basic additives to the reactor. The addition of NaOH facilitated pyrolysis dramatically, as a maximal pyrolysis oil yield of about 48 wt% was achieved at 550 degrees C without the addition of basic additives, while a maximal pyrolysis oil yield of about 50 wt% was achieved at 480 degrees C by adding 3 wt% (w/w, powder/waste tire granules) of NaOH powder. The composition analysis of pyrolytic naphtha (i.b.p. (initial boiling point) similar to 205 degrees C) distilled from pyrolysis oil showed that more dl-limonene was obtained with basic additives and the maximal content of dl-limonene in pyrolysis oil was 12.39 wt% which is a valuable and widely-used fine chemical. However, no improvement in pyrolysis was observed with Na2CO3 addition. Pyrolysis gas was mainly composed of H-2, CO, CH4, CO2, C2H4 and C2H6. Pyrolytic char had a surface area comparable to commercial carbon black, but its proportion of ash (above 11.5 wt%) was much higher.

In situ hydrate dissociation using microwave heating: Preliminary study

In this work, we investigate the dissociation behavior of natural gas hydrate in a closed system with microwave (MW) heating and hot water heating. The hydrate was formed at temperatures of 1-4 degrees C and pressures of 4.5-5.5 MPa. It was found that the gas hydrate dissociated more rapidly with microwave than with hot water heating. The rate of hydrate dissociation increased with increasing microwave power, and it was a function of microwave power. Furthermore, the temperature of the hydrate increased linearly with time during the microwave radiation.

Influence of 3A molecular sieve to tetrahydrofuran(THF) hydrate formation

Visual observation of the THF hydrate formation process in the presence of a 3A molecular sieve has been made at normal atmosphere and below a temperature of zero by microscopy. The results indicate that a 3A molecular sieve can induce the nucleation of the THF hydrate and promote the THF hydrate growth. With the existence of a 3A molecular sieve, the growth rate of THF hydrate is between 0.01 and 0.05 mu m/s. In comparison with the system without any 3A molecular sieve, the growth rate increases about 4 nm/s. After the THF hydrate grows into megacryst, the crystals will recombine and partially change under the same condition.

Use of electrical resistance to detect the formation and decomposition of methane hydrate

The changes of electrical resistance (R) were studied experimentally in the process of CH4 hydrate formation and decomposition, using temperature and pressure as the auxiliary detecting methods simultaneously. The experiment results show that R increases with hydrate formation and decreases with hydrate decompositon. R is more sensitive to hydrate formation and decompositon than temperature or pressure, which indicates that the detection of R will be an effective means for detecting natural gas hydrate (NGH) quantitatively.

Clathrate Dissociation Conditions for Methane + Tetra-n-butyl Ammonium Bromide (TBAB) + Water

Hydrate equilibrium data of the CH4 + tetra-n-butyl ammonium bromide (TBAB) + water have been measured by using the isothermal pressure search method for four components of TBAB aqueous solutions. The three-phase equilibrium lines obtained in the present study are shifted to the low-temperature or high-pressure side from that of the stoichiometric TBAB solution. Moreover, methane uptake into semi-clathrates is confirmed by a shift in the clathrate regions when methane is present. The experiments are carried out in the pressure range of (0.5 to 11) MPa and in the temperature range of (281.15 to 295.15) K.

Multi-exponentially photoelectric response of bacteriorhodopsin

A thin oriented bacteriorhodopsin (bR) him is deposited on a stainless steel slide by use of the electrophoretic sedimentation method. A junction is made with electrolyte gels having a counterelectrode to construct a bR-based photoelectric detector;. The photoelectric response signal to a 10 ns laser pulse is measured. A theory on the photoelectric kinetics of bR is developed based on the concept of the charge displacement current and the bR photocycle rate equations. Comparison between the theoretical and experimental results proves that the bR photoelectric response to a short laser pulse is a multi-exponential process. The decay time constants and amplitudes of each, exponential component are obtained by data fitting.