用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

罗宾康高压变频器在青钢高炉生产中的应用

本文结合青钢高炉炼铁生产的实际工况,介绍了西门子单元串联多电平高压大功率变频器在该厂750m^3高炉除尘风机中的应用,给出了变频器的工作原理等。运行表明,该变频器的投入节约了能源,提高了工作效率。     

省水利厅党组学习贯彻十八届三中全会精神推进龙江水利改革发展跨越

11月20日,省水利厅党组召开扩大会议集体学习十八届三中全会决定。会议由厅党组书记、厅长陆兵主持,会议传达了“中共中央关于全面深化改革若干重大问题的决定”全文和习近平总书记关于《中共中央关于全面深化改革若干重大问题的决定》的说明。     

省术利厅在2012年省安委会安全生产责任制考核工作中取得好成绩

1月8日,以省政府安委办副主任、省安监局副局长李宝君为组长的省政府安委会安全生产责任制考核组一行到省水利厅检查2012年安全生产责任制落实情况。考核组听取了省水利厅关于2012年落实安全生产责任制工作情况的汇报,认真查阅了2012年安全生产责任制落实工作相关文件、纪要     

全省水利工作视频会议在哈召开

3月1日,省水利厅召开全省水利工作视频会议,贯彻落实党的十八大以及国家、我省有关重要会议精神,总结五年来,特别是2012年水利工作,分析形势,部署今后五年和2013年水利工作。会议由副厅长胥信平主持,厅长陆兵作了工作报告。会上,省水利厅规计处等9个处室对2013年重点业务工作进行了安排;陆兵厅长与各市(地)、省管县、省农垦总局水务局及厅直单位代表签订安全生产责任状。省水利厅厅领导、总工程师、     

虚拟仪器技术在温度采集系统中的应用

针对目前越来越多的控制系统以个人计算机为控制核心和虚拟仪器技术的快速发展等特点,为了使温度采集系统实现系统与计算机的高度融合,设计了一种基于实验室虚拟仪器工程平台和单片机的温度采集系统,将虚拟仪器技术应用到温度采集系统中.系统由STC系列单片机和数字温度传感器DS18B20搭建下位机系统进行实时温度采集,应用图形化编程软件LabVIEW和个人计算机构成上位机系统进行采集温度数据的实时处理、分析以及存储等操作.多次测试实验的结果表明,系统运行良好,实验结果理想.较传统基于单片机设计的温度采集系统,其设计实现了系统与计算机的高度融合,虚拟仪器技术在温度采集系统中的应用很大程度上提高了系统的灵敏性,降低了硬件制作的复杂度;与采用数据采集卡搭建的系统相比,应用串口通信极大程度上降低了成本.系统结构简单,直观形象、操作简单方便,人机交互界面友好美观,具有成本低、实时保存数据、抗干扰能力强等特点.     

省水利厅组织开展党员领导干部廉政警示教育活动

省水利厅机关纪委于2012年12月13日在省防汛抗旱保障中心四楼会议室组织开展了廉政警示教育活动,厅机关全体公务员及附属各单位副处级以上干部参加了学习。会议由厅常组成员、副厅长五铁主持。会议首先传达了《关于严禁党员干部在境外出版发表政治性有害出版物和文章及携带有害出版物入境的通知》,然后观看了廉政警示教育片《领导干部从政道德警示》从政治品德、职业道德、家庭美德和个人品德等方面,深刻警醒和教育广大领导干部要充分认识到修德的重要性和失德     

水利部召开视频会议推进重点小（2）型病险水库除险加固工作

9月13日,水利部召开重点小（2）型病险水库除险加固工作视频会议。水利部部长陈雷出席会议并讲话,他强调,要以对党和人民高度负责的精神,抢抓有限时间,强化工作措施,合力攻坚克难,扎实做好工作,确保年底如期完成重点小（2）型病险水库除险加固任务。水利部副部长矫勇主持会议,总规划师周学文,总工程师汪洪出席会议。黑龙江省分会场,省水利厅副厅长胥信平及厅有关处室负责人参加了视频会议。     

奥克托今细化的影响因素研究

通过一种化学重结晶与物理作用相结合的气动喷雾细化方法,研究改善HMX炸药的重结晶细化效果,其核心技术在于炸药溶液与非溶剂的喷射分散混合.利用此方法,以奥克托今为原料,二甲基亚砜为溶剂,设计正交实验,研究了影响炸药细化因素的最佳工艺参数.结果表明:在水温为0℃,喷射压力为0.5MPa,进药速度为40mL/min,水和溶液的体积比即喷射锅中加入水量最佳为3×5 500mL,溶液温度为50℃时,HMX细化效果最佳.     

青海大通设施农业建设探索与实践

大通县设施农业节水灌溉工程是青海省水利厅从2009年启动的《青海水利设施农业三年计划实施方案》制定的节水示范工程。通过充分论证,科学规划、建设、管理,创新机制,广泛宣传,设施农业建设取得了显著的成效。拓宽了农业服务的新功能,探索出了休闲观光农业发展的新路子。