屈婉霞
- 作品数：78 被引量：67H指数：5
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信电气工程文化科学更多>>
- HyperTransport及其验证
- HyperTransport是一种新的高性能的I/O体系结构,与现有的总线结构相比,它具有高带宽、低延迟的优点,有助于简化系统设计,增加I/O灵活性。本文首先介绍了HyperTransport的拓扑结构及其关键技术—I/...
- 屈婉霞郭御风李琼徐炜遐
- 文献传递
- 基于物理不可克隆函数的错位混淆测量方法及装置
- 本发明的一种基于物理不可克隆函数的错位混淆测量方法及装置，方法的步骤包括：步骤S1：认证者向被认证者发送1个种子激励C<Sub>1</Sub>，单步作差法的下限阈值Sthld<Sub>low</Sub>，双步作差法的上限...
- 郭阳邓丁屈婉霞扈啸胡春媚侯申
- 文献传递
- 一种大规模计算机节点引导程序并行更新方法及系统
- 本发明公开了一种大规模计算机节点引导程序并行更新方法及系统，更新客户端通过通信支持模块向大规模计算机的各个节点并行地发送更新命令和数据，各节点上节点更新服务模块接收到更新客户端的更新命令和数据后对各节点引导程序进行更新。...
- 徐炜遐蒋句平郑明玲屈婉霞田宝华刘光明王永文曹跃胜刘军黎铁军李晓芳孙彩霞
- 文献传递
- 一种并行计算机系统管理控制器的容错备份方法及系统
- 本发明公开了一种用于并行计算机的系统管理控制器的容错备份原理与方法，将并行计算机系统分成若干个主板组，每一个主板组由一个系统管理控制器eSMC负责执行其监控和管理任务，每两个系统管理控制器eSMC构成一组，其中一个系统管...
- 刘光明蒋句平屈婉霞田宝华郑明玲徐炜遐窦强曹跃胜罗莉张俊郑义夏军
- 文献传递
- 基于物理不可克隆函数的两级自校准测量方法及自校准减法器
- 本发明公开了一种基于物理不可克隆函数的两级自校准测量方法及自校准减法器，该方法为包括：对基于延时可配置振荡器中相同的两个振荡器R01、R02施加两个不同的延时控制激励C<Sub>1</Sub>、C<Sub>2</Sub>...
- 郭阳邓丁屈婉霞扈啸胡春媚侯申
- 文献传递
- 一种复用系统逻辑的存储器自测试控制器实现方法及装置
- 本发明公开了一种复用系统逻辑的存储器自测试控制器实现方法及装置，该方法的步骤为：S1.追踪存储器指定端口的外围的系统逻辑，并记录相应电路的拓扑关系；S2.分析步骤S1记录下的拓扑关系中哪些端口具有复用性以及其复用实现方式...
- 郭阳邓丁屈婉霞宋结兵胡春媚李振涛扈啸
- 文献传递
- 芯片网表级混淆防御硬件木马的装置、方法及检测方法
- 本发明公开一种芯片网表级混淆防御硬件木马的装置、方法及检测方法，该装置包括一个以上的复合型环形振荡器以及分别与各复合型环形振荡器连接的多功能控制器，复合型环形振荡器包括链首控制单元以及多个链内显化单元，链首控制单元与各链...
- 郭阳邓丁李少青陈吉华王耀华侯申屈婉霞
- 文献传递
- RAID的磁盘I/O任务调度算法研究
- 在RAID中,采用合理的磁盘I/O任务调度算法,可以最大限度地重叠I/O请求的服务时间,加快RAID对来自主机的I/O请求的响应,显著改善RAID系统性能.本文介绍了RAID的实时处理模型,研究了现有的几种磁盘I/O任务...
- 郭御风冯传明李琼屈婉霞
- 关键词：RAID磁盘阵列实时系统
- 文献传递
- 一种用于并行计算机系统的带外诊断测试接口及测试方法
- 本发明公开了一种用于并行计算机系统的带外诊断测试接口及测试方法，它包括外部连接端口单元和内部诊断测试逻辑单元，所述外部连接端口单元包括边界扫描测试访问端口TAP和与微处理器相连的RS232串行接口，所述内部诊断测试逻辑单...
- 蒋句平田宝华郑明玲屈婉霞窦勇庞征斌曹跃胜李永进刘军邓让钰吴宏谢伦国
- 文献传递
- 模型检验中抽象技术研究综述被引量：5
- 2006年
- 在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。
- 屈婉霞李暾郭阳杨晓东
- 关键词：谓词抽象反例插值
