基于两个不确定参数乘积的鲁棒设施选址模型

传统设施选址往往被看作为确定问题,但实际存在需求、成本、风险等不确定因素,这些不确定因素增加了决策的困难.本文在考虑设施选址中单一不确定因素基础上,同时考虑需求和运输成本两个独立参数的不确定性,且在模型中两者为乘积形式,引入两个budget不确定集合刻画不确定性,建立一个新颖的鲁棒设施选址模型,并将非线性问题转化为易求解的鲁棒等价模型,然后通过CPLEX和MATLAB编程求解.最后,以四川西北部的汶川等13个县市的应急物资临时供应点的选址为例,确定最优的选址分配布局.结果表明,较之运输成本的不确定性,需求的不确定性影响更显著,且需求扰动对选址总成本和选址分配方案有明显的影响.决策者可根据其风险偏好程度,选择恰当的不确定水平参数组合,以获得最优的总成本和选址分配方案.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

设计模式指导的软件分簇方法

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.     

基于音乐基因的乐谱存储模型

本文提出一种基于音乐基因的乐谱存储模型S-MusicXML.将乐谱的存储和处理的基本单位由音阶提升到基因,有利于通过数据挖掘技术对音乐内涵的挖掘和存储.定义了旋律基因等概念,并通过实验进一步分析了挖掘音乐基因比挖掘音乐频繁模式更有优势.     

荆门探区深层页岩储层孔喉特征

深层页岩气是页岩气勘探开发的重要接替领域,页岩气储层研究是页岩气勘探与开发的理论基础.为深入认识荆门深层页岩气储层孔喉特征,选取YT1井五峰组-龙马溪组一段页岩为研究对象,采用氩离子抛光、聚焦离子束扫描电镜和CO2-N2联测孔径的方法,获得微孔、介孔和宏孔的页岩全孔径表征,明确深层页岩孔喉特征及主控因素.结果表明:研究...     

Mg-Sn合金化与固溶-时效行为的研究现状

作为具备良好发展前景的可时效强化镁合金,Mg-Sn合金通过Mg₂Sn相析出强化、固溶强化与细晶强化获得了优异的性能。与Mg-Zn、Mg-Al主要镁合金相比,Sn在Mg中的固溶度较好,析出强化效果优异;另外,Mg₂Sn相的熔点高达771.5 ℃,使Mg-Sn合金成为非稀土系列的低成本耐热镁合金。从合金化、固溶-时效处理工艺分析总结了可时效强化Mg-Sn合金的研究进展,分析Mg-Sn合金时效行为的重要参数及其影响因素,主要目的为细化Mg₂Sn析出相或增加Mg₂Sn析出相数量;同时,对添加到Mg-Sn合金中的合金元素的固溶效果、细晶效果与形成三元强化相效果进行系统总结与分析,为Mg-Sn合金成分的设计和性能改善提供重要参考。     

大型箱型梁高速GMAW三维位姿快速估计方法

大型箱型梁在高速熔化极气体保护焊(GMAW)过程中存在定位焊缝、装配精度低,难以通过工装严格保证工件位姿,以及焊缝三维位姿实时变化等复杂工况.基于视觉的焊缝识别方法计算量大,且均不针对存在定位焊缝的工件,难以快速获取大型箱型梁的三维位姿.对此,提出一种基于激光位移传感和点云聚类快速分割的大型箱型梁高速GMAW三维位姿快速估计方法.利用该方法,通过点云快速分割得出大型箱型梁焊缝的立板平面和平板平面,进而解算出焊缝位姿信息.对多种不同位姿的焊缝进行位姿信息估计试验,结果表明：当焊接速度为1200 mm/min时,焊缝位姿误差分别在0.25 mm和1.8°以内;增强了大型箱型梁自动焊接对定位焊缝、装配精度低等复杂工况的鲁棒性,提升了焊接质量.     

SH分子辐射跃迁的理论研究

采用Davidson修正的多参考组态相互作用(Multi-reference configuration interaction,MRCI+Q)方法计算了SH分子的最低三个解离极限对应的8个Λ-S态的电子结构;计算中考虑了标量相对论效应和芯-价电子关联效应.根据得到的 Λ-S态的势能曲线,求解一维核运动的Schr?di...