全文获取类型
收费全文 | 76篇 |
免费 | 6篇 |
国内免费 | 10篇 |
专业分类
综合类 | 16篇 |
化学工业 | 21篇 |
金属工艺 | 2篇 |
机械仪表 | 11篇 |
建筑科学 | 7篇 |
矿业工程 | 4篇 |
轻工业 | 4篇 |
石油天然气 | 2篇 |
无线电 | 2篇 |
一般工业技术 | 5篇 |
自动化技术 | 18篇 |
出版年
2023年 | 1篇 |
2022年 | 4篇 |
2021年 | 2篇 |
2020年 | 1篇 |
2019年 | 3篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2014年 | 4篇 |
2013年 | 3篇 |
2012年 | 6篇 |
2011年 | 5篇 |
2010年 | 3篇 |
2008年 | 7篇 |
2007年 | 11篇 |
2006年 | 5篇 |
2005年 | 6篇 |
2004年 | 3篇 |
2002年 | 4篇 |
2001年 | 14篇 |
1999年 | 2篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有92条查询结果,搜索用时 15 毫秒
41.
42.
43.
布尔可满足性问题(SAT)是指对于给定的布尔公式,是否存在一个可满足的真值指派.这是第1个被证明的NP完全问题,一般认为不存在多项式时间算法,除非P=NP.学者们大都研究了子句长度不超过k的SAT问题(k-SAT),从全局搜索到局部搜索,给出了大量的相对有效算法,包括随机算法和确定算法.目前,最好算法的时间复杂度不超过O((2-2/k)n),当k=3时,最好算法时间复杂度为O(1.308n).而对于更一般的与子句长度k无关的SAT问题,很少有文献涉及.引入了一类可分离SAT问题,即3-正则可分离可满足性问题(3-RSSAT),证明了3-RSSAT是NP完全问题,给出了一般SAT问题3-正则可分离性的O(1.890n)判定算法.然后,利用矩阵相乘算法的研究成果,给出了3-RSSAT问题的O(1.890n)精确算法,该算法与子句长度无关. 相似文献
44.
45.
47.
分析了新型冠状病毒疫情对我国金融形势的影响。认为此次疫情短期内会对人民币汇率、资金市场、资产质量、股票市场、商品价格及跨境投融资造成多重冲击。在监管部门强有力的政策调节下,将会保障资金供应、引导利率下行并稳定人民币汇率预期,冲击将逐渐减弱。中长期看,疫情对金融形势的影响需要持续关注。 相似文献
48.
讨论了循环加载下材料的塑性应变能、储能和热能耗散,发现当量应变能密度(equivalent strain energy density,ESED)准则相比Neuber准则多考虑了塑性应变能密度,因此当量应变能密度准则局部应变场估计值会远低于Neuber准则的估计值.提出改进的当量应变能密度方法,改进方法的估算值比Neuber准则更接近试验值,且寿命估计结果在工程上应用安全.改进的当量应变能密度准则的估计结果与疲劳失效试验结果符合较好. 相似文献
49.
介绍了L-抗坏血酸在水和水-低碳醇混合溶剂中结晶成核的测定方法,同时还研究了甲醇,乙醇,异丙醇对其成核的影响。应用Kubota提出的成核模型,对加晶种操作过程进行了详细考察,按照不同的降温速率,测得溶液的极限过冷度,从而确定了有关动力学参数。讨论了温度对常数kb和指数n的影响。 相似文献
50.
结合网架(网壳)CAD软件开发,提出了一种螺栓球节点设计的方法,利用该法进行节点设计,在有限元分析确定各杆轴力和管径的基础上可将螺栓球节点各构件一次性确定,避免了试选和反复验算.并对螺栓球设计公式进行了修改,利用修改后的公式进行设计,可大大减轻设计、绘图、加工的工作量. 相似文献