基于改进BoS的Web文本分类研究

提出了改进的文本相似度计算方法,在计算文本的相似度时,赋予不同文本块中的句子不同的权值,同时直接去掉短句子和合并高相似度的句子以精简句子包中句子数量以提高运算速度.改进后的文本相似度计算方法为:先根据句子相似度的计算方法计算句子的相似度,再计算文本块的相似度,最后按照文本块的权值计算整个文本的相似度.经试验证明,改进后的算法在文本召回率、准确率和F1值上都有明显的提高.     

基于B方法的内存管理模型的设计

内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.     

鄂尔多斯白豹地区三叠系流体包裹体的特征及其在确定油气成藏期中的应用

为了确定鄂尔多斯盆地白豹地区三叠系延长组油气藏的成藏时间,采用了流体包裹体测温技术.通过对大量流体包裹体特征的研究,发现研究区的流体包裹体的均一温度有2期分布:85～105℃,115～125℃.从研究区延长组不同层位均一温度平均值对比来看,石英加大边中流体包裹体的均一温度显示出一个明显特点,即从长82→长81→长71,包裹体均一温度呈逐渐减小的趋势,而从长71→长63→长61→长4+5,均一温度又呈逐渐增加.这一变化趋势可能与油气的运聚有关.利用包裹体均一温度与油气成藏之间的关系,可推测油气藏的形成时间.研究区主要成藏期为早侏罗世中期—中侏罗世中期,中侏罗世末期-早白垩世早期.     

基于B方法的应用软件开发

随着应用的发展,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性. B形式化方法支持从规范说明到代码生成的整个软件开发周期. 在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.     

新工科背景下数据科学与大数据技术专业人才培养模式研究

结合河南财政金融学院数据科学与大数据技术专业建设实践,从人才培养目标、课程体系设置、实践教学设计等方面,分析新工科专业面临的问题,提出信息技术新发展下的工科专业建设策略,为地方应用型本科院校新工科专业建设提供参考。