全文获取类型
收费全文 | 102篇 |
免费 | 10篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 6篇 |
综合类 | 19篇 |
化学工业 | 12篇 |
金属工艺 | 6篇 |
机械仪表 | 4篇 |
建筑科学 | 4篇 |
矿业工程 | 1篇 |
轻工业 | 2篇 |
水利工程 | 1篇 |
石油天然气 | 4篇 |
无线电 | 23篇 |
一般工业技术 | 13篇 |
冶金工业 | 7篇 |
原子能技术 | 1篇 |
自动化技术 | 15篇 |
出版年
2023年 | 2篇 |
2022年 | 6篇 |
2021年 | 3篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 2篇 |
2015年 | 3篇 |
2014年 | 2篇 |
2013年 | 7篇 |
2012年 | 4篇 |
2011年 | 5篇 |
2010年 | 5篇 |
2009年 | 1篇 |
2008年 | 13篇 |
2007年 | 3篇 |
2006年 | 6篇 |
2005年 | 6篇 |
2004年 | 4篇 |
2003年 | 1篇 |
2002年 | 3篇 |
2001年 | 1篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 4篇 |
1996年 | 5篇 |
1995年 | 5篇 |
1994年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有118条查询结果,搜索用时 15 毫秒
1.
Sorin Manolache Petru Eles Zebo Peng 《International journal of parallel programming》2007,35(2):125-156
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications
require guarantees on both message arrival probability and response time. We address the problem of transient link failures
by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities
are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message
to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed
in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response
time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the
proposed approach are guaranteed message arrival probability and guaranteed worst case application response time. 相似文献
2.
金属-有机框架(MOF)衍生的过渡金属硒化物和多孔碳纳米复合材料具有巨大的储能优势,是应用于电化学储能的优良电极材料。采用共沉淀法制备CoFe类普鲁士蓝(CoFe-PBA)纳米立方,并通过静电组装在CoFe-PBA上包覆聚吡咯(PPy)得到CoFe-PBA@PPy;通过在400℃氮气中退火并硒化成功制备了氮掺杂的碳(NC)包覆(CoFe)Se2的(CoFe)Se2@NC纳米复合材料,并对其结构和形貌进行了表征。以(CoFe)Se2@NC为电极制备了超级电容器,测试了其电化学性能,结果表明,在电流密度1 A/g时超级电容器的比电容达到1047.9 F/g,在电流密度5 A/g下1000次循环后具有良好的循环稳定性和96.55%的比电容保持率。由于其性能优越、无毒、成本低和易于制备,未来(CoFe)Se2@NC纳米复合材料在超级电容器中具有非常大的应用潜力。 相似文献
3.
Modeling and formal verification of embedded systems based on a Petri net representation 总被引:2,自引:0,他引:2
In this paper we concentrate on aspects related to modeling and formal verification of embedded systems. First, we define a formal model of computation for embedded systems based on Petri nets that can capture important features of such systems and allows their representation at different levels of granularity. Our modeling formalism has a well-defined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process. Second, we propose an approach to the problem of formal verification of embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking tools. We propose two strategies for improving the verification efficiency, the first by applying correctness-preserving transformations and the second by exploring the degree of parallelism characteristic to the system. Some examples, including a realistic industrial case, demonstrate the efficiency of our approach on practical applications. 相似文献
4.
We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments. 相似文献
5.
This paper presents a solution to the test time minimization problem for core-based systems. We assume a hybrid BIST approach, where a test set is assembled, for each core, from pseudorandom test patterns that are generated online, and deterministic test patterns that are generated off-line and stored in the system. In this paper we propose an iterative algorithm to find the optimal combination of pseudorandom and deterministic test sets of the whole system, consisting of multiple cores, under given memory constraints, so that the total test time is minimized. Our approach employs a fast estimation methodology in order to avoid exhaustive search and to speed-up the calculation process. Experimental results have shown the efficiency of the algorithm to find near optimal solutions. 相似文献
6.
7.
针对BTD-NICC型氧压机缸内表面磨损严重的问题,在气缸强度允许的条件下,通过计算证明两次扩大二段缸以降低温升,再两次适当地扩大一段缸来满足氧压机动力平衡是可行的。 相似文献
8.
针对7 000W伺服电机输出轴根部发生的断裂情况,从其输出轴的疲劳极限、结构及尺寸、精度等方面入手,分析了断裂产生的原因,并提出结构改进方案。 相似文献
9.
10.
用CWCO_2激光诱发SiH_4反应,在石英基片上淀积多晶硅膜,它的Raman谱表明,激光诱发反应时间越长,结晶度越高.SEM 结果表明,不同淀积时间,表面结构差异较大.薄厚台阶仪测出不同实验条件淀积速率变化的规律.同时,结合不同条件下控制过程的反应机制,对结果进行了定性的讨论. 相似文献