门控多层融合的实时语义分割

针对语义分割任务中因模型下采样过程中的像素损失而导致的上采样像素难以精确还原的问题,提出一种基于门控多层融合的实时语义分割方法.考虑分割的实时性,采用轻量级模型作为基础网络进行特征信息的提取.为解决像素难以精确还原问题,设计了一种横向连接的门控注意力结构,此结构可以对目标特征进行筛选,并通过横向传递增强上采样特征图信息的多样性,从而提高特征图的还原精度.此外,还提出采用多层融合结构来整合不同网络层的语义信息,利用不同网络层间的语义表达差异对缺失像素进行补充.实验以CamVid和VOC为数据集,以512×512大小的图像为输入,测试结果表明,方法的图像语义分割精度达到72.9%,平均分割速度为43.1帧/s.     

带有信号恢复的签名方案及其应用研究

切尼提出了一种带有信号恢复的签名方案,但是米切尔和尤尼称这种方案仅仅是一种鉴别编码方案而并非签名方案.在理解米切尔和尤尼的观点的基础上,提出了一种带有信号恢复特征的新签名方案;在詹科比森提出的指定检验者的签名方案的基础上,提出了一种带有防发送方抵赖的指定检验者的签名方案,并为该方案给出了协议.     

AZ31镁合金多次变形工艺及其在汽车轮毂上的应用

研究了AZ31镁合金在一次变形和二次变形后的常温抗拉强度的变化规律.结果表明：一次变形以210℃变形强化效果最明显;二次变形可以提高AZ31镁合金的强度.在变形温度为240℃,变形程度达到1.79时,强度最高,可以达到390 MPa,此时复合强化效果最明显,比镦粗后强度提高了约157 MPa,比铸坯均匀化退火后的强度提高了近220 MPa.     

红外可见光目标的空间直方图表示与联合跟踪

目的 针对融合跟踪中的实时性和准确性问题,提出一种基于二阶空间直方图联合的红外与可见光目标融合跟踪算法。方法 该算法以二阶空间直方图为目标表示模型,通过将红外的目标相似度和可见光的目标相似度进行加权融合,来构建新的目标函数;并依据核跟踪推理机制导出目标的联动位移公式;最后使用均值漂移程序实现目标的自动搜索。此外,算法还实现了融合权值的自适应调节和目标模型的在线更新。结果 实验中选取了4组典型的红外可见光视频对进行跟踪,测试了算法在夜间环境、背景阴影、目标交汇与拥簇,以及目标遮挡等场合下的跟踪性能,并与L₁跟踪器（L1T）、基于区域模糊动态融合的跟踪器（FRD）,以及基于联合直方图的跟踪器在平均中心误差、平均重叠率、成功率以及平均跟踪时间等指标上进行了定量比较,得到各算法在这4组视频上的对应性能指标数据分别为本文算法（6.664,0.702,0.921,0.009）、L1T跟踪红外目标（25.53,0.583,0.742,0.363）、L1T跟踪可见光目标（31.21,0.359,0.459,0.293）、FRD（10.73,0.567,0.702,0.565）、JHT（15.07,0.622,0.821,0.001）,发现本文算法的平均准确率比其他跟踪算法分别高约23%、14%和8%,而平均成功率分别高约32%、46%和10%。结论 本文算法在处理场景拥簇、光照变化以及空间信息保持等方面要优于传统的单源跟踪方法,适用于夜间环境、背景阴影以及背景拥簇等场景下目标跟踪,对帧频为30 帧/s的视频数据,算法可同时在线跟踪到4个目标。     

连续时间Markov决策过程互模拟等价及逻辑保持

模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率.     

一种新的基于试题模块库的组卷方案

提出一种试题模块库系统建设方案,它以模块为基本单位组卷,既具有试题库客观性科学性高的特点,又具有试卷库建库简便出卷容易的优点它的成功实施,必将为题库建设、课程建设和高效的教学和考试管理带来新的研究途径和提供良好的实践范例。     

基于全局迭代阈值和局部分析的护照图像的二值化算法

针对护照证件图像有复杂的底纹背景和防伪网格线的特点,对图像二值化的方法进行了深入分析和研究,提出一种全局迭代阈值与局部分析相结合的适用于护照证件图像的二值化方法。该方法模型简单、易于实现,能滤除噪声,能清晰地把字符笔划从背景中分割出来。     

基于燃烧算法公交出行查询系统设计与实现

通过分析现有基于Dijkstra算法的公交查询系统存在的缺陷,提出了基于燃烧算法的公交出行查询系统.依据城市公交网络特征和出行者路径选择习惯,将燃烧算法引入并加以改进应用于多级公交网络的公交查询服务系统中,提高了算法的实时性计算能力,同时对算法的效率进行了分析,具有一定创新性.开发的公交查询系统用户界面友好,能实现人机对话.系统具有很大的通用性,具有较大的推广价值.     

基于改进BP神经网络的车牌字符识别研究

分析BP网络学习算法的缺陷基础上,引入动量项和遗传算法对BP网络学习算法进行改进。提高了车牌字符识别的正确率。     

多元模块工程在代谢工程中的应用与研究进展

随着代谢工程理论体系的发展,代谢工程的研究方法目前已从对单一途径的调控转变为对整个代谢网络的全局调控。同时,为了在工业微生物领域实现与化学工业生产规模相当的生物炼制过程,代谢工程需要一套通用的菌株优化策略。其中关键问题之一,是解决代谢通量的不平衡。本文介绍了基于传统的理性代谢工程与近年来兴起的组合工程中存在的问题,研究者提出了一种模块化的代谢网络优化策略--多元模块工程（multivariate modular metabolic engineering,MMME）。阐述了多元模块工程的原理和方法,列举了其常用的调控技术和手段,在此基础上综述了近年来模块化策略在代谢工程领域的应用进展,提出了该策略面临的主要问题并展望了其未来的发展方向。