基于注意力机制编码器-解码器的手写数学公式识别模型

针对现有的手写数学公式识别(HMER)方法经过卷积神经网络(CNN)多次池化后,图像分辨率降低、特征信息丢失,从而引起解析错误的问题,提出基于注意力机制编码器-解码器的HMER模型。首先,采用稠密卷积网络(DenseNet)作为编码器,使用稠密连接加强特征提取,促进梯度传播,并缓解梯度消失;其次,采用门控循环单元(GRU)作为解码器,并引入注意力机制,将注意力分配到图像的不同区域,从而准确地实现符号识别和结构分析;最后,对手写数学公式图像进行编码,将编码结果解码为LaTeX序列。在在线手写数学公式识别竞赛(CROHME)数据集上的实验结果表明,所提模型的识别率提升到40.39%,而在3个级别的允许误差范围内,识别率分别提升到52.74%、58.82%和62.98%。相较于双向长短期记忆(BLSTM)网络模型,所提模型的识别率提高了3.17个百分点;而在3个级别的允许误差范围内,识别率分别提高了8.52、11.56和12.78个百分点。可见,所提模型能够准确地解析手写数学公式图像,生成LaTeX序列,提升识别率。

NSPK协议的Spin模型检测

NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列.

TCP协议的安全性和活性验证

网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性.

NS密码协议的模型检测分析

密码协议安全性的分析是网络安全研究领域的一个主要内容,研究人员提出多种形式化方法来分析这个问题。模型检测工具Spin是一个广泛验证并发系统性质的工具,可用来分析密码协议。对Needham-Schroeder(NS)协议认证部分进行了详细的分析,结果表明,Spin可成功检测出NS协议的缺陷,并生成攻击的序列。

河南省促进科技成果转化的政策实施状况

河南省科技创新和转化在近几年取得很大进步,但是在科技强省的过程中还存在资金投入不足,对科研人员的积极性调动不够,产学研结合不紧密等方面的问题。为促进科技成果转化,必须大力培育企业主体,加大财政和金融资金投入,保护科研人员的经济权利,提供鼓励科研人员科技创新和转化的政策支持。

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。

科技创新与政府政策干预的理论起点

政府对科技创新进行政策干预具有深厚的理论原因。经济原因是科技创新成果的外部性、公共产品性和技术市场不完全竞争性。政治原因是国际科技竞争和产业升级。法律原因在于法律强调稳定,没有政策手段使用灵活而且具有主动性。

发达国家科技创新推动政策的制定及对我国的启示

西方资本主义传统市场经济理论不提倡国家干预市场,认为竞争纯粹是企业之间的事情,企业需要通过自身技术进步和提高产品质量以赢得市场竞争。但是,现代全球化的市场竞争已经从企业行为变成国家行为,竞争的结果将决定本国的命运。为了在全球经济竞争中取得胜利,发达资本主义国家果断放弃不干预政策,制定了大量政策法律推动本国科技创新,力图以新技术不断促进本国产品竞争力提高,科技创新因此成为各国重要的经济发展战略。发达国家促进科技创新政策具有共同特点,普遍强调要重视科学基础研究,加大科研资金投入,搞好产学研结合,加强国际科研合作,以科技促发展。我国政府科技政策的制定也应借鉴这些良好经验,赶上世界科技创新工作的步伐。

基于Spin的SET协议模型检测研究

模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的关键性质认证性和保密性进行了分析与检测,发现了协议中的缺陷。

基于CMS的班级网站设计与应用

基于内容管理系统CMS的设计与开发方法具有良好的前台界面和功能强大的后台管理功能。作为教学网站设计,可以在短时间内搭建起班级网站,在局域网内使用,充分发挥网站的信息发布和资源共享的作用。

新形势下高职院校辅导员工作的新思路探索

高职院校辅导员是保证高职院校学生健康成长成才的重要力量,他们只有根据新形势的需要,不断调整思路,做到整体与个体教育的融合、课堂教育与社会实践教育的融合、科学教育与科学的融合、团队教育与目标教育的融合、教育与自我教育的融合,才能充分发挥好辅导员的教育功能和作用。

VM中Fedora8系统下NFS的安装与配置研究

Linux操作系统下,文件的共享可以用NFS实现,NFS可以设置允许指定的客户端或指定的网段访问服务器。虚拟机VM中,安装Fedora8操作系统,其中一台配置成NFS服务器,另一台配置成客户端,实现在客户端访问NFS服务器中共享的文件。

基于VBA的高级工考试自动评分研究

计算机系统管理员的高级工考试是一项资格认证考试,与之相适应需要一项自动的评分系统。其中选择题的自动评分已经实现,而操作题需要手工阅卷。为了实现对操作题的答题结果自动评分,采用VBA技术分析考生的操作结果,可以实现自动阅卷且准确性高。

基于Python+Matplotlib的成绩统计设计与实现

基于Python设计的学生成绩统计与分析系统,提出了使用Matplotlib、Pandas、Numpy等库实现了对学生成绩的计算与统计分析,在系统中构建了学科成绩散点图、学科成绩分布饼图、学生成绩分布雷达图,并给出部分算法,最后根据所绘图形分析学生的学习成绩情况,以提高教师批改试卷和成绩分析的效率。

民办高等教育如何实践以人为本的教学理念

高等教育工作的两项重要内容包括:一是全面提高高等教育的质量和水平,二是提高人才培养质量,这就要求各高等院校改良和创新教学管理模式,并且必须坚持以人为本的基本原则。阐述了以人为本的教育教学理念,提出了坚持以人为本的基本原则,转变和创新教育管理理念的具体途径。

浅谈中学英语课电化教学

随着科学技术发展 ,现代化信息媒介相继参入英语教学领域。幻灯机、投影机、录相机、电子计算机等电教设备已被英语教学广泛采用。特别是电子计算机 ,它可以融视、听、说为一体 ,是一种新型的教学形式 ,是英语教学手段之一。它以生动、趣味、动态效果吸引学生的注意力 ,激发学生的求知欲望 ,调动他们的学习积极性 ,锻炼学生的交际能力 ,为学生提供学习英语的训练基地。

改变外语教学中高分低能应注意的几个问题

从各级各类学校的外语教学来看,都存在着一种学生只能笔试,却不会听说读的高分低能现象。为了纠正这种畸形发展,本文在总结多年教学经验的基础上提出了五点看法,以便为我国外语教学改革尽点绵薄之力。

发挥职能作用 做好转业安置中的信访工作

转业干部来信来访工作是转业安置工作的一项重要内容,是信访工作的重要组成部分。由于地方党政机构精简、企事业单位扩大用人自主权以及劳动、人事、工资、住房等方面改革的进一步深化,给转业干部安置工作带来了许多新情况和新问题。近几年来,进安徽安置的转业干部来信来访数量呈逐年递增的趋势,据统计,仅来访一项,1996年与1993年相比增加了31.2％。为维护军队的稳定和社会的安定,我们积极发挥转业干部工作办公室的职能作用,着重围绕“五个结合”开展信访工作,收到了比较好的效果。