全文获取类型
收费全文 | 137篇 |
免费 | 2篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 3篇 |
综合类 | 8篇 |
化学工业 | 23篇 |
金属工艺 | 6篇 |
机械仪表 | 8篇 |
建筑科学 | 24篇 |
矿业工程 | 4篇 |
能源动力 | 1篇 |
轻工业 | 5篇 |
水利工程 | 1篇 |
石油天然气 | 8篇 |
武器工业 | 6篇 |
无线电 | 16篇 |
一般工业技术 | 10篇 |
冶金工业 | 5篇 |
自动化技术 | 17篇 |
出版年
2024年 | 2篇 |
2023年 | 8篇 |
2022年 | 9篇 |
2021年 | 5篇 |
2020年 | 1篇 |
2019年 | 4篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 8篇 |
2013年 | 9篇 |
2012年 | 11篇 |
2011年 | 11篇 |
2010年 | 11篇 |
2009年 | 8篇 |
2008年 | 8篇 |
2007年 | 4篇 |
2006年 | 3篇 |
2005年 | 9篇 |
2004年 | 3篇 |
2003年 | 2篇 |
2002年 | 4篇 |
2000年 | 2篇 |
1999年 | 3篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 2篇 |
排序方式: 共有145条查询结果,搜索用时 7 毫秒
101.
102.
103.
104.
SpaceWire是在苛刻环境下的高速通信总线协议,译码电路是其接收端的关键电路,对该电路进行形式化验证具有重要的现实意义.形式化验证方法中的定理证明将需要分析的电路进行形式化建模,结合定理证明器,对模型的性质进行严格推理从而完成验证.本文运用定理证明的方法,在高阶逻辑证明工具HOL4中对SpaceWire总线的译码电路进行形式化验证.首先根据SpaceWire标准规范抽取相关性质,用高阶逻辑语言形式化描述;然后分析电路设计中的VHDL代码,依据代码实现的功能用相应的逻辑谓词建模;最后在HOL4中证明了译码电路设计的模型能满足所提取的性质.本文同时给出了形式化建模的方法和验证过程. 相似文献
105.
正仓库是现代企业的物流中心,为了充分利用仓库空间,企业通常采用高位货架,将平面仓库改变为立体仓库。叉车在立体仓库作业时,其货叉需要起升到某一预定高度进行装卸。当货叉起升高度较高时,仅靠操作人员的视力来进行货叉定位,不仅效率低,而且定位精度差,还容易发生货叉与货架碰撞事故,给叉车作业带来不便,所以在叉车上开发高度显示及高度认址(自动识别某一高度的地址)功能十分必要。 相似文献
106.
通過低周反復加載試驗研究方鋼管混凝土柱的抗震性能,分析了其在水平地震作用下的承載能力、變形能力、剛度退化、耗能能力以及結構的破壞機制,為進一步的理論分析提供參考。同時研究了含鋼率、長細比和軸壓比對方鋼管混凝土柱延性的影響。結果表明,對其影響最大的為長細比,其次是軸壓比,再次是含鋼率。本次試驗結果與分析可為方鋼管混凝土柱的抗震設計提供參考。 相似文献
107.
108.
109.
110.
Preparation and characteristics of Li2FeSiO4/C composite for cathode of lithium ion batteries 总被引:2,自引:0,他引:2
A Li2FeSiO4/C composite cathode for lithium ion batteries was synthesized at 650 ℃ by solid-state reaction. The effects of carbon sources and carbon content on the properties of the Li2FeSiO4/C composites were investigated. The crystalline structure, morphology, carbon content and charge/discharge performance of Li2FeSiO4/C composites were determined by X-ray diffraction(XRD), scanning electron microscopy(SEM), carbon/sulfur analyzer and electrochemical measurements. As carbon content increases in the range of 5%-20%, the amount of Fe3O4 impurity phase decreases. The SEM micrographs show that the addition of the carbon is favorable for reducing the Li2FeSiO4 grain size. Using sucrose as carbon source, the Li2FeSiO4/C composite with 14.5% carbon synthesized at 650 ℃ shows good electrochemical performance with an initial discharge capacity of 144.8 mA-h/g and a capacity retention ratio of 94.27% after 13 cycles. 相似文献