林植

作品数:4被引量:18H指数:3
导出分析报告
供职机构:武汉工业学院数学与计算机学院更多>>
发文主题:教学方法计算机实验基于任务驱动实验教学研究冲突消解更多>>
发文领域:自动化与计算机技术文化科学更多>>
发文期刊:《计算机应用》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-4
视图:
排序:
基于策略的安全模型研究被引量:3
《电脑学习》2010年第2期5-7,共3页汪靖 林植 
设计了一个基于策略的安全模型PMA(Policy Middleware Application)。PMA将安全管理目标及需求用形式化策略语言描述,实现了安全管理目标与应用技术的结合;借助中间件实施对安全模块的管理,将系统业务逻辑与安全行为分离,增强了安全防...
关键词:策略 安全模型 中间件 形式化描述 事件状态管理 
多变量卡诺图化简的算法实现被引量:1
《电脑学习》2010年第2期75-77,共3页汪靖 林植 
提出了一种对包含任意多个变量的卡诺图进行化简的算法,给出了算法整体设计流程图以及关键函数伪代码。借助计算机实现多变量卡诺图的化简,为后续工程系统的设计分析提供了可靠依据。
关键词:布尔代数式 多变量 卡诺图 算法 
基于任务驱动的分级竞争模式计算机实验教学研究被引量:10
《电脑学习》2009年第3期88-89,共2页汪靖 林植 刘光蓉 
湖北省教育研究项目(2003246)
通过基于任务驱动的分级竞争模式教学法可以全方位提高学生利用计算机解决问题的能力。该方法为高校计算机基础教育的实验教学发展做出了有益的探索。
关键词:任务驱动 竞争 分级 教学方法 计算机实验 
一种安全策略的冲突检测与消解方法被引量:4
《计算机应用》2009年第3期823-825,829,共4页汪靖 林植 李云山 
安全策略是系统安全管理的基础。分布式环境的复杂性使策略配置中不可避免地存在冲突。如何有效地分析检测策略冲突并解决冲突是应用安全策略的关键。提出了一个极具一般性的安全策略形式化描述方法,并定义了安全策略描述要素间的逻辑关...
关键词:安全策略 冲突检测 冲突消解 
检索报告 对象比较 聚类工具 使用帮助 返回顶部