Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

论知识服务环境下的电子阅览室管理

知识服务是以信息知识的搜寻、组织、分析、重组的知识和能力为基础,根据用户的问题和环境,融入用户解决问题的过程之中,提供能够有效支持知识应用和知识创新的服务。面向知识服务的电子阅览室管理必须从技术、制度、文化、馆员素质等多层次、多角度探索新的管理模式,为知识创新提供资源保障。     

基于投入产出模型的北京市生产性服务业与制造业互动关系

运用投入产出模型,以北京市为例,分析生产性服务业和制造业互动的一般规律。结果表明：1）北京市2002-2012年制造业对交通运输的中间需求降低,对科研信息服务业的中间需求升高;2）生产性服务业对制造业的中间投入40%以上集中在技术密集型产业,而不同类型的生产性服务业的中间投入各有侧重;3）制造业的前后向关联效应均较强但呈下降趋势,而生产性服务业主要表现为前向效应。为促进生产性服务业和制造业的融合,应继续完善交通运输及仓储业;大力推动科学研究与综合技术服务业、信息传输、计算机服务和软件业,积极推广科研技术生产性服务;持续提高对技术密集型制造业的中间投入。     

基于用户的知识组织与服务

对于基于复杂资源类型、海量资源的信息网络化服务,只有针对用户的工作流程、用户的信息牵引条件、用／-需求的分类、用户行为习惯的分类建立的知识组织和服务,才能有效地提高信息服务的效率和质量。     

美国图书馆“快照日”活动及其启示

全球金融危机对美国图书馆发展产生了巨大冲击,由美国新泽西州图书馆协会和新泽西州立图书馆于2009年首倡的图书馆快照日活动在减少消极影响方面取得了良好的社会效果。美国图书馆快照日活动具有项目内容多样化、项目策划模式化、宣传方式多样化等特点。我国图书馆开展读者活动时．应充分借鉴美国图书馆快照日活动的成功经验,改变以本位思想形成的推广思路,重视读者活动效果评估及评估结果,注重与社区、学校、文化机构、新闻媒体等团体间的合作,形成整体合力和规模效应,以更好地服务于读者。     

The Delphi Project: Transforming Flemish Libraries Into User-Oriented Points of Information

ABSTRACT

Flemish libraries have historically been praised by visitors and valued by the general public, but since the turn of the century, they have seen a decline in usage. A group of libraries in Flanders believed the role of libraries should be substantially reevaluated. They embarked on the “Delphi Project” to establish methods for libraries to become centers of their local communities by focusing on the information needs of their customers. The emergence of technology supported a shift from libraries as lending institutions to information centers. In addition to a customer service philosophy and training, online tools have helped staff reach library users. An online tool called the “Bronnenwijizer” combines searching the local library catalogue, provincial and state catalogues, and the Internet. The tool also supports the creation of “baskets” for a patron's information needs that can be shared with other staff. Delphi libraries have also used “Infopleinen,” Web-based guides to topics featuring printed media and online sources. Finally, a new online question registration system was developed that fit the new Delphi service philosophy. Over half the libraries in West-Vlaanderen are entitled to call themselves Delphi Libraries, and the philosophy is being disseminated more broadly through the Delphi Project Web site. Due to governmental changes in provincial authority, the future of the project is challenged because coordination among libraries has been critical for the project's success.     

图书馆移动阅读服务的新契机:HTML5和CSS3

针对移动阅读环境和用户需求的变化与现有移动Web标准规范如WAP、WML、XHTML-MP对移动Web发展的不适应,以及图书馆在旧的移动Web标准规范框架下的移动阅读服务在内容、应用架构、服务模式方面的诸多困境,用文献调研和实验验证的方法研究新的Web标准规范HTML5和CSS3的新特性和功能及其相对应旧标准的优点,从HTML5和CSS3对图书馆上游的数字出版领域和图书馆下游的用户需求的直接影响的角度,探讨HTML5和CSS3为图书馆移动阅读服务带来的新契机,得出HTML5和CSS3可使图书馆的移动阅读服务在内容、应用架构、服务模式方面得到提升和变革的结论。     

数据时代图书馆服务发展方向

[目的/意义]大数据开启了图书馆服务的一次重大时代转型，在这样的新环境下，应该对图书馆服务发展模式衍变有新的理解，在服务方式、内容与机制等多方面进行思考，用大数据的思维看待图书馆服务的变革。[方法/过程]依据大量的文献和事实，从图书馆服务功能的角度，对图书馆服务发展模式演进过程进行综合性分析，论证图书馆服务发展模式衍变的内在逻辑与外在基础。[结果/结论]根据新业态的产生路径，提出数据时代图书馆服务发展的两种新业态：基于数据挖掘的知识发现服务新业态和基于数据融合的创新性应用服务新业态。     

图书馆加强阅读推广的途径与方式

探讨了图书馆工作与阅读的关系,指出图书馆阅读工作的现状及其问题,认为发达国家开展阅读活动的模式对我国图书馆的阅读推广活动具有参考价值,提出图书馆界应加强的阅读推广模式是:阅读推广委员会统筹安排阅读推广活动、各类图书馆实施阅读推广工作、学者加强读者阅读心理和行为研究的阅读推广三层机制。     

基于BP神经网络的共享服务平台资源信息质量评价研究——以短租类共享服务平台为例

[目的/意义] 以短租类共享服务平台为例，构建共享服务平台资源信息质量评价指标体系，帮助此类平台企业高效地识别出存在信息质量问题的资源，提高平台整体的信息质量水平。[方法/过程] 首先基于信息传播学相关理论，对共享服务平台信息传播过程进行总结。然后根据共享服务平台信息传播的参与主体和访谈原始资料分析，构建共享服务平台资源信息质量评价指标体系，分为信源质量、信息内容质量和信息效用质量三个维度。最后提出基于BP神经网络的信息质量评价方法，并使用Matlab2018a软件对采集的100组样本数据进行训练和仿真验证。[结果/结论] 提出共享服务平台资源信息质量评价指标体系，并以短租类共享服务平台为例运用BP神经网络进行验证，实验证明该评价指标体系具有一定的可行性和实用性。