面向MC/DC覆盖的白盒单元测试用例自动生成技术

在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。

基于深度学习的园区安防吸烟行为检测

针对园区禁烟区时常出现一些流动人员违规抽烟造成的安防隐患问题,提出一种联合人体骨骼关键点检测和改进的YOLOv7烟支检测的吸烟行为深度学习检测方法。该方法首先通过OpenPose提取人体关键点的坐标信息,计算手、鼻子、脖子之间距离的比值,手、肘、肩之间的角度,判别是否满足吸烟姿态。然后联合改进的YOLOv7算法检测图像中是否存在烟支,来最终判断吸烟行为是否存在。其中改进的YOLOv7算法引入了全局注意力机制模块,强化了语义与位置信息,使用转置卷积改进上采样方式,减小了信息丢失,并采用MPDIOU损失函数,增强了回归结果准确性,提升了对烟支小目标的检测精度。通过实验测试,本文方法准确率达到95.45%,可以有效地检测出吸烟行为。

高反光物体的局部点云孔洞补全方法

针对高反光物体点云数据存在噪声明显、孔洞过大,使用传统贪婪投影三角化算法无法达到点云补全目的的问题,提出一种改进的贪婪三角化点云补全算法。利用统计滤波和高斯滤波进行离群点去除和平滑处理;采用移动最小二乘法对局部点云进行上采样增强数据,并且对点云进行进一步平滑。将贪婪三角化算法中的kd树(k-dimensional tree)算法替换为效率更高的八叉树(octree)搜索算法,将主成分分析法替换为准确率更高的移动最小二乘法进行法线估计;最后,进行点云三角化,完成点云补全。实验结果表明,改进算法能够更好地补全孔洞,补全后表面更加平滑、结构更为准确,且花费时间更短。

“西学中”的践行现状及其社会意义

西医学中医,简称“西学中”,自发起至今70多年的实践证明“西学中”极具开创性,为我国医学创新发展做出了巨大贡献。分析“西学中”践行现状和社会意义,可以为未来“西学中”的发展提供借鉴。从历史的角度,探究“西学中”历史渊源,阐述其践行现状,指出其社会意义,不仅能解决临床问题,且能创造性地开辟新的医学研究方法,有利于全民大健康的实现。中西医结合是我国独特的医学发展道路,“西学中”是庞大的系统工程,应进一步完善政策,互相取长补短,力争实现1+1>2的效果。

搭载给水管的宽幅流线型钢箱梁涡振性能及抑振措施研究

为研究给水管不同设置位置对宽幅流线型钢箱梁的涡振性能影响及涡振抑制措施,以某大跨度扁平钢箱梁斜拉桥为研究对象,制作缩尺比为1:50的钢箱梁刚性节段模型进行风洞试验和数值模拟计算。首先对比分析了风攻角为0°、±3°时,给水管设置在主梁风嘴内(Ⅰ型)和设置在桥面上(Ⅱ型)两种不同断面形式的主梁涡振特性;并采用数值模拟探究了给水管对主梁涡振性能影响的作用机理。其次,研究了结构阻尼比对Ⅰ型断面主梁涡振性能的影响;最后,通过试验测试了栏杆透风率、栏杆抑流板等气动措施对Ⅰ型断面主梁涡振性能的影响。试验结果表明:给水管是涡振敏感构件,对于Ⅰ型断面,风攻角为-3°时,主梁未出现涡振现象;风攻角为0°时,有小幅涡振响应;风攻角为+3°时,出现明显的涡振现象;Ⅱ型断面主梁无涡振现象发生。数值模拟结果显示,给水管放置在主梁外部可以有效降低上表面旋涡的尺寸,从而抑制涡振的产生。增大结构阻尼比可以有效抑制主梁的涡振;改变栏杆透风率抑振效果不明显;设置抑流板对抑振效果明显。

壳聚糖复合保鲜对冷藏草鱼肌肉蛋白质组的影响

为深入研究壳聚糖复合保鲜(10 mg/mL壳聚糖+5 mg/mL茶多酚+2000 U/mL溶菌酶)对草鱼冷藏过程中肌肉蛋白质的影响,采用双向电泳-质谱(two-dimensional electrophoresis-mass spectrometry,2DE-MS)技术对新鲜(第0天)和冷藏第9天(保鲜组和未保鲜对照组)草鱼样品进行差异蛋白质组学分析。结果表明,与新鲜样品相比,保鲜组2DE图谱差异不明显,主要变化为快肌钙蛋白T丰度下降,慢肌钙蛋白T和腺苷酸激酶同工酶1丰度上升;而未保鲜对照组样品2DE图谱的蛋白点数量和信号强度均与新鲜组差异较大,进一步分析表明其快肌钙蛋白T、原肌球调节蛋白4、突触足蛋白2、M型丙酮酸激酶丰度下调,肌球蛋白重链、肌球蛋白轻链1、α-肌动蛋白、α-原肌球蛋白、轻酶解肌球蛋白等结构蛋白丰度上升。此外,与保鲜组样品相比,对照组3种肌钙蛋白T丰度下调,而肌球蛋白重链、轻酶解肌球蛋白、α-肌动蛋白、α-原肌球蛋白、M型肌酸激酶的丰度上升,其中肌酸激酶可作为检测草鱼腐败的指示蛋白。综上,壳聚糖复合保鲜能较好地维持草鱼肌肉蛋白质稳定。

化学链低碳烷烃氧化脱氢技术进展

低碳烯烃生产能力是化工行业技术水平的重要标志。随着低碳烯烃市场需求的增加,新型高效的低碳烯烃生产工艺得到了广泛关注。化学链低碳烷烃氧化脱氢技术,通过载氧体中的晶格氧与反应物分子发生反应,实现烷烃分子向烯烃分子的选择性转化,可以提高烯烃产率,有效降低过程能耗和CO_(2)排放。本文针对化学链低碳烷烃氧化脱氢技术,深入分析了载氧体材料的筛选和理论设计、表面活性位和体相氧传输的调控机制、循环稳定性、载氧体的制备、化学链烷烃脱氢反应器和工艺设计优化等方向的研究现状和进展,并系统总结了未来化学链低碳烷烃脱氢技术及相关领域的发展趋势,为化学链烷烃脱氢领域的技术进步提供参考和借鉴。

豨莶草对黄嘌呤氧化酶和环氧合酶-2双重抑制作用的虚拟筛选

目的探究豨莶草对黄嘌呤氧化酶(XOD)和环氧合酶-2(COX-2)具有双抑制活性成分及结合机制。方法由TCMSP数据库筛选得出豨莶草所含化合物成分,以黄嘌呤氧化酶、环氧合酶-2为目标,使用Autodock Tools软件对化合物进行虚拟筛选,并使用Pymol软件针对代表性活性成分与黄嘌呤氧化酶、环氧合酶作用模式进行分析。结果豨莶草所含的活性成分与黄嘌呤氧化酶的结合能,在-5.0 kcal·moL^(-1)以下的有5种化合物,与环氧合酶-2的结合能,在-5.0 kcal·moL^(-1)以下的有9种化合物。根据分子间作用力来看,豨莶草中的豆甾醇、豨莶精醇对这两种蛋白的活性位点有氢键相互作用和疏水相互作用。结论豨莶草中的豆甾醇、豨莶精醇成分可能对黄嘌呤氧化酶和环氧合酶-2有双重抑制的效果。

阶层刻板印象:后效及其理论解释

阶层刻板印象是以阶层为分类依据,形成的关于不同阶层的固定心理图式,其内容具有一定的规律性。阶层刻板印象在阶层互动中具有重要作用,广泛地影响人们的认知、情感和行为。偏差地图理论强调阶层刻板印象对阶层互动的直接影响,同时解释了阶层刻板印象的积极和消极后效。制度正当化理论强调阶层刻板印象作为维持现实合法性的心理工具,对阶层互动的间接影响,主要解释阶层刻板印象的积极后效。未来研究需要进一步明确阶层刻板印象的研究取向与操纵性定义,拓展阶层刻板印象的后效及其干预策略,并整合阶层刻板印象后效的理论解释。

海洋生境棘孢木霉TCS007缓解蚕豆干旱胁迫的研究

木霉属真菌(Trichoderma spp.)是一类有益微生物,不仅能促进植物生长,还能诱导植物对生物和非生物胁迫产生耐受性。实验室前期分离获得一株来自南极海洋沉积物的菌株TCS007,并鉴定其为棘孢木霉Trichoderma asperellum,研究表明,TCS007可显著提高植物抗盐、抗寒能力。本文以蚕豆为试材,从生理生化水平上研究了TCS007在诱导植株抗旱性方面的作用。采用温室盆栽法对不同处理条件下蚕豆的各项生理生化指标进行了测定。结果表明:在干旱胁迫下,经TCS007孢子悬浮液处理的蚕豆幼苗的株高、株重、根鲜重和总叶绿素含量相较于空白对照(CK)分别增加了28.7%、42.9%、34.2%和26.2%;叶片中的总糖、总蛋白含量和相对含水量在不同的时间点分别增加了11.1%~106.0%、38.0%~68.8%和7.0%~19.0%;蚕豆根、茎和叶中超氧化物歧化酶(SOD)活性分别增加了28.8%、13.3%和8.0%,过氧化物酶(POD)活性分别增加了10.8%、22.4%和14.8%,丙二醛(MDA)含量分别降低了37.2%、14.7%和12.1%;此外,蚕豆根、茎和叶中植物激素脱落酸(ABA)含量在不同的时间点分别增加了21.1%~33.2%、44.9%~60.6%和28.2%~78.7%,生长素吲哚乙酸(IAA)含量分别增加了20.9%~29.0%、19.7%~37.3%和11.1%~23.8%。由此可见,用TCS007孢子悬浮液处理可以缓解干旱胁迫对蚕豆生长造成的影响,从生理生化水平上提高蚕豆的抗旱能力。本研究结果可为TCS007开发成为木霉生物菌肥产品提供理论依据。

海洋生境棘孢木霉菌TCS007对植物的促生长及诱导抗逆作用

为研究海洋生境棘孢木霉菌Trichoderma asperellum TCS007对植物的促生长及诱导抗逆作用,以黄瓜和水稻为试材,评价菌株TCS007对植物种子萌发、幼苗和根系生长等生长量及其对叶绿素、可溶性糖和蛋白含量的影响,并在低温和高盐胁迫条件下,研究其对植株生长相关生理指标影响。结果表明:1×10^(6)CFU/mL的TCS007孢子悬浮液可以显著促进黄瓜种子萌发,且处理后黄瓜幼苗的株鲜重、叶面积、根鲜重及根系活力分别提升13.53%、17.97%、66.67%和27.30%,总叶绿素、可溶性糖和可溶性蛋白含量分别增加22.75%、18.24%和8.60%;在5℃、10℃和15℃低温胁迫下,1×10^(6)CFU/mL的TCS007孢子悬浮液显著提高了黄瓜叶片中过氧化物酶(POD)和超氧化物歧化酶(SOD)的活性,降低了丙二醛(MDA)含量和相对电导率(REC);在0.1 mol/L的氯化钠(高盐)胁迫下,不同含量的TCS007孢子悬浮液均可显著缓解氯化钠对水稻幼苗的盐害作用,且随着孢子含量的增高,缓解效果越为明显,其中添加5%1×10^(6)CFU/mL TCS007孢子悬浮液的水稻幼苗POD、SOD和过氧化氢酶(CAT)活性均显著增加并能降低其REC。综上,棘孢木霉菌TCS007对植物具有良好的促生长效果和诱导抗逆作用,研究结果可为其开发成为新型生物农药提供理论依据。

耐高温聚丙烯酰胺微球的制备及性能研究

首次采用单油酸甘油酯作为乳化剂,5#白油为分散剂,四烯丙基氯化铵为交联剂,丙烯酰胺(AM)为聚合单体,通过反相乳液聚合法制备了耐高温聚丙烯酰胺微球,确定了较优的聚合条件。红外光谱、扫描电镜、X射线能量色散谱测试结果表明,AM与四烯丙基氯化铵均成功地参与了反应,微球外观呈现出规整的球形。激光粒度仪测试结果表明,微球吸水前的平均粒径为4.2μm,60℃下在去离子水中吸水膨胀后粒径增大为10.2μm,温度、NaCl含量、金属离子的种类均会影响微球吸水后的粒径。显微镜观察结果表明,聚合物微球可以在180℃的去离子水中稳定存在7 d以上,表明微球在高温下具有较好的稳定性。

高频声表面波液滴雾化器设计与实验研究

针对现有的雾化装置粒径分散较广及难以生成大量微米级与亚微米级液滴等问题,设计并加工了一种基于声表面波的液滴雾化装置。首先,利用COMSOL仿真软件对声表面波器件的结构建模并进行压电仿真分析,模拟声表面波的振动传播,得到其谐振频率为18.269 MHz。其次,基于声-压电耦合多物理场模拟声波在固-液界面的衍射,以及在液体中的传播过程。最后,加工声表面波雾化实验装置并进行液滴雾化实验,通过调整激励信号频率与输入功率实现了液滴的稳定雾化,对雾化后的液滴粒径分布进行测试。实验结果表明,当输入信号幅值为420 mV,谐振频率为19.259 MHz时,该装置生成大量微米级细小液滴,液滴粒径基本呈三峰分布,主要集中在3μm、30μm与500μm。

智能化齿轮双面啮合仪测控系统研制

针对传统机械式齿轮双面啮合仪存在人工操作不规范的问题,智能化改造国产某型齿轮双面啮合仪,实现设备的二次开发与利用。文中系统以PLC、伺服驱动系统、激光位移传感器和上位机为主要硬件平台,搭载基于LabVIEW开发的人机交互界面,实现齿轮参数的测量和加工质量评定;设计游标跟随功能,实现产品齿轮异常位置的精准定位。试验结果证明:智能化改造后的齿轮双面啮合仪测控系统测量结果重复性误差较小,满足工业现场齿轮主要参数自动化测量的要求。

激光云高仪探测中国东南沿海云分布特征

利用Vaisala CL51激光云高仪对厦门地区2016年1月1日至2020年12月31日5年的云探测数据,采用时间占比算法计算出云分数,并对云层、云高以及云分数分布规律进行统计分析。结果表明:中国东南沿海云层结构以单层云为主(占比43.59%),双层云为辅(占比16.42%),三层以上云出现的概率相对较低(占比5.25%)。观测期间以中低云为主,与其他季节相比,夏季的云分布密度的集中度较小,存在较大云底间距。高云更可能出现在18时至次日06时的时段内,夏季尤为显著,表现出明显的日变化特征。

太赫兹近场显微技术研究进展

太赫兹是电磁频谱上还未被完全开发利用的频段,但太赫兹谱学成像技术在材料科学和器件测试等方面已展现出重要应用价值。然而受远场衍射极限限制,该频段难以聚焦于纳米、原子尺度的新材料和微纳器件中,极大阻碍了太赫兹科学的发展与技术应用。为提高成像分辨率,使其成为材料科学等交叉领域强大的研究工具,近年诞生了太赫兹耦合的近场显微技术,实现了纳米到埃米量级的空间分辨。本文综述了太赫兹耦合的近场显微技术,包括扫描近场显微镜和扫描隧道显微镜各自的发展历程和应用实例,并探讨了太赫兹近场显微技术的未来机遇和挑战。

高维序列数据降维方法在证券市场的应用研究

证券市场数据分析与预测,作为一个经典的大数据分析场景,很多数据挖掘方法已经在本领域得到实际应用。但是鉴于企业本身情况的变化以及证券市场的人为操作等情况,现有的各种大数据挖掘方法无法应对不可见或者未出现的情况,为此论文探索使用易经方法,将其应用在证券市场的数据挖掘和分析预测。利用数据挖掘进行特征筛选、数据降维,通过滑动时间窗、随机森林、三才映射等方法实现传统易经体系中的断卦步骤,将易经概念、规则抽象成算法并对卦辞分类,由解卦算法得出预测值。与先前的预测模型相比,该模型融合易经预测体系与机器学习,充分利用了证券市场的场景特征与历史数据,最终对证券市场平稳、上升、下跌三种发展趋势进行预测。使用10年内股票证券交易公共数据集进行实验,准确率优于SVM、XGBoost等流行的机器学习算法,并在分行业建模中进一步提升了效果。

miRNA在黑色素瘤发病中的调控作用及相关药物的研究进展

黑色素瘤是一种起源于黑素细胞的高度恶性及侵袭性的癌症,部分患者通过早期诊断并手术切除后有较好的预后,但转移性进展和耐药性仍然是治疗黑色素瘤的两大难点,因此,对黑色素瘤发病机制以及治疗药物和治疗方法的探究非常必要。本文对miRNA在黑色素瘤发病中的调控作用及相关药物研究进行综述。miRNA主要通过丝裂原活化蛋白激酶(MAPK)通路、磷脂酰肌醇-3-激酶/蛋白激酶B(PI3K/AKT)通路、小眼畸形相关转录因子(MITF)通路及P53信号通路调控黑色素瘤的发生发展。靶向药物可通过调控上述4条通路达到治疗效果。miRNA具有癌症生物标志物的潜力,可用于早期检测、评价预后和治疗效果。相关miRNA介导信号通路的发现及研究有助于进一步阐明黑素瘤的发病机制,为后期靶向药物的研发提供可能的理论基础。

软辊性能变化对超级压光机运行的影响

软辊在日常使用和现场长期存放过程中会出现多种问题,主要包括辊体变形、轮廓变形超差、轴承故障和结构松动、胶层厚度过小等问题,以上因素都会导致软辊工作性能的变化。辊子的各种性能变化又会影响到超级压光机工作状态的变化。

6082铝合金热变形行为及热加工图

在Gleeble^（-1）500D热模拟试验机上对O态6082铝合金进行了热压缩实验,研究了该合金在变形温度300-500℃,应变速率0.01-10 s^（-1）条件下的热变形行为和组织演化;基于Arrhenius双曲正弦本构关系建立了6082铝合金的本构方程;基于动态材料模型（DDM）和Murty法建立了热加工图,并结合微观组织进行验证。研究结果表明：6082铝合金为正应变速率敏感材料,峰值应力随温度的降低和应变速率的升高而升高,热变形过程中的主要软化机制为动态回复,在较高温较低应变速率（500℃,0.1 s^（-1））时,该合金发生动态再结晶。计算得到该合金的热激活能为171.1539 k J·mol^（-1）,最佳热加工工艺参数区间为：450-500℃,0.2-0.5 s^（-1）。