摘要：随着智能化矿井建设的快速发展,井下无线通信系统日益完善,基于井下网络通信的辅助运输系统成为矿井安全生产的重要组成环节。车载终端作为辅助运输系统的重要车载设备,主要承担着井下车辆信息采集上传、车辆定位及导航、语音通信及行车视频采集功能,同时利用井下无线网络进行交通信息下发、物流任务调度等工作。目前,车载终端大部分都是采用WiFi和4G通信模块,在工作中信号连接质量差,经常出现断网、掉线的情况,同时处理器性能低下,无法满足更高的业务需求。

摘要：随着我国社会主义教育事业的深入推进,“唐卡”、“锅庄舞”等藏族非遗项目逐渐被纳入各高校与职业教育的体系之中。但在课程思政发展与“以文化人”的教育理念逐渐深入的背景之下,传统的“重技轻道”式的培养模式,变得难以适应当下“立德树人”的发展要求和民族地区创建和谐社会的需要。探索在非遗类课程体系中,以微课设计融合思政元素、突出传统文化特色与社会主义教育观、及“以道御术”模式协同引领非遗技艺的专业人才培养,大众的非遗普及教育,这都将充实学校非遗教育的手段与方法。

摘要：目的:评价不同下颌前伸度的口腔矫治器治疗阻塞性睡眠呼吸暂停低通气综合征(obstructive sleep apnea and hyponea syndrome,OSAHS)的临床疗效。方法:计算机检索Pub Med、Embase、Cochrane图书馆、CNKI、维普和万方等数据库,纳入不同下颌前伸度的口腔矫治器治疗OSAHS的随机对照试验(randomized clinical trials,RCT)和前后对照试验(before-after trials,BAT),对其进行质量评价并提取资料,用Rev Man 5.3软件进行meta分析。结果:纳入2个RCT、2个采用了随机方法的BAT和3个非随机BAT,共244例患者。根据方法学质量评价及各试验设计情况,对其中4篇高质量研究进行meta分析,结果显示,下颌前伸量达到下颌最大前伸度(maximal mandibular advancement,MMA)50%与75%两组的治疗有效率[呼吸暂停低通气指数(apnea hypopnea index,AHI)或氧减指数(oxygen desaturation index,ODI)降低>50%]比较,I2=0%,合并效应量RR值为0.93,95%CI为0.80~1.09;两组的治愈率(AHI或ODI<10次/h)比较,I2=45%,合并效应量RR值为0.85,95%CI为0.68~1.06,证据尚不足以证明两组的治疗有效率和治愈率有差异。亚组分析提示病情严重程度可能是影响治愈率的重要因素。结论:对于OSAHS患者,在一定范围内下颌前伸度增加有利于提高治疗有效率和治愈率,但尚缺乏足够证据证明75%MMA优于50%MMA;轻症患者治愈率高于重症。

摘要：[目的]研究柿叶黄酮的提取条件及方法,为柿叶黄酮的提取研究提供参考。[方法]采用酶法提取柿叶中的黄酮物质,在单因素试验基础上选取试验因素与水平,根据中心组合(Box-Benhnken)试验设计原理采用3因素3水平的响应面分析法,依据回归分析各影响因素。[结果]以柿叶黄酮得率为响应值作响应面和等高线,得出柿叶黄酮提取的最佳工艺条件为:加酶量9mg,酶解温度52℃、pH值4.8、酶解时间130min,在最优条件下黄酮得率为2.47%。[结论]酶法提取柿叶黄酮的工艺较好,所得的黄酮得率较高,为以后的工业生产提供依据。

摘要：安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种SysML模型到AADL模型的自动转换方法。首先,定义SysML子集SubSysML,主要包括模块定义图(BDD)、内部模块图(IBD)、活动图(ACT)子集和从IBD和BDD扩展的AADL Profile;其次,定义SubSysML到AADL的转换规则并设计转换算法;然后,对生成的AADL初始模型进行精化;最后,使用EMF框架技术实现SubSysML到AADL的模型转换工具并通过雷达案例验证所提方法的有效性。

摘要：计算思维作为信息技术教学的主导思想,强调信息技术学习的长远发展和深层发展,对于学生信息技术能力的提升与思维的构建有着十分重要的意义。结合Python课程的具体教学,对计算思维主导下的信息技术教学模式设计进行研究,从设计依据、设计原则、设计方案等方面对教学模式进行探讨,从而为高中信息技术教学质量和效果的提升提供有价值的参考。

摘要：安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方法,该方法采用组合验证与模型转换相结合的方法完成对该系统的验证与分析.首先,使用体系结构分析与设计语言AADL对火箭发射控制子系统进行层次化构造系统的体系结构模型,将系统各个层次的组件需求形式化为组件契约,然后通过组合验证确保系统体系结构的正确性;其次,提出了AADL2UPPAAL的模型转换方法,然后基于UPPAAL对该模型中组件的功能行为进行验证与分析,确保组件的功能行为的正确性;最后,实现了AADL模型验证原型工具,支持基于AGREE的体系结构模型的组合验证和支持基于UPPAAL的组件功能行为验证,通过对火箭发射控制子系统案例的验证和分析表明本文所提方法的有效性与局限性.

摘要：科学高效的规划设计可以助力城市的快速发展,稳定城市布局和发展态势。概念性规划设计较传统的城市规划而言,不仅使城市规划高效便捷,还可以有效降低城市规划建设所需要的成本。本文主要分析了概念性规划的概述和作用,讲述了概念性规划用于城市化建设的具体方法和内容,并举例概念性规划的具体应用。

摘要：为得到新型抗肿瘤化合物,设计合成了两个1,4-萘醌衍生物,并利用核磁共振、红外光谱和高分辨质谱表征了化合物的结构。利用CCK-8法对所合成的化合物进行抗肿瘤活性评价,分别考察了其对人乳腺癌细胞MCF-7和人肝癌细胞Bel-7402的抑制作用,结果表明1,4-萘醌苯乙酸衍生物具有中等肿瘤抑制活性。

摘要：金山的城市建设规模和城镇面貌改观正在实现突飞猛进的跨越。一幢幢楼房在乡间崛起，一条条道路向城市另一端延伸，一项项设计从蓝图中走了出来，走进大众的视野里……在老城区，拆迁改造提升工作正夜以继日地开展；在新城区，商业综合体、学校、水厂、文广中心等重点项目正加快推进，金山港区、金山城市生活岸线等项目正在加紧规划编制；在农村，新市镇建设将让更多农民住上宽敞亮堂的楼房。