您的位置： 专家智库 > >

林植

作品数：4 被引量：21H指数：3
供职机构：武汉工业学院数学与计算机学院更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇多变量
  • 1篇形式化
  • 1篇形式化描述
  • 1篇中间件
  • 1篇实验教学
  • 1篇实验教学研究
  • 1篇教学研究
  • 1篇卡诺图
  • 1篇基于任务驱动
  • 1篇计算机
  • 1篇计算机实验
  • 1篇教学
  • 1篇教学方法
  • 1篇冲突检测与消...
  • 1篇冲突消解

机构

  • 4篇武汉工业学院

作者

  • 4篇汪靖
  • 4篇林植
  • 1篇刘光蓉
  • 1篇李云山

传媒

  • 3篇电脑学习
  • 1篇计算机应用

年份

  • 2篇2010
  • 2篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于任务驱动的分级竞争模式计算机实验教学研究被引量：10
2009年
通过基于任务驱动的分级竞争模式教学法可以全方位提高学生利用计算机解决问题的能力。该方法为高校计算机基础教育的实验教学发展做出了有益的探索。
汪靖林植刘光蓉
关键词：教学方法计算机实验
基于策略的安全模型研究被引量：3
2010年
设计了一个基于策略的安全模型PMA(Policy Middleware Application)。PMA将安全管理目标及需求用形式化策略语言描述,实现了安全管理目标与应用技术的结合;借助中间件实施对安全模块的管理,将系统业务逻辑与安全行为分离,增强了安全防护的灵活性和扩展性;借助基于事件状态驱动的形式化分析方法,实现了基于策略的安全行为和状态的控制。
汪靖林植
关键词：中间件形式化描述
一种安全策略的冲突检测与消解方法被引量：7
2009年
安全策略是系统安全管理的基础。分布式环境的复杂性使策略配置中不可避免地存在冲突。如何有效地分析检测策略冲突并解决冲突是应用安全策略的关键。提出了一个极具一般性的安全策略形式化描述方法,并定义了安全策略描述要素间的逻辑关系;给出了安全策略间的冲突分类描述;针对不同的冲突类型给出了相应的冲突检测算法及消解方法。
汪靖林植李云山
关键词：冲突消解
多变量卡诺图化简的算法实现被引量：1
2010年
提出了一种对包含任意多个变量的卡诺图进行化简的算法,给出了算法整体设计流程图以及关键函数伪代码。借助计算机实现多变量卡诺图的化简,为后续工程系统的设计分析提供了可靠依据。
汪靖林植
关键词：多变量卡诺图
全选 清除 导出
共1页<1>
聚类工具0