摘要：远程皮肤病学是缓解偏远地区皮肤专科医生缺乏问题的有效手段,但目前的方法存在适用范围有限、严重依赖远程医学专家及显示不够直观等缺陷。为弥补当前研究不足,设计并搭建了一套皮肤肿瘤智能远程会诊系统,该系统兼具无网络环境下的皮肤肿瘤自动筛查和有网络环境下的远程会诊及术前规划功能。性能量化实验结果表明,系统可将虚拟的标注高精度原位投射到成像区域。实验对照结果显示,部署于该系统的深度学习模型在诊断能力上与皮肤科专家相当,并且能够辅助专家更迅速、更精确地做出医疗决策。临床试验进一步证实了该系统的实用性。该系统旨在为医疗资源有限的地区提供帮助,使得当地患者能够进行皮肤肿瘤等多种疾病的早期筛查及治疗.

摘要：【目的】定量模拟和刻画林木冠层太阳短波辐射的分布和截获情况,于时空变换下反演太阳短波辐射在不同林木冠层内的辐射通量变化,为林木培育经营和提质增效提供理论依据。【方法】首先,以公共数据集和真实扫描的校园内林木激光点云数据为例,结合设计的机器视觉算法,对林木激光点云进行枝叶分离和单叶分割,并用合适大小的椭圆形和圆柱体几何单元分别拟合每片叶片和骨架,开展林木真实模型重建;其次,运用计算机图形学方法,结合研究地点的经纬度和时刻,模拟太阳入射光线,并引入物理学的双向反射和透射分布函数及蒙特卡洛光线追踪算法,开展反射和透射光线与冠层内叶片的碰撞模拟;最后,根据仪器测量得到的不同树种叶片平均粗糙度和折射率,结合光线追踪算法,实现林木冠层内短波辐射分布计算和木林冠层光截获效率评估。【结果】利用本研究方法计算时空变换下不同树种(芒果、橡胶、紫薇、樱花)4株树冠及一片香樟树林的直射、反射和透射太阳辐射通量,其中直射辐射通量占比约86%、反射辐射通量占比约5%、透射辐射通量占比约9%。叶面积指数高的树冠会拦截更多直射和透射光线;在太阳高度角较小时刻(上午或下午),斜射的太阳光线反射后易与树冠中其他叶片发生二次求交,产生较多反射辐射通量。同时,由于林木的趋光性,中午树冠光线拦截率高于上午和下午10%左右。比对采用本研究方法计算的树冠辐射通量拦截比值和样地手持光电仪器实测结果,绝对误差小于6%。【结论】在测绘科学、计算机图形学及林学多学科视角融合下,本研究基于激光点云重建树木真实表观形态结构,并将蒙特卡洛光线追踪算法与物理学的双向反射和透射分布函数相融合,真实模拟光线在树冠中的传播过程,可准确获取林木冠层内太阳短波辐射分布与树冠辐射通量拦截值,对研究时空变换下林木太阳辐射吸收、光强与树冠形态结构的耦合关联及不同表型参数的林冠辐射传输模型均有重要启示意义。

摘要：喷灌是园艺作物有效的防霜技术之一。为确定茶树喷灌防霜需水量和节约水资源,需研究喷灌过程中植株的储水/冰量动态变化及影响因素。本文设计了一种防滴落、茎杆水收集及称量组合装置,可直接精确获取整株茶树的储水/冰量;试验分析非冻结和冻结、微量和摇臂2类喷头条件下储水/冰量变化的异同;最后探究了冻结下微量喷头喷灌时长对储冰量和茎杆水量的影响。研究结果表明,非冻结条件下,茶树储水量变化经历积累、动平衡和干燥3个阶段;冻结条件下的储冰量随喷灌进行持续增加,并在停喷后较长时间内保持不变,即积累和保持阶段,随后依次经历融化流失和干燥阶段;相同喷灌压力和时长下,微量喷头的储水量和储冰量分别是摇臂喷头的1.2倍和2.0倍;微量喷头喷灌时长对最大储水量无明显影响,约为0.22 kg,最大储冰量则随喷灌时长的增加而显著增加,1.5 h的储冰量是0.5 h的2.9倍。微量喷头作用的茎杆水量,在非冻结和冻结条件下也较高,分别是摇臂喷头的3.0倍和2.7倍。本文研究了茶树植株表面储水/冰量变化及影响因素,改进了灌木类植物冠层截留量的测量方法,为提升防霜效果和实现精准喷灌奠定了基础。

摘要：针对动力学模型未知的多输入多输出非线性离散时间多智能体系统的随机时延问题,提出一种输入增益补偿策略,并针对其通讯受限问题,提出一种带有死区操作器的事件触发控制机制.首先,采用伪偏导技术沿时间轴方向,在智能体的每个工作点上建立一种紧格式动态线性化数据模型,并给出该数据模型的参数估计算法.在此数据模型的基础上结合符号图论,研究智能体之间的合作与竞争关系,设计一种事件触发的数据驱动双向编队控制算法.最后,通过李雅普诺夫稳定性理论、矩阵理论以及压缩映射原理论证所提出算法的收敛性,并通过仿真实验和实物实验进一步验证该算法的正确性与有效性.

摘要：为确定钢桥面板限载的合理取值,建立钢桥面板多尺度有限元模型,利用动态称重(WIM)和Monte Carlo方法生成随机车流样本并进行有限元模型动态加载,通过雨流计数法获取钢桥面板随机疲劳应力谱,基于可靠度理论和疲劳累积损伤理论计算钢桥面板典型细节疲劳可靠度,提出基于疲劳可靠度的钢桥面板限载取值方法;以某跨海斜拉桥钢桥面板为例,基于连续12个月的WIM数据,分别对钢桥面板典型细节进行疲劳可靠性评估,考虑交通量和荷载水平的线性年增长系数,确定了不同交通状况下钢桥面板的限载取值。研究结果表明:当前交通状况下钢桥面板疲劳可靠度指标均高于目标疲劳可靠度指标;交通量和荷载水平对钢桥面板疲劳可靠度指标影响较大,考虑交通量线性年增长系数为2.0%或荷载线性年增长系数为0.4%时,钢桥面板部分细节在设计使用年限内疲劳可靠度指标低于目标疲劳可靠度指标;考虑交通量线性年增长系数为3.0%且荷载线性年增长系数为0.6%时,当前49.0 t限载条件下细节疲劳可靠度指标低于目标疲劳可靠度指标,设置限载为36.5 t时疲劳可靠度能够满足疲劳安全要求;当前荷载水平下行车道最大日均货车交通量为3 820 veh,运营过程中交通量增加显著时应加强钢桥面板疲劳损伤检测,必要时采取车辆分流或桥梁限载措施。

摘要：【目的】开发簸箕柳和三蕊柳种特异性KASP引物,为开展簸箕柳和三蕊柳杂交选育速生、抗虫新种质的真实性鉴定提供参考。【方法】利用簸箕柳和三蕊柳重测序数据,开展全基因组SNP位点分析,筛选出种特异性的SNP位点并设计KASP引物,利用SeqHunter2检测设计引物在簸箕柳中的通用性,并利用簸箕柳和三蕊柳自然群体材料对合成的引物进行实验验证,筛选出簸箕柳和三蕊柳种特异性KASP引物,并对它们的杂交子代进行真实性鉴别。【结果】将三蕊柳和簸箕柳重测序的数据比对到三蕊柳基因组,共获得个6598144个SNPs。经过筛选,最终在簸箕柳中检测到674144个和三蕊柳相比为纯合突变的位点。从每条染色体上随机选取100个位点用于KASP引物设计,在1900个SNPs位点中,750个SNP位点可以成功设计出KASP引物。从每条染色体上选取2组,共选取38组引物,通过SeqHunter2检测得到11组引物在簸箕柳中是通用的。利用簸箕柳和三蕊柳自然群体DNA对合成的10组通用引物进行种内保守和种间差异性检测,获得4组在簸箕柳、三蕊柳和种间杂交子代中聚类明显的引物。引物Stri08_82809、Stri14_11602、Stri14_12274和Stri17_10731在簸箕柳自然群体中分别扩增出纯合G/G、T/T、A/A和T/T位点,在三蕊柳自然群体分别扩增出纯合A/A、C/C、G/G和C/C位点,而在真实杂交子代中分别扩增出G/A、T/C、A/G和T/C杂合位点。利用上述4组引物对簸箕柳×三蕊柳的杂交子代进行鉴定,发现在31个杂交子代中,29个个体扩增出杂合位点,说明同时遗传了2个亲本的特征位点,为真实的种间杂交子代。有2个个体扩增的位点为纯合且和母本相同,说明这2个子代为簸箕柳花粉污染的子代。【结论】本研究获得了簸箕柳和三蕊柳种间特异性KASP标记4组,可以准确快速的开展簸箕柳和三蕊柳种间杂交子代的真实性鉴别,为进一步簸箕柳和三蕊柳种间杂交及回交创制抗虫新品种提供了技术支持。

摘要：提出一种高性能开关磁阻电驱动系统的高效正向协同设计方法,来提高开关磁阻电驱动系统的功率密度,同时降低汽车在典型循环行驶工况下的损耗。首先,建立开关磁阻电机动态转矩模型和径向力模型;然后,建立开关磁阻电机损耗模型,并结合齿轮传动系统损耗模型形成电驱动系统损耗模型,用于典型循环行驶工况下电驱动系统损耗的计算。最后,以机械、电气和控制参数为协同设计变量,以系统的循环行驶工况损耗、质量和转矩波动与径向力脉动为优化目标,采用了双层嵌套优化方法进行优化设计。基于上述方法对12/8级开关磁阻电驱动系统进行优化设计,经协同优化设计后的开关磁阻电驱动系统总质量减轻了19.76%;CLTC-P典型循环工况的系统总损耗减少了42.45%;系统综合效率提升7.66%。

摘要：在制备和表征纳米Fe_(3)O_(4)-沸石复合磁种的基础上,系统比较了混凝、磁混凝和复合磁种混凝三种工艺对黑臭水体的处理效能。结果表明,复合磁种中铁元素含量约为20.0%,沸石的骨架结构和成分未被改变。聚合氯化铝(PAC)和磁种投加量分别为60 mg/L和1~2 g/L时,磁混凝和复合磁种混凝可获得较优的黑臭水体处理效果。磁混凝可强化混凝效果,提高对浊度、TP和COD的去除率,但无法有效去除氨氮;复合磁种混凝可有效去除水中氨氮,全面提升出水水质。黑臭水体中的污染物主要以溶解态形式存在,混凝和磁混凝不能有效去除溶解性污染物,因此对氨氮和COD的去除效果较差;但可通过化学除磷获得较高的TP去除率。复合磁种混凝可利用沸石的离子交换和吸附作用强化对溶解性污染物的去除,获得较好的氨氮和COD去除效果;同时,还可利用负载的纳米Fe3O4实现极限除磷。

摘要：为提高事件检测任务的性能,将该任务重定义为一种提示范式,该范式使用问答对的形式将事件检测转化为机器阅读问题。同时,设计了一种名为WLBert-BiGRU的学习模型对问答对中的事件触发词进行预测,该模型使用Weight-Layers策略丰富Bert模型的语义表征能力,并使用双向门控循环单元神经网络(Bi-GRU)方法强化模型对事件触发词的识别能力。在ACE 2005数据集上的实验结果表明,本文方法在事件触发词识别和分类上的F1指标分别达到了78.1%和75.1%,较现有的工作平均提高了4.18%和4.3%。

摘要：对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。