摘要：以重庆交通大学图书馆基于VirtualBox构建的服务器虚拟化系统为实例,阐述利用开源VirtualBox实现服务器虚拟化、部署和整合图书馆数字化应用的方法,对VirtualBox服务器虚拟化系统的设计、构建、性能优化等进行探讨,并对其实际应用中的一些经验进行介绍。

摘要：介绍采用开源Arduino和Android智能终端构建的图书馆机房远程监控系统,对系统功能模块、硬件组成、软件设计进行描述。系统以Arduino ADK作为控制板,完成机房温度、湿度、烟感、动力等信息的采集,Android终端完成Web服务运行状况监测、传感器数据收集、临时存储及实时显示,相关数据上传到Yeelink云计算平台进行长期存储或在线监测,系统具有部署方便、成本低、可靠性高、扩展性强等优点。

摘要：水轮机转轮叶片是容易产生裂纹的部位,由于设计、制造、运行中受力的不同,所产生的裂纹的表现形式和形成裂纹的原因也是不同的,根据万家寨水电站水轮机所发生的裂纹事实和相关的数据以及有关科研院所的试验报告,分析了水轮机转轮裂纹产生的原因,可供同行参考。

摘要：为读者提供一个使用方便、功能齐全的图书荐购平台已成为数字图书馆建设的一项重要内容,对图书馆建设和服务的开展有着重要的作用。Drupal作为广泛使用的开源内容管理系统(CMS),其源码开放、功能强大、可扩展性强等优点使其在数以万计的Web站点得到了应用,也适合Library2.0图书荐购系统的构建。文章介绍了基于Drupal实现的图书荐购系统,对荐购系统模型和功能模块进行了分析,对荐购系统平台、书目信息检索系统的远程访问、用户验证、荐书提交等功能模块的设计和构建相关技术进行了介绍。

摘要：基于TI公司TMS320C5416实现的捷联姿态参考系统,该系统完成在动态环境下载体横滚角、俯仰角的准确输出。文中论述了系统的硬件、软件设计;模块的组成、功能,详细说明了姿态角的计算、初始对准以及采用的稳定、实时、变增益自适应扩展卡尔曼滤波估计算法。

摘要：介绍了矿井主通风机在线监测与通讯系统的功能、组成、工作原理以及软件设计。

摘要：随着生态文明建设成为新时期国家目标,区域地质调查必须为我国能源资源安全保障和国土空间规划与生态文明建设服务.目前,我国区域地质调查工作已经向覆盖区为主的平原、盆地、草原、荒漠等地区拓展,但现行的地质填图技术方法体系,难以满足现今覆盖区地质填图工作的需要,亟待探索形成新的地质填图技术方法体系,扩大地质调查成果的服务领域.中国地质调查局于2014年设立了"特殊地质地貌区填图试点"项目,探索总结覆盖区区域地质填图技术方法 .经过努力,形成了以"覆盖区区域地质调查技术要求(1∶50 000)"为核心的覆盖区填图技术方法体系.试点项目初步确立了中国东部晚新生代以来构造-沉积演化的基本格架,揭示了晚更新世以来中国中东部沉积过程与生态环境演化及人类文明发展的制约关系.该方法体系的建立,对引领我国区域地质调查服务国家生态文明建设和生态环境保护具有重要意义.新的填图方法体系明确提出聚焦国家生态文明建设与生态环境保护,以地球系统科学为覆盖区区域地质调查的理论基础,实行需求驱动、问题导向、目标考核,努力解决调查区重大基础地质问题、重大资源与生态环境问题.调查的技术路线是地表地质调查与多种现代地球探测技术、信息技术等高度融合,并强调预研究与设计阶段的重要性.同时规定不平均使用工作量,取消填图主要实物工作量的量化指标规定;创新成果表达方式,明确地质填图服务多种社会需求,倡导填图首席科学家负责制,建立区调填图诚信体系.

摘要：针对现有无线基站OMC_R(operations&maintenance center for radio)软件的不足和联通公司的实际需求,开发了GSM/CDMA无线基站集成实时告警系统。该系统采用原始数据采集器—告警分发中心—告警终端三级结构,屏蔽了基站设备厂商和类型方面给告警系统带来的差异,使维护人员不仅能根据区域和类型来监控基站告警,还能同时监视来自多个不同类型的OMC_R告警。该告警系统具有短信和告警查询统计功能。

摘要：对随书光盘检索及下载系统的架构、功能模块和数据库的设计以及采用的主要技术进行了说明。

摘要：软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。