村社统筹与国家动员:农村水利灌溉的逻辑——以湖北沙洋县水村为例

在我国中西部农村,由于村社涣散,国家缺位,水利设施毁损严重,农村水利灌溉陷于绝境.近年来,在国家强力动员和村社的密切配合下,水村水利灌溉设施得到了维修,管理上也进行了制度创新,灌溉难题基本得到解决.笔者认为为了形成水利灌溉长效机制,国家介入责无旁贷,村社统筹不可或缺.     

掺气保护长度研究进展

水流强迫掺气是目前应用广泛且行之有效的防蚀措施,工程中常在可能发生空蚀破坏位置的上游段设置掺气设施来减免空蚀破坏.由于水流掺气浓度的沿程衰减作用,长直泄洪隧洞往往需设置多道掺气设施以达到过流面掺气保护作用.然而,如何准确地确定掺气保护长度仍然需要进行大量的研究和探索,如临界免蚀掺气保护浓度和掺气浓度沿程演变规律的相关研究等.     

鄱阳湖流域径流、泥沙及水质变化研究

鄱阳湖是中国第一大淡水湖泊,在调节长江径流、维护生态平衡、保持生物多样性及发展区域生态经济等方面有着举足轻重的作用.近年来,随着鄱阳湖流域人类活动及水文情势的发展变化,鄱阳湖水环境发生相应变化.2000年以后,特别是2004年以后,鄱阳湖流域由于城市化进程加速,湖区采砂,航道整治,以及水文循环处于干旱期或水资源消耗加剧等因素的综合影响,鄱阳湖典型站的水质指标较以前变化更为频繁和剧烈.然而,相对于其他封闭型的湖泊如巢湖、太湖等,鄱阳湖污染物的积累现象非常微弱.     

引水工程运行管理决策支持系统设计与实现

引水工程是我国水资源战略调配的重要举措,在我国水资源调配已经或将发挥重要作用,引水工程的信息化建设将促进和提高引水工程运行管理水平。在分析引水工程特点及其运行管理需求的基础上,应用先进的信息采集、通信网络、空间和计算机控制处理技术,对引水工程运行调度管理决策支持系统进行分析设计,以吉林省引嫩入白引水工程为例,进行应用实践。通过应用表明,该系统运行稳定,界面友好,提升了引水工程水利信息化水平,充分发挥了引水工程的效益。     

地球自转与扁率对导弹射程偏差影响研究

针对地球扁率对远程导弹射程的影响,本文以惯性空间为基准,建立弹道导弹主动段在发射惯性坐标系中的运动方程,并假设地球为均质球体,在极坐标系中建立导弹被动飞行段弹道方程,通过简化公式,对地球自转和地球扁率对导弹射程偏差的影响进行了计算,并通过多条弹道进行仿真分析,仿真结果表明,地球扁率对导弹射程偏差的影响比单独考虑地球自转时显著增加,因此,计算大射程导弹射程及预测落点偏差时,必须考虑地球自转及扁率的影响,否则误差较大。该研究对提高导弹的命中精度意义重大。     

独墩宽幅鱼腹式截面梁桥抗倾覆能力研究

对桥梁上部结构整体抗倾覆稳定研究现状分析,剖析其计算力学原理及理论计算依据,并以一实桥为例,探讨独墩宽幅鱼腹式截面梁桥抗倾覆性能．借鉴最新规范研究成果及相关抗倾覆计算原理,引入抗倾覆稳定系数概念及其计算公式,对该桥进行整体鱼腹式箱梁的抗倾覆计算研究。同时与传统箱梁比较分析,所得二者抗倾覆稳定系数差别甚微,表明该类桥梁在抗倾覆稳定性方面并未有独特的优势．     

电动汽车用锂离子动力电池标准的现状与趋势

动力电池是电动汽车上的最为关键的系统之一,其基本性能、循环特性、安全性能对整车的经济性、动力性和安全性都具有重要影响,因此一直以来,动力电池都是电动汽车科研和标准化领域研究的重点。动力电池主要性能指标动力电池作为电动汽车上的储能装置,其性能对整车具有重要影响。电动汽车对动力电池提出的要求是:高功率、高能量、高能量密度/比能量、高功率密度/比功率、低成本、长寿命、耐滥     

基于LED光源隧道照明调光系统的研究与设计

针对隧道照明调光的要求,设计了一种基于PWM驱动大功率LED的调光系统.该系统采用恒流可控电路,主电路采用BUCK拓扑结构,控制电路采用自带PWM功能的单片机.通过对负载电流的采样,控制输出PWM脉冲的频率和占空比,以达到负载电流恒定的目的.该方法解决了LED在不同环境及时间内的亮度调节问题,且可在不改变其他电路参数的情况下增加或减少一定数量的LED,节约了成本,同时也给施工带来了极大的便利.试验表明,系统的各项性能指标均达到要求,抗干扰能力强.     

基于区分能力的HU差别矩阵属性约简算法

将决策表属性区分能力大小与HU差别矩阵结合起来,建立起属性区别能力与该属性在HU差别矩阵中出现次数之间的关系.提出与HU差别矩阵属性约简相适应,只依赖于等价类基数计算的属性区分能力计算公式,得到HU差别矩阵约简的属性区分能力判定定理.定义了以属性区分能力为基础的属性相对重要性概念,提出以相对重要性为启发式信息的HU属性约简算法.由于该算法不必构造差别矩阵,只依赖于等价类基数的计算,从而大大提高了算法效率.数值算例和实验结果表明,该算法更有利于最优或次优约简结果的搜索.     

基于Petri网的SysML活动图的分析与验证

系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则。应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等。采用列举法和模拟法验证了所建模型的一致性。证书申请活动图的实例表明,该方法是可行的。