Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

基于车型识别的BP算法Matlab实现

车型识别具有广阔的应用前景,BP神经网络在车型识别中能够提高车型的识别率。在任何车型大致都可以抽象成一个"工"字型情况下,提取其中的顶长比、前后比和顶高比这三项相对参数作为BP神经网络的输入参数。采用三层3-8-3的BP神经网络,并用14对输入参数离线训练,再用4对新数据进行检验,均得到了预想的期望值。     

组合隔板式鱼道水力特性数值模拟研究

鱼道是为鱼类提供洄游通道的一种重要的工程措施。基于Flow-3D采用标准RNG k-ε紊流模型和Tru-VOF追踪自由液面方法,对鱼道池室内流场进行三维紊流数值模拟,研究池室内水流流速、流态空间分布,分析鱼道的水力特性对目标鱼类洄游上溯的影响。结果表明:溢流堰与竖缝组合隔板式鱼道在设计流速v=0.75 m/s条件下,竖缝处平均流速为0.83 m/s,竖缝处流速分布范围为0.76~0.89 m/s;堰上流速为0.90~1.12 m/s,回流区流速分布范围为0.09~0.25 m/s,流速大小在鱼类的克流能力范围之内,但靠竖缝隔板处存在明显的主流贴壁现象。为此开展了池室优化方案设计,使鱼道池室流态满足鱼类上溯要求。     

不同植被类型对堆积体坡面径流特性的影响

针对植被防护堆积体侵蚀动力机制的问题,通过野外模拟降雨试验,分析直根系和须根系植被对堆积体径流流速、水力和水动力参数的影响。结果表明:植被削减堆积体平均侵蚀速率达88.34%~92.88%,直根系消减平均流速效益为50.51%,须根系为21.32%~35.61%;裸坡和植被堆积体径流流型均属于层流(雷诺数<40),裸坡径流在降雨强度≤1.2 mm/min时处于急流态,直根系堆积体均处于缓流态,须根系堆积体在急流态和缓流态间变化。直根系对坡面径流的阻滞作用大于须根系;植被防护下堆积体侵蚀速率、水力和水动力参数与裸坡呈显著性差异(P<0.05),径流剪切力和径流功率可用于较好地刻画坡面侵蚀动态过程,呈显著线性关系(R²为0.63~0.96)。研究成果可为生产建设项目工程堆积体水土流失量预测模型的植被因子修订提供科学依据。     

广东省东江流域显著水问题类型识别

通过构建流域水资源、水环境与水生态功能评价指标体系,采用ArcGIS自然间断点分级法分析广东省东江流域水资源、水环境与水生态3类涉水功能的空间格局特征,采用Spearman等级相关系数定量分析3类涉水功能间的交互作用,识别各地区显著水问题类型,并提出相应管控策略。结果表明：广东省东江流域水资源、水环境与水生态功能评价等级空间格局体现出显著的空间差异性;流域水资源、水环境与水生态功能间的交互作用类型为兼容;基于3类涉水功能评价等级及功能间交互作用类型,将广东省东江流域10个评价单元划分为水资源、水环境、水生态、水资源-水环境、水生态-水环境及非显著型6个显著水问题类型。     

苏州市景观水体表观污染类型识别及特征指标筛选

为解决表观污染成因的问题,以苏州市区河网为主要研究对象,采集796个数据样本,对景观水体的表观污染类型进行划分界定,并通过对数据样本的统计分析,探究水体表观污染类型和水质指标之间的关系。结果表明:氧化还原电位、溶解氧、叶绿素a、高锰酸盐指数和浊度对不同污染类型的水体具有很好的区分度,可作为主要特征指标;景观水体可分为有机主导型、无机主导型、营养主导型和混合型4种表观污染类型;不同表观污染水体判别的优先次序为有机主导型、无机主导型、营养主导型、混合型。     

配电网短路故障分析及其识别方法研究

分析了在不同中性点接地方式下单相接地和两相短路接地故障的相电压及中性点电压变化特征,结合三相短路和两相短路的故障特征,提出了完整的配电网短路故障识别方法。仿真结果表明,该方法具有采集的模拟量少、判据简单、运算简便的优点,具有一定的实用价值。     

煤矿管道瓦斯流量计量技术研究

阐述了煤矿管道瓦斯流量计量技术的发展现状,分析了孔板流量计、涡街流量计、皮托管流量计、旋进漩涡流量计、V锥流量计的优缺点;针对瓦斯流量测量准确度受气体中的杂质和瓦斯体积分数变化影响的问题,提出了解决办法;建议煤矿瓦斯抽放管网中的主管、干管、支管采用V锥流量计,汇流管以及各评价单元采用多点采样的插入式流量计;指出煤矿管道瓦斯流量计量应根据不同的现场状况、工况条件及测量需求选择相应的流量计。     

煤矿井下采掘设备隔爆兼本安型电气控制箱的本安设计

针对煤矿井下采掘设备防爆兼本安型电气控制箱内本安电路与非本安电路并存、非本安电路的能量可能会窜入本安电路而影响本安电路防爆及本安性能的问题,从结构设计和电气隔离两方面介绍了煤矿井下采掘设备隔爆兼本安型电气控制箱的本安设计方法,给出了电气间隙、爬电距离、绝缘及耐压、接线端子、本安布线、电源变压器、本安隔离栅印制板等结构布置方法以及RS485通信隔离电路、模拟量隔离电路、压频变换电路、电阻信号隔离电路、开关量隔离电路、继电器隔离电路等电气隔离措施。应用表明,采用该方法设计的煤矿井下采掘设备隔爆兼本安型电气控制箱安全可靠,维护简便,能够满足煤矿井下的防爆要求。