动态句法学的逻辑与计算思想

动态句法学本质上是自然语言句法语义的计算分析理论,它继承了自然语言理解的加标演绎思想,并结合了模态树逻辑的技术。该理论的提出是逻辑与计算在自然语言研究中的一次富有成效的结合,其主要特点是句法树的动态生成和句法语义并行演绎,这实际上也符合自然语言的真实理解过程。     

LonWorks技术在楼宇自动化系统中的应用研究

本文结合智能大厦的特点,介绍了LonWorks现场总线技术的基本概念和总体结构功能。论述了用LonWorks技术实现的楼宇自动化系统（BAS）的控制方案,充分体现了现场总线在楼宇自动化领域的广阔前景。     

大数据时代的图书馆服务浅析

大数据与云计算是近两年IT界最为流行的两个关键词,各大IT厂商也都看到了大数据所蕴含的商业价值并展开了一定的产品研发与商业应用。在大数据时代,图书馆的数据处理及服务将会发生显著的变化,从大量的数据集中去分析和挖掘潜在的价值,以便图书馆决策层及时做出相应的建设方案调整将成为图书馆的一大主要业务,图书馆服务也将随着图书馆服务策略的调整而做出服务方式、途径等方面的改变。     

计算机操作能力的培养与测评

计算机基本操作技术课程,是培养学生运用计算机及现代网络工具进行信息处理、交流及社会活动的基本技能。从如何培养好高职学生操作计算机的技能,以适应社会工作的的需要,以及如何科学测评高职学生计算机应用能力这两个方面来进行探讨。     

Head in the clouds: a review of current and future potential for cloud-enabled pedagogies

This paper reviews the research on the disruptive and transformative potential of newly-emerging cloud-based pedagogies. It takes into consideration the extent to which Cloud Computing can be leveraged to disseminate and scale web-based applications within and across learning contexts. It examines ideas from current literature in Web 2.0- and cloud-based education that might serve as useful when deploying cloud-based services and infrastructure. The paper draws on several key ideas to clarify how cloud- and Web 2.0-based pedagogies are informed by the shifting knowledge landscape, including a review of the concepts of disruptive pedagogies and transformative technologies. With recourse to emerging research on participatory cultures, the importance of coming to terms with newly emerging literacies, modalities, types of citizenship and ways of interacting and collaborating is addressed. Referring to notions of dialogic literacy, constructionist and co-constructivist learning, as well as possible models for online collaborative writing, the paper reviews current research on the capacity of web-based applications in enabling transformed learning and explores how this might enable broader, web-enabled participatory cultures within and beyond the institution, in light of the economies of scale made possible by cloud-based infrastructure.     

云计算安全研究

随着云计算的深入人心,云计算安全性问题逐渐成为引人关注的焦点之一,实际上这已经成为制约云计算发展的瓶颈。从不同参与者的角度分析了云计算安全需求,并深入剖析了云计算安全问题及面临的挑战。同时,在此基础上提出了一种云计算安全模型,并对相关安全技术进行了具体分析。     

OpenMP在图形数据文件加载中的应用

为了充分利用多核处理器的硬件资源和计算能力,提出了基于多核并行编程技术的图形数据文件加栽优化方案。根据图形数据文件加载的特点,由传统的串行程序改为并行程序,利用多核并行编程模型的思想,找出程序的热点和瓶颈,对其进行优化。实验结果表明,当图形符号数量达到一定数量级之后,优化过后的执行时间较原来串行程序有明显缩短,提高了程序的加速性能,取得了良好的效果。     

分布式数据库在图书馆电子资源中的应用

分析了分布式数据库的优点和目前地方多个图书馆电子资源的现状,提出了在地方多个图书馆网络环境下的电子资源通过分布式数据库技术实现资源共享的具体设计方案。     

基于RSS的分布式新闻博客搜索引擎设计*

针对传统搜索引擎对频繁更新的新闻和博客网站的搜索实时性较差的现状，提出利用RSS提供的结构化数据，通过Pastry协议，实现索引的分布式存储和传输，同时使用Bloom filter数据结构压缩索引文件，构建一个基于RSS的P2P分布式的新闻博客搜索引擎，从而达到对频繁更新站点的实时性搜索，同时减少存储成本。     

本体模块化:特征、描述与方法

近年来,本体模块化研究受到研究者的普遍关注.本文全面综述了本体模块化研究的最新进展,包括本体模块化特征、形式化描述语言及构建与选取方法.在形式化描述方面,主要研究成果有分布式描述逻辑、ε-连接及基于包的描述逻辑,比较分析了它们的特点和关联,讨论了有待进一步解决的问题.在构建和选取方面,介绍了模块化设计模式、模块化划分与抽取方法的最新研究成果.