全文获取类型

收费全文 |
209264篇 |

免费 |
34235篇 |

国内免费 |
1109篇 |

专业分类

电工技术 |
34038篇 |

技术理论 |
22篇 |

综合类 |
24865篇 |

化学工业 |
9924篇 |

金属工艺 |
7417篇 |

机械仪表 |
17978篇 |

建筑科学 |
18395篇 |

矿业工程 |
8778篇 |

能源动力 |
7956篇 |

轻工业 |
4698篇 |

水利工程 |
6460篇 |

石油天然气 |
6434篇 |

武器工业 |
3749篇 |

无线电 |
21368篇 |

一般工业技术 |
11052篇 |

冶金工业 |
6651篇 |

原子能技术 |
2293篇 |

自动化技术 |
52530篇 |

出版年

2024年 |
94篇 |

2023年 |
1856篇 |

2022年 |
3530篇 |

2021年 |
4723篇 |

2020年 |
5160篇 |

2019年 |
3562篇 |

2018年 |
3123篇 |

2017年 |
4704篇 |

2016年 |
5502篇 |

2015年 |
6690篇 |

2014年 |
13416篇 |

2013年 |
11305篇 |

2012年 |
16010篇 |

2011年 |
17090篇 |

2010年 |
12910篇 |

2009年 |
12985篇 |

2008年 |
13318篇 |

2007年 |
17154篇 |

2006年 |
15421篇 |

2005年 |
13800篇 |

2004年 |
11316篇 |

2003年 |
10231篇 |

2002年 |
7757篇 |

2001年 |
6498篇 |

2000年 |
5325篇 |

1999年 |
4282篇 |

1998年 |
3202篇 |

1997年 |
2582篇 |

1996年 |
2326篇 |

1995年 |
1993篇 |

1994年 |
1642篇 |

1993年 |
1110篇 |

1992年 |
937篇 |

1991年 |
679篇 |

1990年 |
547篇 |

1989年 |
455篇 |

1988年 |
327篇 |

1987年 |
184篇 |

1986年 |
110篇 |

1985年 |
119篇 |

1984年 |
103篇 |

1983年 |
91篇 |

1982年 |
69篇 |

1981年 |
64篇 |

1980年 |
51篇 |

1979年 |
45篇 |

1978年 |
34篇 |

1977年 |
28篇 |

1976年 |
23篇 |

1959年 |
20篇 |

**排序方式：**共有10000条查询结果，搜索用时 78 毫秒

1.

**Context**A component-based software (CBS) system is a typical example of a composite component, which is composed of two or more atomic components. In the test of a CBS system, it is necessary to automatically generate expected results because they are compared with the actual results.

**Objective**This paper proposes an automatic generation algorithm of expected results for the testing of a CBS system.

**Method**The algorithm analyzes Input/Output (I/O) relationships of a CBS system to identify inputs that influence its outputs. Then, the algorithm uses test cases of atomic components for each input and automatically generates expected results. To evaluate the proposed approach, we compare the proposed approach with the other I/O relationship based approach via two case studies which are the CBS systems for guide robot. The comparison shows the effectiveness of our approach.

**Results**To verify effectiveness of the proposed approach, we measure the cost of manual generation of expected results for each case study. The costs are from 0.001 to 0.015 in the first case study, and are from 0.590 to 0.998 in the second case study.

**Conclusion**This proposed approach reduces the time-consuming and error-prone task which manually generates expected results for the testing of a CBS system. 相似文献

2.

**Context**There are several empirical principles related to the distribution of faults in a software system (e.g. the Pareto principle) widely applied in practice and thoroughly studied in the software engineering research providing evidence in their favor. However, the knowledge of the underlying probability distribution of faults, that would enable a systematic approach and refinement of these principles, is still quite limited.

**Objective**In this paper we study the probability distribution of faults detected during verification in four consecutive releases of a large-scale complex software system for the telecommunication exchanges. This is the first such study analyzing closed software system, replicating two previous studies for open source software.

**Method**We take into consideration the Weibull, lognormal, double Pareto, Pareto, and Yule–Simon probability distributions, and investigate how well these distributions fit our empirical fault data using the non-linear regression.

**Results**The results indicate that the double Pareto distribution is the most likely choice for the underlying probability distribution. This is

*not*consistent with the previous studies on open source software.

**Conclusion**The study shows that understanding the probability distribution of faults in complex software systems is more complicated than previously thought. Comparison with previous studies shows that the fault distribution strongly depends on the environment, and only further replications would make it possible to build up a general theory for a given context. 相似文献

3.

The optimal boundary control problem is studied for coupled parabolic PDE–ODE systems. The linear quadratic method is used and exploits an infinite-dimensional state-space representation of the coupled PDE–ODE system. Linearization of the nonlinear system is established around a steady-state profile. Using appropriate state transformations, the linearized system has been formulated as a well-posed infinite-dimensional system with bounded input and output operators. It has been shown that the resulting system is a Riesz spectral system. The linear quadratic control problem has been solved using the corresponding Riccati equation and the solution of the corresponding eigenvalue problem. The results were applied to the case study of a catalytic cracking reactor with catalyst deactivation. Numerical simulations are performed to illustrate the performance of the proposed controller. 相似文献

4.

Complex curved surface parts with local geometric feature are usually critical parts in high-end equipments. However, the processing for this kind of parts is usually difficult or inefficient due to the adoption of difficult-to-machine material and special structure. Current approaches cannot satisfy the rapid development of high-end equipments. Due to the existence of the local geometric feature for the parts, processing such parts with constant machining parameters is less applicative, restricting the improvement of machining efficiency. By separating the local geometric feature and generating tool path for the local geometric feature and the remaining processing area separately, the more efficient machining with variable machining parameters will be obtained for the complex curved surface with local geometric feature. In this way, the quick segmentation for the complex curved surface with local geometric feature is of great importance to the NC machining with variable machining parameters for this kind of parts, and a quick segmentation system is developed based on Initial Graphics Exchange Specification (IGES) and Open CASCADE (OCC) platform in this study. The complex curved surface model in IGES format is firstly imported into the system and then trimmed into independent surface patches. After computing the feature size of each surface patch, the segmentation for the complex curved surface is achieved by sorting and classifying the surface patches according to their feature sizes. Taking the whole impeller with small splitter blades for an example, the experimental result shows that the segmentation of small splitter blades from the whole impeller is successful and a serialized processing program could be generated, and then the whole impeller could be machined precisely and efficiently with NC equipment. In the machining experiment, it is proved that the machining with various machining parameters can improve the efficiency by 28.18% in the comparison experiment, 20.14% and 12.33% in the estimation. The research provides an important foundation for the high quality and more efficient machining of the complex curved surface with local geometric feature. 相似文献

5.

Installing pedestrian ramps is a common improvement towards a barrier-free environment. This paper introduces a graph-theoretical method of retrofitting of a single-branch Truss-Z (TZ) ramp in a constrained environment. The results produced by this exhaustive search method are usually ideal and better than those produced previously with meta-heuristic methods.A large case study of linking two sections of the Hongo Campus of Tokyo University using an overpass in an extremely constrained environment is presented. TZ modules with 1:12 (8.3%) slope are used, which is allowable in most countries for ramps for self-powered wheelchairs.The results presented here are highly satisfactory both in terms of structural optimization and aesthetics.Visualizations of the TZ ramp system, composed of 124 units, are presented. 相似文献

6.

The supervision of a hybrid power plant, including solar panels, a gas microturbine and a storage unit operating under varying solar power profiles is considered. The Economic Supervisory Predictive controller assigns the power references to the controlled subsystems of the hybrid cell using a financial criterion. A prediction of the renewable sources power is embedded into the supervisor. Results deteriorate when the solar power is unsteady, owing to the inaccuracy of the predictions for a long-range horizon of 10 s. The receding horizon is switched between an upper and a lower value according to the amplitude of the solar power trend. Theoretical results show the relevance of horizon switching, according to a tradeoff between performance and prediction accuracy. Experimental results, obtained in a Hardware In the Loop (HIL) framework, show the relevance of the variable horizon approach. Power amplifiers allow us to simulate virtual components, such as a gas microturbine, and to blend their powers with that of real devices (storage unit, real solar panels). In this case, fuel savings, reaching 15%, obtained under unsteady operating conditions lead to a better overall performance of the hybrid cell. The overall savings obtained in the experiments amount to 12%. 相似文献

7.

Controller discretization has the potential to jeopardize the stability of a bilateral teleoperation system. As reported in the literature, stability conditions impose bounds on the gains of the discrete-time controller and the sampling period and also a trade-off between the two. This paper shows a choice of task for which large sampling periods, necessitating low control gains for maintaining stability, lead to low teleoperation transparency and unacceptable task performance. It continues to show that users can successfully perform the same task if the controller is implemented using analog components. This highlights the advantages of analog haptics in tasks involving the display of highly stiff environments. The paper also highlights the constraints in designing analog haptic teleoperation controllers and proposes design guidelines to address them. 相似文献

8.

农业海量信息资源管理平台设计与实现

**总被引：1，自引：0，他引：1**随着农业信息化的深入,如何描述、存储、管理和处理海量分布信息资源成为农业应用的首要问题。提出基于XML/XML Schema的统一农业信息资源描述框架,将XML描述与元数据约束相结合,采用层次化管理结构实现元数据与资源信息的组织;在HDFS(Hadoop Distributed File System)云存储架构适应性改进基础之上,设计实现了农业海量信息资源管理平台,实现了海量、分布、异构资源的分类组织、存储和访问服务。平台覆盖了全国6个省市资源节点,实现了3.2 TB农业资源存储管理,与传统资源检索方法相比,平台资源检索时间缩短73%;同时,用户在同一检索条件下能更多地获得相关资源,不仅查准率平均提高5%,而且资源利用率平均提高17.7%。平台在海量资源检索和利用效率方面获得提升。 相似文献

9.

10.