结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。     

Thaumasite––direct, woodfordite and other possible formation routes

Two main formation routes for thaumasite exist below 15 °C. One is the direct route from C–S–H reacting with appropriate carbonate, sulfate, Ca²⁺ ions and excess water. The other route is the woodfordite route from ettringite reacting with C–S–H, carbonate, Ca²⁺ ions and excess water, in which thaumasite arises through the intermediate formation of the solid solution woodfordite. The woodfordite route for thaumasite formation appears to be relatively quicker (although still slow) than the direct route, presumably because with the former the ettringite already has the octahedral [M(OH)₆] units that can facilitate the critical change from [Al(OH)₆]³⁻ to [Si(OH)₆]²⁻ groupings. Both routes are mutually dependent on each other. The presence of magnesium salts can modify the path to thaumasite formation. High pressure might be able to stabilise [Si(OH)₆]²⁻ groupings and allow thaumasite to become formed above 15 °C. This possibility is discussed.     

A practical minimum distance method for syntax error handling

We present a method for recovering from syntax errors encountered during parsing. The method provides a form of minimum distance repair, has linear time complexity, and is completely automatic. A formal method is presented for evaluating the performance of error recovery methods, based on global minimum-distance error correction. The minimum-distance error recovery method achieves a theoretically best performance on 80% of Pascal programs in the weighted Ripley-Druseikis collection. Comparisons of performance with other error recovery methods are given.     

易逝品联合采购订货决策分析

采购联盟成员间的信息不完全,彼此均以对方的期望需求作为对方实际需求的估计.针对易逝品的特点,提出了调剂价格的特殊约束条件并建立了联盟期望利润模型,最后进行了数值仿真.研究表明:联合采购使联盟总体利润得到改善,但不能使联盟成员的利润都得到改善.     

The effect of liquid push out of the material capillaries under sulfate ion diffusion in cement composites

The paper treats complex phenomena that accompany the diffusion of sulfate ions into cement paste or systems. The ion distribution within the material was studied by designing a specific diffusion model. The model accounts for two phenomena: capillary filling with products of the chemical reactions and the subsequent liquid push out of the capillary. The approach allows to quantify the concentration of free ions having penetrated the cement stone and that of chemically reacted ions, and to assess the liquid push out. Experimental data are also presented.     

Kinetochemical and morphological differentiation of ettringites by the Le Chatelier-Anstett test

In this research, former XRD experiments have been verified by Le Chatelier-Ansttet (L-A) test. For this purpose, 28 cements consisting of 7 Portland cements and 21 blended cements containing 20%, 30% and 40% metakaolin have been submitted to the Le Chatelier-Anstett (L-A) test for 2 years. With all these cements, L-A specimens were manufactured and a direct parameter was measured for these specimens: increase in diameter, Δ∅, or diameter growth. Other complementary determinations were chemical analysis, XDA patterns and SEM of ettringites and specific properties of some cements tested. The experimental results have borne out that the formation rate of the ettringite formed from the reactive alumina, Al₂O₃^r−, present in pozzolans must be considerably higher than the formation rate of the ettringite from C₃A and much higher than the ettringite from C₄AF, both present in OPC. Owing to this, these ettringites were proposed being named “rapid formation” (ett-rf), “slow formation” (ett-lf) and “very slow formation” (ett-vlf) ettringites, respectively. On the other hand, these experimental results have also shown that the ett-rf has a much smaller size than the ett-lf (this is a direct consequence of the aforementioned conclusion); that almost all the alumina, Al₂O₃, present in M pozzolan must be regarded as being “reactive,” Al₂O₃^r−, or at least, the greatest part; that the detrimental effects derived from gypsum attack are shown much earlier in these POZC than in their plain OPC and, to such an extent, that this aggressive action can be described as rapid gypsum attack; and that none of the 21 POZC tested can be described as high nor moderate sulphate resistant cements according to L-A test.     

与客户建立互惠互利长期稳定的营销关系

在我国加入WTO之后，国内钢铁企业与经销商之间如何实现互惠互利，并建立起长期稳定的营销关系。     

Non-uniform hydrogen attack cavitation and the role of interaction with creep

Hydrogen attack (HA) is the development of grain-boundary porosity by cavities filled with high-pressure methane that originates from the reaction of carbides with hydrogen at high temperatures. The cavities grow by grain-boundary diffusion and by creep of the adjacent grain material till they coalesce with neighbouring cavities to form a microcrack. Earlier work on HA has focussed on unit cells containing a single cavity, using average cavitation properties. Here, non-uniform cavitation properties on the grain-size scale are assumed in a polycrystalline aggregate, and unit cell analyses are performed to investigate the influence of the adjacent grains on the development of the grain-boundary HA. The numerical results are explained in terms of two simplified models which highlight the key parameters governing the grain deformation-grain boundary cavitation interaction process.     

ID-based threshold decryption secure against adaptive chosen-ciphertext attack

This paper proposes an identity-based threshold decryption scheme IB-ThDec and reduces its security to the Bilinear Diffie-Hellman problem. Compared with previous work, this conceals two pairing computations in the ciphertext validity verification procedure. The formal proof of security of this scheme is provided in the random oracle model. Additionally, we show that IB-ThDec can be applied to the threshold key escrow and the mediated cryptosystems.     

Error handling in a parallel LR substring parser

Parallel parsing is currently receiving attention but there is little discussion about the adaptation of sequential error handling techniques to these parallel algorithms. We describe a noncorrecting error handler implemented with a parallel LR substring parser. The parser used is a parallel version of Cormack's LR substring parser. The applicability of noncorrecting error handling for parallel parsing is discussed. The error information provided for a standard set of 118 erroneous Pascal programs is analysed. The programs are run on the sequential LR substring parser.