全文获取类型
收费全文 | 135篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 5篇 |
综合类 | 7篇 |
化学工业 | 59篇 |
金属工艺 | 3篇 |
机械仪表 | 14篇 |
建筑科学 | 8篇 |
矿业工程 | 5篇 |
轻工业 | 8篇 |
水利工程 | 4篇 |
石油天然气 | 2篇 |
无线电 | 5篇 |
一般工业技术 | 6篇 |
冶金工业 | 1篇 |
自动化技术 | 15篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2022年 | 1篇 |
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篇 |
排序方式: 共有142条查询结果,搜索用时 15 毫秒
1.
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测. 相似文献
2.
3.
采用色谱技术对苦味西葫芦果实的抗炎活性部位的化学成分进行分离,应用1HNMR、13CNMR确定化合物的结构.从正丁醇萃取部位分离得到4个木脂素化合物:Larisiresinol 4'-O-β-D-glucopyranoside(Ⅰ)、( )-5'-Methoxyisolarisiresinol 3α-O-β-D-glucopyranoside(Ⅱ)、Lyoniside(Ⅲ)、Isolariciresinol-9-O-β-D-xylopyranoside(Ⅳ).化合物Ⅰ、Ⅱ、Ⅲ和Ⅳ均为首次从南瓜属植物中分离得到. 相似文献
4.
吴立军 《中国新技术新产品》2009,(12):22-23
GSM-R工程建设中频率规划意义重大,本文对三种常见GSM-R无线网络的组网方式的频率规划进行了研究。 相似文献
5.
针对高密度聚乙烯装置循环气冷却器在使用中存在的腐蚀问题进行分析。通过采用相应的防护办法,取得良好的效果。 相似文献
6.
7.
8.
一种低脂酸奶冰淇淋的配方及生产工艺 总被引:1,自引:0,他引:1
吴立军 《冷饮与速冻食品工业》2005,11(4):21-23
研究了一种以冰淇淋基料,糖基料及酸奶基料按比例混合后制作的冷冻饮品。并详细介绍了其配方及生产工艺。该产品的特点为低脂,带活性乳酸菌,是一种深受消费者喜爱的健康型冷冻饮品。 相似文献
9.
安全协议认证的形式化方法研究 总被引:6,自引:0,他引:6
安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向。 相似文献
10.
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充. 相似文献