全文获取类型
收费全文 | 157篇 |
免费 | 10篇 |
国内免费 | 8篇 |
专业分类
电工技术 | 5篇 |
综合类 | 10篇 |
化学工业 | 43篇 |
金属工艺 | 3篇 |
机械仪表 | 10篇 |
建筑科学 | 18篇 |
能源动力 | 1篇 |
轻工业 | 9篇 |
水利工程 | 5篇 |
武器工业 | 1篇 |
无线电 | 12篇 |
一般工业技术 | 11篇 |
冶金工业 | 13篇 |
自动化技术 | 34篇 |
出版年
2024年 | 5篇 |
2023年 | 6篇 |
2022年 | 9篇 |
2021年 | 13篇 |
2020年 | 12篇 |
2019年 | 17篇 |
2018年 | 13篇 |
2017年 | 4篇 |
2016年 | 5篇 |
2015年 | 7篇 |
2014年 | 15篇 |
2013年 | 9篇 |
2012年 | 5篇 |
2011年 | 7篇 |
2009年 | 8篇 |
2008年 | 1篇 |
2007年 | 2篇 |
2006年 | 2篇 |
2005年 | 3篇 |
2003年 | 5篇 |
2002年 | 10篇 |
2001年 | 6篇 |
2000年 | 3篇 |
1999年 | 2篇 |
1998年 | 3篇 |
1996年 | 2篇 |
1995年 | 1篇 |
排序方式: 共有175条查询结果,搜索用时 0 毫秒
1.
2.
将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性. 相似文献
3.
4.
5.
不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性. 相似文献
6.
8.
9.
介绍了高速超高速磨削用碳纤维增强复合材料CFRP (carbon fiber-reinforced polymer)基体砂轮的分析和设计。以降低磨削功率消耗,提高砂轮安全性能为主要目的,有限元分析比较了不同基体材料、截面形状及铺层方式对砂轮性能的影响,揭示了CFRP砂轮的性能优势。从砂轮气动特性和动态特性入手,优化设计了砂轮基体截面。并完成1种超高速磨削用CFRP砂轮基体设计。 相似文献
10.
杨路 《Windows IT Pro Magazine》2005,(11):28-29
你在公司每天处理信息的工作有很多方面。首先必须有硬件来存储数据,其次你用的软件要方便保存和组织它们。你使用NAS吗?或者SAN?你可以看看本年度的最佳存储产品名单。 相似文献