首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   38996篇
  免费   3104篇
  国内免费   3288篇
电工技术   3207篇
技术理论   5篇
综合类   2469篇
化学工业   2483篇
金属工艺   350篇
机械仪表   1538篇
建筑科学   1354篇
矿业工程   188篇
能源动力   1385篇
轻工业   467篇
水利工程   280篇
石油天然气   237篇
武器工业   202篇
无线电   2850篇
一般工业技术   3035篇
冶金工业   976篇
原子能技术   154篇
自动化技术   24208篇
  2024年   164篇
  2023年   624篇
  2022年   488篇
  2021年   765篇
  2020年   1057篇
  2019年   1111篇
  2018年   1054篇
  2017年   1418篇
  2016年   1522篇
  2015年   1362篇
  2014年   2323篇
  2013年   3519篇
  2012年   1879篇
  2011年   2381篇
  2010年   1719篇
  2009年   2234篇
  2008年   2205篇
  2007年   2222篇
  2006年   1943篇
  2005年   1742篇
  2004年   1461篇
  2003年   1384篇
  2002年   1261篇
  2001年   998篇
  2000年   1004篇
  1999年   899篇
  1998年   809篇
  1997年   724篇
  1996年   652篇
  1995年   572篇
  1994年   516篇
  1993年   492篇
  1992年   371篇
  1991年   361篇
  1990年   284篇
  1989年   218篇
  1988年   191篇
  1987年   167篇
  1986年   139篇
  1985年   181篇
  1984年   189篇
  1983年   168篇
  1982年   147篇
  1981年   97篇
  1980年   71篇
  1979年   85篇
  1978年   61篇
  1977年   67篇
  1976年   19篇
  1975年   13篇
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
Number entry is a ubiquitous activity and is often performed in safety- and mission-critical procedures, such as healthcare, science, finance, aviation and in many other areas. We show that Monte Carlo methods can quickly and easily compare the reliability of different number entry systems. A surprising finding is that many common, widely used systems are defective, and induce unnecessary human error. We show that Monte Carlo methods enable designers to explore the implications of normal and unexpected operator behaviour, and to design systems to be more resilient to use error. We demonstrate novel designs with improved resilience, implying that the common problems identified and the errors they induce are avoidable.  相似文献   
2.
现今国内的数字集群网络发展存在局限性、差异性,还远没有达到“网”状分布的程度,因此,共网数字集群发展空间巨大、前景广阔。通过列举共网数字集群系统在龙嘉国际机场和长春雷锋车队的成功应用案例,探讨了我国共网数字集群系统应用的可行性和必要性。  相似文献   
3.
Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system.  相似文献   
4.
ContextEnterprise software systems (e.g., enterprise resource planning software) are often deployed in different contexts (e.g., different organizations or different business units or branches of one organization). However, even though organizations, business units or branches have the same or similar business goals, they may differ in how they achieve these goals. Thus, many enterprise software systems are subject to variability and adapted depending on the context in which they are used.ObjectiveOur goal is to provide a snapshot of variability in large scale enterprise software systems. We aim at understanding the types of variability that occur in large industrial enterprise software systems. Furthermore, we aim at identifying how variability is handled in such systems.MethodWe performed an exploratory case study in two large software organizations, involving two large enterprise software systems. Data were collected through interviews and document analysis. Data were analyzed following a grounded theory approach.ResultsWe identified seven types of variability (e.g., functionality, infrastructure) and eight mechanisms to handle variability (e.g., add-ons, code switches).ConclusionsWe provide generic types for classifying variability in enterprise software systems, and reusable mechanisms for handling such variability. Some variability types and handling mechanisms for enterprise software systems found in the real world extend existing concepts and theories. Others confirm findings from previous research literature on variability in software in general and are therefore not specific to enterprise software systems. Our findings also offer a theoretical foundation for describing variability handling in practice. Future work needs to provide more evaluations of the theoretical foundations, and refine variability handling mechanisms into more detailed practices.  相似文献   
5.
The purpose of this research was to study the capacity of emulsions containing saturated monoglyceride self‐assembly structures to deliver omega‐3 fatty acids in fresh soft cheese. To this aim, fortified emulsions containing different ratios of milk, saturated monoglycerides (MGs) and cod liver oil were added to milk before cheese‐making. These emulsions were characterised by distinct microstructural features observed by polarised light microscopy and apparent viscosity values. The omega‐3 delivery performance of MG emulsions highlighted that this strategy allowed a good retention of the omega‐3‐rich oil in the curd (up to 75%). The fortified cheeses showed yield value and fat content higher than those of control samples. The enriched cheese showed hardness and cohesiveness obtained by texture profile analysis similar to those of the unfortified product. Only a slight decrease in gumminess was detected in fortified cheese.  相似文献   
6.
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.  相似文献   
7.
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.  相似文献   
8.
ABSTRACT

In 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.  相似文献   
9.
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.  相似文献   
10.
In this paper, tracking control of underactuated ship in the presence of input saturation is addressed. By dividing the tracking error dynamic system into a cascade of two subsystems, the torques in surge and yaw axes are designed separately using the backstepping technique. More specifically, we design the yaw axis torque in such a way that its corresponding subsystem is finite time stable, which makes it to be de-coupled from the second subsystem after a finite time. This enables us to design the torque in the surge axis independently. It is shown that the closed-loop system is stable and the mean-square tracking errors can be made arbitrarily small by choosing design parameters. Simulation results also verify the effectiveness of the proposed scheme.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号