首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   14篇
  免费   4篇
  国内免费   3篇
机械仪表   1篇
无线电   1篇
自动化技术   19篇
  2023年   1篇
  2019年   1篇
  2018年   1篇
  2017年   1篇
  2012年   3篇
  2011年   2篇
  2010年   2篇
  2009年   2篇
  2008年   2篇
  2006年   1篇
  2005年   3篇
  2002年   1篇
  1993年   1篇
排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
刘杰  曹琰  魏强  彭建山 《计算机工程》2012,38(22):24-27
符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。  相似文献   
2.
介绍两个表连接的几种常用方式和不同方式的内部机制.在比较3种不同表连接方式的优缺点基础上,选择一种好的方式来优化表连接,以提高查询速度,并结合中国邮政报刊发行系统数据库开发中遇到的生产实际,分析3种表连接方式的优劣.  相似文献   
3.
多核处理器已广泛应用于高性能计算领域,如何有效地将传统串行程序转换为并行代码并减少程序中嵌套循环所占用时间仍是该领域的挑战性问题。本文首先基于多面体模型对嵌套循环进行依赖特征分析并实现瓦片分割,据此自动生成粗粒度并行代码。针对多核阵列处理器的结构特点,采用遗传算法生成通信优化的瓦片任务序列,在此基础上建立了有效的任务调度模型。最后将上述方法应用于LU分解,结果表明该方法与传统调度算法相比,在增加数据局部性、实现负载平衡方面具有更好效果。  相似文献   
4.
5.
基于聚类和距离的大数据集离群点检测算法   总被引:1,自引:0,他引:1  
针对已有的基于距离的离群点检测算法在大数据集上扩展性差的问题,提出了基于聚类和距离混合的大数据集离群检测算法.算法第一阶段采用层次聚类和k-means混合的层次k-means算法对数据进行聚类,并按照一个启发式规则对其进行排序.第二阶段在聚类的结果上采用嵌套循环算法进行离群检测,并通过两个剪枝规则进行高效舅枝,减少了离群检测时数据点之间距离计算的次数.理论分析和实验结果证明了算法的可行性和效率.  相似文献   
6.
A new methodology is proposed for mapping and partitioning arbitrary n-dimensional nested loop algorithms into 2-dimensional fixed size systolic arrays.Since planar VLSI arrays are easy to implement,our approach has good feasibility and applicability.In the transformation process of an algorithm,we take into account not only data dependencies imposed by the original algorithm but also space dependencies dictated by the algorithm ransformation,Thus,any VLSI algorithm generated by our methodology has optimal parallel execution time and yet remains space-time conflict free.Moreover,a theory of the least complete set of interconnection matrices is proposed to reduce the computational complexity for finding all possible space transformations for a given algorithm.  相似文献   
7.
FORALL结构是FORTRAN 95的一种语法,在编译器中高效地实现FORALL结构是一项富有挑战性的工作,局部性优化对其高效实现尤其重要。本文介绍作者在G95编译器中实现FOR ALL结构时用到的两种局部性优化方法--临时空间合并和嵌套循环排序。实验结果表明,局部性优化对提高FORALL结构的性能非常有效。对某类FORALL结构,与Intel的EFC 编译器相比,我们的实现方法能提高30%的性能。  相似文献   
8.
殷新春  陈崚  谢立 《软件学报》2002,13(7):1193-1198
给出了将具有变相关的嵌套循环映射到具有分布式存储的多处理机上的两种方法.通过相关向量的分解或由相关向量导入方向向量,可将具有变相关的嵌套循环分解成若干互相没有相关关系的独立部分.由于它们可以被独立地执行,从而可以被映射到各个处理机上并行处理.  相似文献   
9.
该文通过描述一个使用Authorware软件实现的选择题考试系统的制作过程,介绍了从计算机考试系统的分析到具体实现的全过程。为当前学生考试的命题、测试、阅卷工作的自动化处理提供了一种简便、高效的方法。该文实现了考试系统中人机交互、自动阅卷等功能,并详细论述了运用嵌套循环的方式随机抽取试题和随机排列题支顺序的具体过程。  相似文献   
10.
在联机分析处理系统和数据仓库系统中,影响系统性能的关键常常不是前台的应用程序,而是后台的SQL语句。SQL语句的性能往往在于表的连接形式。本文主要讨论了SQL SERVER中两表联接的三种形式。并根据实验说明了这三种表的联接形式在只有两表关联时、以及三表关联时,各自的性能,从而指出三种联接形式的各自适用范围。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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