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