全文获取类型
收费全文 | 128744篇 |
免费 | 14707篇 |
国内免费 | 10024篇 |
专业分类
电工技术 | 10403篇 |
技术理论 | 1篇 |
综合类 | 12942篇 |
化学工业 | 17386篇 |
金属工艺 | 8177篇 |
机械仪表 | 9077篇 |
建筑科学 | 9735篇 |
矿业工程 | 4433篇 |
能源动力 | 3285篇 |
轻工业 | 14595篇 |
水利工程 | 3904篇 |
石油天然气 | 4639篇 |
武器工业 | 1634篇 |
无线电 | 14258篇 |
一般工业技术 | 12265篇 |
冶金工业 | 4819篇 |
原子能技术 | 2037篇 |
自动化技术 | 19885篇 |
出版年
2024年 | 680篇 |
2023年 | 1977篇 |
2022年 | 4639篇 |
2021年 | 6001篇 |
2020年 | 4325篇 |
2019年 | 3287篇 |
2018年 | 3608篇 |
2017年 | 3886篇 |
2016年 | 3544篇 |
2015年 | 5547篇 |
2014年 | 7082篇 |
2013年 | 8531篇 |
2012年 | 10500篇 |
2011年 | 11236篇 |
2010年 | 10435篇 |
2009年 | 10334篇 |
2008年 | 10498篇 |
2007年 | 10094篇 |
2006年 | 8712篇 |
2005年 | 7155篇 |
2004年 | 5113篇 |
2003年 | 3573篇 |
2002年 | 3374篇 |
2001年 | 2976篇 |
2000年 | 2276篇 |
1999年 | 1128篇 |
1998年 | 516篇 |
1997年 | 451篇 |
1996年 | 349篇 |
1995年 | 279篇 |
1994年 | 237篇 |
1993年 | 216篇 |
1992年 | 158篇 |
1991年 | 128篇 |
1990年 | 102篇 |
1989年 | 92篇 |
1988年 | 71篇 |
1987年 | 58篇 |
1986年 | 49篇 |
1985年 | 25篇 |
1984年 | 18篇 |
1983年 | 22篇 |
1982年 | 22篇 |
1981年 | 19篇 |
1980年 | 47篇 |
1979年 | 23篇 |
1977年 | 10篇 |
1976年 | 13篇 |
1959年 | 9篇 |
1951年 | 18篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
971.
972.
973.
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。 相似文献
974.
目前在大多数多代理多签名(multi-proxy multi-signature,MPMS)方案中,所有的原始签名人指定同一个代理群生成代理签名。然而在很多实际应用中,每个原始签名人经常需要在自己所在的组织中选择代理群,从而导致各个原始签名人需要选择不同的代理群,代表自己生成代理签名。现有的多代理多签名方案中还没有考虑这方面的需求。提出一个可以指定不同代理群的MPMS方案。在该方案中,可以指定一个多人的验证群合作验证最终签名的合法性。为证明方案的安全性,对现有的安全模型进行改进,在计算Diffie-Hellman假设的基础上,验证所提方案是安全的。与已有方案相比,本方案更加安全和有效。 相似文献
975.
模块化多电平换流器(Modular Multilevel Converter,MMC)是一种新型的电压源换流器拓扑,很适合于柔性直流输电(Voltage Source Converter Topology Applied in Voltage Source Converter-high Voltage Direct Current,VSC-HVDC)场合。在系统正常运行之前,MMC中的电容需进行预充电操作,以建立额定的电容电压和直流母线电压。首先介绍了传统启动方式存在的缺陷,为弥补这些不足,结合MMC启动时的数学模型,在详细分析换流器电容预充电动态过程的基础上,采用载波移相(Carrier Phase Shifted Modulation,CPSM)策略提出了一种适用于MMC可控阶段的新型启动方法。设计了电容电压参考值给定方式、内环电流控制以及外环电压控制,该预充电策略在限制过电流和避免过电压的同时,兼顾启动的速度和效率,提高了柔性直流输电系统启动的快速性和可靠性。由在Matlab/Simulink中所构建模型的仿真结果可以看出,所提出的控制策略正确、有效。 相似文献
976.
时滞混沌神经网络系统是解空间为无穷维系统,可生成多个正向Lyapunov指数,产生具有高度随机性和不可预测性的混沌甚至超混沌序列,这种特性使得时滞混沌神经网络系统特别适用于保密通信中,混沌同步是保密通信中的关键技术。基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,研究了一类具有时变延迟和分布式延迟的混沌神经网络系统的同步问题,考虑系统的内部参数不确定性和外部干扰及混合时滞等因素,将系统时滞项加入所设计的控制器中,给出了保证误差系统的全局均方渐近稳定的充分条件和控制律,实现驱动系统和响应系统的同步。与其它方法相比,所设计的含有时滞项的控制器提高了系统误差精度及反应速率。最后,通过仿真实例,验证了所提方法的有效性。 相似文献
977.
紫草抗氧化成分的提取及其活性研究 总被引:13,自引:0,他引:13
分别用石油醚、三氯甲烷和乙醇依次提取紫草成分 ,用OSI仪测定了三种提取物对猪油氧化稳定性的影响 ,发现石油醚提取成分 (LE - pet)和三氯甲烷提取成分 (LE -chl)有明显的抗氧化活性 ,添加到猪油中后 ,w =0 0 2 %时 ,猪油的氧化稳定性比空白样品提高了约 1倍。对LE -pet和LE -chl进行薄层层析分离鉴定 ,得到三种化合物 :β ,β 二甲基丙烯酰紫草醌 (Ⅰ)、乙酰紫草醌 (Ⅱ)和紫草醌 (Ⅲ)。对它们的抗氧化活性进行测试 ,化合物Ⅱ和Ⅲ表现出明显的抗氧化活性 ,当w(Ⅱ)=0 .0 6 %、w(Ⅲ) =0 0 6 %时 ,猪油的氧化稳定性分别提高了 6 0 4和 3 94倍。化合物Ⅰ、Ⅱ、Ⅲ与VE均有较强的协同作用 ,化合物Ⅰ、Ⅱ、Ⅲ的质量分数为 0 .0 2 %与VE 的质量分数为 0 0 2 %共同使用时 ,其抗氧化协同系数 (SE)分别为 81 4(Ⅰ)、5 2 7(Ⅱ)和 132 6 (Ⅲ ) 相似文献
978.
国产 CPU 发展事关我国信息产业核心竞争力和可持续发展能力。我国全面部署实施“中国芯”战略已十余年,在部分领域具有完全自主核心技术,在各主要产品领域都积累了一批具有一定技术实力和产业化条件的骨干企业和科研院所,产业化取得积极进展。但是,也存在与国际主流产品整体性能差距较大,国内CPU研制企业规模普遍偏小,高端人才和领军人才缺乏,有利于形成产业生态体系的制度环境不健全,政策手段单一等问题。为此,要进一步聚焦重点、集中目标、加强顶层设计,从以下几个方面加强核心技术攻关和产业化,包括改变现有重大技术攻关组织模式,全力提升国产事务处理CPU、高性能计算CPU等产品的技术水平,拓展相关产品在党政军部门及重要信息系统的应用,组织产业技术创新联盟,营造公平竞争的环境等。 相似文献
979.
本文介绍了用一种再结晶技术制造高炖、超细Al_2O_3粉体的新方法。 将硫酸铝铵溶液(AA)滴入碳酸氢铵溶液(AHC),经过反应合成一种新的含铝化合物,碳酸氢铝铵(AACH),然后在高温下煅烧,生成超细Al_2O_3粉体。另外还采用了X射线,红外光谱,DTA,以及TEM等手段,研究了反应温度、浓度、PH值和老化条件等对生成物AACH和Al_2O_3的影响。 相似文献
980.
姜巍 《数码设计:surface》2014,(5):135-136
无论设计还是绘画,都离不开对形式美的研究。平面构成的基本原理、形式、内涵,成为设计与绘画两者之间最深入和广泛结合、运用的研究平台。将平面构成这一艺术设计领域里的重要内容与中国画进行多层面多角度的通融体悟和实践,成为新时期中国画多元化发展的重要途径和手段。 相似文献