您的位置： 专家智库 > >

马鑫

作品数：2 被引量：15H指数：2
供职机构：兰州交通大学电子与信息工程学院更多>>
发文基金：甘肃省自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇用户
  • 1篇用户空间
  • 1篇通信
  • 1篇联锁
  • 1篇模型分析
  • 1篇内核
  • 1篇内核空间
  • 1篇可靠性
  • 1篇空间通信
  • 1篇计算机联锁
  • 1篇核空间
  • 1篇NETLIN...
  • 1篇PETRI网
  • 1篇LINUX

机构

  • 2篇兰州交通大学

作者

  • 2篇董昱
  • 2篇马鑫

传媒

  • 1篇测控技术
  • 1篇科技咨询导报

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于netlink机制内核空间与用户空间通信的分析被引量：12
2007年
介绍了Linux操作系统的内核空间和用户空间的概念,给出了基于netlink通信的相关流程图和简要程序说明。基于netlink的内核空间与用户空间的双向通信,可以有效地解决内核空间与用户态进程间无阻塞通信的问题。
董昱马鑫
关键词：LINUXNETLINK内核空间用户空间
计算机联锁的进路搜索Petri网模型分析被引量：3
2007年
进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法,通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证,确保了联锁软件可靠性动态行为的正确性,提出了一些改进措施,有利于进一步分析和改进整个联锁系统的可靠性。
马鑫董昱
关键词：计算机联锁PETRI网可靠性
全选 清除 导出
共1页<1>
聚类工具0