李婵娟

作品数：3被引量：3H指数：1
导出分析报告
供职机构：兰州大学更多>>
发文主题：NOP事件触发实时通信协议性能评测形式化验证更多>>
发文领域：自动化与计算机技术电子电信医药卫生理学更多>>
发文期刊：《计算机应用与软件》《计算机工程与应用》更多>>
所获基金：国家自然科学基金甘肃省科技计划项目中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UIO的安全关键实时通信协议NOP的设计与实现
《计算机应用与软件》2013年第9期29-31,共3页狄长艳 张轲 李婵娟 周庆国 
国家自然科学基金项目(60973137);甘肃省科技计划项目(1104GKCA049);兰州大学中央高校基本科研业务费专项资金项目(lzujbky-2010-89,lzujbky-2012-44)
NOP(Node Order Protocol)作为一种全新的安全关键实时通信协议,它在IEC61508框架下以节点顺序的理念构建分布式系统,消除通信协议对全局时钟的依赖,建立依赖于节点顺序的以事件为触发模式实现的时间触发协议的传输语义。同时NOP在保证...
关键词：节点顺序 时间触发 事件触发 UIO 
采用NOP协议实现三模冗余系统的形式化验证被引量：1
《计算机工程与应用》2011年第27期98-101,106,共5页李婵娟 周庆国 崔向丽 
国家自然科学基金(No.60973137);甘肃省科技计划(No.090WC-GA891);中央高校基本科研业务费专项资金资助(No.lzujbky-2010-89)~~
对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-co...
关键词：节点顺序协议 容错 三模冗余 模型检测 
高性能计算平台基于HPCC的性能分析被引量：2
《计算机工程与应用》2008年第10期95-97,共3页陈文波 李婵娟 周庆国 李廉 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473095)
HPCC(High Performance Computing Challenge)基准较Linpack能够更全面反映高性能系统性能。但是HPCC测试结果是若干个指标项,缺少一个整体的,直观而统一的评价结果,一直未能被广泛地接受。使用HPCC测试集对两个高性能平台进行了性能评...
关键词：HPCC 性能评测 HPCC结果分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部