全文获取类型
收费全文 | 206篇 |
免费 | 9篇 |
国内免费 | 34篇 |
专业分类
电工技术 | 1篇 |
综合类 | 12篇 |
化学工业 | 5篇 |
金属工艺 | 6篇 |
机械仪表 | 2篇 |
建筑科学 | 6篇 |
能源动力 | 1篇 |
轻工业 | 3篇 |
石油天然气 | 3篇 |
无线电 | 17篇 |
一般工业技术 | 6篇 |
冶金工业 | 1篇 |
自动化技术 | 186篇 |
出版年
2024年 | 2篇 |
2023年 | 2篇 |
2022年 | 4篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 3篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 6篇 |
2014年 | 8篇 |
2013年 | 9篇 |
2012年 | 8篇 |
2011年 | 11篇 |
2010年 | 7篇 |
2009年 | 24篇 |
2008年 | 19篇 |
2007年 | 9篇 |
2006年 | 13篇 |
2005年 | 10篇 |
2004年 | 12篇 |
2003年 | 15篇 |
2002年 | 8篇 |
2001年 | 11篇 |
2000年 | 11篇 |
1999年 | 2篇 |
1997年 | 9篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1993年 | 3篇 |
1992年 | 2篇 |
1991年 | 5篇 |
1990年 | 2篇 |
1989年 | 17篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
排序方式: 共有249条查询结果,搜索用时 15 毫秒
1.
3.
关于Ada95变体部分等语法的修正意见 总被引:1,自引:0,他引:1
徐宝文 《计算机研究与发展》1997,34(1):78-80
本文指出了Ada95 参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题,并分别给出了它们的修正方案。 相似文献
4.
许蕾 《军民两用技术与产品》2014,(7)
本文主要对配电线路运行检修技术及防雷对策做出深入探讨,提出自己的见解,为了防止各种故障的出现,确保电网的正常运行,有必要做好配电线路运行检修工作,及时发现并解决缺陷问题。此外,雷电会引起配电线路的短路,影响电气设备的正常工作,严重时甚至会引起设备火灾或爆炸,直接威胁设备和人身安全。本文就这些问题进行了深入的分析,希望对同行工作人员起到一定的参考价值。更多还原 相似文献
5.
基于客户程序度量包内聚性 总被引:2,自引:0,他引:2
为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性. 相似文献
6.
7.
8.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
9.
近年来,随着计算机技术的进步,以软件系统为核心的计算机应用已经渗透到各行各业,在国民经济、国防领域以及人们的日常生活中发挥着越来越重要的作用.因此,当今社会对高质量软件的需求也越来越迫切.但是,随着软件规模的不断增长,软件质量问题逐渐成为制约计算机发展和应用的瓶颈之一.各种类型的软件错误层出不穷,不仅给人们日益信息化的日常工作和生活带来极大的不便,在很多任务关键领域甚至会造成极大的财产损失乃至人身伤害.为了提高软件质量,尽可能地减少软件中的错误,人们尝试使用各种先进的软件开发技术,并辅之以更加合理的生产管理手段,以提高软件产品的质量.其中一个重要手段就是软件测试. 相似文献
10.
Web搜索引擎框架研究 总被引:43,自引:1,他引:42
Web搜索引擎是Internet上非常有用的信息检索工具,但是由于目前搜索引擎检索出的信息量庞大,且一个特定的搜索引擎主要包含某一特定领域的信息,这使得用户很难从某一个搜索引擎获得准确的导航信息。文中提出一个新的Web搜索引擎框架GSE,并提出了一个适合于Web信息获取与处理的语言WERPL。通过WIRPL可以将多个Web搜索引擎结合起来,为用户提供一个一致、高效、准确的Web搜索引擎。 相似文献