随机局部凸模上L0-值函数次微分和近似次微分性质

 研究了随机凸分析中的次微分与近似次微分问题。在层次结构分析以及最近建立的随机局部凸模上的分离定理基础上,本文得到了关于随机局部凸模上L⁰值函数的次微分和近似次微分的一些良好基本性质。首先由随机局部凸模上点与集合的分离定理,证明了：对于具有可数连结性质的随机局部凸模上真的、T_c-下半连续的、L⁰(F)-凸函数,它的近似次微分非空;再者,由随机局部凸模上两个集合的分离定理,证明了对于具有可数连结性质的随机局部凸模上两个真的、T_c-下半连续的、L⁰(F)-凸函数,及其次微分公式。其中,L⁰(F)表示定义在概率空间上的广义实值随机变量等价类全体形成的集合。本文推广了经典凸分析中的相应结果。     

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

针对斜井箕斗在运输过程中易出现脱轨,设计了新型无线信息传感器传输网络系统。通过安装于箕斗矿车底部的感应传感器与光电传感器可以实时监测箕斗与轨道的接触状态。在牵引箕斗配重块与箕斗的钢丝绳处安放载荷传感器,用来监测钢丝绳的受力情况;在井口安装到位传感器,用来监测箕斗的到位状态。姿态传感器利用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型定理.     

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

研究了某些二阶矩阵及其二阶矩阵对关于弱相似关系的等价分类,讨论了二阶全矩阵代数的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余绕理论.     

可重构模块化机器人模块及构形设计

对可重构模块化机器人模块的结构进行了研究,并归纳设计出7种功能模块,其中包括3种1自由度的关节模块,2种连杆模块和2种辅助模块·所有模块的功能都是独立的,并且每个模块的连接界面都设计成了圆筒形以便重组和提高其刚度·每一种模块都可设计成不同尺寸系列,这些不同类型和尺寸系列的模块便可构成一个模块库·作者对3个自由度串联机器人的构形进行了系统的研究,并应用制作的实验模块对研究结果的可行性进行了验证·