一种基于本体的语义检索设计与实现

基于语义检索的目的,结合成语典故本体的构建,设计了一个基于成语典故本体的语义检索模型,阐述了检索模型中用户界面模块、数据存储模块、查询分析模块和检索分析模块的功能;分析了系统中的本体构建技术、分词技术及检索技术,设计并实现了词语相似度及概念相似度算法;通过语义检索系统的实验,得到较高的查全率和查准率.     

本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种方法,本文给出了OWA(ontology-based Web annotation)、MaedcheA形式化定义、Guarino和KAON(Karlsruhe Ontology)4种典型形式化定义,并对其进行了对比分析。     

基于时序描述逻辑的UML顺序图形式化研究

在统一建模语言（UML）规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的六元组形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑.应用时序描述逻辑的时态算子得到时序描述逻辑语义形式的UML顺序图.用UML顺序图描述完整的C语言执行过程,将其形式化描述,实验结果表明,这种方法是可行的.     

基于本体的概念相似度计算及其应用

提出了基于语义相似度和相关度的综合概念相似度计算方法.语义相似度考虑了语义距离和本体库特征,加入概念的信息量、概念的深度、概念的密度和不对称因子的辅助影响;语义相关度从直接相关、间接相关、直接继承和间接继承几个方面考虑.通过实验和两种传统的语义相似度计算方法进行对比,本方法能更好地区分本体树中不同关系的概念对,验证了该方法的有效性.     

《数据结构》上机作业难完成的成因分析

通过对保山学院计科系2005~2010届的学生难以完成《数据结构》上机作业的情况分析，从教学方法的角度寻找原因，根据实际情况提出上机实训教学改革的具体措施，以促使学生顺利完成作业，提高用计算机解决问题的能力。     

《数据结构》上机作业难完成的成因分析

通过对保山学院计科系2005~2010届的学生难以完成《数据结构》上机作业的情况分析,从教学方法的角度寻找原因,根据实际情况提出上机实训教学改革的具体措施,以促使学生顺利完成作业,提高用计算机解决问题的能力。     

一种外墙模板高效高周转加固体系

在现有建筑主体外墙模板加固中,大多采用模板、方木、钢管和对拉螺杆进行加固处理,但是外墙模板混凝土浇筑完成周转时需要将模板、方木、钢管和对拉螺杆分部拆除后运送到下一楼层,存在着施工效率低,操作复杂的问题. 在上述背景下,提出一种整体式定型化外墙模板加固体系,可以实现周转时只需拆除对拉螺杆,不需要拆除钢管即可进行运送(图1).     

一种改进的TCP拥塞控制算法的公平性研究

针对提高网络资源利用率,对TCP Reno拥塞控制算法进行改进,为实施拥塞优化控制,提出一种改进的拥塞控制算法。为判断该算法对所有数据流是否公平,在对其正确性和公平性进行理论分析后,构建NS2仿真模型并进行仿真,由于仿真结果数据量大,常规方法分析较为困难,故将仿真结果转换为数据库文件进行分析,该方法可操作性强,具有速度快,精度高,自主性强等优势;通过丢弃分组数的方差比较TCP Reno算法和改进算法在丢弃分组上的差异,通过延迟和延迟抖动标准差比较延迟和延迟抖动在不同数据流中的差异,上述参数更能从全局上反映多个比较项之间的整体差异。通过理论分析和仿真结果对比,该改进算法对于各数据流是公平的,且与TCP算法的公平性相当。