全文获取类型
收费全文 | 44篇 |
免费 | 6篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 3篇 |
综合类 | 2篇 |
化学工业 | 4篇 |
金属工艺 | 4篇 |
机械仪表 | 2篇 |
建筑科学 | 2篇 |
轻工业 | 1篇 |
无线电 | 1篇 |
一般工业技术 | 2篇 |
冶金工业 | 2篇 |
自动化技术 | 28篇 |
出版年
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2015年 | 1篇 |
2012年 | 1篇 |
2011年 | 4篇 |
2010年 | 3篇 |
2009年 | 4篇 |
2008年 | 2篇 |
2007年 | 6篇 |
2006年 | 8篇 |
2005年 | 2篇 |
2004年 | 2篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 2篇 |
1999年 | 1篇 |
1997年 | 2篇 |
1990年 | 2篇 |
1989年 | 2篇 |
1987年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有51条查询结果,搜索用时 0 毫秒
1.
2.
快速傅立叶变换的应用领域非常广泛,其硬件实现方法多种多样,验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是随着参与运算的点数的增加,穷尽模拟全部输入情况所耗费的时间越来越长,甚至难以实现。而形式化方法使用纯数学手段证明电路的正确性,克服了传统方法的缺点。首先用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,然后给出它的正确性验证,探索了验证处理复数的复杂电路正确性的方法。 相似文献
3.
4.
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。 相似文献
5.
6.
7.
8.
GC/MS研究茶叶中拟除虫菊酯类农药残留的提取方法 总被引:3,自引:0,他引:3
针对茶叶中拟除虫菊酯类农药残留的提取方法进行研究,比较了加水浸泡对农残提取的影响。结果表明,加水浸泡的样品农残提取率反而降低,通过对样品净化淋洗剂种类和体积的优化选择,总结出一套简便实用的前处理方法。茶叶不用水浸泡,直接用50 mL V(丙酮)∶V(正己烷) =1∶1的溶液超声提取,提取液过活性炭柱,浓缩后再过Florisil柱,用15 mL V(正己烷)∶V(乙酸乙酯)=2∶1的溶液淋洗,浓缩后用GC/MS法测定。回收率为81%~120%,RSD为2.2%~7.8%,检测限为0.002~0.01 mg•kg-1。 相似文献
9.
10.