首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   13篇
  国内免费   1篇
  完全免费   8篇
  自动化技术   22篇
  2018年   3篇
  2017年   1篇
  2015年   1篇
  2014年   1篇
  2013年   1篇
  2011年   1篇
  2009年   1篇
  2008年   3篇
  2007年   1篇
  2005年   3篇
  2004年   1篇
  2001年   1篇
  2000年   4篇
排序方式: 共有22条查询结果,搜索用时 78 毫秒
1.
一种分析和理解程序的方法--程序切片   总被引:20,自引:0,他引:20  
程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解。程序中某个兴趣点的程序切片不仅与该点定义和使用变量有关,而且与影响该变量的值的语名和谓词以及受该变量的值影响的语名的谓词有关。文中详细阐述了程序切片技术的研究与进展情况,并对目前存在各种程序切片方法和工具进行了比较;简单介绍了文中提出的面向对象的分层切片方法及其算法的思想;最后分析了程序切片技术目前  相似文献
2.
基于简化系统依赖图的静态粗粒度切片方法   总被引:8,自引:0,他引:8       下载免费PDF全文
基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.  相似文献
3.
面向对象Z的子类型继承和推理规则   总被引:4,自引:0,他引:4       下载免费PDF全文
讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusack等人的方法相比,具有可构造性,并且比Liskov等人的方法具有更大的灵活性.  相似文献
4.
空中交通管理系统中航迹发散判据及抑制处理   总被引:3,自引:0,他引:3  
描述了对机动目标跟踪的Kalman滤波方程和空管系统中易于计算的各参数矩阵理论依据及相应的初值,论述了航迹发散的判断依据及抑制算法.结合应用仿真的具体处理算法及步骤,将发散判据和抑制算法应用于空中交通管理系统进行航迹处理.通过项目验证和仿真结果表明,该算法能进行准确的发靓判断和有效的抑制处理.  相似文献
5.
基于扩频ALOHA的RFID防碰撞算法   总被引:1,自引:0,他引:1  
在射频识别系统中,读写器作用范围内的多标签识别存在数据碰撞的问题。为此,在分析ALOHA算法的基础上,应用码分多址技术,提出一种基于Gold码扩频的ALOHA防碰撞算法,并进行算法的推导和仿真。该算法的吞吐量会随着标签数据帧发送延时的增大而减小,随着扩频码数量的增加而增大。当扩频码数量和负载相等时,系统吞吐量最小;当扩频码数量大于负载时,吞吐效率会随扩频码数量的增加而增大,系统吞吐效率高于时隙ALOHA。应用Simulink构建基于码分多址的多标签与阅读器通信系统,分别研究信噪比、上行速率和帧长对通信误码率的影响,实验结果表明,该算法可提高阅读器与标签之间的通信质量,在现实情况下误码率趋近于0。  相似文献
6.
IT服务管理的知识支持结构研究*   总被引:1,自引:0,他引:1       下载免费PDF全文
通过信息技术基础设施库(ITIL)中的服务提供和服务支持进行对比来加深对ITIL理念的理解.然后结合某电子政务运维系统实施和软件过程改进知识管理经验的分析,探讨了信息技术服务管理(ITSM)的相关问题.最后提出了ITSM的知识支持结构.  相似文献
7.
本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次SOC设计中真正使用HCDFG提供了基础.同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构.  相似文献
8.
数据仓库中用存储大量的物化视图来加速OLAP的查询响应,物化视图的选取是数据仓库设计中的一个重要问题。论文提出了一个有效的物化视图选取算法,采用基于数据立方体层次搜索的方式选取视图。经分析与测试表明,该算法取得良好的效果和效率。  相似文献
9.
王云峰  庞军  查鸣  杨朝晖  郑国梁 《软件学报》2000,11(8):1041-1046
COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消除了规约与实现之间在 结构和表示方法上的完全分离,使程序开发在一个完整的框架下平滑进行.该文提出了基于CO OZ和精化演算的软件开发模型,通过实例讨论了数据精化和操作精化问题.在精化演算实现技 术方面构造了一种数据精化算子,提出一  相似文献
10.
王云峰  李必信  庞军  查鸣  郑国梁 《软件学报》2000,11(8):1071-1077
由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化 方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构造了一种 数据精化算子,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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