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

带关键字搜索的公钥加密(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.     

用DSP实现多目标实时跟踪

介绍了在 TMS3 2 0 C62 0 3上实现 4个目标的快速跟踪技术。为了提高实时性和精确度 ,采用线性汇编优化实现。1个 3 2 0× 160主窗口的 DSP平均处理时间为 2 m s,3个 60× 60副窗口的 DSP平均处理时间各为 0 .4ms,实现了复杂背景下低对比度目标的快速跟踪。实验结果证明跟踪效果良好 ,解决了以前窗口开不大、跟踪速度慢的问题     

USERS' TWO-DIMENSIONAL INTEREST AND ITS STORAGE METHOD

The users' interest can be mined from the web cache and can be used widely. The interest can be specialized by the two-tuple (term, weight) in the simple interest model, in which the association relations are not mined, and then the interest cannot be associated in expressing the users' interest. Based on analyzing the WWW cache model, this letter brings forward a two-dimensional interest model and gives the interrelated methods on how to store the two-dimensional interest model effectively.     

Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

改善磁盘阵列性能的方法

磁盘阵列是解决计算机Ｉ／Ｏ瓶颈问题的有效方法之一，通过对现有磁盘阵列结构的研究，提出了４种改善磁盘阵列性能的方法，即良分利用磁盘带宽，平衡多盘的负载，减少奇偶检验数据存取时间和磁盘阵列Ｃａｃｈｅ技术等，分析结果表明：在事务处理应用领域，利用Ｃａｃｈｅ来把小写转化为大写可大大改善目前一般情况下，以一道数据大小来作为磁盘的基本存取大小是合适的选择，磁盘阵列负载平衡设计不足是指正常模式下系统请求在多盘间     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

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.     

高纯锗探测器的快定时性能及其应用

为了将高纯锗（ＨＰＧｅ）探测器用于快定时的物理实验中，本实验研究厂影响高纯锗探测器定时谱仪时间性能的各种因素，找出了获得谱仪最小时间分辨的各种最佳参数。并建立了分辨时间为４．１９ｎｓ，能量分辨率为２０ｋｅＶ，微分非线性好于±２．０％，计效率可承受１２０×１０￣３ｓ￣（－１）的时间微分扰动角关联谱仪。利用此谱仪，以￣（２０４）Ｂｉ为探针核，研究了Ｂｉ系高温超导的微观机理，取得了较好的结果。