全文获取类型
收费全文 | 194篇 |
免费 | 39篇 |
国内免费 | 40篇 |
专业分类
电工技术 | 23篇 |
综合类 | 14篇 |
化学工业 | 7篇 |
金属工艺 | 9篇 |
机械仪表 | 15篇 |
建筑科学 | 11篇 |
矿业工程 | 5篇 |
能源动力 | 5篇 |
轻工业 | 3篇 |
武器工业 | 1篇 |
无线电 | 27篇 |
一般工业技术 | 16篇 |
冶金工业 | 3篇 |
原子能技术 | 1篇 |
自动化技术 | 133篇 |
出版年
2024年 | 4篇 |
2023年 | 12篇 |
2022年 | 4篇 |
2021年 | 5篇 |
2020年 | 7篇 |
2019年 | 12篇 |
2018年 | 5篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 10篇 |
2014年 | 8篇 |
2013年 | 3篇 |
2012年 | 6篇 |
2011年 | 17篇 |
2010年 | 11篇 |
2009年 | 13篇 |
2008年 | 15篇 |
2007年 | 25篇 |
2006年 | 20篇 |
2005年 | 9篇 |
2004年 | 11篇 |
2003年 | 21篇 |
2002年 | 13篇 |
2001年 | 8篇 |
2000年 | 8篇 |
1999年 | 3篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1994年 | 1篇 |
1992年 | 2篇 |
1990年 | 1篇 |
排序方式: 共有273条查询结果,搜索用时 15 毫秒
1.
2.
3.
系统阻尼对冲击法测量磁场的影响 总被引:1,自引:0,他引:1
本文分析了系统阻尼对冲击常数测量的影响,指出通过测量冲击常数的相对误差,选择合适的系统阻尼,是提高系统测量精度的有效方法。 相似文献
4.
介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称PALTL)公式运行时预测监控器构造方法.一方面研究PALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀. 相似文献
5.
6.
概率模型检验建立在非概率模型检验技术的基础上,不仅能够对系统进行定性的验证,还能够定量判断系统满足相关性质的概率,具有广泛的适用性。LTL概率模型检验算法的复杂度较高,达到双重指数级别,现有的工具如PRISM与MRMC均不支持对LTL性质的验证。针对这个问题,通过对原有的LTL概率模型检验算法进行优化,实现了一个高效的LTL概率模型检验工具。通过对比实验验证了该工具的有效性。 相似文献
7.
软件可靠性工程框架和评估系统实现 总被引:1,自引:0,他引:1
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际 相似文献
8.
9.
BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。 相似文献
10.