安泰隆矿综放工作面两巷及切眼锚网索支护技术的应用

通过对安泰隆矿901综放工作面两巷和切眼进行锚网索联合支护的试验,提出了适合矿井9号煤特厚层的支护方案,确保了安泰隆矿首个综放工作面工业化试验的顺利进行。     

单实例分类算法研究

针对不平衡分类问题的极端情况,即用于训练的样本极少甚至只有一个实例,该文提出了一种单实例分类算法,这种方法使用球面作为分类面,在目标类的单实例在球内和反类尽量位于球面外的约束条件下,最大化该分类球面的半径,该方法能够有效地处理线性可分的数据分布.当输入样本分布结构呈高度非线性时,该算法通过核映射将低维输入空间中的非线性可分问题变换为高维特征空间中可能的线性可分问题,并以内积形式刻画,最终在特征空间上通过核技巧获得原问题的解决.通过对标准数据集和实际数据集的实验,验证了单实例分类算法在处理数据不平衡问题上的有效性.     

Zp2线性码的支重量及其广义Plotkin界

首先定义了环Zp2上线性码的不同型的子码,然后建立了环Zp2上线性码的不同类型子码的个数计数公式,并且给出了环Zp2上任一线性码的子码的齐次重量与其支重量之间的关系,进而得到了环Zp2上任一线性码的支重量与其子码的支重量之间的关系;最后给出了Zp2线性码的广义齐次重量的Plotkin界.     

60万千瓦汽轮发电机模拟机组弹性阻尼支承理论分析及计算

对60万千瓦汽轮发电机模拟组弹性阻尼支承进行了研究,开发研制了计算机程序,计算分析表明,该程序可应用于多质量多支承变截面的大挠性转子系统的计算.     

混合核函数对支持向量机分类性能的改进

通过对核矩阵的计算和研究,从理论上对常用的核函数进行了评估.在此基础上,通过实验仿真证实了通过优选后的核函数所组成的混合核函数对支持向量机分类性能的改善,为核函数的选择提供了参考.     

隆华煤业1501工作面顺槽支护方法的研究

以隆华煤业1501工作面顺槽支护为研究对象,阐述了顺槽巷道的特点、支护参数选择的原则及影响因素,并从理论的角度阐述了锚、网、索等联合支护参数的计算方法,设计出合理的支护方案与参数.不仅为本矿而且可为其他类似条件矿井的支护提供了理论与应用性指导.     

粮库信息管理与决策支持系统研究

研究开发一个粮库信息管理与决策支持系统,该系统是一个现代化的网络系统,同时是一个用于辅助管理层工作的决策支持系统,通过现代化手段管理粮食管理过程中产生的全部数据信息,研究用于决策支持的挖掘算法,指导粮库储备销售与管理的各项决策.     

支持向量机在云检测中的应用

针对地球观测系统/中分辨率成像光谱仪影像资料中的云检测工作,提出了基于支持向量机SVMs(support vector machines)的遥感影像分类方法.分析了云检测过程中的特征提取和选择,建立了基于支持向量机的遥感影像分类模型,并针对陆地、海洋2种不同的下垫面进行了云检测试验.云检测结果中,云与陆地、水体、积雪准确地区分开来.结果表明,特征选择对云检测起到了积极的作用,同时也证明了支持向量机方法在遥感影像分类中的优势.     

基于多Agent强化学习的战时备件供应保障动态协调机制

有效的备件供应保障是保证航空装备处于良好状态的重要因素.战时备件供应保障的不确定性特点突出.为了应对这些不确定,精确保障要求下战时备件供应保障更加强调备件资源在系统中的动态协调.鉴于战时备件供应保障系统与多Agent系统的相似性,采用基于Agent的建模仿真技术研究多阶段供应保障过程中的动态协调机制.以Agent之间的供需关系为基础给出了多Agent系统模型结构中小组的定义.为了给出备件短缺情况下使军事效益最大的备件分配策略,设计出以小组为单位的多Agent强化学习方法.最后通过仿真实例验证了方法的有效性.     

数字图书馆建设之我见

阐述了数字图书馆的内涵、建立数字图书馆的意义、数字图书馆的构成要素及功能、数字图书馆建设应遵循的原则,探讨了发展数字图书馆的策略.