RFID 技术服务模式下图书标签转换系统的实践—以广西图书馆为例

图书馆是人类文化进步和发展的产物,是社会公众享受文化权益的重要场所,是人们获取知识的终身学校,在信息传播过程中发挥着非常重要的作用。随着互联网技术的迅猛发展和智慧物联网的广泛应用,信息技术不仅走进了人们的生活,同时也给图书馆的服务带来了新的挑战。随着 RFID 技术的广泛普及,射频识别技术在图书馆的应用越来越普遍,例如图书馆采编部门使用的图书编目系统、图书标签转换系统、各个阅览室使用的图书防盗系统等都是 RFID 技术在图书馆中的应用体现。采编部门使用的标签转换系统是图书加工流程中的最后一个重要环节,在图书馆界得到了广泛应用。文章将结合广西图书馆的业务工作实践,阐述 RFID 技术的概念和发展历程,提出图书馆对 RFID 技术指标的需求,阐述 RFID 图书标签粘贴规则及要求,探讨 RFID 图书标签转换系统的功能和使用,以期提升图书馆的管理和服务水平。

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.

软件组件组装行为兼容性检查研究

在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。

基于行为投影的Web服务组合行为兼容性研究

Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。

基于LTS的Web服务组合行为兼容性分析

Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。