摘要：序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考.

摘要：1课前探索(前言略)①实验实验1用家用棉线悬挂一个重物,把重物拿到一定高度,释放后重物下落恰好能把棉线拉断,如果在同样的棉线上端拴一段橡皮筋,再从同样的高度释放该重物,实验结果会怎样?实验2在茶杯底下垫一条纸带,沿水平方向很快地抽动纸带,茶杯将怎样?如果沿水平方向慢慢拉动纸带,茶杯又会怎样?实验3要把钉子钉进木头里,第一次用铁锤敲击,第二次用同样质量的橡皮锤以同样的方式敲击,哪一种效果好?实验4鸡蛋都从1m多高的位置由静止落下,第一次落到地板上,第二次落到泡沫塑料垫上,结果会怎样?

摘要：针对自动驾驶场景遮挡目标和小目标检测困难问题,提出了FAN-YOLOv8n自动驾驶检测算法。设计了特征感受野融合模块(EFFVM),增强模型主干部分对局部特征的提取,提高模型对遮挡目标的检测能力;在模型头部增加了更浅特征层P2的检测头,提高模型对于小目标的检测效果;在模型颈部设计了特征指导模块(FGM)来融合浅层和深层的特征信息,使得两层之间能够更好地进行特征交互,让模型更关注细粒特征。提出了特征层融合模块(FLFM),融合多尺度特征层并进行特征增强,使模型能够自适应不同尺度目标的检测。实验结果表明,在SODA10M数据集和部分BDD100K数据集上,改进模型的mAP0.5对比原始YOLOv8n模型提升了7个百分点和6.5个百分点,适用于实际自动驾驶检测任务。

摘要：介绍235/60R18 SP5 SUV 107T雪地子午线轮胎的设计。结构设计:外直径735 mm,断面宽250 mm,行驶面宽度199 mm,行驶面弧度高7 mm,胎圈着合直径462 mm,胎圈着合宽度191 mm,断面水平轴位置(H_(1)/H_(2))1.04,采用“V”字形胎面花纹,优化花纹节距排列。施工设计:胎面采用了三方四块结构,1^(#)与2^(#)的带束层采用了2+2×0.25 HT钢丝帘线,胎体采用2层1300dtex/2 DSP聚酯帘布,采用二次法成型机成型、液压硫化机硫化。成品性能测试结果表明,轮胎的充气外缘尺寸、强度、高速性能、耐久性能都符合国家标准。

摘要：空间核反应堆电源具有结构紧凑、比功率大、寿命长、不依赖光照以及环境适应性强等优点,是月球基地最理想的能源解决方案。以美国FSP方案为参考,确定净输出电功率40 kW、寿期10 a为核电源的基本参数指标。对于月球基地用空间核反应堆电源,热中子反应堆方案相比快中子反应堆方案在减轻屏蔽体质量和节省核燃料方面更加具有竞争力。在对比分析了空间堆上几种常用的金属氢化物后,以长寿命为原则,选择YH_(1.8)作慢化剂。环形燃料作为一种革新性的燃料形式,具有双边慢化和双边冷却的特点,可以减小固体慢化剂的正温度效应并显著提高反应堆的热工安全裕量,是未来高性能反应堆的首选燃料形式。通过借鉴前苏联TOPAZ-Ⅱ空间堆的堆芯结构,在此基础上整合美国FSP方案的系统结构,最终设计出此堆芯方案。通过采用环形燃料元件并对栅格参数进行优化设计,解决了固体慢化剂带来的全堆正温度效应问题;通过引入安全棒设计,解决了特殊临界安全要求问题;通过采用YH_(1.8)慢化剂,解决了慢化剂的氢泄漏问题。以MCNP程序为计算工具,完成了.堆芯物理方案的设计与优化。与FSP方案相比,堆芯(含反射层)尺寸参数相当,没有因为使用慢化剂而使堆芯体积变大,并且^(235)U装量仅需18.463 kg,只有FSP方案的1/4。

摘要：本文从定义、实现、评估、使用学习产出四个步骤,构建《文化创意产品开发》课程可持续改进路径。通过四年课程实践,验证了OBE教学模式可以有效提高学生的课程学习产出。

摘要：在国土空间规划体系优化及存量发展的背景下,工业用地控制线专项规划在应对土地供给收紧、引导产业布局、提升土地利用效率、强化用地管控方面具有重要作用。以珠海市工业用地控制线专项规划为例,分析珠海市工业用地的现状问题,基于评现状、保总量、促集聚、强管控的思路,提出构建评估体系进行绩效评价、明确总体规模及分级划定工业用地控制线、优化调整用地布局并提供分区指引,以及强化管控要求、分类引导用地管控等工业用地控制线全流程规划与管理路径,以为其他地区开展工业用地控制线专项规划提供参考。

摘要：双排落地式钢管脚手架,作为当前房建施工领域广泛采用的脚手架技术,其安全性与可靠性至关重要。文章依托中国铁建北部方向B7804项目A区房建工程的具体案例,对该类型脚手架的安全技术进行了全面深入的剖析。阐述了双排落地式脚手架的设计原理、施工工艺及关键施工要点,通过系统科学的分析总结了脚手架搭设的核心技术。为确保脚手架在实际应用中的安全性与可靠性,文章进一步提出了运用BIM技术进行脚手架安全分析与优化的方案。通过专业BIM设计软件对立杆、横杆、连墙件等关键构件的荷载承载能力及结构稳定性进行了精确的验算,从而科学验证了双排落地式脚手架在安全性与稳定性方面的优势。实际项目应用结果表明,BIM技术在脚手架深化设计中的应用具有显著优势。该技术不仅能够有效解决现场安全管控不严的问题,还能在复杂安全节点处进行精细化设计,充分发挥BIM可视化优势,降低图纸阅读难度,提升房建工程安全措施的实施效率。

摘要：为了在保证固体火箭可靠性的同时尽可能提高其运载能力,需要在方案设计阶段的多学科设计优化(Multidisciplinary Design Optimization,MDO)过程中精确量化发动机推力曲线的不确定性。本文针对考虑不确定性的MDO过程中推力曲线的不确定性难以精确量化以及不确定性分析效率过低的问题,提出了一种精确代理建模方法。通过本征正交分解方法实现发动机推力曲线不确定性的降维表达;建立Kriging代理模型来预测降维后模态系数的前4阶统计矩;使用最大熵法建立模态系数的精确概率分布模型,进而得到推力曲线的精确分布。对星型装药发动机的推力不确定性建模结果表明,推力不确定性分布的预测置信度可达98%;单次不确定性分析时间相比蒙特卡洛方法缩短99.92%。

摘要：随着信息技术的不断发展,移动智能设备与互联网服务已成为校园生活的重要组成部分。为达成更全面、高效的校园服务愿景,文章从服务设计视角出发,梳理现有校园服务平台的服务内容及发展现状,提出以用户模型图驱动个性化服务、用户旅程图挖掘服务痛点、服务蓝图优化服务流程的设计策略。从关注用户个性化需求、融合情感化服务设计、优化界面设计三个维度拓展校园服务平台的设计思路。以期在最大程度满足用户需求的同时,提供更简洁便利的综合性服务,为高校校园服务平台建设提供价值的参考。