摘要：图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义。文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导。

摘要：我国正加快推进县级融媒体中心建设。县级融媒体中心在建设过程中应创新利用5G的技术优势,创造连接关系,构建县域空间连接并建立入口嵌套连接;浸入移动场景,量产碎片化音视频内容并提供在地性直播云服务;拾取智能逻辑,装备账号逻辑构建县媒生态,映射第三空间升级致效模式,加载序列算法智化内容生产,最终构建县城媒介生态,助力县域社会治理。

摘要：设计了KJYF-96/8矿用可移动式救生舱的空气调节一体化装置,并对净化器药剂进行了选择、计算和真人试验。装置及选用的药剂能有效地控制舱内各类有毒有害气体的含量,并且具备了能耗低、体积小、操作简便等特点。

摘要：采用可调谐半导体激光光谱吸收检测技术(TDLAS)研制的气体探测装置,正在煤矿灾害气体检测领域进行大面积的推广。激光气体传感器的调校周期长,不受水蒸气、粉尘及其他干扰气体影响、测量误差低等特点均是其它种类的传感器所不可比拟的。对基于TDLAS技术的激光气体传感器设计进行详细阐述,旨在提高可调谐激光光谱吸收技术在煤矿灾害气体检测过程中的优势。

摘要：社会信用体系的建构依赖于失信惩戒和信用修复双重制度的复合作用。延循最高人民法院制发的相关规范性文件脉络,信用修复制度经历了从笼统界定到独立定论的演变,并且作为失信联合惩戒的“退出”机制,揭示了对失信被执行人权利修复的价值目标。无疑,在“司法+大数据”控制视域下,实现信用修复的价值目标,需要释放大数据对失信被执行人“履行能力”的初始控制、对信息隐匿的过程控制、对信息删除或屏蔽的结果控制等全域控制功能。目下,掣肘于大数据在信用修复中突显的初始判断不周延、过程控制不周全、结果控制不彻底等弊端,致使失信被执行人信用修复仍然面临着制度和技术上的壁垒。对此,亟须从遵循比例原则、完善顶层制度设计、疏通大数据技术障碍、加强文化舆论导向等方面推动信用修复。

摘要：研究了煤矿井下5G设备的电源供电技术,结合现有供电方式的对比及存在的问题进行综合分析;详细的阐述了供电电源的设计方案,方案中主要包括电源大容量输出的充放电管理方式、备用电池升压方式、电源本安输出保护方式及电源5G数据传送方式等。

摘要：如何提高高校思政课的实效性、充分发挥其立德树人关键课程的作用呢?基于问题导向的专题化教学已成为破解这一难题的利刃。专题化教学的最为关键环节是做好专题化教学设计工作,这是精准思维在高校思政课教育教学改革中的具体体现。在高校思政课专题化教学设计过程中要处理好具体课程教学目标与专题教学目标、教材内容与教学内容、专题问题(理论问题)与社会及学生所关注关切热点,焦点和难点问题,问题与专题、理论专题与实践专题等几方面辩证关系。运用辩证思维处理好这几方面关系,不仅能够做实做细专题化教学设计,实现精准思政的思想,切实提升高校思政课的实效性,而且对于培养和提高学生的学科专业核心素养具有重要作用。

摘要：针对低光照图像整体亮度和对比度低,且目标边缘特征有限,导致目标检测算法识别定位精度不高的问题,提出一种低光照目标检测方法。首先,提出低光照图像增强网络,利用图像高斯金字塔、Retinex和暗通道去雾在低光照图像增强的优点,并在暗通道去雾算法中加入边缘轮廓特征,在增强整体亮度对比度的同时,突出目标的边缘特征;其次,为提高特征的提取准确性,在RTDETR的特征提取部分,设计了轻量化自矫正特征提取网络,以更小的计算量生成并矫正主干特征提取网络生成的特征图,提升目标检测精度。在ExDark数据集上的实验结果表明:较于基准RTDETR,精度提高了2.34%,召回率提升了2.09%,参数量减少了4.95 M,模型大小减少了13.31 MB,本文方法能够有效提升低光照场景下的目标检测性能。

摘要：本文研究了通信时延和联合连通切换拓扑条件下的多刚体系统分布式姿态一致性控制问题.通过构建有效的辅助向量并选择合适的Lyapunov-Krasovskii函数,分别对恒定通信时延和时变通信时延两种不同情况下的控制器进行了设计.数值仿真结果表明,本文提出的方法能够有效地解决这类分布式姿态一致性控制问题.

摘要：目前的抗震设防目标逐渐向震后能够快速恢复功能,甚至部分构件可更换的方向发展。以往试验的研究结果表明,在剪力墙易于破坏的墙角部位安置阻尼器,一方面可保证剪力墙能够具有正常的刚度与耗能能力;另一方面在震后能够轻易方便地更换,且造价低廉。首先运用塑性铰理论对安置区域的尺寸进行了分析总结,然后基于力学计算,对新型摩擦耗能可更换墙角构件进行了理论分析,最后利用一片既有截面尺寸的剪力墙对该新型可更换构件进行了验算。