全文获取类型
收费全文 | 418篇 |
免费 | 32篇 |
国内免费 | 30篇 |
专业分类
电工技术 | 9篇 |
综合类 | 45篇 |
化学工业 | 45篇 |
金属工艺 | 6篇 |
机械仪表 | 33篇 |
建筑科学 | 28篇 |
矿业工程 | 28篇 |
能源动力 | 6篇 |
轻工业 | 42篇 |
水利工程 | 10篇 |
石油天然气 | 30篇 |
武器工业 | 1篇 |
无线电 | 77篇 |
一般工业技术 | 29篇 |
冶金工业 | 11篇 |
原子能技术 | 1篇 |
自动化技术 | 79篇 |
出版年
2024年 | 10篇 |
2023年 | 18篇 |
2022年 | 18篇 |
2021年 | 23篇 |
2020年 | 15篇 |
2019年 | 23篇 |
2018年 | 18篇 |
2017年 | 12篇 |
2016年 | 11篇 |
2015年 | 23篇 |
2014年 | 27篇 |
2013年 | 22篇 |
2012年 | 30篇 |
2011年 | 23篇 |
2010年 | 25篇 |
2009年 | 22篇 |
2008年 | 22篇 |
2007年 | 11篇 |
2006年 | 12篇 |
2005年 | 11篇 |
2004年 | 7篇 |
2003年 | 8篇 |
2002年 | 5篇 |
2001年 | 7篇 |
2000年 | 7篇 |
1999年 | 5篇 |
1998年 | 5篇 |
1997年 | 5篇 |
1996年 | 8篇 |
1995年 | 9篇 |
1994年 | 6篇 |
1993年 | 2篇 |
1992年 | 8篇 |
1991年 | 5篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1988年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1981年 | 2篇 |
排序方式: 共有480条查询结果,搜索用时 15 毫秒
141.
基于扩展通用图灵机的计算机病毒传染模型 总被引:5,自引:0,他引:5
在计算机基础理论模型——图灵机模型的基础上,提出了一种扩展的通用图灵机(EUTM)模型,这种模型突出了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM模型给出了计算机病毒的形式定义,形式化描述了计算机病毒在单机和多机环境下的传染。最后指出了Fred Cohen关于病毒检测不可判定性定量证明的不足,并利用EUTM模型证明了病毒检测不可判定性定理。 相似文献
142.
143.
144.
目的 探究不同处理方法对小龙虾虾壳粉的主要成分和表观结构的影响。方法 样品经清洗干燥、粉碎、筛分后采用不同方式(脱钙质、脱蛋白、均质等)进行处理, 采用常规方法对样品中组分进行分析, 采用扫描电镜对样品表观结构进行表征, 采用红外光谱仪对样品内部红外吸收特征进行测定。结果 粗制小龙虾虾壳粉中蛋白质、钙质及甲壳素含量分别达15.02%~35.46%、13.30~18.70 g/100 g和10.88%~12.80%, 不同筛分中成分存在显著差异(P<0.05); 电镜扫描结果显示单一蛋白酶仅可脱除小龙虾虾壳粉表层蛋白质, 单一的乳酸处理可有效脱离小龙虾虾壳粉表面的钙质并可渗透至内部, 乳酸和蛋白酶联合处理可脱除小龙虾虾壳中甲壳素核表层的蛋白质, 联合处理基础上的均质可增加样品的松散程度; 红外光谱检测显示经先后经脱钙质与脱蛋白处理的小龙虾虾壳粉显现出甲壳素红外吸收特征, 表明经脱钙质与脱蛋白处理的样品主要成分为甲壳素。结论 小龙虾虾壳是优质的可食用资源, 具有非常大的开发价值, 经乳酸和蛋白酶联合处理可脱除甲壳素表面的钙质和蛋白质, 本研究可为制备高纯度甲壳素及虾壳的高值化综合利用提供借鉴。 相似文献
145.
146.
概括了油井蜡沉积的原因和危害,分析了油基、水基、乳液型清防蜡剂及固体防蜡剂的特性,并综述了清防蜡剂的作用机理及影响因素,提出了清防蜡剂的未来发展方向. 相似文献
147.
基于SCADA系统之上的管道泄漏监测软件系统,主要是通过管道压力变化发现原油泄漏点所处的位置,及时调整全线运行工况,减少跑油损失和环境污染,同时也为抓捕盗油分子及盗油车辆提供时间上的支持。在使用过程中,出现数据传输不稳定的现象,介绍了临濮输油管线SCADA系统的软、硬件配置。针对在使用过程中发现段庄、范县、濮阳三站站控系统与聊城控制中心的数据传输存在中断的现象,从人员、PLC设备、通信线路、网络设备、CITECT监控软件5个方面分析了影响SCADA系统数据传输稳定性的原因。结论:是由信号传输设备过多和CITECT监控软件配置造成的,并提出了两点改进措施。通过调整SCADA系统,提高了数据传输的稳定性,使管道监测、定位设备的使用率大大提高,为管道的安全平稳运行起到保驾护航的重要作用。 相似文献
148.
计算可靠的Diffie-Hellman密钥交换协议自动证明 总被引:2,自引:0,他引:2
针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力。发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法。利用扩展的CryptoVerif自动证明了基于Diffie-Hellman的Kerberos协议的安全性,验证了该扩展方法的有效性。与现有大部分证明方法不同的是,该证明方法既保留了自动证明工具的易用性,又保证了计算模型下的强可靠性。 相似文献
149.
反病毒虚拟机是检测变形病毒的重要手段。文中分析了反病毒虚拟机的工作原理,揭示了反病毒虚拟机存在的三方面缺陷:无法模拟需要人工选择的程序分支、无法模拟程序完整的执行过程、程序模拟执行时间与实际执行时间不相等,分析了上述缺陷产生的原因,并通过一组实验验证了问题的严重性,最后,针对上述缺陷提出了相应的改进方法。改进后的反病毒虚拟机有效地弥补了缺陷。 相似文献
150.
下文作者根据自己的工作经验,分析了现阶段形势下我国工程建设及质量监督中所存在的问题,及解决问题应该采取的措施。 相似文献