期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
FastQueue:一种高性能的磁盘队列存储管理机制
被引量：
1
1
作者
魏青松
卢显良
周旭
《计算机科学》
CSCD
北大核心
2003年第10期81-83,88,共4页
1.引言 随着消息通信(如消息、短消息)的爆炸式增长,消息传递系统的性能面临严峻的挑战.消息通信的首要特点是高可靠性,在发送人确认消息收到之前必须将消息保存到磁盘上.
关键词
磁盘
队列
存储
管理机制
FastQueue
磁盘带宽
文件系统
UNIX
操作系统
在线阅读
下载PDF
职称材料
新一代中厚板轧后冷却系统中队列存储技术的应用
2
作者
陈小林
袁国
+1 位作者
王昭东
王国栋
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2013年第2期227-230,共4页
为了升级改造某轧后冷却系统,成功将超快冷系统嵌入其中,并使之与原层流冷却系统有机结合,组成了新一代中厚板轧后冷却系统.针对原层流冷却一级系统的"黑箱"屏蔽现象,为了保持原层流冷却系统的独立性和完整性,在深入解析原层...
为了升级改造某轧后冷却系统,成功将超快冷系统嵌入其中,并使之与原层流冷却系统有机结合,组成了新一代中厚板轧后冷却系统.针对原层流冷却一级系统的"黑箱"屏蔽现象,为了保持原层流冷却系统的独立性和完整性,在深入解析原层流冷却系统二级模型的基础上,提出基于冷却模式进行系统切换原则并采用"先进先出"的队列存储技术,实现了新增超快冷系统与原层流冷却系统的无缝衔接.现场应用表明,该新一代中厚板轧后冷却系统运行稳定.
展开更多
关键词
层流冷却
超快速冷却
中厚板
队列
存储
技术
在线阅读
下载PDF
职称材料
基于性质描述语言的硬件验证
3
作者
纪小辉
郭建
《科学技术与工程》
2010年第23期5652-5656,共5页
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言...
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。
展开更多
关键词
性质描述语言
断言的验证
先进先出
队列
存储
器
在线阅读
下载PDF
职称材料
题名
FastQueue:一种高性能的磁盘队列存储管理机制
被引量：
1
1
作者
魏青松
卢显良
周旭
机构
电子科技大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2003年第10期81-83,88,共4页
基金
国家95重点攻关项目支持
文摘
1.引言 随着消息通信(如消息、短消息)的爆炸式增长,消息传递系统的性能面临严峻的挑战.消息通信的首要特点是高可靠性,在发送人确认消息收到之前必须将消息保存到磁盘上.
关键词
磁盘
队列
存储
管理机制
FastQueue
磁盘带宽
文件系统
UNIX
操作系统
Keywords
Messaging system,Disk queue,Lazy gathering write,Sequential grouping prefetch
分类号
TP316.81 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
新一代中厚板轧后冷却系统中队列存储技术的应用
2
作者
陈小林
袁国
王昭东
王国栋
机构
东北大学轧制技术及连轧自动化国家重点实验室
出处
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2013年第2期227-230,共4页
基金
国家科技支撑计划项目(2012BAF04B01)
文摘
为了升级改造某轧后冷却系统,成功将超快冷系统嵌入其中,并使之与原层流冷却系统有机结合,组成了新一代中厚板轧后冷却系统.针对原层流冷却一级系统的"黑箱"屏蔽现象,为了保持原层流冷却系统的独立性和完整性,在深入解析原层流冷却系统二级模型的基础上,提出基于冷却模式进行系统切换原则并采用"先进先出"的队列存储技术,实现了新增超快冷系统与原层流冷却系统的无缝衔接.现场应用表明,该新一代中厚板轧后冷却系统运行稳定.
关键词
层流冷却
超快速冷却
中厚板
队列
存储
技术
Keywords
acceleration cooling
ultra-fast cooling
plate
queue storage technology
分类号
TP274 [自动化与计算机技术—检测技术与自动化装置]
TG335 [金属学及工艺—金属压力加工]
在线阅读
下载PDF
职称材料
题名
基于性质描述语言的硬件验证
3
作者
纪小辉
郭建
机构
西安工业大学光电工程学院
西安邮电学院计算机科学系
出处
《科学技术与工程》
2010年第23期5652-5656,共5页
文摘
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。
关键词
性质描述语言
断言的验证
先进先出
队列
存储
器
Keywords
property specification language assertion based verification first in first out
分类号
TP317.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
FastQueue:一种高性能的磁盘队列存储管理机制
魏青松
卢显良
周旭
《计算机科学》
CSCD
北大核心
2003
1
在线阅读
下载PDF
职称材料
2
新一代中厚板轧后冷却系统中队列存储技术的应用
陈小林
袁国
王昭东
王国栋
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
3
基于性质描述语言的硬件验证
纪小辉
郭建
《科学技术与工程》
2010
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
