全文获取类型
收费全文 | 228篇 |
免费 | 14篇 |
国内免费 | 23篇 |
专业分类
电工技术 | 19篇 |
综合类 | 32篇 |
化学工业 | 40篇 |
金属工艺 | 8篇 |
机械仪表 | 8篇 |
建筑科学 | 14篇 |
矿业工程 | 12篇 |
能源动力 | 15篇 |
轻工业 | 9篇 |
水利工程 | 14篇 |
石油天然气 | 3篇 |
武器工业 | 1篇 |
无线电 | 13篇 |
一般工业技术 | 13篇 |
冶金工业 | 24篇 |
原子能技术 | 1篇 |
自动化技术 | 39篇 |
出版年
2024年 | 2篇 |
2023年 | 9篇 |
2022年 | 11篇 |
2021年 | 5篇 |
2020年 | 8篇 |
2019年 | 11篇 |
2018年 | 8篇 |
2017年 | 3篇 |
2016年 | 5篇 |
2015年 | 9篇 |
2014年 | 18篇 |
2013年 | 9篇 |
2012年 | 18篇 |
2011年 | 18篇 |
2010年 | 12篇 |
2009年 | 18篇 |
2008年 | 16篇 |
2007年 | 18篇 |
2006年 | 16篇 |
2005年 | 18篇 |
2004年 | 10篇 |
2003年 | 3篇 |
2002年 | 8篇 |
2001年 | 4篇 |
2000年 | 2篇 |
1999年 | 1篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1993年 | 1篇 |
排序方式: 共有265条查询结果,搜索用时 31 毫秒
11.
12.
13.
循环程序的终止性是确保循环程序完全正确的必要条件。 如果给定的线性赋值循环程序不存在传统定义的线性秩函数,那么基于传统定义的秩函数终止性证明方法将失效。基于Anx的精确计算,对传统的秩函数概念进行了扩展,提出了k阶秩函数的概念。使用RegularChains软件包给出了合成k阶秩函数的具体方法。实验结果表明,相比于传统定义的线性秩函数,k阶秩函数的适应范围更广。对于 不能用传统定义的秩函数证明其终止性的部分循环程序,可以基于k阶秩函数来证明,从而体现了所提方法的优越性。 相似文献
14.
15.
16.
针对应急决策中的不确定性,在传统区间代数方法的基础上,采用对区间时间断点模糊化处理并设定其取值范围的方法实现了应急领域不确定时态知识的表达,在此基础上,研究时态推理中的证据合成,通过时间区间集合,时态关系集合以及概率指派函数合成后的更新,给出了解决方案,结合应用算例进行分析。验证了该方法的有效性。 相似文献
17.
18.
19.
秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大部分循环程序的终止性. 相似文献
20.