关键词
经济欠发达地区高职图书馆社会化服务探析——以张家界航空工业职业技术学院图书馆为例
作者: 王新荣   李腊君   来源: 中国多媒体与网络教学学报(中旬刊) 年份: 2019 文献类型 : 期刊 关键词: 高职图书馆   社会化服务   经济欠发达  
描述: 本文探讨经济欠发达地区图书馆服务现状,分析高职图书馆社会化服务存在的困难,进而以作者所在学院为例,探讨高职图书馆开展社会化服务的途径。
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
作者: 李勇   曹子宁   来源: 计算机技术与发展 年份: 2019 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器
学习与分享 之十三 北京航空航天大学自动化科学与电气工程学院蔡茂林教授气动技术实验室
作者: 本刊辑部   来源: 液压气动与密封 年份: 2019 文献类型 : 期刊 关键词: 气动技术   泄漏量   北京航空航天大学   卸载压力   气动元件   介入式   流量特性   流量测量   气动元器件   蔡茂林   气体流量   电气工程学院   等温容器   实验室   空压机  
描述: 科研团队长期从事气动系统节能、气动热力储能、气动元器件精密性检测等方面的研究。正在承担国家自然科学基金6项、北京市高校青年卓越科学家计划1项,与地方政府和企业合作项目20余项。在基于气动功率的能效
< 1 2 3 ... 76 77
Rss订阅