全文获取类型
收费全文 | 3036篇 |
免费 | 343篇 |
国内免费 | 285篇 |
专业分类
电工技术 | 327篇 |
综合类 | 251篇 |
化学工业 | 99篇 |
金属工艺 | 40篇 |
机械仪表 | 199篇 |
建筑科学 | 82篇 |
矿业工程 | 19篇 |
能源动力 | 63篇 |
轻工业 | 8篇 |
水利工程 | 27篇 |
石油天然气 | 18篇 |
武器工业 | 21篇 |
无线电 | 167篇 |
一般工业技术 | 326篇 |
冶金工业 | 53篇 |
原子能技术 | 2篇 |
自动化技术 | 1962篇 |
出版年
2024年 | 18篇 |
2023年 | 82篇 |
2022年 | 69篇 |
2021年 | 96篇 |
2020年 | 126篇 |
2019年 | 116篇 |
2018年 | 90篇 |
2017年 | 111篇 |
2016年 | 139篇 |
2015年 | 130篇 |
2014年 | 193篇 |
2013年 | 248篇 |
2012年 | 188篇 |
2011年 | 192篇 |
2010年 | 161篇 |
2009年 | 179篇 |
2008年 | 191篇 |
2007年 | 169篇 |
2006年 | 180篇 |
2005年 | 162篇 |
2004年 | 126篇 |
2003年 | 126篇 |
2002年 | 116篇 |
2001年 | 79篇 |
2000年 | 62篇 |
1999年 | 53篇 |
1998年 | 49篇 |
1997年 | 40篇 |
1996年 | 20篇 |
1995年 | 34篇 |
1994年 | 18篇 |
1993年 | 16篇 |
1992年 | 12篇 |
1991年 | 16篇 |
1990年 | 12篇 |
1989年 | 10篇 |
1988年 | 6篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 5篇 |
1984年 | 8篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1980年 | 3篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1966年 | 1篇 |
排序方式: 共有3664条查询结果,搜索用时 31 毫秒
991.
992.
In this paper, we study the partitioning of constraints in temporal planning problems formulated as mixed-integer nonlinear programming (MINLP) problems. Constraint partitioning is attractive because it leads to much easier subproblems, where each is a significant relaxation of the original problem. Moreover, each subproblem is very similar to the original problem and can be solved by any existing solver with little or no modification. Constraint partitioning, however, introduces global constraints that may be violated when subproblems are evaluated independently. To reduce the overhead in resolving such global constraints, we develop in this paper new conditions and algorithms for limiting the search space to be backtracked in each subproblem. Using a penalty formulation of a MINLP where the constraint functions of the MINLP are transformed into non-negative functions, we present a necessary and sufficient extended saddle-point condition (ESPC) for constrained local minimization. When the penalties are larger than some thresholds, our theory shows a one-to-one correspondence between a constrained local minimum of the MINLP and an extended saddle point of the penalty function. Hence, one way to find a constrained local minimum is to increase gradually the penalties of those violated constraints and to look for a local minimum of the penalty function using any existing algorithm until a solution to the constrained model is found. Next, we extend the ESPC to constraint-partitioned MINLPs and propose a partition-and-resolve strategy for resolving violated global constraints across subproblems. Using the discrete-space ASPEN and the mixed-space MIPS planners to solve subproblems, we show significant improvements on some planning benchmarks, both in terms of the quality of the plans generated and the execution times to find them. 相似文献
993.
This paper presents a Newton-like algorithm for solving systems of rank constrained linear matrix inequalities. Though local quadratic convergence of the algorithm is not a priori guaranteed or observed in all cases, numerical experiments, including application to an output feedback stabilization problem, show the effectiveness of the algorithm. 相似文献
994.
Hybrid dynamical approach is an effective way of solving FMS scheduling problems. In this paper the mathematical model and processes determination are shortly reviewed. New results are outlined for the determination of time periods of periodic motions for simple (two part types) problems and for complex (multi-part types, multi-machine groups) cases, too. Having the time periods, all the significant planning parameters can be easily determined. As a consequence of the above, the idea of periodic and transient schedules is introduced. A planning procedure is developed. Based on the new prospects obtained, an important development of the mathematical model is proposed. This is to expand the mathematical model with buffer capacities constraints. These new constraints determine the final results of planning. Using a manipulation of set-up times (regularizibility) a future improvement of the processes can be realized. All this leads to a very simple, real-time scheduling of FMS. 相似文献
995.
分析在海洋领域元数据应用情况和标准化现状,提出基于生命周期的海洋元数据标准的设计框架;并在框架内针对海洋数据过程特点提出基于生命周期的海洋元数据管理模型;在海洋数据综合管理平台中基于生命周期的海洋元数据进行设计。 相似文献
996.
将约束理论应用于逆向物流中,利用约束理论的相关评价指标,以有效产出作为决策目标,构建了一个逆向物流回收配送整合决策模型,对逆向物流系统进行整体优化,并且以一个回收处理橡胶废弃物的企业作为算例,通过对比基于TOC的决策模型和基于成本最小化的传统决策模型的运算结果,说明了约束理论在解决这类问题中的优越性.将约束理论的作业衡量标准应用于回收配送的过程,加强对逆向物流的管理,能够使逆向物流从整体上发挥最大效益. 相似文献
997.
The nonlocal Newton method is developed for nonlinear problems of conditional convex optimization and monotone variational inequalities in a finite-dimensional space. The Newton direction vector is calculated from a solution of a linear-approximating variational inequality. A new penalty function is proposed to define a step length. 相似文献
998.
999.
Design and analysis techniques for computer experiments have been largely developed. However, empirical emulators generated based on experimental data usually fail to incorporate physical principles and dimensional constraints the computer model follows. In this article, we propose a new design and analysis framework based on dimensional analysis (DA), a widely used reduction technique in physics and engineering. We show that implementing DA in computer experiments is efficient, scalable, interpretable, robust and costless. We demonstrate the benefits and improvement in details by theoretical derivations and numerical examples of the borehole model and the damped harmonic oscillation. 相似文献
1000.
证明了一个具有单元的环,在整系数多项式约束下的交换性定理,把Kezlan关于y^m(x,y)〉1的结果推广成y^2qm(y)。 相似文献