首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1753篇
  免费   110篇
  国内免费   70篇
电工技术   91篇
技术理论   1篇
综合类   121篇
化学工业   71篇
金属工艺   45篇
机械仪表   105篇
建筑科学   236篇
矿业工程   41篇
能源动力   45篇
轻工业   75篇
水利工程   73篇
石油天然气   20篇
武器工业   24篇
无线电   124篇
一般工业技术   162篇
冶金工业   70篇
原子能技术   22篇
自动化技术   607篇
  2024年   3篇
  2023年   25篇
  2022年   26篇
  2021年   54篇
  2020年   50篇
  2019年   28篇
  2018年   30篇
  2017年   44篇
  2016年   44篇
  2015年   53篇
  2014年   130篇
  2013年   138篇
  2012年   115篇
  2011年   141篇
  2010年   105篇
  2009年   126篇
  2008年   92篇
  2007年   118篇
  2006年   88篇
  2005年   75篇
  2004年   67篇
  2003年   62篇
  2002年   55篇
  2001年   34篇
  2000年   28篇
  1999年   25篇
  1998年   19篇
  1997年   23篇
  1996年   18篇
  1995年   12篇
  1994年   9篇
  1993年   14篇
  1992年   3篇
  1991年   7篇
  1990年   4篇
  1989年   3篇
  1988年   8篇
  1987年   3篇
  1986年   4篇
  1985年   3篇
  1984年   5篇
  1983年   6篇
  1982年   3篇
  1963年   3篇
  1961年   2篇
  1960年   2篇
  1959年   2篇
  1956年   3篇
  1955年   3篇
  1954年   3篇
排序方式: 共有1933条查询结果,搜索用时 109 毫秒
1.
轨道交通区域控制器(ZC)是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统(CBTC)的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法(PF)来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过Design Verifier验证器对需求进行组合验证.最后,使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性,它能自动地将安全需求模型进行组合验证,改善了验证的效率.  相似文献   
2.
近年来,我国生态文明建设形势发生了根本性变化,国家对水电开发提出了更高的生态环保要求,只有加强建设项目环境影响评价事中事后的监管,才能形成了水电开发与生态环境和谐发展的流域水电开发新格局。笔者结合工程实际,从环保规划、体系建设、专项设计、措施落实、监督管理等角度,分析金沙江上游川藏段水电开发生态环保全过程管理的探索性工作,总结了建设单位强化自我监管、全面保障环保措施落实取得的初步成效,对推进“绿色水电”发展具有重要意义。  相似文献   
3.
Cyberattacks are difficult to prevent because the targeted companies and organizations are often relying on new and fundamentally insecure cloud-based technologies, such as the Internet of Things. With increasing industry adoption and migration of traditional computing services to the cloud, one of the main challenges in cybersecurity is to provide mechanisms to secure these technologies. This work proposes a Data Security Framework for cloud computing services (CCS) that evaluates and improves CCS data security from a software engineering perspective by evaluating the levels of security within the cloud computing paradigm using engineering methods and techniques applied to CCS. This framework is developed by means of a methodology based on a heuristic theory that incorporates knowledge generated by existing works as well as the experience of their implementation. The paper presents the design details of the framework, which consists of three stages: identification of data security requirements, management of data security risks and evaluation of data security performance in CCS.  相似文献   
4.
最新发布的强制性国家标准GB 2494—2014《固结磨具安全要求》实施日期为2015年1月1日,该标准内容与所代替标准GB 2494—2003《普通磨具安全规则》相比变化很大。本文首先对新旧标准技术内容的差异进行了对比,然后对新标准GB 2494—2014《固结磨具安全要求》的主要技术内容进行了介绍和解读,最后阐述了企业贯彻实施新标准的注意事项。以此指导相关方正确理解和贯彻实施该强制性国家标准。  相似文献   
5.
通信工程监理课程是通信工程设计与管理专业必修的专业核心课程,也是通信技术、光纤通信、三网融合等专业核心必修课。文章针对课程教学现状和职业岗位技能要求,从课程教学内容、教学考核等方面进行探索与研究,提出详细的教学内容和评价改革方案。  相似文献   
6.
针对部分市、县不能保证市政供水管网24 h 供水,停水期间,消防水鹤、市政消火栓均无法使用,现有规范标准不便于使用且防冻效果不好、建设成本较高等问题,提出了依托消防水池建设公共消防取水口的技术措施,并就建设公共取水口的水池选择、建设形式和建设要求进行了研究,表明该措施具有建设周期短、建设成本低、防寒、取水方便等特点,可有效解决部分城区公共消防供水能力不足的问题。  相似文献   
7.
为解决传统网络安全漏洞扫描受限,导致网络应用环境的安全性承载能力较差的问题,设计基于区块链技术的网络安全漏洞检测系统;利用网络爬虫模块抓取任务管理模块所需的待检测信息参量,按照漏洞数据所属的具体类别,将其分别反馈至XSS检测模块、SQL检测模块与CSRF检测模块之中;在此基础上,定义区块信息的实际交易格式,联合各项智能化合约,实现对系统功能需求的定向化分析,并完成相关用例图的构建;通过上述软、硬件设备基础,完成基于区块链技术的网络安全漏洞检测系统设计;对比实验结果显示,与C/S型网络漏洞检测系统相比,基于区块链技术检测系统的安全性等级划分条件更加细致,扫描web漏洞覆盖范围也更为广泛,有助于网络应用环境安全性承载能力的稳定提升.  相似文献   
8.
针对现有数据库基础课程教学无法满足学生多样化需求为背景,本文引入问卷调查获取学生个性化特征,根据学习者的基本信息、行为数据、态度数据以及学习结果对其进行画像,将具有相同学习行为的学生形成群体,按学生个人能力和需求给予个性化教学,并及时对学生学习过程进行干预,设计形成以人为本的差异性和多元化数据库课程教学新模式。  相似文献   
9.
The current Russian regulatory documents on the safety of nuclear power plant (NPP) specify the requirements regarding design basis accidents (DBAs) and beyond design basis accidents (BDBAs), including severe accidents (SAs) with core meltdown, in NPP design (NP-001-15, NP-082-07, and others). For a rigorous calculational justification of BDBAs and SAs, it is necessary to develop an integral CC that will be in line with the requirements of regulatory documents on verification and certification (RD-03-33-2008, RD-03-34-2000) and will allow for determining the amount of data required to provide information within the scope stipulated by the requirements for the structure of the safety analysis report (SAR) (NP-006-16). The system of codes for realistic analysis of severe accidents (SOCRAT) (formerly, thermohydraulics (RATEG)/coupled physical and chemical processes (SVECHA)/behavior of core materials relocated into the reactor lower plenum (HEFEST)) was developed in Russia to analyze a wide range of SAs at NPP with water-cooled water-moderated power-generating reactor (WWER) at all stages of the accident. Enhancements to the code and broadening of its applicability are continually being pursued by the code developers (Nuclear Safety Institute of the Russian Academy of Sciences (IBRAE RAN)) with OKB Gidropress JSC and other organizations. Currently, the SOCRAT/В1 code can be used as a base tool to obtain realistic estimates for all parameters important for computational justification of the reactor plant (RP) safety at the in-vessel stage of SAs with fuel melting. To perform analyses using CC SOCRAT/В1, the experience gained during execution of thermohydraulic codes is applied, which allows for minimizing the uncertainties in the results at the early stage of an accident scenario. This study presents the results of the work performed in 2010–2020 in OKB Gidropress JSC using the CC SOCRAT/В1. Approaches have been considered to develop calculational models and analyze SAs using CC SOCRAT. This process, which is clearly structured in OKB Gidropress JSC, provides a noticeable reduction in human involvement, and reduces the probability of erroneous results.This study represents the principal results of the work performed in 2010–2020 in OKB Gidropress JSC using the CC SOCRAT, as well as a list of the tasks planned for 2021–2023. CC SOCRAT/B1 is used as the base thermohydraulic SAs code.  相似文献   
10.
《Journal of dairy science》2022,105(3):2708-2717
Each cow in a group has different nutritional requirements even if the group is formed by cows of similar age, number of lactations, and lactation stage. Common dairy farm management setup does not support formulating a diet that accurately matches individual nutritional requirements for each cow; therefore, a proportion of cows in the group will be overfed and another proportion underfed. Overfeeding and underfeeding cows increases the risk of metabolic diseases, decreases milk production, and increases nutrient waste. Consequently, profitability of dairy farms and the environment are negatively affected. Nutritional grouping is a management strategy that aims to allocate lactating cows homogeneously according to their nutritional requirements. Groups of cows with more uniform nutritional requirements facilitates the formulation of more accurate diets for the group. Current availability of large data streams on dairy farms facilitates the design of algorithms to implement nutritional grouping. Our review summarizes important factors to consider when grouping cows, describes nutritional grouping approaches, and summarizes benefits of implementing nutritional grouping in dairy farms.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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