全文获取类型
收费全文 | 73315篇 |
免费 | 6844篇 |
国内免费 | 5609篇 |
专业分类
电工技术 | 5663篇 |
技术理论 | 13篇 |
综合类 | 7739篇 |
化学工业 | 5502篇 |
金属工艺 | 1201篇 |
机械仪表 | 3716篇 |
建筑科学 | 5310篇 |
矿业工程 | 1464篇 |
能源动力 | 2625篇 |
轻工业 | 994篇 |
水利工程 | 1329篇 |
石油天然气 | 1129篇 |
武器工业 | 762篇 |
无线电 | 5775篇 |
一般工业技术 | 7217篇 |
冶金工业 | 2999篇 |
原子能技术 | 476篇 |
自动化技术 | 31854篇 |
出版年
2024年 | 224篇 |
2023年 | 1137篇 |
2022年 | 1204篇 |
2021年 | 1677篇 |
2020年 | 2096篇 |
2019年 | 2062篇 |
2018年 | 2039篇 |
2017年 | 2538篇 |
2016年 | 2740篇 |
2015年 | 2631篇 |
2014年 | 4318篇 |
2013年 | 5877篇 |
2012年 | 4069篇 |
2011年 | 4901篇 |
2010年 | 3755篇 |
2009年 | 4348篇 |
2008年 | 4455篇 |
2007年 | 4523篇 |
2006年 | 4098篇 |
2005年 | 3591篇 |
2004年 | 2962篇 |
2003年 | 2645篇 |
2002年 | 2348篇 |
2001年 | 1874篇 |
2000年 | 1749篇 |
1999年 | 1559篇 |
1998年 | 1319篇 |
1997年 | 1170篇 |
1996年 | 1034篇 |
1995年 | 928篇 |
1994年 | 805篇 |
1993年 | 743篇 |
1992年 | 604篇 |
1991年 | 519篇 |
1990年 | 416篇 |
1989年 | 373篇 |
1988年 | 304篇 |
1987年 | 224篇 |
1986年 | 222篇 |
1985年 | 244篇 |
1984年 | 247篇 |
1983年 | 207篇 |
1982年 | 186篇 |
1981年 | 129篇 |
1980年 | 96篇 |
1979年 | 105篇 |
1978年 | 78篇 |
1977年 | 76篇 |
1964年 | 27篇 |
1955年 | 38篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
21.
Laura Menini Corrado Possieri Antonio Tornambè 《International Journal of Adaptive Control and Signal Processing》2015,29(12):1578-1590
The main goal of this paper is to design a compensator able to restore the nominal behavior of a planar system, which is rendered chaotic by an unmeasurable sinusoidal disturbance input. To reach such a goal, some instruments, taken from algebraic geometry, are used to estimate the unmeasurable disturbance from the time derivatives of the output of the system and of the control input. Copyright © 2015 John Wiley & Sons, Ltd. 相似文献
22.
As a symbol of sharing economy, ride-hailing services have spread to Asia, where various forms of services have been established according to the existing socio-technical regimes, including legal, policy, and environmental concerns. China, in particular, has accepted ride-hailing services by revising existing institutions. This study analyzes China’s acceptance of ride-hailing services in the socio-technical system context set up for legacy services. Simulation modeling, combined with transition theory and an agent-based model, is used to analyze the data. This study calculates consumer disutility based on mobility market share, reflecting consumer preference, and predicts the sustainability of ride-hailing services. The simulation results conclude that legalization and socio-technical context are of importance for sustainable mobility. 相似文献
23.
Yude Ji Yanping Guo Yuejuan Liu Yun Tian 《International Journal of Adaptive Control and Signal Processing》2020,34(3):283-297
This article focuses on the consensus problem of leader-following fractional-order multi-agent systems (MASs) with general linear and Lipschitz nonlinear dynamics. First, the distributed adaptive protocols for linear and nonlinear fractional-order MASs are constructed, respectively. We allow the control coupling gains to be time varying for each agent. Moreover, the adaptive modification schemes for the control gain are designed, which renders smaller control gains and thus requires smaller amplitude on the control input without sacrificing consensus convergence. Second, based on fractional-order Lyapunov stability theorem and Barbalat's lemma, two novel sufficient conditions in terms of linear matrix inequalities are provided to ensure that the leader-following consensus can be obtained in the case for any undirected connected communication graph. Furthermore, we show that the proposed algorithm also works for consensus of agents with intrinsic Lipschitz nonlinear dynamics. As a result, the proposed framework requires no global information and thus can be implemented in a fully distributed manner. Finally, the numerical simulations are given to demonstrate the effectiveness of obtained the theoretical results. 相似文献
24.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up. 相似文献
25.
In this paper, an adaptive control approach is designed for compensating the faults in the actuators of chaotic systems and maintaining the acceptable system stability. We propose a state‐feedback model reference adaptive control scheme for unknown chaotic multi‐input systems. Only the dimensions of the chaotic systems are required to be known. Based on Lyapunov stability theory, new adaptive control laws are synthesized to accommodate actuator failures and system nonlinearities. An illustrative example is studied. The simulation results show the effectiveness of the design method. Copyright © 2014 John Wiley & Sons, Ltd. 相似文献
26.
Data fitting with B-splines is a challenging problem in reverse engineering for CAD/CAM, virtual reality, data visualization, and many other fields. It is well-known that the fitting improves greatly if knots are considered as free variables. This leads, however, to a very difficult multimodal and multivariate continuous nonlinear optimization problem, the so-called knot adjustment problem. In this context, the present paper introduces an adapted elitist clonal selection algorithm for automatic knot adjustment of B-spline curves. Given a set of noisy data points, our method determines the number and location of knots automatically in order to obtain an extremely accurate fitting of data. In addition, our method minimizes the number of parameters required for this task. Our approach performs very well and in a fully automatic way even for the cases of underlying functions requiring identical multiple knots, such as functions with discontinuities and cusps. To evaluate its performance, it has been applied to three challenging test functions, and results have been compared with those from other alternative methods based on AIS and genetic algorithms. Our experimental results show that our proposal outperforms previous approaches in terms of accuracy and flexibility. Some other issues such as the parameter tuning, the complexity of the algorithm, and the CPU runtime are also discussed. 相似文献
27.
Controllability and observability of multi-agent systems with heterogeneous and switching topologies
ABSTRACTThis paper focuses on controllability and observability of multi-agent systems with heterogeneous and switching topologies, where the first- and the second-order information interaction topologies are different and switching. First, based on the controllable state set, a controllability criterion is obtained in terms of the controllability matrix corresponding to the switching sequence. Next, by virtue of the subspace sequence, two necessary and sufficient algebraic conditions are established for controllability in terms of the system matrices corresponding to all the possible topologies. Furthermore, controllability is considered from the graphic perspective. It is proved that the system is controllable if the union graph of all the possible topologies is controllable. With respect to observability, two sufficient and necessary conditions are derived by taking advantage of the system matrices and the corresponding invariant subspace, respectively. Finally, some simulation examples are worked out to illustrate the theoretical results. 相似文献
28.
ABSTRACTIn this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory. 相似文献
29.
This article examines how older adults use and perceive digital technologies in Finland and Ireland. These two countries are at different stages regarding two important global trends – demographic ageing and digitalization. Finland, being the fastest ageing society in Europe, is also one of the leaders in implementing digital technologies in social and health care services. In contrast, Ireland is a demographically younger and less digitalized society. Drawing on focus group discussions on the usage of digital technologies, conducted with older adults in both countries, we analyse how digital technologies are adopted and viewed by older generations. The analyses showed that older adults associate digitalization with both advantages and drawbacks. To encapsulate these two contrasting aspects, we developed the term Janus-faced conceptions of technology. This concept encapsulates how the successful adoption of digital technology facilitates everyday activities whereas the inability to utilise technologies results in feelings of alienation and being out-of-touch. The digital divide was found to occur not only between generations but also between different socioeconomic groups of older adults. 相似文献
30.
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results. 相似文献