不可微多目标数学规划的高阶对偶性

引入了一类不可微多目标数学规划的高阶对偶模型。在广义凸性条件下,建立了弱对偶性定理。其结果推广和统一了近期文献上出现的结果。     

深孔分段爆破法掘进采空区充填井成井的研究

采空区掘进充填井是一次回采嗣后块石胶结充填采矿法的关键。如不解决,采空区将不断扩大,势必造成地压危害和残留空场硫铁矿矿石氧化自然发火。而新桥硫铁矿采空区已达10~4m~3以上。解决采空区充填井已是燃眉之急。采用SQZ-1型潜孔钻车钻凿深孔而后分段爆破成充填井的成功,既解决了新桥矿采空区充填问题,又解决了其他方法不能掘进采空区充填井的问题,对类似矿山有较大的推广应用价值。     

Minkowski不等式的推广

本文对Minkowski不等式在原来的基础上进行了一些推广,推广至r相似文献   

铅锡合金沉积物的显微组织

将离子浓度比为5∶5的铅锡电沉积分形生长沉积物制备成金相样品，用金相显微镜观察了它们的显微组织。结果表明，在此情况下，铅锡电沉积生成物由两相组成，即铅锡共晶相和铅基固溶相，两相呈交替层状分布。     

城市土地规划的优化方法研究

以多目标决策理论、组合优化理论以及预测科学技术为依据 ,首先建立了土地功能配置模型 ,帮助规划师对各种不同功能土地的片面布置进行分析 ,从而找到最合理的城市土地布局 ;然后以遗传算法作为优化工具 ,对建立的模型进行了优化。     

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.