首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   143篇
  免费   7篇
  国内免费   30篇
综合类   3篇
无线电   8篇
自动化技术   169篇
  2022年   1篇
  2020年   1篇
  2018年   1篇
  2017年   1篇
  2015年   1篇
  2014年   3篇
  2013年   4篇
  2012年   4篇
  2011年   6篇
  2010年   5篇
  2009年   19篇
  2008年   16篇
  2007年   8篇
  2006年   10篇
  2005年   8篇
  2004年   10篇
  2003年   9篇
  2002年   7篇
  2001年   11篇
  2000年   11篇
  1999年   2篇
  1997年   9篇
  1996年   1篇
  1993年   3篇
  1992年   2篇
  1991年   4篇
  1990年   2篇
  1989年   17篇
  1987年   1篇
  1985年   2篇
  1984年   1篇
排序方式: 共有180条查询结果,搜索用时 15 毫秒
1.
2.
3.
关于Ada95变体部分等语法的修正意见   总被引:1,自引:0,他引:1  
本文指出了Ada95 参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题,并分别给出了它们的修正方案。  相似文献   
4.
基于客户程序度量包内聚性   总被引:2,自引:0,他引:2  
为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性.  相似文献   
5.
组合测试数据生成的交叉熵与粒子群算法及比较   总被引:4,自引:0,他引:4  
测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的测试数据.文章给出了交叉熵方法最优选择概率的理论推导,并对两种算法所生成的测试数据集进行约简.将两种算法和现有的贪心方法、代数方法及其它启发式搜索方法进行比较,实验表明交叉熵方法和粒子群算法具有一定的优势和特点.  相似文献   
6.
基于完备抽象解释的模型检验CTL公式研究   总被引:1,自引:0,他引:1  
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.  相似文献   
7.
张健  徐宝文 《计算机学报》2011,34(6):951-952
近年来,随着计算机技术的进步,以软件系统为核心的计算机应用已经渗透到各行各业,在国民经济、国防领域以及人们的日常生活中发挥着越来越重要的作用.因此,当今社会对高质量软件的需求也越来越迫切.但是,随着软件规模的不断增长,软件质量问题逐渐成为制约计算机发展和应用的瓶颈之一.各种类型的软件错误层出不穷,不仅给人们日益信息化的日常工作和生活带来极大的不便,在很多任务关键领域甚至会造成极大的财产损失乃至人身伤害.为了提高软件质量,尽可能地减少软件中的错误,人们尝试使用各种先进的软件开发技术,并辅之以更加合理的生产管理手段,以提高软件产品的质量.其中一个重要手段就是软件测试.  相似文献   
8.
Web搜索引擎框架研究   总被引:43,自引:1,他引:42  
Web搜索引擎是Internet上非常有用的信息检索工具,但是由于目前搜索引擎检索出的信息量庞大,且一个特定的搜索引擎主要包含某一特定领域的信息,这使得用户很难从某一个搜索引擎获得准确的导航信息。文中提出一个新的Web搜索引擎框架GSE,并提出了一个适合于Web信息获取与处理的语言WERPL。通过WIRPL可以将多个Web搜索引擎结合起来,为用户提供一个一致、高效、准确的Web搜索引擎。  相似文献   
9.
带标记信号量——一种新型同步与互斥机制   总被引:3,自引:0,他引:3  
1 问题的引出信号量机制是E.W.Dijkstra最先提出来的,是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制。其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护)。信号量原语自问世二十余年来,已广泛地应用于  相似文献   
10.
Web搜索引擎是Internet上非常有用的信息检索工具,但是由于现有这些搜索引擎搜索出的结果只跟用户的搜索词条和它所采集的实际信息有关,用户对搜索结果的选择不能影响将来的搜索结果,这使得搜索引擎不能考虑大多数用户的兴趣状况.本文通过采集用户对搜索结果的访问序列来生成搜索引擎的反馈信号,以此来扩展原始查询串和影响搜索结果的生成,使得搜索引擎具有自适应能力.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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