金峰水库沥青混凝土心墙堆石坝坝壳料流变及其湿化变形

金峰水库挡水坝坝型为沥青混凝土心墙堆石坝,最大坝高为88m。坝体从上游至下游分别为上游石渣料区、上游过渡料区,沥青混凝土心墙料区、下游过渡料区、下游竖向排水带、下游石渣料区及水平排水带。由于坝壳料采用全断面软岩~极软岩筑坝,软岩软化系数低,湿化和流变变形显著,如其变形过大,可能造成防渗体系变形过大,使得防渗体产生裂缝,从而影响其防渗性能及工程的安全运行。     

铬浸出渣作高炉炼铁熔剂的试验

将铬浸出渣制成铬渣冷压块、铬渣烧结熔剂或铬渣自熔性铁烧结矿代替部分石灰石、白云石作高炉炼铁的熔剂，不但可获得合格的含铬铸造生铁，而且解决了铬浸出渣对环境的污染向题，取得了较好的经济、环保效果。     

德国甜菜品种 KWS5075丰产优质栽培技术

总结了焉耆盆地2000－2001年推广德国甜菜品种KWS5075获得丰产的栽培技术，主要有：（1）合理布局，合理轮作；（2）科学选地；（3）深耕秋灌；（4）精细整地（5）适时早播；（6）强化“早”管理；（7）科学施肥；（8）合理灌水；（9）综合防治病虫害；（10）适时收获。     

手机病毒传播模型仿真研究

在复杂网络经典传播模型的基础上,针对短信网络的小世界特征,建立了手机病毒在短信网络内传播的M-SEIR模型,并以此为基础研究了用户预免疫、病毒变异以及短信网络内的局部社团结构对手机病毒传播的影响,进而有针对性地提出了有效防治手机病毒传播的方法.     

基于静态特征的硬件木马检测

分析了集成电路全球化设计、制造致使集成电路易被植入硬件木马(HT)从而使其存在遭受恶意攻击隐患的硬件安全形势,以及现有硬件木马检测方法的技术特点,在此基础上提出了一种基于静态特征的硬件木马检测新方法——HTChecker。HTChecker基于硬件木马的静态特征利用子图同构技术来检测木马。与其他的检测方法相比,它可以快速精确地找出已知特征的硬件木马。为了不受限于机器内存的大小,该方法借助图数据库来存储电路,这样它对超大规模的电路也可以进行检测。使用ISCAS’89和OpenCores benchmark电路对HTChecker进行了评估,木马电路被随机地插入到这些电路中。实验结果显示HTChecker可以快速精确地找出木马,并且不需要"Golden Chip"的辅助。HTChecker可以有效地处理实际的VLSI设计。