峻德矿二水平南三区南部皮带巷过F7、F40号断层及软岩支护方式探索

工作面过F7、F40号断层采取特殊支护手段，使断层顺利通过     

不变凸类条件下多目标规划αk—较多有效解的有效性充分条件

文献[1]在凸性条件下讨论了多目标规划问题αk－较多有效解的充分条件，基于此，在不变凸、严格不变凸、不变伪凸、严格不变伪凸、不变拟凸等广义凸性条件下得到了多目标规划问题αk-较多有效解和αk-弱较多有效解的若干有效性充分条件，推广了文献[1]的相应结果。     

可育家猫精液分析

家猫（Ｆｅｌｉｓｃａｔｕｓｄｏｍｅｓｔｉｃｓ）是一种毛皮动物、观赏动物和实验动物，在自然生态环境中起着重要作用．１９８６年以来，我们实验室一直从事家猫繁殖方面的研究工作，已建立了猫超数排卵，胚胎移植技术〔１〕、发情周期检测和妊娠诊断方法〔２，３〕，电...     

污染分布的非参数估计

讨论一类污染模型：fa(x)=(1-a)f(x) ag(x),x∈R，污染分布g(x)已知，在没有任何参数假设情况下，对污染系数a及 知主体分布f(x)给出了非参数估计。     

可转位铣刀的合理选用

可转位铣刀（即刀片可转位使用的铣刀）的种类目前已基本覆盖了现有铣刀的类型，广泛应用在各行业高效、高精度的铣削加工中。国外十余家公司、国内三十余家刀具厂的产品可供用户选用c由于可转位铣刀的结构各异、品种规格又多，用户在选用时有一定的难度，而能否正确地选择、合理地使用可转位铣刀是能否充分发挥可转位铣刀的效能的关键。本文拟就可转位铣刀的合理选用提供一些依据供广大用户参考。1可转让铣刀的类型选择可转位铁刀按其用途可分为五大类：面铁刀、立铁刀、槽铣刀、专用铣刀、成型铣刀五类，一般根据被加工零件的要求、加工机…     

关于近环(Near-ring)是可换环的几个定理

本文主要讨论了有单位元或无零因子的分配生成近环，以及满足无零因子、有中心幂等元等Ｈ－近环成为可换环的若干个条件     

黎曼可积的周期函数的若干性质

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

一种基于POMDP用户意图建模的智能轮椅导航控制方法

通过部分可观测马尔可夫决策过程(POMDP)模型对用户意图进行建模,提出了一种基于POMDP用户意图建模的智能轮椅导航控制方法.该方法考虑了动作的不确定性和状态的部分可观测性,对用户意图、智能轮椅导航控制的动作空间进行建模,通过状态预测进而选择行为的最优规划,实现用户期望总值的最大化.首先介绍了POMDP的原理及模型,然后提出了基于POMDP用户意图的智能轮椅控制状态空间、动作空间、观察值集合、奖赏值和概率分布,进而提出了一种基于概率密度函数的用户意图求解方法.最后,对基于POMDP用户意图建模的智能轮椅导航控制进行了试验,并对试验结果进行了分析,从而验证了所提方法的实时性和有效性.     

电视教材可解读性的几种方法

提出了电视教材可解读性的几种方法，使用这些方法可提高电视教材的视听效果，达到了激发学习兴趣，帮助理解重、难点问题的目的。