混凝土坝基面宏观抗剪强度的随机——临界研究

本文从可以反映小尺度力学性质空间变异性的随机场出发，借助现代物理学逾渗(Percolation)临界理论，推导了用有限个小尺度混凝土/岩体胶结面试块抗剪试验结果确定混凝土坝基面宏观抗剪强度的上、下限理论计算公式。研究结果表明，混凝土坝基面宏观抗剪强度在数值上介于小尺度混凝土/岩体胶结面的小值平均值和算术平均值之间。     

基于模糊控制遗传算法的输电系统最优化规划

用遗传算法求解优化问题时，要花费大量时间对基因进行测试、组合，速度较慢。另外，遗传算法的性能还强烈地依赖于一些相关参数（例如交叉和变异的概率）的选取。文中以电网规划为背景，对简单遗传算法（SGA）进行了多方面改进，得到模糊控制遗传算法(FLCGA)。该算法速度快，收敛到全局最优解的概率大。与基于传统遗传算法的电网规划比较，FLCGA具有明显的优越性。     

风流脉动下采空区流场数值模拟与实验研究

针对矿井内风流脉动的特性,基于矿井通风理论、流体力学理论、空气动力学 理论、传热传质学理论、多孔介质渗流理论,建立了矿井风流脉动下采空区流场的计算模型;通 过数值模拟,研究了脉动风流作用下采空区流场的分布特点,并通过实验对其进行了测试和 验证。结果表明所建立的采空区非稳定流场的数学模型可用于研究采空区流场分布状态,并 为采空区火灾防治提供有效的手段。      

综合业务计费中的事件切分和圆整策略研究

分析了下一代网络环境下综合业务的特点及其对计费系 统的要求；提出了一种通用计费系统体系结构；介绍了事件切分和圆整在计费系统中的位置 ，提出了一种事件切分、圆整的算法；分析了事件切分和圆整的策略需求和现有主要策略， 并给出了事件切分和圆整算法在计费系统中的应用.     

投菌强化氧化沟法处理采油废水

为了获得较高的采油废水处理效率,针对采油废水的水质特点,通过实验筛选出了专用菌种。分别采用氧化沟法和投菌强化氧化沟法进行了采油废水处理的对比实验。结果表明:该专用菌种有很强的降解能力。投菌后,氧化沟的处理效率大幅度提高,出水COD值降低,并增强了抗冲击负荷的能力。从而证明了该方法的有效性。     

国内外非开挖定向钻机及其智能控制技术

介绍了非开挖定向钻机及其智能控制技术的国内外发展现状,总结了非开挖定向钻机技术的发展趋势,提出了钻进导向控制技术、定向钻机专用控制技术、地下电缆与管道探测防触碰安全保护技术、钻进软件开发技术和智能故障诊断技术是我国非开挖定向钻机行业为占领国际市场、面对国际竞争所需要发展的关键技术。     

超超临界机组用Sanicro25耐热钢研究进展

简要介绍了一种700℃超超临界发电机组再热器和过热器的候选材料——Sanicro25奥氏体耐热钢。通过对Sanicro25组织结构、时效组织演变等微观组织,高温性能、持久强度、冲击韧性、低周疲劳强度和焊接性能等力学性能及耐蚀性研究进展的综述,指出了目前Sanicro25时效后冲击韧性大幅下降的不足,并且展望了未来Sanicro25的研究方向。     

基于控制单元的流域水环境容量总量分配研究

以赣江一级支流锦江流域为例,建立了控制单元内水环境容量总量分配方案模型,遵循“流域-区域、流域-子流域（支流）、流域-排污口（直排口）”的分配思路,根据流域具体情况,确定了水环境容量总量分配原则,对各控制单元的COD水环境容量总量进行分配,并采用合理性指数对不同分配方案进行评估,得出各个控制单元COD容量总量分配的推荐方案和备选方案。研究成果为该流域COD容量总量控制规划的制定提供了科学依据。     

基于多时相Landsat8 OLI影像的作物种植结构提取

针对基于多时相遥感影像、多种特征量提取多种作物种植结构在我国研究较少的现状,利用多时相Landsat8OLI影像数据,根据温宿县不同作物的农事历,通过分析主要地物的光谱特征和归一化植被指数的时间变化信息,构建不同作物种植结构提取的决策树模型,实现了对温宿县多种作物种植结构信息的提取。结果表明:1水稻的最佳识别依据是5月20日影像的近红外波段和7月23日影像的NDVI值;棉花和春玉米的最佳识别依据是5月20日~9月9日影像的NDVI变化值;冬小麦—夏玉米和林果的最佳识别依据是5月20日~7月23日影像的NDVI变化值;2与单时相监督分类相比,多时相决策树法对多种作物种植结构的提取效果更理想,总体精度提高了7.90%,Kappa系数提高了0.10;3Landsat8OLI影像数据分辨率高、成本低、获取方便,是农作物遥感的良好数据源。     

一种实时系统时间约束验证方法研究

目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能模和时间约束分析的方法尚在研究中,而这些系统作为实时控制系统,应该确保其具有准确的、可分析的时间行为。时钟约束规范语言CCSL是实时系统的标准描述语言中描述时钟约束的规范语言。采用CCSL规范表达式描述实时系统时间约束;设计了CCSL基本元素到时间自动机基本元素的转换规则;使用时间自用机验证工具UPPAAL对转换得到的自动机模型进行验证分析,验证实时系统是否满足相应的时间约束。