全文获取类型
收费全文 | 448篇 |
免费 | 35篇 |
国内免费 | 12篇 |
专业分类
电工技术 | 10篇 |
综合类 | 22篇 |
化学工业 | 53篇 |
金属工艺 | 24篇 |
机械仪表 | 19篇 |
建筑科学 | 41篇 |
矿业工程 | 30篇 |
能源动力 | 2篇 |
轻工业 | 39篇 |
水利工程 | 11篇 |
石油天然气 | 26篇 |
武器工业 | 5篇 |
无线电 | 58篇 |
一般工业技术 | 21篇 |
冶金工业 | 4篇 |
原子能技术 | 26篇 |
自动化技术 | 104篇 |
出版年
2024年 | 7篇 |
2023年 | 31篇 |
2022年 | 25篇 |
2021年 | 19篇 |
2020年 | 20篇 |
2019年 | 28篇 |
2018年 | 23篇 |
2017年 | 4篇 |
2016年 | 18篇 |
2015年 | 7篇 |
2014年 | 25篇 |
2013年 | 16篇 |
2012年 | 23篇 |
2011年 | 17篇 |
2010年 | 25篇 |
2009年 | 26篇 |
2008年 | 78篇 |
2007年 | 8篇 |
2006年 | 7篇 |
2005年 | 9篇 |
2004年 | 14篇 |
2003年 | 8篇 |
2002年 | 3篇 |
2001年 | 5篇 |
2000年 | 7篇 |
1999年 | 6篇 |
1998年 | 3篇 |
1997年 | 5篇 |
1996年 | 6篇 |
1995年 | 10篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 1篇 |
排序方式: 共有495条查询结果,搜索用时 31 毫秒
1.
边坡位移的时间序列曲线存在复杂的非线性特性,传统的预测模型精度不足以满足预测要求。为此提出了基于变分模态分解的鸟群优化-核极限学习机的预测模型,并用于河北省某水泥厂的边坡位移预测。该方法首先采用VMD把边坡位移序列分解为一系列的有限带宽的子序列,再对各子序列分别采用相空间重构并用核极限学习机预测,采用鸟群算法优化相空间重构的嵌入维度和KELM中惩罚系数和核参数三个数值,以取得最优预测模型。最后将各个子序列预测值叠加,得到边坡位移的最终预测值。结果表明:和KELM、BSA-KELM、EEMD-BSA-KELM模型相比,基于VMD的BSA-KELM预测精度更高,为边坡位移的预测提供一种有效的方法。 相似文献
2.
3.
4.
5.
研究马尔可夫跳变系统(MJS) 鲁棒故障检测滤波器(FDF) 的设计与优化问题. 基于观测器构建残差发生器, 将相应的FDF 设计问题转化为H∞ 滤波问题, 以LMI 的形式得到并证明了FDF 存在的充分条件及求解方法. 为进一步改善故障检测系统的性能, 采用一种时域优化方法对其进行优化, 并以矩阵Moore-Penrose 逆的形式给出了该优化问题的最优解. 数值仿真表明该方法具有较好的检测效果. 相似文献
6.
7.
汽车的电子化程度是衡量一个国家汽车工业发展水平的重要标志。随着汽车业的发展,电子控制设备急剧增加,汽车自动化程度也越来越高。ECU是一计算机设备,负责控制执行部件运行;诊断并记录执行部件故障,获取执行部件运行状态。ECU与被控制设备配套工作在生产线完成。现以发动机ECU为例说明ECU与发动机配套生产过程。 相似文献
8.
移动自组网(Mobile Ad Hoc Networks,MANETs)的固有特性(如有限资源、动态拓扑等)使其比有线网络更易遭受各种安全威胁。现有的MANETs安全技术不能有效适应这些特性,尤其是不能在网络性能和网络安全之间保持平衡。在MANETs时空动态性及其识别的基础上,构建了安全威胁和入侵防御收益与代价的量化评估指标体系,提出了一种系统化的MANETs入侵防御系统模型(IDMSLP),并实现基于网络安全和性能平衡的防御策略生成与防御性能优化方法。通过比较分析,IDMSLP可有效地克服已有MANETs安全技术存在的缺陷,可适于MANETs应用。 相似文献
9.
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。 相似文献
10.
AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。 相似文献