In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clar...In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.展开更多
针对现有视频摘要算法以及摘要评价方法未能充分考虑工业智能终端所感知的视频数据特点以及工业智能感知相关应用需求,改写了代表性与多样性两种评价约束,基于此,结合DWConv(Depthwise Convolution)与ConvLSTM(Convolutional Long Short...针对现有视频摘要算法以及摘要评价方法未能充分考虑工业智能终端所感知的视频数据特点以及工业智能感知相关应用需求,改写了代表性与多样性两种评价约束,基于此,结合DWConv(Depthwise Convolution)与ConvLSTM(Convolutional Long Short-Term Memory)设计了一种混合双向多层的工业视频摘要方案。该方案由全局粗粒度特征提取、局部细粒度特征提取、反馈更新以及以查询为驱动的特征融合这4部分组成。为应对工业数据高冗余性、感知的视频噪声大等特点,围绕着ConvLSTM与注意力机制搭建全局特征提取模块;为充分提取视频数据的时空特性,结合注意力机制与DB-DWConvLSTM构建局部特征提取模块;针对工业数据具有的周期性与局部稳定性,借助残差网络思想,设计了融合DWConv反馈模块;为了更加凸显关键帧特征,便于更好的筛选关键帧,研究以查询驱动的特征融合模块。为验证方案的有效性与可行性,将该方案在TVSum与SumMe两个数据集上进行分析验证。实验结果表明:该方案在交叉验证、消融实验以及对比分析中都有着较好的性能。展开更多
坐标转换是空间地理数据应用的常用功能,由于部门及应用场景不同,不同坐标系成果的相互转换工作将长期存在。目前的坐标转换不仅需要脱离ArcGIS和AutoCAD等软件,还要实现主流矢量数据和栅格数据的坐标转换。为此提出了基于GDAL(geospati...坐标转换是空间地理数据应用的常用功能,由于部门及应用场景不同,不同坐标系成果的相互转换工作将长期存在。目前的坐标转换不仅需要脱离ArcGIS和AutoCAD等软件,还要实现主流矢量数据和栅格数据的坐标转换。为此提出了基于GDAL(geospatial data abstraction library)和Teigha库底层开发的通用坐标转换方法,给出了系统架构,实现了参数管理、参数计算、坐标转换、数据读写等功能。该方法大大提高了转换效率和保密性。实践表明,该系统转换结果正确可靠。展开更多
基金The Project Supported by National Natural Science Foundation of China
文摘In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.
文摘针对现有视频摘要算法以及摘要评价方法未能充分考虑工业智能终端所感知的视频数据特点以及工业智能感知相关应用需求,改写了代表性与多样性两种评价约束,基于此,结合DWConv(Depthwise Convolution)与ConvLSTM(Convolutional Long Short-Term Memory)设计了一种混合双向多层的工业视频摘要方案。该方案由全局粗粒度特征提取、局部细粒度特征提取、反馈更新以及以查询为驱动的特征融合这4部分组成。为应对工业数据高冗余性、感知的视频噪声大等特点,围绕着ConvLSTM与注意力机制搭建全局特征提取模块;为充分提取视频数据的时空特性,结合注意力机制与DB-DWConvLSTM构建局部特征提取模块;针对工业数据具有的周期性与局部稳定性,借助残差网络思想,设计了融合DWConv反馈模块;为了更加凸显关键帧特征,便于更好的筛选关键帧,研究以查询驱动的特征融合模块。为验证方案的有效性与可行性,将该方案在TVSum与SumMe两个数据集上进行分析验证。实验结果表明:该方案在交叉验证、消融实验以及对比分析中都有着较好的性能。
文摘坐标转换是空间地理数据应用的常用功能,由于部门及应用场景不同,不同坐标系成果的相互转换工作将长期存在。目前的坐标转换不仅需要脱离ArcGIS和AutoCAD等软件,还要实现主流矢量数据和栅格数据的坐标转换。为此提出了基于GDAL(geospatial data abstraction library)和Teigha库底层开发的通用坐标转换方法,给出了系统架构,实现了参数管理、参数计算、坐标转换、数据读写等功能。该方法大大提高了转换效率和保密性。实践表明,该系统转换结果正确可靠。
