印玉兰

作品数：7被引量：8H指数：2
导出分析报告
供职机构：安徽理工大学理学院更多>>
发文主题：网格资源操作系统LINUX操作系统教学研究LINUX更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《台州学院学报》《安徽理工大学学报（自然科学版）》《福建电脑》《计算机与信息技术》更多>>
所获基金：安徽省高校省级自然科学研究项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于项目驱动的Linux操作系统教学研究被引量：6
《台州学院学报》2011年第3期66-70,共5页印玉兰 赵艳红 戴凤娜 
安徽省高校省级自然科学研究项目(项目号:KJ2010B325)
针对Linux操作系统教学方法的研究,提出了基于"项目驱动"的教学模式。从项目设置、教学准备、项目实施、成绩评价等方面介绍了项目驱动教学法。基于项目驱动的Linux操作系统教学法能提高学生学习的积极性和兴趣,有助于培养学生独立分析...
关键词：LINUX 操作系统 项目驱动 
基于层次模式的网格资源发现研究
《安徽理工大学学报（自然科学版）》2008年第1期81-84,共4页印玉兰 崔焕庆 
安徽理工大学青年科学研究基金资助项目;安徽理工大学博;硕基金资助项目
网格被普遍认为是下一代网络,而资源发现是网格资源管理的基本组成部分。完全集中式资源发现机制和完全分布式资源发现机制都存在若干优点和缺点,因此,在集中式和分布式资源发现方法的基础上,提出了基于层次模式的资源发现方法。将网格...
关键词：网格 资源发现 资源组织 虚拟组织 层次模型 
基于Petri网的点到点通信并行程序验证
《安徽理工大学学报（自然科学版）》2007年第1期35-38,共4页印玉兰 崔焕庆 
基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信...
关键词：点到点通信 建模 PETRI网 控制库所 
利用谓词/变迁网证明的一阶谓词逻辑命题被引量：2
《计算机工程》2006年第23期191-192,198,共3页方欢 印玉兰 徐誉尹 
国家自然科学基金资助项目(60173053)
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。
关键词：网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明 
基于移动Agent分布式事务的网络故障处理研究
《福建电脑》2006年第11期118-118,共1页周烔 印玉兰 
采用移动Agent的分布式计算,正在被广泛应用。对于在分布式计算中出现网络故障的事务,提出一个事务的网络故障处理协议,该协议讨论了单个事务网络故障和同时出现多个事务网络故障的情况。
关键词：移动AGENT 分布式计算 事务 网络故障 
计算网格的资源聚集算法研究
《福建电脑》2005年第12期34-35,共2页印玉兰 傅游 崔焕庆 
使用备份资源是提高计算网格可用性的重要方法,而资源聚集是选择备份资源的前提。本文对文献[1]中提出的资源聚集算法进行了改进,降低了算法的复杂性,并使得资源聚集更易于实现。
关键词：资源聚集 备份资源 复杂性 
基于FDM的关联规则分布式挖掘算法研究
《计算机与信息技术》2005年第4期18-20,共3页刘群 印玉兰 
本文介绍了分布式挖掘关联规则的一般概念。在分析快速分布式关联规则挖掘算法FDM的基础上,给出了一个改进算法,引入一个新的站点作为全局控制点,避免了各局部站点间相互直接通讯,有效地减少了网络间的通信代价。
关键词：分布式关联规则 FDM 全局控制点 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部