全文获取类型
收费全文 | 6383篇 |
免费 | 749篇 |
国内免费 | 553篇 |
专业分类
电工技术 | 512篇 |
技术理论 | 1篇 |
综合类 | 415篇 |
化学工业 | 155篇 |
金属工艺 | 125篇 |
机械仪表 | 521篇 |
建筑科学 | 315篇 |
矿业工程 | 101篇 |
能源动力 | 121篇 |
轻工业 | 103篇 |
水利工程 | 143篇 |
石油天然气 | 136篇 |
武器工业 | 67篇 |
无线电 | 706篇 |
一般工业技术 | 441篇 |
冶金工业 | 174篇 |
原子能技术 | 136篇 |
自动化技术 | 3513篇 |
出版年
2024年 | 18篇 |
2023年 | 86篇 |
2022年 | 185篇 |
2021年 | 193篇 |
2020年 | 215篇 |
2019年 | 152篇 |
2018年 | 148篇 |
2017年 | 179篇 |
2016年 | 221篇 |
2015年 | 248篇 |
2014年 | 415篇 |
2013年 | 350篇 |
2012年 | 436篇 |
2011年 | 440篇 |
2010年 | 389篇 |
2009年 | 340篇 |
2008年 | 374篇 |
2007年 | 442篇 |
2006年 | 390篇 |
2005年 | 409篇 |
2004年 | 308篇 |
2003年 | 246篇 |
2002年 | 233篇 |
2001年 | 158篇 |
2000年 | 142篇 |
1999年 | 129篇 |
1998年 | 120篇 |
1997年 | 91篇 |
1996年 | 77篇 |
1995年 | 79篇 |
1994年 | 57篇 |
1993年 | 56篇 |
1992年 | 53篇 |
1991年 | 39篇 |
1990年 | 28篇 |
1989年 | 34篇 |
1988年 | 18篇 |
1987年 | 7篇 |
1986年 | 11篇 |
1985年 | 15篇 |
1984年 | 17篇 |
1983年 | 16篇 |
1982年 | 9篇 |
1981年 | 12篇 |
1980年 | 17篇 |
1979年 | 14篇 |
1978年 | 12篇 |
1976年 | 11篇 |
1975年 | 15篇 |
1973年 | 4篇 |
排序方式: 共有7685条查询结果,搜索用时 15 毫秒
1.
2.
Wenhao Qiu Guangyao Lian Peng Zhou Kaoli Huang 《Quality and Reliability Engineering International》2020,36(5):1592-1603
An extended failure mode effect and criticality analysis (FMECA)-based sample allocation method for testability verification is presented in this study to deal with the poor representativeness of test sample sets and the randomness of the testability evaluation results caused by unreasonable selection of failure samples. First, the fault propagation intensity is introduced as part of the extended information of FMECA, and the sample allocation impact factors of component units and failure modes are determined under this framework. Then, the failure mode similarity and impact factor support are defined, and the game decision method for weighing the relationship between similarity and support is proposed to obtain the weight of failure mode impact factor. Finally, a two-step allocation framework of test samples is formulated to realize the sample allocation of component units and failure modes. This method is applied to the testability verification test of a launch control system. Results show that this method can obtain more representative test samples compared with the traditional sample allocation method while effectively reducing randomness of single testability evaluation result. 相似文献
3.
目的分析果蔬汁中氯氰菊酯、多效唑、哒螨灵含量测定能力验证结果。方法本实验室参加中国检验检疫科学研究院测试评价中心组织的果蔬汁中氯氰菊酯、多效唑、哒螨灵的测定能力验证(ACAS-PT806-2019),根据能力验证作业指导书要求和样品情况,采用了QuEChERS样品前处理净化方案,气相色谱电子捕获检测器检测氯氰菊酯,内标法定量,液相色谱串联质谱检测多效唑和哒螨灵,外标法定量。结果 1号样品中氯氰菊酯、多效唑、哒螨灵残留量分别为0.098、0.043、0.084 mg/kg, 2号样品中氯氰菊酯、多效唑、哒螨灵残留量分别为:0.036、未检出、0.013 mg/kg。所有测定项目结果均为满意(|Z|≤2)。结论实验室解决了此次能力验证中没有空白样品,检测项目基质效应差异明显等难点。实验室农药残留检测能力得到有效验证和提高。 相似文献
4.
5.
轨道交通区域控制器(ZC)是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统(CBTC)的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法(PF)来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过Design Verifier验证器对需求进行组合验证.最后,使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性,它能自动地将安全需求模型进行组合验证,改善了验证的效率. 相似文献
6.
文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。 相似文献
7.
For industrial chemical process, preliminary-summation-based principal component analysis (PS-PCA), an amended PCA method was recently provided for coping with both Gaussian and non-Gaussian characteristics. By summing the training and monitoring data respectively, PS-PCA is capable of resolving the issue of non-Gaussian processes and achieves higher fault detection rate than the traditional PCA. However, in the PS-PCA summation operation, all data samples are regarded as the same weight, which results in the fault information of newly-samples may be diluted, leading to significant detection delays. To address this challenge, in this paper, we propose a novel weighted PS-PCA (WPS-PCA) method that employs an exponential weighting scheme to put more emphasis on recent information. Subsequently, a mathematical argument demonstrates that when the number of variables is enough plentiful, the obtained summation combined with the generalized central limit theorem conforms to approximately a Gaussian distribution. The kurtosis relationships indicate this conversion will bring out well-pleasing feasibility for conventional PCA. Ultimately, the proposed technique verifies detection performance using the Tennessee Eastman process, which is compared with the existing PCA and PS-PCA schemes, in terms of the fault detection time and fault detection rate. The simulation studies reveal that the proposed method is efficient and superior. 相似文献
8.
提出了一种小型轻便的流速仪检定系统的设计方案,并运用改进的多学科协同优化方法求解各学科设计变量的最优解。首先介绍了算法思想及改进措施,并根据系统设计要求建立了各学科的设计变量、目标函数和约束条件;其次,运用遗传算法求解各学科设计变量的最优解,并根据优化结果完善了系统的设计方案,同时运用计算机仿真等方法验证了优化结果的可行性。结果表明,优化后的检定系统满足流体力学效应、匀速运动时间、系统重量等设计要求,同时证明了协同优化算法解决多学科设计优化问题的有效性。 相似文献
9.
Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models. 相似文献
10.