首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   27篇
  国内免费   3篇
  完全免费   11篇
  自动化技术   41篇
  2017年   3篇
  2016年   1篇
  2015年   4篇
  2014年   3篇
  2013年   4篇
  2012年   4篇
  2011年   3篇
  2010年   5篇
  2009年   2篇
  2008年   4篇
  2006年   1篇
  2005年   2篇
  2004年   1篇
  2003年   3篇
  2002年   1篇
排序方式: 共有41条查询结果,搜索用时 156 毫秒
1.
多线程程序数据竞争的静态检测   总被引:11,自引:0,他引:11  
多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.  相似文献
2.
基于锁集合的动态数据竞争检测方法   总被引:5,自引:0,他引:5  
数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点,即针对程序的一种输入,对程序的一次执行进行检测,不能检测出所有的可行数据竞争.文中利用存储一致性模型的框架模型,针对域一致性模型提出了增强发生序概念,并依此得出一种基于锁集合的动态数据竞争检测算法,克服了这个问题.在软件DSM系统JIAJIA上的实现获得了很好的性能,应用平均减速比为3.14.利用该方法,在TSP程序中找到了大量的读写数据竞争的情况.  相似文献
3.
静态检测中断驱动程序的数据竞争   总被引:1,自引:0,他引:1  
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.  相似文献
4.
数据竞争是共享存储程序中的一类难于调试的错误 .在支持域存储一致性模型的软件 DSM系统 JIAJIA上 ,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法 ,实现了基于锁集合的动态数据竞争检测算法 .利用本文方法 ,在 TSP和 Barnes程序中找到了数据竞争情况 ,并根据找到的数据竞争 ,修正了 Barnes中的错误 .实际使用经验表明 ,本文方法易于用户使用 ,达到了实用水平  相似文献
5.
《数码世界》2003,2(9):43-44
随着国民经济和社会信息化的不断深入,信息系统成为政府和企业不可缺少的工具。同时,这些系统也在不断产生着新的信息,这些信息有些属于关系型数据库中的结构化信息,但更多的却是如档、网页或视音频等非结构化的信息。在这个信息爆炸的时代,要找到真正有用的信息,需要的时间变得越来越长。我们在享受信息给我们带来的便利的同时,也越来越感到海量信息的困囤惑。  相似文献
6.
软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素,重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件DSM程序,本文定义了软件DSM程序执行的happen-before-1关系,并依据其提出一种在软件DMS系统JIAJIA上实现重放的方法,实际应用测试表明,该方法产生很小的空间和时间开销。  相似文献
7.
编者注:SPC(Statistical Process Control)统计过程控制,简称SPC,是美国休哈特博士在2 0世纪20年代所创造的理论.SPC是一种借助数理统计方法的过程控制工具.在企业的质量控制中,可应用SPC对质量数据进行统计、分析,从而区分出生产过程中产品质量的正常波动与异常波动,以便对过程的异常及时提出预警,提醒管理人员采取措施消除异常,恢复过程的稳定性,从而提高产品的质量.而传统的质量控制依赖于检验最终产品并筛选出不符合规范的产品,这种检验策略通常是浪费和不经济的,因为它是当不合格品产生以后的事后检验.SPC技术的出现,让质量管理从这种被动的事后把关发展到过程中积极的事前预防为主,从而大大降低了企业的生产成本,同时也提高了企业的竞争能力.近十年来,随着计算机应用技术的飞速发展,使得SPC所需要的对大量数据实时收集、计算和分析可以借助于计算机和软件技术来轻松地实现,从而在全球掀起了SPC应用的热潮并持续至今.SPC业已成为企业质量管理必不可少的工具.  相似文献
8.
近来实行的银行业务大集中,同时造成信息系统内部业务数据爆炸性增长,网上信息流量也随之猛增。随着“一网打尽”工程的完成,信阳工商银行网上业务急剧增加。各种查询、统计、报表以及分析业务需求日益增长,原有计算机信息管理系统面临着巨大压力。这就要求服务器的处理能力和网络带宽必须“跟进”,才能满足日益增长的系统需求。同时,为充分发挥网络系统的作用,将关键业务数据和客户信息收集筛选,加工整理成有价值的信息,并且快速处理和分析,为各级管理人员提供可靠的决策信息,我们必须对老系统进行升级,提高系统性能、提高系统处理能力、提高系统带宽、保证数据传输的顺畅流通、安全、可靠和系统稳定。  相似文献
9.
许多数据和活动上都有很强时间性的应用在地理上同时具有分布性,这种应用需求使得分布式实时数据库的研完成为数据库研究领域的热点。在实时事务执行时,事务故障或数据竞争会导致事务重启,为了减少因重启而损失的工作量,可以采用检验点技术以利于事务时间正确性的满足。在一些分布式实时数据库应用中,不同结点的事务通过消息交换形成合作关系,当某一事务记检验点时,为保证合作事务间的全局一致性,相关事务也要相应地记检验点。传统的协同检验点方法没有考虑应用的定时约束,不能很好地支持分布式实时事务处理。本文提出了一种高效的并行协同检验点方法,该算法既具有最小协同检验点特性又使全局检验点过程延时最小。实验表明该算法减少了全局检验点阻塞时间,有利于分布式实时事务截止期的满足。  相似文献
10.
由于执行个体之间的同步、竞争和干扰,并行程序的执行存在着不确定性问题,即程序在相同输入下多次执行可能得到不同的结果.不确定性给并行程序在开发、调试、测试、容错和安全等方面都带来了挑战,严重降低了并行程序的可靠性,阻碍了并行程序的发展.确定性并行技术通过控制并行程序执行个体间的同步、竞争和干扰,使程序的执行结果仅依赖于输入.确定性并行技术能够从根本上解决了目前并行程序存在的诸多问题,提升了并行程序的可靠性,给并行程序的发展带来了新的机遇.文中调查、分析和比较了目前主流的确定性并行技术和方法,分析了弱内存一致性对确定性并行系统的影响,并对未来确定性并行技术的发展趋势做出了展望.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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