斜井提升防掉道保护监测与分析

针对斜井箕斗在运输过程中易出现脱轨,设计了新型无线信息传感器传输网络系统。通过安装于箕斗矿车底部的感应传感器与光电传感器可以实时监测箕斗与轨道的接触状态。在牵引箕斗配重块与箕斗的钢丝绳处安放载荷传感器,用来监测钢丝绳的受力情况;在井口安装到位传感器,用来监测箕斗的到位状态。姿态传感器利用XL66系列无线转换器与M系列RS485数据采集模块将信息发送到井口接收装置,利用通讯电缆与上位机相连,通过组态王软件实时获取监测数据与画面。现场测试表明,本设计可以满足实际需求,提高了矿井的安全性能与生产效率。     

应用单元体参数的航空发动机性能预警方法

基于安全关口前移的性能预警要求,提出以单元体参数的航空发动机性能预警方法,提取发动机原理分析性能参数相关的可测参数与参数组合.以发动机机队为研究对象,运用数据统计的σ准则构建性能指数动态阈值模型.以PW4077D型机队5台发动机1 440~1 980循环数据验证模型,并与主成分性能阈值模型比较.结果表明:构建的模型计算结果与主成分模型结果一致,即性能动态阈值随循环数增加而复杂下降,在1 500,1 560和1 840等循环附近阈值有所恢复.     

ARM TrustZone的轻量级嵌入式虚拟化架构

针对现存的基于软件的虚拟化解决方案存在的不足,利用ARM标准硬件技术和赛灵思ZC702商业平台,实现通用操作系统(GPOS)与轻量级实时操作系统(FreeRTOS)同时运行.测试结果表明:虚拟机从RTOS到GPOS的上下文切换系统开销是3.10 μs,相反过程为2.64 μs,内存占用也仅为1 KB;由虚拟机监视系统(VMM)引入的性能开销低和内存占用较小;利用ARM TrustZone技术可实现一个具有低成本和高可靠性的轻量级虚拟化解决方案.     

Gorenstein相对上同调

设M,N是左R-模.证明了如果M的X-Gorenstein投射维数有限,N的Y-Gorenstein内射维数有限,则利用M真的左X-Gorenstein投射分解定义的相对上同调群Ext_(X-GP(M,N))~n与N真的右Y-Gorenstein内射分解定义的相对上同调群Ext_(Y-GI(M,N))~n同构.     

Doi Hom-Hopf模的Maschke型定理

考虑Doi Hom-Hopf模的半单性或可约性. 设(H,A,C)是一个Doi Hom-Hopf-数据, 先利用忘却函子将Doi Hom-Hopf模范畴M^C_A中的对象映为右(A,β)- Hom模范畴M_A中对象, 再通过对M_A中可分单同态进行变形, 建立Doi Hom-Hopf-数据积分概念, 并利用该积分证明Doi Hom-Hopf模的Maschke型定理. 作为应用, 定义了Hom-Yetter-Drinfeld模范畴, 并证明Hom-Yetter-Drinfeld模范畴是Doi Hom-Hopf模范畴的子范畴, 从而得到了Hom-Yetter-Drinfeld模的Maschke型定理.     

一类四阶微积分方程的紧差分格式

针对由铰链梁横向振动模型而建立的四阶微积分方程,提出紧差分格式进行求解,利用Newton型迭代法处理积分项,给出差分格式解的存在性、收敛性和稳定性的证明.数值结果表明:格式的精度为O(h⁴).     

一种基于CMOS的电流模式线性分类器

提出了一种对线性不可分数据集进行分类的电流模式线性分类器.该分类器电路结构简单,仅由梯形激活函数电路和线性加权电路组成,其中线性加权电路采用全平衡差分跨导电路实现,梯形激活函数电路主要由阈值电路组成.为了实现对线性不可分数据集的分类,通过MATLAB软件采用Fisher线性判别法计算得到权重系数,并运用PSPICE对所提出的电路进行仿真分析.结果表明:提出的电路结构简单、准确度高、功耗低,可以广泛地应用于模式识别、神经网络、人工智能等领域.     

二阶全矩阵代数的模代数结构

研究了某些二阶矩阵及其二阶矩阵对关于弱相似关系的等价分类,讨论了二阶全矩阵代数的kC2-模代数结构和kC3-模代数结构的同构类。在同构意义下给出了二阶全矩阵代数的kS3-模代数结构,且当k为代数闭域时,得到了二阶全矩阵代数的kS3 模代数结构的同构分类。     

关于遗传挠理论拟内射模的Schanuel’s引理

设R-mod是左R-模范畴,τ是R．mod中的一个挠理论．本文证明了关于遗传挠理论的拟内射模的Schanuel’s引理成立．     

相对FC模(英文)

引进了n-FC模的概念,给出了n-FC模的刻画,并利用余挠理论进一步研究了n-FC模的性质,证明了R是右n-凝聚环且RR是n-FC模当且仅当每个左R-模有单的Fn-预包络当且仅当(FCn,FC⊥n)是perfect余绕理论.