一种新的量化Markov跳变网络化系统的分析与设计

为了研究一类具有信号量化的随机网络化控制系统,采用时变量化器建立该系统的随机动态数学模型.利用Lyapunov稳定性理论,结合线性矩阵不等式(LMI)技术对随机系统进行稳定性分析和控制器设计,最终给出了指数稳定性判据,并进一步设计相应的时变量化状态反馈控制器.分析和处理过程中,通过引入新的Lyapunov函数,利用矩阵...     

基于A*改进算法的机械臂避障路径规划

为解决机械臂在运行时可能与工作空间中的障碍物发生碰撞,提出圆柱体包络碰撞检测法和基于A*算法的变步长分段搜索法.运用圆柱体包络碰撞检测法,将碰撞检测问题转化为计算圆柱体间的位置关系.变步长分段搜索法解决了应用传统A*算法可能出现的搜索数据量大甚至搜索死循环等问题.分别在基于OpenGL的三维仿真实验平台和实际系统中验证了该方法的有效性和可行性.     

一类有阻尼的二阶微分方程的运动周期解

考虑具有阻尼的二阶微分方程:x″+ax'+g(x)=γ,此方程描述的是类似于钟摆的振动器运动的一个模型.首先把此二阶微分方程转化为一个与它等价的系统,然后证明该系统存在上、下解;最后根据微分方程存在运动周期解的经典结果,证明了当g(x)在一个周期内是分段线性函数时,其中,这个分段线性函数,在一个周期内包括对称和非对称两种情况.该系统存在运动周期解,这也意味着与该系统等价的原一阶微分方程存在运动周期解,且该运动周期解还具有吸引其他解的性质.     

具有分段线性水平截线的双参数Copula函数簇

构造了一类具有分段线性水平截线的双参数Copula函数簇,并讨论了这类Copula函数簇的绝对连续性和极限性质.     

110kV分段及备投保护运行规程

110kV分段及备投保护屏由四方继保CSC-215母联充电保护装置和CSC-246备用电源投切装置组成.CSC-215保护方面的主要功能有:①短充电流保护、零流保护;②长充电过流、零流保护.CSC-246备投方面的主要功能有:①线路备投方案;②变压器备教方案;③可编程方式制定特殊的备投方式;④备投逻辑中充放电自动完成.     

残采矿柱回收的实践

<正>我国大多数矿山,经过长期的开采,矿山的资源储量急剧下降,后备资源储量严重不足,很多矿山已经或即将进入衰老期。牛头沟矿是金牛公司的一个分矿,有1个选厂和3个坑口,陈吴子沟坑口原来采用有底柱分段崩落采矿法,已开采多年。主要作业地点集中在2～6号洞,生产接近尾声。为了矿山生存与发展的需要,牛头沟矿根据矿山现状和生产技术条件,积极组织人员回收残留矿体和边缘小矿体,作为增产、创收矿量和为确保生产     

四款主流语料对齐工具性能对比探析

利用实验研究的方法,以科技、旅游、文学、政治四种中英双语文本为样本,对四款语料对齐工具进行了对比研究。研究发现,从基础技术指标来看,Matecat Aligner、ABBYY Aligner 2.0、Tmxmall Aligner更有优势;从非基础技术指标来看,Matecat Aligner和DéjàVu X3 Alignment在断句准确率方面更为突出,ABBYY Aligner 2.0在对齐准确率方面要优于其他工具;ABBYY Aligner 2.0和Matecat Aligner具有纠错功能。通过具体分析发现,使用不同类型的文本,对齐质量也有所不同;不同的语料对齐工具适合不同文本的对齐。     

基于概率统计局部聚类的复杂场景弱小运动目标检测

在复杂场景下进行弱小运动目标的检测过程中,受到视频中有序相邻对象相似性的影响,难以高精度地识别低质量特征的运动目标.设计一种基于概率统计局部聚类的复杂场景弱小运动目标检测方法.建立空域模型、时域模型,分析小目标特征、背景特征以及噪声特征,从中提取弱小运动目标特征,使用概率统计局部聚类理论,拟定划分标准使用条件,实现目标轮廓曲线分段,将弱小运动目标检测流程进行整体优化,完成基于概率统计局部聚类的复杂场景弱小运动目标检测方法的设计.检测方法性能测试结果表明：在不同的实验图像下,设计的弱小运动目标检测方法的检测率平均值为69.8%,具有一定的实用性和可靠性.     

具分段常数微分方程零解的全局吸引性

考虑具分段常数微分方程x′(t)=r(t)f(x([t])),t 0,其中r(t)非负连续,f有下界且具有负Schwarz导数,f∈C3(R,R),xf(x)<0当x≠0,f′(0)<0,[.]表示最大整数函数,证明了当-f′(0)n∫+1nr(s)ds≤2且∞∫0r(s)ds=∞时,方程的零解是全局吸引的.     

MEMS惯性高度尺测量精度分析

研究了基于微电子机械系统(micro-electro-mechanical systems,MEMS)的惯性导航系统的短时相对高程测量精度,设计了“惯性高度尺”算法,进行了桌面测高和楼层测高两个验证性实验。分析了不同运动条件和运动时间下“惯性高度尺”的测高精度。基于零速修正技术提出了一种分段测量的方法。实验结果表明,桌面测高可实现毫米级精度(相对误差0.17%),楼层测高可实现多层厘米级和单层毫米级测量精度(相对误差分别为0.22%,0.06%)。测量误差与载体的姿态动态和运动时长成正相关。实验验证了MEMS惯导用于高度测量具有较高可行性,稳定的运动条件和较快的测量时间能够提高测量精度。