ON THE VERIFICATION OF OPTIMALITY OF A SOLUTION GENERATED BY AN ALGORITHM FOR C_M-EMBEDDED PROBLEM

Some optimality conditions for the C_M-embedded problem arerepresented,and mainly,some subalgorithms for verifyingoptimality of a solution generated by an algorithm for the C_M-problem are proposed in this paper.     

固有事务处理协议及其开发

简述了固有ＴＰ（事务处理）协议开发的背景、协议性能及特点。对协议的开发与实现方法进行了深入的分析和探讨。并对采用该协议的系统进行了综合评价。该系统经试运行和实际运行，用户反映良好，各项指标均达到设计要求。     

一种评估教学质量的定量方法

阐明了将马尔可夫链应用于教学质量评估的理论依据，为教学质量评估提出了一种定量计算方法。计算结果表明，该方法具有一定的可行性     

采用RSPM-PS算法的机械手末端避障路径规划

为解决工业机器人机械手末端避障路径规划需要花费大量时间,且规划的路径可能会包含大量冗余分段点的问题,提出一种基于分段点迁移递归(RSPM)和递进约简(PS)的机械手末端避障路径规划方法.通过RSPM算法可以在碰撞段上形成分段点并进行迁移,进而递归处理各分段路径,得到一条无碰撞基础路径.通过PS算法可以去除基础路径上的冗余分段点,得到最终路径.结果表明：RSPM-PS算法能快速规划更短的基础路径且能快速有效缩短路径长度.     

采用精确抠图的单幅自然图像背景虚化合成方法

针对小光圈镜头下的单幅自然图像背景虚化问题,提出一种基于精确抠图的单幅自然图像背景虚化合成方法.首先,利用GrabCut算法对单幅自然图像的前景对象进行初始抠图;其次,采用基于局部二值模式算子的颜色恒常性算法提取图像纹理,并对初始抠图实现精确割图;然后,通过双边滤波虚化背景部分;最后,将精确分割后的前景部分与虚化后的背景部分合成.仿真结果表明：文中算法可以获得高质量的分割和视觉自然的背景虚化效果.     

动态卷积的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条.鹿茸草全长转录组的获得极大地丰富了鹿茸草的遗传信息,初步揭示了参与鹿茸草次生代谢产物合成相关的基因通路,为深入研究鹿茸草次生代谢产物合成途径关键酶的功能及其调控机制奠定了基础.