LuYAP∶Ce闪烁晶体阵列研究

铝酸钇镥(LuYAP)∶Ce晶体具有衰减时间短,密度大,光产额高及不潮解等优点。采用该晶体制作的闪烁晶体阵列,能快速获得皮秒级正电子湮灭的精确信息。该文报道了一种LuYAP∶Ce闪烁晶体阵列的制作方法,将提拉法制备的LuYAP∶Ce晶体经切割并运用化学机械抛光法处理后,最终利用填充材料制作了晶体阵列。在X线光机上开展了阵列的发光均匀性测试,测得发光不均匀性为14.8%。结果表明,LuYAP∶Ce晶体满足使用要求。     

基于伪ID的RFID认证协议及串空间证明

安全有效的认证协议是对RFID系统安全的有力保障,适宜的形式化分析方法能为RFID认证协议提供有效的证明。设计了基于伪ID的RFID认证协议,伪ID由标签ID、标签认证数值和随机数产生。标签ID不出现在协议执行过程中,减少了系统遭受攻击的可能性。协议通过标签ID、标签认证值和随机数的Hash运算实现认证。利用串空间模型对协议进行形式化分析,建立认证协议的串空间模型丛图,证明了协议的保密性和匿名性。通过分析常规的基于Hash函数的认证协议的性能可知,该协议在使用较低运算成本的情况下可以抵抗多种攻击,并能够完成标签和读写器之间的双向认证。     

ACTIFLO(R)微砂加重絮凝斜管高效沉淀技术

针对北京市第九水厂原水低温、低浊及高藻的情况和出水要求,综合考虑实际工程情况和远期水质状况,采用ACTIFLO(R)高效沉淀池工艺对该厂二期A处理线沉淀池进行改造,改造后处理能力由原来的25×104m3/d提高到34×104m3/d.调试期间的运行结果表明,ACTIFLO(R)高效沉淀池对密云水库的低浊、高藻原水有稳定且良好的处理效果.     

基于高斯型点扩展函数的红外图像热源复原

为了复原红外图像的热源,采用高斯点扩展函数的方法来增强热源的清晰度和对比度。首先,确定热源图像的高斯点扩展函数,建立其退化模型;然后,采用维纳滤波的方法复原红外图像中的热源,对复原图像通过YIQ变换来复原其温度场彩色信息;最后,通过边缘锐度和标准差评价分析热源复原的质量,并与盲复原算法对比。结果表明,边缘锐度边缘锐度和标准差分别提高了0.502%和0.124%。基于高斯型点扩展函数的方法对红外图像的热源复原具有明显的效果。     

一个切换Lorenz混沌系统在图像加密中的应用

目的将一种新型的切换Lorenz混沌系统引入到图像加密系统中,以提高图像加密的效果。方法图像加密系统采取"置乱-扩散-置乱-扩散"的过程,首先结合密钥K,将切换Lorenz混沌系统结合四阶龙格-库塔方程对明文图像进行离散,并通过Arnold映射对明文图像矩阵进行置乱;通过"异或"位运算对图像进行扩散处理;再通过Logistic映射对图像进行置乱;最后通过"循环移位"运算对图像进行扩散处理。结果经过仿真实验对图像加密性能进行测试,密文图像的相关指标参数NPCR和UACI的测试值分别约为99.60和33.4,都很接近于它们的理论值,信息熵的测试结果约为7.997,也非常接近于理论值8。结论表明引入新型切换Lorenz混沌系统的图像加密系统具有较强的鲁棒性、可靠的安全性,可以有效地提高加密系统的各种抗攻击能力。     

黎族润方言文身图式研究及其在现代服饰设计中的应用

海南黎族至今还有少量妇女存有文身,随着时间推移也在不断减少,直至消失.黎族妇女文身作为非物质文化遗产,其润方言地区妇女的文身图式更古老,更具有研究价值与保存价值.通过对润方言妇女文身特征的分析,找出其审美规律,并对其在现代服饰设计当中的应用进行了分析.     

自动化集装箱码头数字孪生系统设计研究

文中基于智慧港口运营管理、设备作业、信息系统三位一体的建设要求,结合自动化集装箱码头的作业流程,提出了一种自动化集装箱码头数字孪生系统,给出了系统整体架构、各模块功能及系统智慧决策.该数字孪生系统能够实时反映真实码头的运营情况、各设备位置及作业状态、业务和生产数据等,并投放到指定屏幕上,便于工作人员远程操控,为管理者提...     

分级等温淬火新工艺及其配套连续热处理生产线

文章综述了等温淬火球铁(ADI)的由来和发展,介绍了ADI分级等温淬火新工艺以及与之配套的连续热处理生产线的特点,以及ADI在磨球、杂质泵壳体、齿轮等产品上的应用。指出分级等温淬火和配套装备可以实现高性能ADI产品的高效率、低成本、稳定化生产,是一种适合国情符合环保节能要求的生产方法。文中有多年来对ADI研究的心得和体会,谨供同行们参阅,以期进一步完善ADI生产核心工艺技术,促进ADI产业的进步和发展。     

一阶逻辑公式相对真度的计算形式

对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。     

保障北京城市供水水质关键技术的研究与应用

北京是国际化大都市,即将承担2008年奥运会。一方面,肩负着重要的对外窗口和国际交流的重任,另一方面,居民生活水平较高,对水质安全与口感有很高的要求。在我国经济高速发展的同时,在以人为本的基本精神指导下,全面提高供水技术与管理系统,改善供水水质、保障饮用水的水质安全对于巩固社会稳定和奥运会的成功举办具有重要意义。