-
题名论知识经济环境下图书馆服务模式的演变
被引量:13
- 1
-
-
作者
丁如江
-
机构
天津图书馆
-
出处
《图书馆工作与研究》
CSSCI
北大核心
2003年第5期59-60,共2页
-
文摘
本文论述了在知识经济环境下 ,图书馆所面临的各种机遇 ,以及图书馆在知识经济环境下服务模式的演变。
-
关键词
知识经济
图书馆
读者服务
社会化
有偿服务
主动服务
信息服务
产业化
网络化
-
分类号
G252
[文化科学—图书馆学]
F062.3
[经济管理—政治经济学]
-
-
题名论图书馆科学管理的激励方法
被引量:6
- 2
-
-
作者
丁如江
-
机构
天津医学高等专科学校图书馆
-
出处
《晋图学刊》
2008年第5期18-19,26,共3页
-
文摘
在图书馆管理中创建科学合理的激励方法,在公平合理的前提下,坚持以人为本,满足馆员的物质需求,实现馆员追求的目标价值,可以充分调动馆员的积极性,使图书馆事业适应社会高速发展的需要,更好地为教学科研和社会服务。
-
关键词
图书馆
激励方法
激励机制
管理制度
-
Keywords
library
incentive methods
incentive system
management system
-
分类号
G251
[文化科学—图书馆学]
-
-
题名高校图书馆电子阅览室为教学服务的探讨
- 3
-
-
作者
丁如江
-
机构
天津医学高等专科学校图书馆
-
出处
《科技信息》
2010年第24期I0381-I0382,共2页
-
文摘
本文对高校图书馆电子阅览室服务功能进行了阐述,分析了高校图书馆电子阅览室的现状,提出一些合理的管理建议,对高校图书馆电子阅览室充分发挥为教学服务的功能进行了探讨。
-
关键词
高校图书馆
电子阅览室
服务功能
-
分类号
G252.2
[文化科学—图书馆学]
-
-
题名设计思维下医院图书馆嵌入式学科服务创新研究
被引量:6
- 4
-
-
作者
王慧敏
丁如江
-
机构
天津市胸科医院
天津医学高等专科学校
-
出处
《图书馆学刊》
2017年第11期72-75,共4页
-
文摘
介绍了设计思维及其与图书馆服务的融合,指出设计思维下医院图书馆嵌入式学科服务的创新方向,研究了设计思维下医院图书馆嵌入式学科服务的创新实践,以及嵌入式学科服务的创新要求。
-
关键词
医院图书馆
嵌入式学科服务
信息服务
信息推送
-
分类号
G252
[文化科学—图书馆学]
-
-
题名非交互式Petri网可覆盖性验证的高效实现
被引量:3
- 5
-
-
作者
丁如江
李国强
-
机构
上海交通大学软件学院
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第7期1939-1952,共14页
-
基金
国家自然科学基金(61872232,61732013)~~
-
文摘
近年来,基于Petri网可覆盖性的验证技术已经成功地应用于并发程序的验证与分析中。然而,由于Petri网的可覆盖性问题复杂度太高,这类技术在应用时有较大的局限性,对于输入规模较大的问题常常会出现超时的情况。而Petri网的一个子系统非交互式Petri网,其可覆盖性和可达性复杂性均是NP完备的,同时表达力又可以作为某类并发程序的验证模型。设计并实现了可以高效验证非交互式Petri网可覆盖性的工具CFPCV。采用基于约束的方法,从模型中提取约束,并使用Z3 SMT求解器对约束进行求解,同时,通过子网可标记方法对候选解进行验证,从而保证每组解都是正确解。通过实验分析了该工具的成功率、迭代次数以及运行效率,发现该算法不仅验证成功率高,而且性能非常优异。
-
关键词
非交互式Petri网
可覆盖性
验证
模型检测
SMT求解器
-
Keywords
communication-free Petri net
coverability
verification
model checking
SMT solver
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-