全文获取类型
收费全文 | 239篇 |
免费 | 15篇 |
国内免费 | 45篇 |
专业分类
电工技术 | 2篇 |
综合类 | 7篇 |
化学工业 | 54篇 |
金属工艺 | 1篇 |
机械仪表 | 4篇 |
建筑科学 | 5篇 |
矿业工程 | 5篇 |
能源动力 | 1篇 |
轻工业 | 16篇 |
水利工程 | 7篇 |
石油天然气 | 7篇 |
武器工业 | 4篇 |
无线电 | 11篇 |
一般工业技术 | 6篇 |
冶金工业 | 1篇 |
原子能技术 | 2篇 |
自动化技术 | 166篇 |
出版年
2023年 | 8篇 |
2022年 | 4篇 |
2021年 | 2篇 |
2020年 | 5篇 |
2019年 | 4篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 8篇 |
2015年 | 2篇 |
2014年 | 7篇 |
2013年 | 4篇 |
2012年 | 13篇 |
2011年 | 7篇 |
2010年 | 10篇 |
2009年 | 12篇 |
2008年 | 5篇 |
2007年 | 2篇 |
2006年 | 13篇 |
2005年 | 6篇 |
2004年 | 6篇 |
2003年 | 8篇 |
2002年 | 15篇 |
2001年 | 11篇 |
2000年 | 11篇 |
1999年 | 15篇 |
1998年 | 14篇 |
1997年 | 10篇 |
1996年 | 9篇 |
1995年 | 9篇 |
1994年 | 6篇 |
1993年 | 13篇 |
1992年 | 15篇 |
1991年 | 7篇 |
1990年 | 5篇 |
1989年 | 1篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 4篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1963年 | 1篇 |
排序方式: 共有299条查询结果,搜索用时 15 毫秒
1.
2.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单. 相似文献
3.
4.
5.
6.
移动代理在其执行和迁移过程中涉及到的安全问题就是保护主机不受恶意代理的攻击,其中一个重要方面就是将由程序员的编程错误而造成的危险降到最低。这主要是通过代理程序设计语言来保证的。将代理程序限制在某个安全环境内执行-即为代理程序构造一个安全的运行虚环境为实现代理的安全性提供了基础。提出了一个有效地构造安全运行虚环境的算法。 相似文献
7.
序列模式挖掘算法研究 总被引:5,自引:0,他引:5
数据挖掘领域一个活跃的研究分支就是序列模式的发现,即在序列数据库中找出所有的频繁子序列。目前的序列模式挖掘方法主要分为两类,一类是候选集生成-测试方法;另一类是模式扩展方法。先介绍序列模式挖掘中的基本概念,然后描述几个重要算法,最后给出性能分析。 相似文献
8.
并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示,使用设计模式,将问题求解和并行开发的知识进行形式化的定义与描述,通过扩充的Schema演算将其与模型规范进行复合,逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。 相似文献
9.
当前并行计算领域的研究重点和热眯是研究“通用”并行计算的适用范围,而其中心议题是既具有可扩展并行性又同时具有体系结构独立必的可移植软件开发方法和工具的研究。解决体系结构独立的途径是通过引入的一个过渡模型使得软件和硬件得以较好的分离。BSP(Bulk Synchuonous Parallel)模型正是这样一个理论模型,它不但可提供既具有可扩展的并行性又独立于体系结构的并行软件开发方法,而且可为并行和 相似文献
10.
用非离子表面活性剂脂肪酸甲酯乙氧基化物(MEE-8)与脂肪醇聚氧乙烯醚(AEO3)复配作为乳化剂制备氨基硅油微乳液,分析乳化剂复配比例、乳化剂用量、pH值等因素对氨基硅油微乳化的影响,确定制备plus氨基硅油微乳液的优化条件,对由此得到的氨基硅油微乳液进行一系列的性能测试.并通过对体系加水过程中相行为的研究,绘制了包含液晶区域和O/W型氨基硅油微乳液区域在内的局部拟三元相图.结果表明,当MEE-8∶AEO3=4∶6、复合乳化剂用量占氨基硅油质量的45%、乳液pH值为5.5~6.5时,可获得固含量为30%、透光度为95%、体系均匀稳定的氨基硅油微乳液,此氨基硅油微乳液能较好地改善织物的柔软性和抗静电性,且在应用过程中性能保持稳定. 相似文献