Subortho-紧空间的逆极限性质

证明了如下结果:设X=lim←{Xσ,πρσ,Λ},|Λ|=λ,并且每个投射πσ:X→Xσ是开满的,(1)若X是λ-仿紧的并且每个XσSubortho-紧空间,则X是Subortho-紧空间:(2)若X是遗传λ-仿紧的并且每个Xσ是遗传Subortho-紧空间,则X是遗传Subortho-紧空间。

弱Subortho-紧空间的逆极限性质

证明了如下结果 :设X =lim←{Xρ,πσρ,Λ} ,|Λ|=λ ,并且每个投射πσ:XXσ 是开的 ,到上的 ,若X是定向可缩的 ,并且每个Xσ 是弱Subortho -紧空间 ,则X是弱Subortho -紧空间 ,进一步还可得到遗传 ,弱Subortho -紧性质的类似结果。

subortho-紧空间的无限Tychonoff乘积性质

证明了如下结果：（1）如果X=multiply from t∈∑ Xτ是∑-仿紧空间,则X是subortho-紧空间当且仅当F∈[∑]〈ε,X=multiply from τ∈F Xτ是subortho-紧空间.（2）设X=multiply from i∈ω Xi是可数仿紧的,则下列3y条等价：X是subortho-紧的;F∈[ω]〈ω,X=multiply from i∈F Xi是subortho-紧的;n∈ω,multiply from i≤n Xi是subortho-紧的.

弱subortho-紧空间的无限Tychonoff乘积

文章证明了如下结果:(1)如果X=Πσ∈ΣXσ是│Σ│-仿紧空间,则X是弱subortho-紧空间当且仅当F∈[Σ]<ω,X=Πσ∈F Xσ是弱subortho-紧空间。(2)X=Πi∈ωXi是可数仿紧的,则下列三条等价:X是弱subortho-紧的;F∈[ω]<ω,∏i∈F Xi是弱subortho-紧的;n∈ω,Πi≤n Xi是弱subortho-紧的。

基于紧约束鲁棒模型预测控制的无人车辆轨迹跟踪控制

针对无人驾驶车辆的轨迹跟踪问题,基于车辆非线性动力学模型,设计了一种紧约束鲁棒模型预测控制(MPC)方法。首先,利用魔术公式轮胎模型,结合车辆3自由度系统,构建了具有有界干扰的车辆线性离散误差模型;其次,采用紧约束控制策略设计系统的鲁棒优化问题;最后,通过在线优化得到最优控制序列,并离线构造之后多个时刻满足约束条件的可行控制序列。仿真结果表明,所提算法能够使车辆稳定快速跟踪上参考轨迹并有效提高系统计算资源利用率。

基于紧耦合本科生学术导师制的创新人才培养方法研究

针对本科生导师制在中国高教普遍存在的导师赋责过重、生师比过高等问题,提出面向创新人才培养的紧耦合本科生学术导师制,分析紧耦合本科生学术导师制的特点和导师职责,以保密管理专业和密码管理专业为例介绍实施紧耦合导师制的过程,通过4年教学实践成果,说明本科生学术导师制能够培养学生创新意识,提高学生创新能力。

基于自适应高斯渐进滤波的工程车GNSS/INS紧组合定位

研究了量测野值影响下的工程车GNSS/INS紧组合定位问题,提出了一种基于自适应高斯渐进滤波的车辆定位方法。首先,为降低量测野值对滤波器的破坏风险,利用假设检验方法对量测野值进行检测和剔除;其次,对于野值漏检测引起的定位性能下降的问题,设计了自适应的高斯渐进滤波方法来补偿量测的不确定性;特别地,利用线性化误差与系统估计误差的变化关系,对渐进量测更新方式进行了改进,从而实现对线性化误差的间接补偿。最后,通过工程车GNSS/INS紧组合定位实验进行结果分析,验证了所提方法的可靠性和优越性。

虚实结合挂线术术中不同程度紧线治疗高位经括约肌肛瘘的临床研究

目的 比较虚实结合挂线术术中轻紧线和重紧线治疗高位经括约肌肛瘘的有效性和安全性。方法 回顾性收集2022年1月至2023年1月中日友好医院收治的60例高位经括约肌肛瘘患者,按紧线程度不同分为轻紧线组和重紧线组,每组30例。比较两组的总体疗效和术后并发症。结果 两组患者术后第1天排便时伤口疼痛程度差异无统计学意义(P>0.05);术后第1、7天非排便时和第7天排便时,重紧线组患者的疼痛评分均高于轻紧线组,差异有统计学意义(P<0.05);重紧线组患者的伤口愈合时间长于轻紧线组(P<0.05);肛门失禁Wexner评分轻紧线组低于重紧线组(P<0.05);两组患者的术后并发症和复发率比较,差异无统计学意义(P>0.05)。结论 虚实结合挂线术术中轻紧线和重紧线在术后并发症和复发率方面差异无统计学意义,但在术后疼痛、伤口愈合时间和肛门功能保护方面轻紧线组均优于重紧线组。

具有紧时、高能耗特征的混合流水车间多目标调度优化问题

针对具有紧时、高能耗工序特征的混合流水车间调度问题,以优化产品暴露时间、最大完工时间和能源消耗为目标,建立混合流水车间调度模型,并提出一种改进的多目标粒子群算法进行有效求解。首先构建了基于ISDE指标的档案维护策略及局部邻域搜索策略,辅助算法跃出局部极值及减少生产阻塞。之后,提出一种基于模糊理论的决策分析方法选取最优调度方案。最后,通过仿真实验验证提出的多目标调度模型与算法的可行性和优越性。

“过紧日子”背景下公办高校推进预算绩效管理的路径探析

建成全方位、全过程、全覆盖的预算绩效管理体系,实现预算和绩效管理一体化,着力提高财政资源配置效率和使用效益,是各级政府、部门和单位推进治理体系和治理能力现代化的必然要求。文章以四川省为例,结合调查问卷、现场访谈所掌握的四川省公办高校预算绩效管理现状,针对性地提出了做好顶层设计、明确主体责任,完善制度建设、构建绩效评价指标体系,借助数字信息化手段、优化工作流程,加强成本核算、以为预算绩效管理提供数据支持四项措施,旨在为四川省公办高校进一步推进预算绩效管理,过好“紧日子”提供理论支撑。

卫导受限下惯导/数据链/卫导紧组合导航方法

针对卫导受限场景中,导航系统精度难以满足要求的问题,提出一种惯导/数据链/卫导紧组合算法,该算法采用卫导接收机和数据链定位解算之前的伪距信息和无线测距信息与惯导信息融合对惯导误差进行修正,只要存在卫导可见星或者数据链源节点即可进行信息融合,最大程度上利用场景中的导航观测量,改善了导航信息品质。试验结果表明,在数据链通信良好的情况下,增加有限的卫导观测量能够改善导航系统精度;在数据链弱联通的情况下,通过有限卫导观测量的引入使得导航系统能够持续输出高精度的导航信息。

高精度小型经纬仪转轴锁紧机构结构设计

随着光测设备对机动化、小型化的需求增多,受系统空间限制,原大型经纬仪的转轴锁紧机构复杂,占用空间大,加工难度大,并不适用小型经纬仪转轴锁紧。本文根据项目特点设计了小型经纬仪转轴锁紧结构,具有稳定性高、结构简单、加工难度小、占用空间小等特点,可以实现经纬仪在任意角度的转轴锁紧,实现凝视功能。其中对锁紧机构的组成与工作原理进行了详细的介绍与阐述,经过计算选择核心零件的材料,实践结果表明了该结构的合理性。

落实财政部门习惯过紧日子机制的研究与思考

针对如何让党政机关习惯过紧日子成为新常态新机制,本文重点研究提出,聚焦过紧日子对保持稳中求进的战略定力、对推动生产关系尽快适应新质生产力、对自我革命精神持续融入思想作风建设的重要作用,切实把握习惯过紧日子的“时”与“势”;聚焦思想深处没有完全扎牢根子、预算约束没有完全扎密笼子、项目管理没有完全对上路子、体制机制没有完全跟上步子等突出问题,奋力越过阻滞习惯过紧日子的“坡”与“坎”;聚焦过紧日子如何采取强化教育、推动立法、打通监督、发掘潜能等措施,切实用好推动过紧日子的“桥”与“船”,加快形成习惯过紧日子的浓厚氛围、制度保障、推动力量和辐射效果。

指数有界n阶α次积分C群的紧性

利用指数有界n阶α次积分C群及其次生成元的定义,并借助经典算子理论的研究方法,给出了指数有界n阶α次积分C群紧的定义,从而推导出指数有界n阶α次积分C群的紧性的一些性质。

NL-fuzzy拓扑空间中的N-紧性

利用α-远域族定义了NL-fuzzy拓扑空间中的N-紧性,借助α-分子网,模糊滤子以及模糊滤子基的概念给出其等价刻画。证明了N-紧性具有拓扑不变性以及有限多个N-紧集的并仍为N-紧集等性质。

低压柜抽屉触头夹紧力测试的应用和实施

本文介绍了低压柜抽屉触头发热的危害及产生原因,阐述了低压柜抽屉触头夹紧力测试实施的必要性,某大型石化公司大检修期间通过实施低压柜抽屉触头夹紧力测试项目,消除设备隐患苗头、防患于未然,有效防止低压柜触头发热引起的电气事故。

带式输送机自动张紧液压装置的设计

本文通过简要分析带式输送机张紧装置,确定最大张紧力和张紧行程,并根据带式输送机的液压系统运行原理和特点对带式输送机的控制系统进行设计研究,根据不同的压力值的设定来控制带式输送机的运行过程。此外,充分结合不同的研究结果并采用PLC技术,使输送机的自动控制和动态监测得以实现。

Cahn-Hilliard方程的一个超紧致有限差分格式

研究四阶Cahn-Hilliard方程的数值求解方法。给出组合型超紧致差分格式,将其用于四阶Cahn-Hilliard方程的空间导数离散,采用四阶Runge-Kutta格式离散时间导数,将二者结合得到四阶Cahn-Hilliard方程的离散格式,并给出了该格式的误差估计。通过编程计算得到其数值解,并与精确解进行对比,结果表明本文的数值方法误差小,验证了所提方法的有效性和可行性。

基于改进YOLO_v3算法的车辆轮胎紧固件检测方法优化

轮胎拆装是汽修行业修补轮胎必要步骤之一,由于重型货车轮胎过重导致工人腰椎受到严重损伤。现将EfficientNet-B4轻量型网络结构算法替换YOLO_v3算法的主干部分(DarkNet-53),从而实现各类车型轮胎紧固件的识别。替换后的网络参数大量减少,紧固件样本训练速度加快。YOLO_v3使用二分类交叉熵损失函数对正负样本分类并计算损失,现使用Focal loss分类损失函数替换二分类交叉熵损失函数,从而提出一种新的神经网络模型(YOLO_v3-Nut)。实验结果表明,YOLO_v3-Nut模型在训练与识别速度特性上都更优于YOLO_v3模型,且文中的模型结构比YOLO_v3模型储存空间减少了43.01%,算法平均准确率(MAP)为93.2%,同时检测速度为36 fps,足够完成各类车型轮胎紧固件的识别。

基于MEMS IMU的GNSS RTK/INS紧组合定位分析

本文针对复杂动态的城市环境自动驾驶规模化应用需求,提出惯性单元辅助RTK快速收敛的自动驾驶低成本、高精度定位方法。使用MEMS IMU M39和战术级IMU Pos320,通过对多组实测车载数据进行仿真中断,得到INS位置漂移误差、模糊度收敛时间、模糊度固定正确性指标,再对无惯导辅助、M39辅助模糊度固定和Pos320辅助3种情形下的模糊度固定时间和定位精度进行了统计和分析。结果表明,M39在GNSS中断5 s时可辅助RTK实现模糊度瞬时固定,中断时间为10 s时可以将RTK模糊度收敛时间压缩至1/4。MEMS IMU的加入使得RTK模糊度固定错误个数显著下降,10 cm以内高精度定位占比由62.25%提高至98.44%。试验验证了MEMS IMU辅助RTK能够加快模糊度收敛速度,提高了其在自动驾驶导航定位应用中的精度和可靠性。