全文获取类型
收费全文 | 1592篇 |
免费 | 123篇 |
国内免费 | 112篇 |
专业分类
电工技术 | 188篇 |
综合类 | 168篇 |
化学工业 | 71篇 |
金属工艺 | 36篇 |
机械仪表 | 78篇 |
建筑科学 | 69篇 |
矿业工程 | 33篇 |
能源动力 | 17篇 |
轻工业 | 18篇 |
水利工程 | 27篇 |
石油天然气 | 13篇 |
武器工业 | 8篇 |
无线电 | 168篇 |
一般工业技术 | 74篇 |
冶金工业 | 56篇 |
原子能技术 | 1篇 |
自动化技术 | 802篇 |
出版年
2024年 | 14篇 |
2023年 | 11篇 |
2022年 | 33篇 |
2021年 | 31篇 |
2020年 | 24篇 |
2019年 | 21篇 |
2018年 | 26篇 |
2017年 | 41篇 |
2016年 | 56篇 |
2015年 | 51篇 |
2014年 | 109篇 |
2013年 | 72篇 |
2012年 | 146篇 |
2011年 | 106篇 |
2010年 | 93篇 |
2009年 | 96篇 |
2008年 | 105篇 |
2007年 | 113篇 |
2006年 | 101篇 |
2005年 | 95篇 |
2004年 | 71篇 |
2003年 | 58篇 |
2002年 | 34篇 |
2001年 | 45篇 |
2000年 | 32篇 |
1999年 | 27篇 |
1998年 | 23篇 |
1997年 | 25篇 |
1996年 | 18篇 |
1995年 | 12篇 |
1994年 | 18篇 |
1993年 | 20篇 |
1992年 | 13篇 |
1991年 | 8篇 |
1990年 | 11篇 |
1989年 | 7篇 |
1988年 | 6篇 |
1987年 | 5篇 |
1986年 | 3篇 |
1985年 | 8篇 |
1984年 | 7篇 |
1983年 | 5篇 |
1982年 | 5篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1976年 | 4篇 |
1975年 | 4篇 |
1974年 | 2篇 |
1955年 | 1篇 |
排序方式: 共有1827条查询结果,搜索用时 0 毫秒
101.
网络通信协议的属性文法规格说明 总被引:4,自引:0,他引:4
本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时(时序)等特性的有关问题;然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算(即语义分析)算法. 相似文献
102.
考虑不完美排错情况的NHPP 类软件可靠性增长模型 总被引:1,自引:0,他引:1
针对现有NHPP 类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一
种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,
又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利
用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的
模型相比,该模型能够取得更好的拟合结果和预测效果. 相似文献
103.
关于并行语言Gamma的结构化扩充 总被引:1,自引:0,他引:1
Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果. 相似文献
104.
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的解是完全的结论。 相似文献
105.
1.引言程序的调试技术对于计算来说是很重要的,因为抛开性能不谈,程序的正确性是编程者追求的最终目标。然而随着科学的发展,需要解决的问题的规模越来越大,传统的串行计算模式已经难以满足需要,于是并行计算模式被提出。那么调试这一必需的功能也要被放到并行计算环境中重新考虑,从而提出了并行调试的概念。 相似文献
106.
107.
108.
109.
错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,Russel&Rao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好. 相似文献
110.
作为青海电网调试自动化系统中的重要组成部分,MOXA终端服务器经过7天的安装调试,已和青海省调自动化系统主站连通。文章着重阐述了MOXA终端服务器的安装、调试以及新增变电站MOXA终端服务器的调试方法,为以后新投运变电站顺利接入青海省调奠定了基础。 相似文献