用面向对象技术实现相关分离的双语言描述

介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.     

航空电子高速交换式网络的服务质量保证方法

以保证航空电子高速交换式网络的实时性和高带宽为目的,提出光纤通道(FC,Fibre Channel)通信协议承载于波分复用(WDM,Wavelength Division Multiplexing)传输机制之上的架构.采用适用于实时交换的周期性数据流模型,提出了基于负载匹配的输出轮询(LOR,Load-matching Output Round)调度算法.该算法仅使用一次仲裁即可达到输入/输出的最大匹配(100%).给出LOR算法的核心代码,时间复杂度仅为O(1),易于在硬件中实现.最后通过将LOR算法嵌入到网络处理器中,注入时间敏感的负载流量,以服务质量特性(延迟、吞吐和超时消息数)为性能衡量指标进行实验,结果表明LOR算法在轻负载(30%)下,服务质量特性与经典算法(iSLIP, DRR, EDRR)基本持平;在重负载(70%)下,仅LOR算法能满足延迟的实时性要求,且LOR吞吐率高于经典算法近10个百分点,超时消息数比经典算法少了100个以上.      

元数据的数据解析技术及在卫星设计中的应用

为解决卫星设计数据的实时采集、快速存储的要求,在航天器的数字化研制过程中,引入元数据的处理技术,目前已经形成大量元数据库。由于元数据特有的逻辑结构,元数据的业务还原、数据再利用方面存在瓶颈,提出一套统一的数据服务模型,用于元数据的数据解析,提高设计数据的检索、分析和再利用的能力。深入讨论了卫星设计元数据的解析策略,具体描述了统一数据服务模型的异步处理消息队列、插件式应用开发服务及派生的OLAP数据库的实现方法,并以卫星低频电缆网辅助设计系统为例,具体说明采用这种方法,实现元数据解析和利用的过程,验证了方法的可行性,在实际工作中获得了较好的效果。     

农村图书馆的困境及发展出路

作为科技兴农的重要教育阵地,建设农村图书馆是实现城乡居民文化平等的根本保障,是促进基层图书馆有序发展的重要手段,是加强农村精神文明建设的根本需要,是推动农村经济发展的基础工程。然而,当前农村图书馆面临着基础设施较为落后、经济投入不足、专业人才严重缺乏、农民意识相对淡薄等问题,这严重阻碍着农村精神文明建设与中国文化教育事业的进步。因此,探索农村图书馆的发展出路势在必行。     

基于策略和流分类的MPLS显式路由算法

提出一种基于策略和流分类的多协议标记交换(MPLS,Multi-Protocol Label Switch)流量工程显式路由算法,算法分离线计算和在线计算2个步骤实施.离线计算基于多商品流问题,计算使网络总体资源耗费最低,并且能够满足流的带宽需求的每链路每流带宽分配值.在线计算根据这种带宽分配结果,实时计算最短路径作为单个流的显式路由.离线计算和在线计算相结合可使网络流按照其固有的流量分布特征合理地映射到网络物理拓扑中,在一定程度上避免了因路由计算不合理而导致的网络性能退化和资源使用不均衡等问题.算法综合考虑网络流量、资源、管理策略等要素,能够较好地平衡网络资源的使用,提高网络资源利用率,有效实施MPLS流量工程.      

关于高校图书馆《信息简报》工作的思考

高校图书馆是学校的文献情报中心,其中一项重要职能就是为学校的教学科研、领导决策等提供服务,同时开拓学生的知识视野,图书馆创办《信息简报》(以下简称《简报》)就是实现这一职能的有效途径之一。通过多种技术手段对馆藏资源及相关信息进行合理整合,可以为学校教学和科研工作提供服务,同时也使广大师生深入的了解图书馆,更好的利用图书馆。图书馆信息技术部近年开始创办《简报》,由于它所提供的信息及时有效,能够为广大读者提供所需帮助,逐步得到了广大师生的认同。     

基于双因素激励理论的高校图书馆志愿者管理机制研究

图书馆志愿者的招募、培训、考评是目前图书馆志愿者的主要管理内容。通过对现有高校图书馆志愿者管理的研究,分析其存在的不足,构建出一种新的基于双因素激励理论的图书馆志愿者管理机制,以期能更好地为用户服务。     

地方院校数字图书馆定制化服务建设构想

通过分析数字图书馆定制化、个性化服务的几种方式,探讨地方院校建设数字图书馆定制化功能,提出从信息内容和技术趋势上进行相适应的数字图书馆定制化服务建设构想和建议,促进数字图书馆定制化服务对地方院校的发展。     

机场安检资源动态分配方法研究

为缓解大型机场航班数的密集增加给机场安检带来的巨大压力,避免可能导致的服务时间延长、机场服务质量及旅客满意度下降等后果,针对不同时段的航班计划计算了合适的安检通道开放数量,并基于排队论计算了旅客的等待时间,比较了不同人员配置对安检效率和成本的影响。结果表明,根据不同时段的航班数动态分配安检资源,可以保证安检效率及机场服务质量并降低安检成本。     

一种XML相似重复数据的清理方法研究

针对半结构化数据XML在数据清理中的重要性,研究了如何清理XML相似重复数据,主要工作有:提出一种有效的XML相似重复数据清理方法,该方法具有较强的适应性,任何XML相似检测算法都适用于此;给出一种基于树编辑距离的相似检测算法,该算法能有效地检测XML相似重复数据;采用树编辑距离的上下限优化基于树编辑距离的相似检测算法,避免了不必要的树编辑距离计算,降低了相似检测计算的复杂度,提高了运算效率.此工作为研究XML相似重复数据清理打下基础.