全文获取类型
收费全文 | 134篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 5篇 |
综合类 | 7篇 |
化学工业 | 59篇 |
金属工艺 | 3篇 |
机械仪表 | 14篇 |
建筑科学 | 8篇 |
矿业工程 | 5篇 |
轻工业 | 8篇 |
水利工程 | 4篇 |
石油天然气 | 2篇 |
无线电 | 5篇 |
一般工业技术 | 5篇 |
冶金工业 | 1篇 |
自动化技术 | 15篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2021年 | 1篇 |
2020年 | 4篇 |
2019年 | 1篇 |
2014年 | 4篇 |
2013年 | 4篇 |
2012年 | 2篇 |
2011年 | 6篇 |
2010年 | 5篇 |
2009年 | 6篇 |
2008年 | 8篇 |
2007年 | 14篇 |
2006年 | 18篇 |
2005年 | 24篇 |
2004年 | 19篇 |
2003年 | 3篇 |
2002年 | 3篇 |
2001年 | 8篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 2篇 |
1996年 | 2篇 |
排序方式: 共有141条查询结果,搜索用时 15 毫秒
1.
本文主要介绍PowerMILL精加工中常用的加工策略包括三维偏置精加工、等高精加工和最佳等高精加工。 相似文献
2.
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测. 相似文献
3.
4.
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充. 相似文献
5.
采用色谱技术对苦味西葫芦果实的抗炎活性部位的化学成分进行分离,应用1HNMR、13CNMR确定化合物的结构.从正丁醇萃取部位分离得到4个木脂素化合物:Larisiresinol 4'-O-β-D-glucopyranoside(Ⅰ)、( )-5'-Methoxyisolarisiresinol 3α-O-β-D-glucopyranoside(Ⅱ)、Lyoniside(Ⅲ)、Isolariciresinol-9-O-β-D-xylopyranoside(Ⅳ).化合物Ⅰ、Ⅱ、Ⅲ和Ⅳ均为首次从南瓜属植物中分离得到. 相似文献
6.
安全协议认证的形式化方法研究 总被引:6,自引:0,他引:6
安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向。 相似文献
7.
针对高密度聚乙烯装置循环气冷却器在使用中存在的腐蚀问题进行分析。通过采用相应的防护办法,取得良好的效果。 相似文献
8.
9.
10.
为缓解低灰、低硫焦煤与肥煤资源紧张现状,稳定焦炭生产,公司引进了北美焦煤与肥煤。通过开展单种煤煤质与炼焦特性、配煤炼焦试验研究,分析了配合煤煤质与焦炭质量的相关性关系。结果表明:北美焦煤与肥煤具有低灰、低硫的优质特性,但其热性质相对国内同类煤种差,其参与的配煤结构中配合煤的挥发分、黏结指数及灰成分指标,均与焦炭的机械强度、热性质具有较高的线性拟合度,均大于0.80。通过优化配煤结构,在7m顶装焦炉中应用北美焦煤或肥煤的比例可达8%~12%,并可稳定生产出CSR约为67.5%与CSR约为70%的合格焦炭。 相似文献