摘要：基于内容的多媒体信息检索在图像检索中意义重大,其检索的依据主要是多媒体的特征向量值,因此多媒体信息特别是图像的特征向量的组织直接影响到数据检索的效率。对基于内容的多媒体检索技术进行了研究,同时借鉴基于关键字的检索技术,引进了二叉排序树来组织图像的特征向量,利用成熟的二叉排序树算法进行特征向量值的检索,提高了图像检索的效率。

摘要：P2P是在分布式自治系统与异构系统之间直接进行资源、服务和信息共享的系统,分布式P2P模型中存在安全性差、流量大和搜寻时间长等弱点,为了解决这些问题,利用“局部访问”原理,提出了一种能够根据历史访问的统计的分类搜索的分布式P2P模型的搜索方法,改善了分布式P2P模型的信息搜索性能,从而为解决上述问题提供了一种有效的途径。

摘要：对WebGIS的发展历史和现状进行了研究,针对目前WebGIS通信中面向复杂对象及大容量传输困难的特点,给出了一个新的基于SOAP的WebGIS通信协议模型,在分析SOAP的执行过程的基础之上,详细说明了该模型的体系结构,并给出了该模型的实现方案和SOAP的通信处理方法。最后对该模型方案进行了性能分析。

摘要：针对高校电子信息类等专业特点,在C语言课程内容组织、课程作业创新、考核评价机制、教师指导方法、学生实验环境等方面都做了探索.使学生不仅掌握课程的基本知识,而且具备独立设计、编程能力.实践证明,学生的学习兴趣和实践能力有大幅提高,为后续课程奠定良好基础,形成了一种主动、开放、协作的教学模式,收到了良好的教学效果.

摘要：文章研究的主要对象为在校大学生英语词汇学习,从当前大学生英语词汇学习情况和此方面的研究现状出发,结合移动微型学习理论与艾宾浩斯遗忘曲线规律,在论证了移动微型理论与英语词汇特点的契合之后,提出了一种新的"推送式"的英语四、六级单词记忆系统。该系统功能主要分为两部分:一部分为在线记忆,此部分起辅助作用,旨在满足学生每一次的学习冲动;另一部分为离线记忆,这也是该系统的核心部分,功能完全依照文中提出的方法设计实现。

摘要：忆阻器是一种具有阻值开关特性的信息存储器件.由于忆阻器件具有可变电导性,其组合电路可应用与逻辑运算.本文提出了一种新的忆阻器-CMOS逻辑电路,能够在同一电路中同时实现ANDOR-XOR-XNOR 4种基本的逻辑操作.相较于MAD Gates, MRL, IMPLY逻辑电路,忆阻器数量和功耗均有大幅降低,电路性能更优,电路效率大幅提高.在此基础上设计了一种新的全加电路及二值图像加密电路.与现有忆阻器逻辑加法电路相比,本文设计的加法电路在元件数量上同样具有极大的优势.本文设计的二值图像加密电路能够用两种不同的加密方式实现图像加密,密钥与电路相互独立,提高了加密结果的可靠性.

摘要：针对社会网络中缺少有效依据内容的推荐方法,提出基于社会网络的新闻推荐模型,设计了基于社会网络的新闻推荐算法。通过综合新闻内容的浏览时间指标、推介指标、评价指标以及内容的相似度指标,发掘和构建社会网络中的朋友关系,寻找距离最近的朋友,计算综合推荐度,制定出推荐新闻的策略,成功进行了内容推荐。实验表明,该方法适合社会网络中的新闻推荐,也可为社会网络中其它内容推荐提供借鉴。

摘要：形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.