全文获取类型
收费全文 | 66407篇 |
免费 | 4666篇 |
国内免费 | 3968篇 |
专业分类
电工技术 | 4278篇 |
技术理论 | 5篇 |
综合类 | 10481篇 |
化学工业 | 5981篇 |
金属工艺 | 638篇 |
机械仪表 | 2682篇 |
建筑科学 | 4616篇 |
矿业工程 | 457篇 |
能源动力 | 1481篇 |
轻工业 | 942篇 |
水利工程 | 484篇 |
石油天然气 | 388篇 |
武器工业 | 225篇 |
无线电 | 5801篇 |
一般工业技术 | 3747篇 |
冶金工业 | 1506篇 |
原子能技术 | 181篇 |
自动化技术 | 31148篇 |
出版年
2024年 | 321篇 |
2023年 | 916篇 |
2022年 | 1029篇 |
2021年 | 1510篇 |
2020年 | 1790篇 |
2019年 | 1550篇 |
2018年 | 1397篇 |
2017年 | 1895篇 |
2016年 | 2236篇 |
2015年 | 2451篇 |
2014年 | 4992篇 |
2013年 | 5153篇 |
2012年 | 4530篇 |
2011年 | 5413篇 |
2010年 | 4371篇 |
2009年 | 4480篇 |
2008年 | 3840篇 |
2007年 | 3954篇 |
2006年 | 3311篇 |
2005年 | 2779篇 |
2004年 | 2299篇 |
2003年 | 2095篇 |
2002年 | 1838篇 |
2001年 | 1467篇 |
2000年 | 1363篇 |
1999年 | 1089篇 |
1998年 | 887篇 |
1997年 | 767篇 |
1996年 | 701篇 |
1995年 | 599篇 |
1994年 | 521篇 |
1993年 | 502篇 |
1992年 | 379篇 |
1991年 | 368篇 |
1990年 | 287篇 |
1989年 | 223篇 |
1988年 | 199篇 |
1987年 | 173篇 |
1986年 | 141篇 |
1985年 | 187篇 |
1984年 | 192篇 |
1983年 | 170篇 |
1982年 | 148篇 |
1981年 | 97篇 |
1980年 | 72篇 |
1979年 | 87篇 |
1978年 | 63篇 |
1977年 | 67篇 |
1976年 | 19篇 |
1975年 | 15篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
21.
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. 相似文献
22.
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. 相似文献
23.
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. 相似文献
24.
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. 相似文献
25.
Ming-Puu Chen Asta Y. Z. Lord Yu-Yao Cheng Ku-Chou Tai Wen-Harn Pan 《Journal of Computer Assisted Learning》2020,36(3):383-396
Reflective judgement is crucial for medical-related practitioners in dealing with controversial issues. However, the conformity phenomenon is likely to occur and interfere with reflective judgement learning during interactive activities. Effective strategies are required to moderate the conformity behaviour tendency (CBT) and improve reflective judgement performance (RJP). This study demonstrates two significant results: (a) Compared with the guided self-reflection learning strategy, the online collective reflection (OCR) learning strategy effectively weakened the learners' general CBT while dealing with professional controversial issues; and (b) a significantly negative correlation between the RJP achieved and the change of CBT in online environment was detected in the OCR group. The implications and potential applications in higher education were discussed. Further studies are needed to confirm the long-term effects and the extending application to other professional studies. 相似文献
26.
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. 相似文献
27.
28.
在分析传统单片机教学存在问题的基础上,提出面向工程应用,聚焦企业需要,构建能力递进、面向应用的内容体系,搭建资源共享、实践创新、师生互动的自主学习平台,组建培养兴趣,突出技能的“双师型”教学团队,实践表明,在传授知识的同时,能有效提升学习兴趣,优化人才素质结构。 相似文献
29.
Many argue that digital technologies have the potential to enhance the teaching and learning of mathematics. However, the availability of technology is not sufficient to realise this potential. The study reported takes a detailed approach to investigate the utility of the particular offerings of the available technologies in the teaching and learning of a specific area of mathematics, functions. Sixteen affordances identified in the data are described. The complexity of the process involved in resolving a situation where particular affordances would be useful so as they are perceived and enacted is detailed. Finally, a grounded theory framework arising from the data analysis from this study that can be used to explain, predict and guide action in other digital environments is presented. 相似文献
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. 相似文献