首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  国内免费   1篇
  完全免费   2篇
  自动化技术   6篇
  2012年   1篇
  2007年   1篇
  2006年   2篇
  2005年   2篇
排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
多机系统调试诊断关键技术与方法研究   总被引:3,自引:1,他引:2  
多机系统规模和复杂度的增加,给测试人员带来了新的挑战。分析了多机系统调试阶段和运行阶段便于测试和诊断的软硬件技术,提出了一种基于边界扫描技术的层次化调试网络结构,给出了通过笛卡儿乘积构造(t,k)-可诊断系统的方法以及通过预处理降低诊断难度、加快诊断速度的思想。  相似文献
2.
并行计算机系统容错设计   总被引:2,自引:1,他引:1       下载免费PDF全文
容错设计是提高计算机系统可靠性的有效手段。本文提出了一种分布共享主存的并行计算机系统的容错结构,着重分析了结构采用的故障诊断机制,提出了系统中备份节点机配置的优化策略。  相似文献
3.
利用人工智能最新研究成果--约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束.实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高.  相似文献
4.
在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。  相似文献
5.
本文介绍了HT总线CRC32的计算原理,推导了8位HT链路的CRC32并行计算算法,用XilinxXC40005芯片实现并验证了该并行算法的正确性。  相似文献
6.
从系统级节能角度出发,结合天河一号超级计算机系统硬件架构特点,通过将计算、通信、冷却、供电等各种系统资源有机结合在一起,制订统一的资源管理架构,应用最近最少使用(LRU)等多种管理策略对系统资源进行集中管理,有效降低系统能耗.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号