首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   3篇
  自动化技术   4篇
  2016年   1篇
  2009年   1篇
  2008年   1篇
  2003年   1篇
排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
网格监控系统研究   总被引:4,自引:0,他引:4       下载免费PDF全文
The monitoring system is very critical for complex and large high-performance distributed system such as a Grid. With the help of a monitoring system the users and developers of a Grid can perform tasks such as fault-detec-tion and diagnosis, performance analysis and tuning and performance prediction. And a good monitoring system can give useful data to the scheduling module of the Grid. This paper gives a detailed presentation and analysis of the key techniques of a grid monitoring system, and points out the research directions of the grid monitoring system based on current research around the world.  相似文献
2.
提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。  相似文献
3.
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.  相似文献
4.
黄达明  曾庆凯 《软件学报》2009,20(8):2051-2061
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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