国外GIS标准化进展和我国的对策

地理信息系统（ＧＩＳ）标准化对于ＧＩＳ技术发展和应用至关重要，国内外对此均十分重视。本文着重介绍国外标准化工作的进展，特别是国际标准化组织地理信息／地球信息业技术委员会（ＩＳＯ／ＴＣ２１１）自１９９４年成立以来，在标准化方面所做的工作，进而阐述我国参与国际标准化活动情况，探讨为加强我国地理信息标准化工作应采取的对策。     

深圳市规划国土信息系统基础信息子系统设计和开发

深圳市城市规划国土信息系统（ＳＵＰＬＩＳ）基础信息子系统是ＳＵＰＬＩＳ最先开发的五个子系统之一。它是深圳市规划国土局测绘业务管理的办公自动化系统和测绘信息服务的空间型信息系统。它又是ＳＵＰＬＩＳ其他各子系统的统一基础，为各子系统提供空间定位基础和地理背景信息。本文简略介绍该子系统的设计和开发，包括系统逻辑结构、系统功能、支持环境、数据分层、分类和编码、基础数据库构成、用户界面开发等。该子系统已初步开发完成，正投入试运行和与其他已开发子系统集成，以期早日发挥效益和在应用中进一步优化．ＳＵＰＬＩＳ是深圳审规划国土局本着“以规划为龙头，以土地为中。”方针，对本局规划、市政、管线、报建、房地产、测绘等多项业务进行科学管理和办公自动化的综合性、空间型信息系统。ＳＵＰＬＩＳ系统在调研和样区试验的基础上．于１９９３年５月通过了总体设计方案论证。根据总体方案，ＳＵＰＬＩＳ包括十个子系统，按需要分期分批开发、应用。基础信息子系统是ＳＵＰＬＩＳ第一批开发的子系统之一，由中国测绘科学研究院和深圳市规划国土信息中心共同完成。     

基于OpenBR的身份识别系统应用

OpenBR——开源生物识别系统,是一个可以提供快速高效开发环境的系统。正是因为它是一个用于研究新方法、改进现有算法、对接商业系统、测试识别性能并且可以自动部署生物系统的框架才使得应用此方法实现面部识别成为可能。对利用OpenBR提供的生物识别算法设计工具,经过正脸检测、规范化、特征描述、特征提取、特征对比匹配等一系列步骤对图片数据进行处理,最后将得到的匹配分数经过决策算法成为通过人脸识别实现身份识别的依据进行了研究。通过实验结果得出设计的决策算法可以得到90%以上识别率。可以应用于考勤、驾驶员身份识别等领域。     

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.     

新疆极端降水事件时空变化特征研究

基于新疆1960—2011年的日降水量数据,选取持续干燥指数、持续湿润指数、年总降水量、强降水天数、强降水量、1 d最大降水量、5 d最大降水量和普通日降水强度8个极端降水指标,采用线性倾向率、Mann-Kendall突变检验及主成分分析法研究新疆极端降水的时空分布特征及演变趋势。结果表明:时间变化上,新疆极端降水的持续湿润指数均呈上升趋势,持续干燥指数呈下降趋势,表明新疆降水量总体呈增加趋势;空间变化上,南疆、北疆极端降水指标的年际变化表现出明显差异,北疆湿润指数大、年际变化率大,南疆湿润指数小、年际变化率小;极端降水指标基本上在1986年、1987年发生突变,各指标突变前后的变化率存在明显差异;时间上的主成分分析表明降水量整体增加,干燥程度下降;空间上的主成分分析表明,北疆降水量多于南疆,南疆较北疆干旱。     

一种基于SNMP的网络拓扑发现策略

本文主要对一种基于SNMP的网络拓扑发现策略进行了探讨。首先介绍了SNMP协议在网络拓扑发现应用中的优点;其次,介绍了网络拓扑发现的优点;再次,对传统SNMP的网络拓扑发现策略进行了分析并指出了其中的不足;最后提出了改进建议。     

引发产业变革的颠覆性技术内涵与遴选研究

引发产业变革的颠覆性技术具有技术突破性、产品替代性、市场广泛性与产业变革性特征,会对社会发展和人民生活产生深远的影响。本文首先从产业和技术角度出发,提出引发产业变革的颠覆性技术内涵;其次,建立相应的指标评价体系;最后,通过两轮问卷调查,以定性和定量相结合的方式,遴选出20多项引发产业变革的颠覆性技术,从而为进一步研究颠覆性技术与产业变革间的规律、开展技术预测工作提供支撑。     

3D打印在催化和吸附材料制备领域的应用

3D打印是一种快速成型技术,该技术在催化和吸附材料制备领域的应用目前已受到广泛重视。3D打印技术一方面能够拓展整体式催化/吸附材料的涵盖范围,实现材料的宏观结构优化和活性组分控制,同时有利于强化催化和吸附过程中的传质/传热过程,而且操作灵活,可靠性强,因此适于工业生产和实验室研究。本文介绍了催化/吸附材料制备过程中常见的几种3D打印技术,同时从打印策略和打印材料方面入手,综述了目前3D打印技术在催化和吸附领域的各项应用,并由此指出,目前3D打印技术可以将聚合物、碳材料、金属及金属氧化物、分子筛等材料纳入到整体式催化体系中,通过对材料结构和分布的控制对其催化和吸附性能进行影响,因此3D打印在催化和吸附材料制备领域的应用有着广阔的前景。同时指出材料微观结构控制、打印耗材及流程的标准化,以及以计算为依托的催化/吸附材料的整体式结构和活性位点分布控制是今后的研究重点。     

钢筋混凝土刚架拱桥荷载试验及仿真分析

对混凝土刚架拱桥进行了荷载试验及检测数据分析,并运用大型有限元程序Midas进行了仿真分析,通过多种工况下桥梁变形和内力实测值的比较、实测动力学曲线的频谱分析,以充分了解桥梁结构的力学性能,为桥梁的安全使用提供依据。     

福建红曲产业的发展现状与对策

红曲在我国应用历史悠久,分布广泛,其中又以福建红曲最为著名。 但目前福建红曲产业面临生产技术水平不高、产品研发 创新不足等等问题,导致产业发展受阻。 该文分析了福建省红曲产业发展的现状、发展潜力及所面临的问题,并从企业应对策略、政 府引导扶持、产学研合作交流三方面提出对策,助力福建红曲产业的传承与发展。