全文获取类型
收费全文 | 145篇 |
免费 | 13篇 |
国内免费 | 14篇 |
专业分类
电工技术 | 3篇 |
综合类 | 3篇 |
化学工业 | 9篇 |
建筑科学 | 14篇 |
矿业工程 | 13篇 |
能源动力 | 7篇 |
轻工业 | 27篇 |
水利工程 | 1篇 |
石油天然气 | 2篇 |
无线电 | 17篇 |
一般工业技术 | 4篇 |
自动化技术 | 72篇 |
出版年
2023年 | 1篇 |
2022年 | 4篇 |
2021年 | 4篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2016年 | 5篇 |
2015年 | 14篇 |
2014年 | 5篇 |
2013年 | 16篇 |
2012年 | 15篇 |
2011年 | 13篇 |
2010年 | 12篇 |
2009年 | 12篇 |
2008年 | 7篇 |
2007年 | 10篇 |
2006年 | 12篇 |
2005年 | 12篇 |
2004年 | 7篇 |
2003年 | 4篇 |
2001年 | 3篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
排序方式: 共有172条查询结果,搜索用时 15 毫秒
11.
王浩 《国外电子测量技术》2015,34(5):61-65
为了使生成的汇编代码具有更高的执行效率,设计并实现了一种基于GCC的 TMS320C67xx汇编指令级的代码优化算法。首先,将汇编指令按照功能划分为不同的指令类型,并将汇编指令链接到链表中。然后,针对每一个寄存器建立对该寄存器的读写操作指令链表。最后,通过对指令类型的判断和对寄存器读写操作指令链表的分析,完成了冗余代码的删除和指令合并。实验结果表明,经过代码优化后,TMS320C67xx汇编代码的执行效率提高了20%左右,较中间代码级的优化算法执行效率提高了15%左右。 相似文献
12.
Kevin Mitchell 《Architectural Design》2015,85(1):38-45
Despite a distinguished heritage of learning in the Middle East, the expansion of provision for higher education is currently at an unprecedented scale. The Gulf States, in particular, are seeking to keep up with accelerated population growth and a demographic ‘youth bulge’. Guest-Editor Kevin Mitchell describes the architectural approaches employed in the design of institutions in the region from the first universities in Saudi Arabia to Foster + Partners's ground-breaking sustainable design for the Masdar Institute in Abu Dhabi and future projects. 相似文献
13.
朱嘉 《单片机与嵌入式系统应用》2006,(11):24-26
论述基于MIPS32体系结构的Linux操作系统的移植技术;结合具体实例,给出在特定硬件平台(同济大学微电子中心自主开发的BC320芯片及板级系统)上移植Linux的实现过程;介绍建立交叉开发环境的方法,讨论当实际指令集为标准MIPS32指令集子集时(以4条非对齐存取指令为例),如何逻辑等效地完成操作系统移植的问题。 相似文献
14.
随着湿法研磨工艺和改性技术的发展,解决了超细重质碳酸钙的团聚等问题,使改性超细碳酸钙在聚氯乙烯波纹管中用量得到了极大的提高,并且质量稳定,有利于工业化大规模生产。本文重点介绍其生产工艺与实践。 相似文献
15.
Various methods were employed to prepare precipitated calcium carbonate (PCC) particles. Particle size and morphology were dependent on reaction conditions as well as temperature, reagents and stirring, either mechanical or by ultrasound probe sonication. Sonication helped to reduce the size of CaCO3 particles as well as the precipitation time. Sonication was also used to disperse PCC particles in the UV-curable formulations as well as for preparation of the PCC. Formulations containing precipitated calcium carbonates and ground calcium carbonates in various grades were cured by a Mini UV-Cure device. Mechanical and thermal properties of films were characterized with a Dynamic Mechanical Analyzer (DMA). SEM analysis was also used to determine the shape and the size of the PCCs. Sonication decreased the precipitation time of calcium carbonate at least four times more than that of conventional precipitation procedures and the dispersion of particles in the formulations increased to a great extent. 相似文献
16.
17.
18.
Radu Grosu X. Huang S. Jain S.A. Smolka 《Electronic Notes in Theoretical Computer Science》2006,144(3):27
We present GMC2, a software model checker for GCC, the open-source compiler from the Free Software Foundation (FSF). GMC2, which is part of the GMC static-analysis and model-checking tool suite for GCC under development at SUNY Stony Brook, can be seen as an extension of Monte Carlo model checking to the setting of concurrent, procedural programming languages. Monte Carlo model checking is a newly developed technique that utilizes the theory of geometric random variables, statistical hypothesis testing, and random sampling of lassos in Büchi automata to realize a one- sided error, randomized algorithm for LTL model checking. To handle the function call/return mechanisms inherent in procedural languages such as C/C++, the version of Monte Carlo model checking implemented in GMC2 is optimized for pushdown-automaton models. Our experimental results demonstrate that this approach yields an efficient and scalable software model checker for GCC. 相似文献
19.
20.
立磨机可成功地用于磨制超细重质碳酸钙,影响其工作的主要因素的转速,浓度,介质量,介质种类及助磨剂等,立磨机效率高,能耗低。 相似文献