动态卷积的3D点云目标检测算法

针对不规则且稀疏的点的提取特征问题,提出一种以动态卷积作为特征提取的3D点云目标检测算法.首先,以一种新型的动态卷积的方式自适应学习点的位置特征,分类出前景点与背景点,同时对提取出的前景点逐一做回归框;然后,用非极大值抑制选出分数值最好的回归框.其次,进行粒度的细化,得到修正规范的3D回归框,完成3D物体的目标检测.最后,在KITTI数据集上验证算法的有效性.结果表明：文中所提算法在汽车类、行人类、自行车类数据集上的3D点云目标检测精度更高.     

数值求解纳米尺度热传导分数阶抛物两步模型

提出一个纳米尺度的分数阶抛物两步模型,得到金属纳米尺度热传导的精确数值格式.该模型是通过引入Caputo-Hadamard时间分数阶导数到抛物型两步能量输运方程中,并将其温度跃变边界条件耦合得到.数值格式基于空间四阶紧格式和Caputo-Hadamard时间分数阶导数的L1逼近格式而建立.通过2个算例验证模型和数值方法的准确性和适用性.     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

鹿茸草全长转录组测序与次生代谢产物生物合成相关基因的挖掘

为获得鹿茸草的全长转录组信息,挖掘鹿茸草次生代谢化合物生物合成途径相关酶的基因,该文基于单分子测序技术,利用Pacbio高通量测序平台,对鹿茸草进行全长转录组测序,共获得48 005条去冗余的高质量转录本,与NR、Swiss-Prot、GO、KEGG等8个数据库进行BLAST比对,共有45 362个转录本被成功注释,注释率为94.50%.其中有389条转录本被注释到KEGG的10条标准次生代谢生物合成通路中.对转录组数据进一步分析发现：参与鹿茸草苯丙素类生物合成的转录本有194条,参与生物碱类生物合成的转录本有115条,参与类黄酮化合物生物合成的转录本有23条,参与其他次生代谢产物的转录本有57条,参与次生代谢后氧化与糖基化修饰的转录本有204条.鹿茸草全长转录组的获得极大地丰富了鹿茸草的遗传信息,初步揭示了参与鹿茸草次生代谢产物合成相关的基因通路,为深入研究鹿茸草次生代谢产物合成途径关键酶的功能及其调控机制奠定了基础.     

一种新型氢化诺卜基双子季铵盐的合成及其抑菌活性研究

该文首先由N,N-二甲基乙醇胺与己二酸反应合成己二酸二(β-二甲胺基)乙酯,然后将己二酸二(β-二甲胺基)乙酯与氢化诺卜基溴按物质的量比例为1.0∶2.1进行反应,合成一种含二元酸酯基的氢化诺卜基双子季铵盐.产物结构用红外光谱、核磁共振(氢谱、碳谱)和质谱进行表征,用菌丝生长速率法评价了该季铵盐化合物对10种植物病原真菌的生长抑制作用.实验结果表明：当药液质量浓度为100.0 mg·L^-1时,该季铵盐化合物对松枯梢病病原菌、烟草黑胫病病原菌、彩绒革盖菌和七叶树壳梭孢菌的抑制率达97.0%～100.0%,远高于百菌清的抑制率,对水稻纹枯病病原菌的抑制率接近90.0%;当药液质量浓度为50.0 mg·L^-1时,该季铵盐化合物对以上5种病原菌的抑制率分别为100.0%、88.8%、86.8%、84.4%和77.2%,均超过对照样百菌清的抑制率.     

Opportunistic Infections of the Eye in Immunocompromised Patients

ＧｕｅｍｂｅｌＨ．Ｏ．Ｃ．ＯｈｒｌｏｆＭ．Ｄ．Ｃ．（Ｄｅｐｔ．ｏｆＯｐｈｔｈａｌｍｏｌｏｇｙ,ＪｏｈａｎｎＷｏｌｆａｇａｎｇＧｏｅｔｈｅＵｎｉｖｅｒｓｉｔｙＳｃｈｏｏｌｏｆＭｅｄｉｃｉｎｅＴｈｅｏｄｏｒ－Ｓｔｅｒｎ－Ｋａｉ７,６０５９０Ｆｒａｎｋｆｕ...     

OPTIMAL COMBINATION OF STABILIZING MEASURES FOR OILFIELD PRODUCTION

１ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｄｅｖｅｌｏｐｍｅｎｔｐｌａｎｉｓｖｅｒｙｉｍｐｏｒｔａｎｔｆｏｒａｎｏｉｌｆｉｅｌｄ,ａｎｄｉｔｉｓａｌｓｏａｃｏｍｐｌｅｘａｎｄｓｙｓｔｅｍａｔｉｃｅｎｇｉｎｅｒｉｎｇｐｒｏｂｌｅｍｉｎｖｏｌｖｉｎｇｍａｎｙａｓ...     

汉江流域旅游气候舒适度的变化特征分析

基于江汉流域36个气象站点30年(1981-2010年)的日平均气温、平均相对湿度、平均风速和日照时数数据,计算得到其逐日温湿指数等级值和风效指数等级值,据此分析汉江流域旅游气候舒适度的时空变化特征。结果表明:汉江流域旅游气候舒适度具有较好的年内变化一致性,最为舒适的时间为4月下旬至5月上旬和9月下旬至10月上旬;汉江流域内旅游气候舒适度自上游至下游呈现出从较舒适至较不舒适的趋势;最后据此提出了汉江流域旅游开发利用的几点建议。
     

非奇异H-矩阵的含参量实用判别法则

非奇异H-矩阵是有着广泛应用的重要矩阵类,但在实用中其判定是十分困难的。本文根据a-对角占优矩阵与非奇异H-矩阵的关系,通过区间细分的方法,得出了非奇异H-矩阵的含参量实用判别法则,对已有的相关结果进行了推广和改进,并用数值算例证实了该判定准则的有效性。
     

高阶平均向量场方法在 Allen-Cahn 方程中的应用

Allen-Cahn方程是材料科学中描述流体动力学问题和反应扩散问题中的一类重要方程。Allen-Cahn方程的能量具有散逸性,即能量会随着时间的增长会逐渐降低。在数值模拟中,设计精确地保持Allen-Cahn 方程能量散逸性的格式对模拟方程的演化具有显著的优点。目前,保 Allen-Cahn 方程能量散逸性的数值格式都是低阶的。最近有人构造了保持常微分方程能量散逸特性的高阶平均向量场方法,是一种有效的离散梯度法。国内外还少有人把保能量散逸性的高阶离散梯度方法应用于能量散逸性的偏微分方程。在这里,我们利用高阶离散梯度方法构造了 Allen-Cahn方程的高阶格式。新的高阶格式能很好地长时间模拟 Allen-Cahn 方程数值解的演化,很好地长时间保持了 Allen-Cahn 方程的内在特性。