全文获取类型
收费全文 | 1537篇 |
免费 | 103篇 |
国内免费 | 83篇 |
专业分类
电工技术 | 35篇 |
综合类 | 68篇 |
化学工业 | 133篇 |
金属工艺 | 13篇 |
机械仪表 | 123篇 |
建筑科学 | 37篇 |
矿业工程 | 20篇 |
能源动力 | 30篇 |
轻工业 | 204篇 |
水利工程 | 14篇 |
石油天然气 | 60篇 |
武器工业 | 5篇 |
无线电 | 81篇 |
一般工业技术 | 143篇 |
冶金工业 | 12篇 |
原子能技术 | 9篇 |
自动化技术 | 736篇 |
出版年
2024年 | 2篇 |
2023年 | 12篇 |
2022年 | 23篇 |
2021年 | 20篇 |
2020年 | 29篇 |
2019年 | 43篇 |
2018年 | 36篇 |
2017年 | 55篇 |
2016年 | 67篇 |
2015年 | 67篇 |
2014年 | 104篇 |
2013年 | 123篇 |
2012年 | 105篇 |
2011年 | 156篇 |
2010年 | 87篇 |
2009年 | 125篇 |
2008年 | 93篇 |
2007年 | 92篇 |
2006年 | 71篇 |
2005年 | 66篇 |
2004年 | 56篇 |
2003年 | 54篇 |
2002年 | 34篇 |
2001年 | 19篇 |
2000年 | 28篇 |
1999年 | 26篇 |
1998年 | 21篇 |
1997年 | 16篇 |
1996年 | 18篇 |
1995年 | 20篇 |
1994年 | 12篇 |
1993年 | 13篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 5篇 |
1989年 | 5篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1976年 | 1篇 |
排序方式: 共有1723条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
Axel Wabenhorst 《Theoretical computer science》2003,300(1-3):181-207
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. 相似文献
5.
建筑工程投标报价优选模型 总被引:1,自引:0,他引:1
金季岚 《信息技术与信息化》2007,(5):70-72,59
通过建立区间二次规划数学模型、灰色模型、多目标规划等模型,建立材料价格和用量的选择模型,提供投标单位一种便捷的调整工程造价和控制造价的手段。 相似文献
6.
通过对抽样检验方法的研究,确立了区间估计的下限公式,用来在已知样本值的情况下确定导弹单发命中概率出现在该区间内的置信水平和精确度。 相似文献
7.
Giorgio Vittadini Marco Fattore Pietro G. Lovaglio 《Computational statistics & data analysis》2007,51(12):5828-5846
A new approach for the estimation and the validation of a structural equation model with a formative-reflective scheme is presented. The basis of the paper is a proposal for overcoming a potential deficiency of PLS path modeling. In the PLS approach the reflective scheme assumed for the endogenous latent variables (LVs) is inverted; moreover, the model errors are not explicitly taken into account for the estimation of the endogenous LVs. The proposed approach utilizes all the relevant information in the formative manifest variables (MVs) providing solutions which respect the causal structure of the model. The estimation procedure is based on the optimization of the redundancy criterion. The new approach, entitled redundancy analysis approach to path modeling (RA-PM) is compared with both traditional PLS Path Modeling and LISREL methodology, on the basis of real and simulated data. 相似文献
8.
Yahia Lebbah 《Artificial Intelligence》2002,139(1):109-132
Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper1 we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis. 相似文献
9.
Robustness analysis of responses of vibration control structures with uncertain parameters using interval algorithm 总被引:1,自引:0,他引:1
Variations in system parameters due to uncertainties may result in system performance deterioration. Uncertainties in modeling of structures are often considered to ensure that control system is robust with respect to response errors. Hence, the uncertain concept plays an important role in vibration control of the engineering structures. The paper discusses the robustness of responses of vibration control systems with the uncertain parameters. The vibration control problem of an uncertain system is approximated by a deterministic one. The uncertain parameters are described by interval variables. The uncertain state matrix is constructed directly using system physical parameters and avoided to use bounds in Euclidean norm. The feedback gain matrix is determined based on the deterministic systems, and then it is applied to the actual uncertain systems. A method to calculate the upper and lower bounds of responses of the closed-loop system with uncertain parameters is presented. The upper bounds of responses can be used to estimate the robustness of responses of the controlled system with uncertain parameters. Two numerical examples are given to illustrate the applications of the present approach. 相似文献
10.
本以利用速度谱所伴生的叠加能量,采用二次曲线插值方法,寻找最大的叠加能量有所对应时间,然后利用叠加速度进行倾角校正,相位校正和最大炮检距校正,获取比较精确的层速度参数。 相似文献