首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   30篇
  国内免费   1篇
  完全免费   26篇
  自动化技术   57篇
  2016年   1篇
  2013年   1篇
  2012年   2篇
  2011年   2篇
  2010年   2篇
  2009年   4篇
  2008年   1篇
  2006年   1篇
  2004年   2篇
  2003年   3篇
  2002年   1篇
  2001年   1篇
  2000年   5篇
  1999年   5篇
  1998年   1篇
  1997年   3篇
  1996年   5篇
  1995年   4篇
  1994年   6篇
  1993年   2篇
  1992年   4篇
  1991年   1篇
排序方式: 共有57条查询结果,搜索用时 31 毫秒
1.
提高可扩展并行机群并行I/O效率的一个方法   总被引:10,自引:0,他引:10  
随着CPU性能的高速提升,系统I/O能力的不足越来明显地成为提高NOW系统整体性能的瓶颈。在分析现有基于NOW系统的并行I/O算法的基础上,通过理论推导,给出了一种寻求计算进程与计算结点之间最佳映射的方法。该方法可以在数据重分配时,使各计算的通信量小,从而达到提高系统并行I/O效率的目的。  相似文献
2.
关于提高计算机本科教育质量的几点思考   总被引:8,自引:5,他引:3  
李未 《计算机教育》2010,(1):4-6,20
<正>1过去10年我国高等教育的发展1.1改革开放30年来,特别是过去10年,我国高等教育事业取得了巨大的发展在全面普及九年制义务教育的同时,我国大力发展职业教育和高等教育,有一半以上的适龄青年接受  相似文献
3.
命题逻辑可满足性问题的算法分析   总被引:7,自引:0,他引:7       下载免费PDF全文
1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成为计算机科学的中心课题之一。例如在机器定理证明领域,某命题是否是一个和谐的公理集合的推论,这个问题归结为该命题的反面与该公理集合一起是否是不可满足的。通过量词消去技术和Herbrand定理的作用,谓词逻辑公式的不可满足性可以归结为命题逻辑公式的不可满足性。在知识库维护中,当知识以逻辑公式的形式表达时,知识库的一致性检查可以归结为命题逻辑公式的可满足性。在开放逻辑中,新事实是否与已有的知识矛盾,当遇到事实反驳时如何求得最大和谐的知识集,这些问题最后都要归结为命题逻辑公式的可满足性。1971年Cook首次证明了SAT是NP-完全的,从而大量的计算问题都可以归约到SAT。正是由于SAT的重要地位,各国学者对它进行了广泛而深入的研究。  相似文献
4.
随机约束满足问题的回溯算法分析   总被引:5,自引:0,他引:5       下载免费PDF全文
许可  李未 《软件学报》2000,11(11):1467-1471
提出一种新的随机CSP(constraint sa tisfaction problem)模型,并且通过研究搜索树的平均节点数,分析了回溯算法求解该模型 的平均复杂性.结果表明,这种模型能够生成难解的CSP实例,找到所有的解或证明无解所需的 平均节点数即随变量数的增加而指数增长.因此,该模型可以用来研究难解实例的性质和CSP 算法的性能等问题,从而有助于设计出更为高效的算法.  相似文献
5.
超协调逻辑(I)—传统超协调逻辑研究   总被引:5,自引:0,他引:5       下载免费PDF全文
6.
开放的缺省理论   总被引:4,自引:0,他引:4  
怀进鹏  李未 《计算机学报》1994,17(9):652-661
本文基于开放逻辑理论,给出了缺省理论T=<D,W>扩充E的新假设,事实反驳、e-重构、e-认识进程及其极限等概念的意义,讨论了W变化时新扩充的变化规律,并证明了相关的定理,本文还建立了缺省理论的一个动态描述过程,证明了其极限是某一特定问题的经验公式集,最后与相关工作进行了比较。  相似文献
7.
一种网络协议的自适应控制方法   总被引:4,自引:0,他引:4  
潘清  李未  马世龙  张晓清  孙凌云 《计算机学报》2004,27(12):1612-1616
网络服务器过载问题已经成为日益关注的问题,过载会引起服务器系统性能急剧下降,客户请求长时间得不到响应.国内外已经提出很多有关网络服务器过载的解决方案,其中,比较有效的方案是引入线程机制,通过中断和查询相结合来解决这个问题.文章从改进传统的操作系统内核事件处理机制出发,在传统的事件处理机制中引入了反馈控制,提出了基于自适应的网络协议控制方法,该方法通过控制网络协议处理中的硬件中断和软件中断处理,不仅避免了系统接收活锁问题,同时,也避免了由于过量中断所造成的网络协议处理和应用软件“饥饿”的问题、测试表明在过载情况下,UDP性能提高了100%,TCP性能也得到了明显的改善.与其它方法相比,这些方法中有些无法克服接收活锁的问题,另外一些方法由于采用了查询机制,产生了延迟和额外的开销,这就使得文章提出的方法在性能上比采用查询机制的方法更好。  相似文献
8.
信念修正的各种方法之比较   总被引:4,自引:2,他引:2       下载免费PDF全文
自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。假设有如下的四个命题  相似文献
9.
知识库维护过程中检查其协调性的有效方法   总被引:3,自引:0,他引:3       下载免费PDF全文
沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21
本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效方法,并证明了相关的定理;基于此方法,实现了一个算法CHIME,并给出了用CHIME分析一些知识库的实验结果.本文还提到一些相关的工作,最后给出结论.  相似文献
10.
悖论逻辑的表演算   总被引:3,自引:0,他引:3       下载免费PDF全文
林作铨  李未 《软件学报》1996,7(6):345-353
悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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