A New NTRU-Type Public-Key Cryptosystem over the Binary Field

As the development of cloud computing and the convenience of wireless sensor netowrks, smart devices are widely used in daily life, but the security issues of the smart devices have not been well resolved. In this paper, we present a new NTRU-type public-key cryptosystem over the binary field. Specifically, the security of our scheme relies on the computational intractability of an unbalanced sparse polynomial ratio problem (DUSPR). Through theoretical analysis, we prove the correctness of our proposed cryptosystem. Furthermore, we implement our scheme using the NTL library, and conduct a group of experiments to evaluate the capabilities and consuming time of encryption and decryption. Our experiments result demonstrates that the NTRU-type public-key cryptosystem over the binary field is relatively practical and effective.     

应用膨胀算法提取目标的直接定位算法

为了解决被动雷达系统中的多发射源定位问题，提出了一种基于多重信号分类(MUSIC)算法和图像膨胀(IE)算法的直接定位方法。该方法结合了谱分析中的MUSIC思想，通过对接收量测协方差矩阵进行特征分析求解目标的位置。首先，在目标个数未知的前提下，利用Akaike信息准则(AIC)来确定模型阶数；然后，推导了基于MUSIC的定位代价函数；之后，利用图像膨胀算法处理得到的代价函数平面；最后，膨胀处理后的输出为目标个数及目标位置的估计值。提出的算法有效地解决了目标检测及提取的问题，能够确定多个目标的位置坐标，为后续的定位性能分析提供可能性，也保证了算法的完整性。进一步地分析了多个临近目标情况下影响目标提取性能的主要因素。     

Learning keyword phrases from query logs of USPTO patent examiners for automatic query scope limitation in patent searching

Professional search in patent repositories poses several unique challenges. One key requirement is to search the entire affected space of concepts, following well-defined procedures to ensure traceability of results obtained. Several techniques have been introduced to enhance query generation, preferably via automated query term expansion, to improve retrieval effectiveness. Currently, these approaches are mostly limited to computing additional query terms from patent documents based on statistical measures. For conceptual search to solve the limitation of traditional keyword search standard dictionaries are used to provide synonyms and keyword phrases for query refinement. Studies show that these are insufficient in such highly specialized domains. In this paper, we present an approach to extract keyword phrases from query logs created during the validation procedure of the patent applications. This creates valuable domain-specific lexical databases for several specific patent classes that can be used to both expand as well as limit the scope of a patent search. This provides a more powerful means to guide a professional searcher through the search process. We evaluate the lexical databases based on real query sessions of patent examiners.     

Temperature cycling and its effect on mechanical behaviours of highporosity chalks

Temperature history can have a significant effect on the strength of water-saturated chalk.In this study,hydrostatic stress cycles are applied to understand the mechanical response of chalk samples exposed to temperature cycling between each stress cycle,compared to the samples tested at a constant temperature.The total accumulated strain during a stress cycle and the irreversible strain are reported.Chalk samples from Kansas(USA)and Mons(Belgium),with different degrees of induration(i.e.amount of contact cementation),were used.The samples were saturated with equilibrated water(polar)and nonpolar Isopar H oil to quantify water weakening.All samples tested during 10 stress cycles with varying temperature(i.e.temperature cycled in between each stress cycle)accumulated more strain than those tested at constant temperatures.All the stress cycles were performed at 30℃.The two chalk types behaved similarly when saturated with Isopar H oil,but differently when saturated with water.When saturated with water,the stronger Kansas chalk accumulated more total strain and more irreversible strain within each stress cycle than the weaker Mons chalk.     

膨胀剂对约束条件下UHPC早期抗裂性能影响的试验研究

超高性能混凝土(UHPC)在钢桥面铺装结构中由于铺装材料受到钢板、栓钉等的约束,加上材料本身水胶比小,更易收缩,早期容易承受拉应力导致开裂。通过在拌和过程中添加膨胀剂可以起到减小收缩的作用,但该方法对于约束条件下的UHPC铺装的早期抗裂性能提升是否有促进作用,仍需通过更多试验进行合理评估和深入研究。通过圆环法对3组不同配方的UHPC在均匀约束条件下的早期抗裂性能进行定量测试,并将试验数据进行回归分析和计算,得到了各组的平均应力发展速率,进而评估了各组的开裂风险等级。试验结果表明,通过在UHPC中加入适量膨胀剂,可使其最终收缩应力减小,并可降低其收缩应力发展速率,进一步降低其在约束条件下的开裂风险。     

反凝析现象对雅克拉凝析气处理工艺的影响

雅克拉凝析气田位于塔里木盆地北部，地处新疆维吾尔自治区阿克苏地区境内，它是中国石化集团公司西北分公司探明并投入开发的最大凝析气田，采用衰竭式开采。通过对井口物流的相态研究，认识了凝析气的反凝析规律，采取了提高凝析气中C^＋₃收率的方法，以确保外输干气的烃露点达到管输要求，并提高该气田开发的经济效益。在工艺方案设计过程中，通过多种工艺方案比选，确定选用膨胀机进口压力为6.0 MPa的膨胀机制冷工艺， C^＋₃收率达到92％以上，外输干气烃露点满足管输要求。     

应用时频分析方法辨识时变系统的模态参数

应用Gabor展开及Hilbert变换进行时变线性系统模态参数的辨识。利用非平稳信号的Gabor变换将结构响应信号表示在时频面上，并通过Gabor展开重构分离模态分量，建立每一阶模态的时变线性模型。对单模态时变线性模型应用Hilbert变换来辨识随时间变化的模态频率和阻尼。通过对刚度和阻尼慢变的两自由度系统模态参数的仿真辨识验证辨识方法的有效性。仿真结果表明：本文方法为时变线性系统的模态参数辨识提供了一条新的途径。     

The Role of Test Protocols in Automated Test Generation for Embedded-Core-Based System ICs

Modular testing is an attractive approach to testing large system ICs, especially if they are built from pre-designed reusable embedded cores. This paper describes an automated modular test development approach. The basis of this approach is that a core or module test is dissected into a test protocol and a test pattern list. A test protocol describes in detail how to apply one test pattern to the core, while abstracting from the specific test pattern stimulus and response values. Subsequent automation tasks, such as the expansion from core-level tests to system-chip-level tests and test scheduling, all work on test protocols, thereby greatly reducing the amount of compute time and data involved. Finally, an SOC-level test is assembled from the expanded and scheduled test protocols and the (so far untouched) test patterns. This paper describes and formalizes the notion of test protocols and the algorithms for test protocol expansion and scheduling. A running example is featured throughout the paper. We also elaborate on the industrial usage of the concepts described.     

膨化硝酸铵晶体特性研究

膨化硝酸铵是一种改性硝酸铵晶体,具有显著自敏化特征,成功应用于各类膨化硝铵炸药及震源药柱中.在膨化剂(表面活性剂)的作用下改善了膨化硝酸铵的物理性能和晶体结构及其特征.本文通过硝酸铵固体表面接触角的测量,算出了膨化硝酸晶体表面能;利用差热分析(DSC)技术给出了膨化剂对硝酸铵晶变的影响;采用x射线衍射分析了膨化硝酸铵晶体的晶格特性.