提高MG2×150/700-WD型采煤机截割部轴承寿命周期的设计改进

通过改进结构及轴承类型,提高MG2×150/700-WD型交流电牵引采煤机截割部轴承使用周期。     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

灾害中生活类物资的供应分析——以汶川地震重灾区物资供应为例

救灾生活类物资在供应中面临着优化运输路线、降低运输成本、缩短运输时间3个难题。文章采用相关机会多目标规划模型,以汶川地震为例,总结并完善了自然灾害救助中的多物资的协作供应模式,为突发性重大灾害中多物资的协作供应的组织、实施、管理提供参考支持。     

论OA系统的文档类型

本文论述了在开发OA系统过程中,如何选择合适的文档类型。文中给出了具体方案,并对文档类型的标准化及未来的发展趋势进行了分析。     

利用VC++绘制XMAC各向异性图的实现方法

简要介绍了XMAC各向异性图的成图原理及算法设计。根据成图原理建立了算法的数学模型,用VC++编程具体实现了各向异性图的绘制,并给出了实现的关键步骤。通过与eXpress软件比较绘图的效果,证明了给出的绘制各向异性图的方法,绘图效果达到了工程实际应用的要求,能够满足生产实际需要,并已在GeoSpace解释平台中应用。     

调查洪水在无资料地区设计洪水计算中的应用

在无资料地区水利水电工程规划设计过程中,一般是采取多种方法计算设计洪水,经比较综合考虑推荐安全可靠的设计洪水作为采用成果。此法一般存在设计值偏大或偏小的幅度超过可允许范围问题。此文通过实例应用调查洪水成果对计算洪水进行验证,说明了选用洪水成果合理性、选用设计洪水成果安全可靠,为设计洪水计算提供坚实的数据支撑,也为工程安全运行提供可靠设计保证。     

乌云河流域地下水资源量计算与方法分析

山丘区地下水资源量计算,目前由于观测手段的限制还没有有效的直接计算方法。文中以山丘区流域为例,利用实测水文断面资料,以水文分割法和加里宁试算法为基础,对实例流域的地下水资源量从河川基流量的角度进行了分析计算,求出了测站控制断面的多年平均及不同设计频率下的河川基流量,采用河川基流模数得到全流域的基流量。最后对推求河川基流量的不同计算方法的应用条件和精度差异进行了对比分析,提出了具体使用建议。     

绥化东部地区地下水水化学特征及质量评价

对绥化市东部地区地下水类型及赋存条件、地下水水化学特征进行了概括论述,对地下水环境质量进行了评价分析,并根据研究区水文地质条件及地下水化学特性,提出地下水保护措施,即:在水源区建立卫生防护带,在成井过程中用膨润土封井,对水源井进行动态监测。     

林海水库垂向水温预测及对下游冷水鱼类的影响分析

水库工程的建设不仅可以提高水资源利用效率,调节天然合理径流量的变化,而且还对水库的热量起到调节作用。水温预测是水利水电工程环境影响评价所需要的重要内容之一,准确模拟和预测水库的水温分布规律,并加以调控,对改善库区及下游河道的水生生态有着重大意义。水温预测方法大致可以分为两大类,即经验公式法和数学模拟法。经验公式法具有简单实用,并且需要的参数较少;数学模拟法在理论上比较严密,并且随着计算科学的发展,越来越成为研究的主要手段和方法;数学模拟方法预测软件昂贵,所需参数较多。