济源:山间清泉润心田

<正>2018年深冬,记者走进王屋山深处的河南省济源市王屋镇铁山村。因为王屋山供水工程的实施,这个春节,这里的人们不必再为饮水发愁了。以前我们都是上西坡、铁山河里担水,水少时候要到5里外去拉水,没个壮劳力可不中。现在工程通水了,我们都吃上了自来水!谈起从前现在的变化,铁山村村民黄来梅很高兴。始建于1975年的王屋山水库灌区工程,为地处深山区的群众带来了看的见的实惠。如今,通过改建与实施供水复线工程,当地以水兴业,靠水致富,弥足珍贵的汩汩清泉浸润了曾经贫瘠的农田,也暖了百姓的心田。     

基于公理化设计的机电产品设计研究

机电产品设计的方法贯穿于整个设计过程,结合公理化设计相关理论,分析了产品设计过程的指导思想和方法应用,并建立了设计方案评价指标体系.以冰箱方案设计为例,对所述的公理设计方法进行了阐述.     

PLC控制系统中故障的检测与显示

介绍了PLC控制系统中故障产生的原因、检测和显示故障的方法,同时还介绍了显示故障的原理、控制电路和控制软件,并用实例进行了说明.     

基于UML的嵌入式实时控制系统的建模与实现

随着嵌入式系统在各个领域的广泛应用，嵌入式系统变得越来越复杂，研究一种支持嵌入式系统从分析、设计、验证到编码这一整个过程的模型系统及建模方法变得越来越重要。用UMI对嵌入式系统进行面向对象分析与设计，并以电梯实时控制系统为例，建立系统的静态模型和动态模型。在IAR、visualSTATE、ATE环境下，分析系统状态，实现了从状态图到C代码的自动生成，这提高了软件设计和实现的效率、质量、维护性和扩展性。     

单字母图像在流水线分拣平台上的应用

论述了单字母图像应用于流水线上的箱体来实现自动分类、矫正摆放的一种方法。将有探测图形的单字母图像标示箱体,对图像进行二值化、滤波、探测图形处理、旋转图像、定位字母和BP算法识别,并控制六自由度机械手臂完成分拣任务。采用VC++6.0编程实现,满足实时性并已实际应用。     

在全省水利系统党风廉政建设和反腐败工作视频会议上的讲话

同志们：全省水利工作会议结束不久,我们就及时召开全省水利系统党风廉政建设和反腐败工作视频会议,这充分说明厅党组对水利系统党风廉政建设是高度重视的。一年来,水利系统各级党组织和纪检监察机构紧紧围绕河南水利改革发展中心工作,坚持预防、惩治并重,坚持教育、监督、制度建设相结合,大力推进惩治和预防腐败体系建设,开展了一系列专项治理活动,在促进中央和省委、省政府重大决策部署的贯彻落实、解决水利工程建设领域突出问题、查办违纪违法案件、深化反腐倡廉长效机制建设等方面取得了显著成效,全省水利系统政风行风持续向好,     

用户指导的多层混合检查点技术及性能优化

检查点机制是一种典型有效的软件容错技术。在对现有检查点实现技术综合研究的基础上,设计了一个用户指导的多层混合检查点模型uHybcr,并在IA64 Linux系统中予以实现。最后,通过对比测试对引入用户指导机制所带来的性能优化进行了验证。     

An E?cient and Flexible Deterministic Framework for Multithreaded Programs

Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap-proaches have been proposed, such as deterministic multithreading (DMT) and deterministic replay. ...