试论图书馆统计

试论图书馆统计王宝清，王秀春人类社会出现图书馆以后，就应该说有了图书馆统计，但自觉地进行图书馆统计与研究是近几十年的事。１９４６年１１月，联合国教育、科学、文化组织（ＵＮＥＳＣＯ）成立，负责世界范围内图书资料和图书馆统计工作。１９６８年８月，美国图书...

关于高校图书馆服务育人的思考

本文从分析高校图书馆服务育人的要素与优势出发 ,论述了高校图书馆如何利用自身的优势 ,以大学生读者为中心 ,调动各种积极因素 ,融育人于服务之中 ,充分发挥其教育职能 ,以达到服务育人的目的以及达到这一目的相应对策。

外文图书著者姓名浅析

外文图书著者姓名浅析王秀春，吴京红图书馆入藏的外文图书目有英、日、俄、法。罗马尼亚、波兰、阿拉伯、意大利及世界语等各语种，其中以英语语种的图书最多。英语出版物的著者（或编者、译者等，下同）并不限于讲英语的民族和国家，但是他们的姓名都是用拉丁字母（也就...

基于动态网络数据包络分析模型的我国供电公司运营效率研究

为科学合理地测量和评价我国供电公司的运营效率,以分析我国电力体制改革中输配分离的必要性和可行性。应用动态SBM模型和动态网络SBM模型研究了我国31个省级供电公司2010-2012年的运营效率,分析了输配分离电力体制改革对各省级供电公司的影响,提出了在电力行业高速发展的情形下合理配置资源的方案,可为各省级电网公司应对输配分离政策提供决策参考。

火电厂电气电缆敷设设计的优化算法

针对目前火电厂建设中电气电缆敷设设计和管理的落后状况，研究了进行计算机辅助设计的技术。建立了一套电气电缆编码原则及适合不同电厂设计的前处理方法，提出了基于非计算问题求解的电缆路径优化算法和截面排放优化算法。该算法解决了计算机辅助电气电缆敷设的核心问题。基于该算法研制开发的ＤＬＦＳ／ＣＡＤ软件包能有效提高敷设设计质量。

形式规范语言数据求精过程的代数验证方法

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。规范语言的求精过程可分为数据求精和过程求精。从面向模型的规范语言 (如VDM ,Z)出发 ,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程 ,解决了形式规范语言在数据转换过程中的语言一致性问题。