全文获取类型
收费全文 | 275971篇 |
免费 | 30276篇 |
国内免费 | 18670篇 |
专业分类
电工技术 | 28363篇 |
技术理论 | 25篇 |
综合类 | 29614篇 |
化学工业 | 20501篇 |
金属工艺 | 8941篇 |
机械仪表 | 20704篇 |
建筑科学 | 26290篇 |
矿业工程 | 9249篇 |
能源动力 | 10878篇 |
轻工业 | 14327篇 |
水利工程 | 9581篇 |
石油天然气 | 10248篇 |
武器工业 | 2949篇 |
无线电 | 30279篇 |
一般工业技术 | 20978篇 |
冶金工业 | 8824篇 |
原子能技术 | 2779篇 |
自动化技术 | 70387篇 |
出版年
2024年 | 1037篇 |
2023年 | 4041篇 |
2022年 | 7879篇 |
2021年 | 9400篇 |
2020年 | 9575篇 |
2019年 | 7505篇 |
2018年 | 6955篇 |
2017年 | 8551篇 |
2016年 | 10055篇 |
2015年 | 10840篇 |
2014年 | 18089篇 |
2013年 | 17426篇 |
2012年 | 20642篇 |
2011年 | 22405篇 |
2010年 | 16649篇 |
2009年 | 17123篇 |
2008年 | 16669篇 |
2007年 | 19459篇 |
2006年 | 16684篇 |
2005年 | 14370篇 |
2004年 | 12012篇 |
2003年 | 10551篇 |
2002年 | 8415篇 |
2001年 | 7012篇 |
2000年 | 5827篇 |
1999年 | 4817篇 |
1998年 | 3824篇 |
1997年 | 3190篇 |
1996年 | 2610篇 |
1995年 | 2108篇 |
1994年 | 1774篇 |
1993年 | 1286篇 |
1992年 | 1103篇 |
1991年 | 815篇 |
1990年 | 657篇 |
1989年 | 575篇 |
1988年 | 460篇 |
1987年 | 306篇 |
1986年 | 268篇 |
1985年 | 284篇 |
1984年 | 304篇 |
1983年 | 279篇 |
1982年 | 231篇 |
1981年 | 130篇 |
1980年 | 106篇 |
1979年 | 83篇 |
1978年 | 60篇 |
1977年 | 53篇 |
1976年 | 46篇 |
1959年 | 36篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
81.
82.
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. 相似文献
83.
The proposed work involves the multiobjective PSO based adaption of optimal neural network topology for the classification of multispectral satellite images. It is per pixel supervised classification using spectral bands (original feature space). This paper also presents a thorough experimental analysis to investigate the behavior of neural network classifier for given problem. Based on 1050 number of experiments, we conclude that following two critical issues needs to be addressed: (1) selection of most discriminative spectral bands and (2) determination of optimal number of nodes in hidden layer. We propose new methodology based on multiobjective particle swarm optimization (MOPSO) technique to determine discriminative spectral bands and the number of hidden layer node simultaneously. The accuracy with neural network structure thus obtained is compared with that of traditional classifiers like MLC and Euclidean classifier. The performance of proposed classifier is evaluated quantitatively using Xie-Beni and β indexes. The result shows the superiority of the proposed method to the conventional one. 相似文献
84.
《矿业科学技术学报(英文版)》2020,30(6):785-797
In this study, uniaxial compressive strength (UCS), unit weight (UW), Brazilian tensile strength (BTS), Schmidt hardness (SHH), Shore hardness (SSH), point load index (Is50) and P-wave velocity (Vp) properties were determined. To predict the UCS, simple regression (SRA), multiple regression (MRA), artificial neural network (ANN), adaptive neuro-fuzzy inference system (ANFIS) and genetic expression programming (GEP) have been utilized. The obtained UCS values were compared with the actual UCS values with the help of various graphs. Datasets were modeled using different methods and compared with each other. In the study where the performance indice PIat was used to determine the best performing method, MRA method is the most successful method with a small difference. It is concluded that the mean PIat equal to 2.46 for testing dataset suggests the superiority of the MRA, while these values are 2.44, 2.33, and 2.22 for GEP, ANFIS, and ANN techniques, respectively. The results pointed out that the MRA can be used for predicting UCS of rocks with higher capacity in comparison with others. According to the performance index assessment, the weakest model among the nine model is P7, while the most successful models are P2, P9, and P8, respectively. 相似文献
85.
Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization. 相似文献
86.
This paper deals with the application of wavelet transforms for the detection, classification and location of faults on transmission lines. A Global Positioning System clock is used to synchronize sampling of voltage and current signals at both the ends of the transmission line. The detail coefficients of current signals of both the ends are utilized to calculate fault indices. These fault indices are compared with threshold values to detect and classify the faults. Artificial Neural Networks are employed to locate the fault, which make use of approximate decompositions of the voltages and currents of local end. The proposed algorithm is tested successfully for different locations and types of faults. 相似文献
87.
An intertwined supply network (ISN) is an entirety of interconnected supply chains (SC) which, in their integrity secure the provision of society and markets with goods and services. The ISNs are open systems with structural dynamics since the firms may exhibit multiple behaviours by changing the buyer-supplier roles in interconnected or even competing SCs. From the positions of resilience, the ISNs as a whole provide services to society (e.g. food service, mobility service or communication service) which are required to ensure a long-term survival. The analysis of survivability at the level of ISN requires a consideration at a large scale as resilience of individual SCs. The recent example of coronavirus COVID-19 outbreak clearly shows the necessity of this new perspective. Our study introduces a new angle in SC resilience research when a resistance to extraordinary disruptions needs to be considered at the scale of viability. We elaborate on the integrity of the ISN and viability. The contribution of our position study lies in a conceptualisation of a novel decision-making environment of ISN viability. We illustrate the viability formation through a dynamic game-theoretic modelling of a biological system that resembles the ISN. We discuss some future research areas. 相似文献
88.
89.
为了提升高校实验数据处理水平,高校实验室的相关建设工作已经步入正轨,但层出不穷的信息安全问题也向高校实验室计算机网络维护工作提出了新的挑战。文章从现阶段高校实验室计算机网络的相关建设工作出发,简要论述引发网络故障的具体原因,并对其诊断技术进行探讨。 相似文献
90.