首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   52篇
  国内免费   4篇
  完全免费   32篇
  自动化技术   88篇
  2017年   1篇
  2016年   1篇
  2015年   3篇
  2014年   4篇
  2013年   5篇
  2012年   4篇
  2011年   8篇
  2010年   5篇
  2009年   4篇
  2008年   10篇
  2007年   14篇
  2006年   4篇
  2005年   3篇
  2004年   3篇
  2003年   2篇
  2002年   2篇
  2001年   3篇
  2000年   2篇
  1999年   3篇
  1997年   1篇
  1995年   2篇
  1994年   2篇
  1993年   1篇
  1992年   1篇
排序方式: 共有88条查询结果,搜索用时 140 毫秒
1.
基于广义归结的定理机器证明系统   总被引:5,自引:1,他引:4       下载免费PDF全文
本文使用C—PROLOG语言在SUN工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统GRM,RM,证明了《数学原理》中Part1:mathematicallogic中SectionA与SectionB中全部定理(350个).讨论GRM和RM的时、空复杂性,并在实现设计中提出新的全局调度策略及归结式的化简、排序策略,以单子句恒真、恒假的判断代替了广义归结中的自归结,实现了带OCCUR检查的模式匹配.  相似文献
2.
网格计算资源调度策略的三级模式   总被引:5,自引:0,他引:5  
网格计算下对资源进行有效的管理和调度是一个很复杂的问题。该文结合已有的调度策略,提出了一种新的改进调度策略的三级模式,并给出算法。  相似文献
3.
基于任务类型的集群调度策略   总被引:4,自引:0,他引:4  
张丽晓  袁立强  徐炜民 《计算机工程》2004,30(13):63-64,115
在集群系统中,任务调度策略是影响集群系统的关键因素,对于调度已经提出了很多算法,但效果不是很理想,针对集群及任务的特点,提出的基于任务类型结合资源预留的调度策略,可以有效的提高系统性能。  相似文献
4.
基于PVM的并行分布计算中的任务调度策略   总被引:4,自引:1,他引:3  
胡志刚  唐小龙  钟掘 《计算机工程》2001,27(3):25-26,68
在工程计算中,并行分布计算越来越显得重要,而任务调度策略是影响并行分布计算性能至关重要的因素。在分析了现有的任务调度策略的基础上,结合复杂机电系统耦和问题,提出了两层调度和主动报告的策略。  相似文献
5.
NC线性对称调解   总被引:3,自引:0,他引:3  
本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。  相似文献
6.
Truetime的网络控制系统仿真研究   总被引:3,自引:0,他引:3  
介绍了网络控制系统,Truetime工具箱以及安装过程。结合使用Jitterbug工具箱用LQG算法对3个倒立摆网络控制模型进行了仿真实验,运用EDF算法和RM算法进行仿真对比。从结果可以看出,3个倒立摆都得到了很好的控制,EDF的总体控制性能要优于RM控制算法。从丢包率和网络传输速度两方面研究了网络服务质量(QoS)对控制性能的影响。采用PID算法控制单回路的直流电机模型,丢包率较小,传输速率较快,控制性能较好。  相似文献
7.
UNIX实时调度策略测试器的模型与实现   总被引:2,自引:1,他引:1  
该文首先提出基于实时UNIX系统的调度策略测试系统的形式化模型,然后对该测试器的实现进行了详细论述。这种测试器能自动完成调度策略的测试工作,所以在开发实时操作系统时使用这种自动测试器,可以有效地提高软件开发效率和软件的质量。该文提出的测试系统模型具有通用性,以该文的测试系统为模板,可以实现各种类型的调度策略的测试系统。  相似文献
8.
无线传感器网络操作系统调度策略   总被引:2,自引:0,他引:2       下载免费PDF全文
提出了一种在无线传感器网络操作系统中可以同时针对周期性任务和非周期性任务进行抢占式调度操作的EF-RM调度策略。在无线传感器节点上执行的任务负载较重的情况下,该调度策略可以保证重要任务的优先执行,此外当无线传感器节点空闲时,通过将节点带入睡眠状态,实现无线传感器节点的节能。所提出的任务调度策略在TinyOS上进行实现,并通过实验测试得出,在总能耗代价增加较少的情况下可以有效地提高系统在较重负载情况下的响应性能。  相似文献
9.
Generalized Resolution and NC-Resolution   总被引:2,自引:0,他引:2       下载免费PDF全文
The relation between generalized resolution and NC-resolution is discussed.The proof of the completeness of NC linear resolution is then given.The incompleteness of NC lock resolution is also presented,thus the conclusion in [3] of “a simple completeness-preserving restriction” is shown to be wrong.  相似文献
10.
面向服务的网格高性能计算策略   总被引:1,自引:0,他引:1  
网格技术和Web服务的发展,促成了服务计算的诞生和发展.本文在面向服务的架构下,重新研究传统计算网格下的高性能计算.首先,针舛高性能计算应用的特点,结合面向服务的思想,提出了一种层次资源管理体系结构.其次,分析了适用于网格环境的高性能计算应用的程序结构,并通过有向无循环图(DAG)加以表示.第三,基于上述的资源管理体系结构和高性能计算应用模型,提出了一种改进的动态优先级调度算法.最后,通过仿真实验,分析了提出的算法的性能,实验结果表明提出的算法适用于网格环境,进而验证了本文提出的面向服务的网格高性能计算策略的有效性.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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