掺铝氧化锌(AZO)薄膜的应用及研究评述

掺铝氧化锌(AZO)薄膜具有较高的透过率,较小的电阻率等优良的光电性能,使其在太阳能电池电极及各种显示器中具有广阔的应用前景。本文概述了AZO薄膜的结构、光电性能的表征方法,重点介绍了单层AZO膜以及AZO基多层复合薄膜的设计理论基础、影响薄膜性能的因素以及研究现状,除此之外,还对AZO薄膜的应用情况进行了概述,并对AZO薄膜发展前景进行了展望。     

无线传感器网络定位理论和算法

定位技术作为网络协议和应用的基础,已经成为无线传感器网络重要的支撑技术,是传感器网络研究的核心问题之一.系统地总结了近年来定位理论和算法的最新研究进展.全面阐述了定位问题的形式化定义、定位问题复杂度分析、基于刚性理论的定位理论和定位问题可计算性研究的最新成果.通过对定位理论的研究可以更好地揭示定位技术的本质,回答很多定位技术相关的基本问题.此外,还深入分析了近年来典型的定位算法,介绍每种算法的设计思想,分析其适用范围和不足.最后给出定位理论和定位算法未来的研究方向.     

基于TLA的UML模型形式化验证

统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为 2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。     

基于离散ID序列的RFID标签认证协议

针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,桑用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。     

电厂监控系统多通道故障录波器设计

通过对ＴＨＣＹ－１６多通道故障录波器的具体设计,介绍了它的功能、特点、总体结构与工作原理,以及相关软件设计,为小型电厂系统的故障当波提供了一种更为方便、经济的选择。     

为中原崛起提供水利支撑

<正>2013年全省水利系统在河南省委、省政府的坚强领导和水利部的精心指导下,重点水利项目建设高潮迭起,民生水利加快推进,水利管理继续加强,水利改革不断深化,为全省粮食产量实现"十一连增"、促进经济社会又好又快发展奠定了扎实基础。一是防汛抗旱取得积极成效。2013年,河南省因持续高温少雨,发生了较为严重的春旱、伏旱和秋旱。全省累计投入抗旱资金22.2亿元,累计抗旱浇地13 349万亩次,解     

在水利厅领导干部会议上的讲话

今天我们召开全厅处级以上干部大会,主要任务是传达学习党的十八届三中全会精神。11月15日,省委召开全省领导干部会议,传达学习贯彻党的十八届三中全会精神,对我省学习贯彻落实工作进行安排部署。11月16日,省政府召开常务会议,传达学习贯彻三中全会精神,研究我省近期工作和明年工作思路。11月17日,省委作出《关于认真学习贯彻党的十八届三中全会精神的决定》。下一步,计划明年一季度末,省委还将召开全会,对我省学习贯彻落实三中全会精神、全面深化改革出台《实施意见》,进一步作具体部署。这里,根据厅党组研究的意见,我就当前全厅学习贯彻十八届三中全会精神讲几点意见。     

陕西省江河局精神文明建设纪实

2011年12月20日,全国精神文明建设工作表彰大会在北京隆重举行。陕西省江河水库管理局作为全国水利系统入选的14家文明单位之一,被授予第三批"全国文明单位"光荣称号。激动人心的喜讯传回西安,全局系统1000多名干部职工欢呼雀跃。多年来持之以恒的精神文明创建活动,从陕西省水利厅的文明单位到陕西省精神文明建设先进集     

两层轻钢龙骨体系动力特性及地震位移反应分析

由于和传统钢结构形式有差别,轻钢龙骨体系在计算地震剪力时,自振周期按《荷载规范》附录中的经验公式取值不尽合理,有必要对这种结构形式的动力特性及地震位移反应进行研究。以一两层格构轻钢龙骨教学楼为例,采用有限元软件ABAQUS对结构进行了整体建模,得到其前20阶自振频率及前3阶振型,分别采用底部剪力法和时程分析法分析了结构的地震位移反应,并进行了比较,为结构设计和计算提供方便。     

自攻螺钉连接抗剪承载力的有限元建模方法

随着轻钢龙骨体系及彩钢板的广泛使用,自攻螺钉连接受力性能也越来越被人们重视.目前国内有关自攻螺钉连接受力性能的研究主要集中在试验和有限元分析两方面,其中有限元的建模方法各有不同.采用ANSYS有限元软件建立了自攻螺钉抗剪连接的7种简化计算模型,对各种简化模型所得连接的极限承载力、破坏形式及建模特点进行了比较,得到了自攻螺钉连接合适的有限元建模方法,为自攻螺钉抗剪承载力的理论研究提供有益的参考.