全文获取类型
收费全文 | 1512篇 |
免费 | 282篇 |
国内免费 | 214篇 |
专业分类
电工技术 | 113篇 |
综合类 | 221篇 |
化学工业 | 40篇 |
金属工艺 | 19篇 |
机械仪表 | 69篇 |
建筑科学 | 123篇 |
矿业工程 | 30篇 |
能源动力 | 17篇 |
轻工业 | 19篇 |
水利工程 | 30篇 |
石油天然气 | 9篇 |
武器工业 | 21篇 |
无线电 | 292篇 |
一般工业技术 | 100篇 |
冶金工业 | 28篇 |
原子能技术 | 5篇 |
自动化技术 | 872篇 |
出版年
2024年 | 5篇 |
2023年 | 30篇 |
2022年 | 38篇 |
2021年 | 32篇 |
2020年 | 50篇 |
2019年 | 57篇 |
2018年 | 55篇 |
2017年 | 57篇 |
2016年 | 71篇 |
2015年 | 86篇 |
2014年 | 130篇 |
2013年 | 98篇 |
2012年 | 132篇 |
2011年 | 156篇 |
2010年 | 100篇 |
2009年 | 109篇 |
2008年 | 116篇 |
2007年 | 133篇 |
2006年 | 105篇 |
2005年 | 102篇 |
2004年 | 63篇 |
2003年 | 51篇 |
2002年 | 36篇 |
2001年 | 43篇 |
2000年 | 17篇 |
1999年 | 27篇 |
1998年 | 21篇 |
1997年 | 15篇 |
1996年 | 14篇 |
1995年 | 10篇 |
1994年 | 5篇 |
1993年 | 8篇 |
1992年 | 7篇 |
1991年 | 4篇 |
1990年 | 4篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1985年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 2篇 |
1975年 | 4篇 |
排序方式: 共有2008条查询结果,搜索用时 15 毫秒
31.
为了生物计算机的实现,算术运算是完成所有计算模型的最基本运算;到目前为止,对膜系统中算术运算的研究只是处于整数域内,还没有实现有理数域内的算术运算;为实现有理数域的乘除法运算,基于生物类细胞模型,介绍了膜计算的基本原理和特性,然后构造基于规则优先级的算术P系统来实现有理数域内的乘法和除法,并举出相应的例子进行详细的说明以及实验仿真;实验仿真结果表明,提出的构造分数P系统来实现有理数域内的乘除法的思想和设计的规则是正确的,能够得到预期目标。 相似文献
32.
In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use. 相似文献
33.
Abstract argumentation 总被引:1,自引:0,他引:1
In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation.In the admissibility semantics there is only one way for one argument to attack another, namely by undermining one of its non-provability claims. In this paper, we show how other kinds of attack between arguments, specifically how rebuttal and priority attacks, can be reduced to the undermining of non-provability claims. 相似文献
34.
This paper presents an approach to concurrent toolpath planning for multi-material layered manufacturing (MMLM) to improve the fabrication efficiency of relatively complex prototypes. The approach is based on decoupled motion planning for multiple moving objects, in which the toolpaths of a set of tools are independently planned and then coordinated to deposit materials concurrently. Relative tool positions are monitored and potential tool collisions detected at a predefined rate. When a potential collision between a pair of tools is detected, a dynamic priority scheme is applied to assign motion priorities of tools. The traverse speeds of tools along the x-axis are compared, and a higher priority is assigned to the tool at a higher traverse speed. A tool with a higher priority continues to deposit material along its original path, while the one with a lower priority gives way by pausing at a suitable point until the potential collision is eliminated. Moreover, the deposition speeds of tools can be adjusted to suit different material properties and fabrication requirements. The proposed approach has been incorporated in a multi-material virtual prototyping (MMVP) system. Digital fabrication of prototypes shows that it can substantially shorten the fabrication time of relatively complex multi-material objects. The approach can be adapted for process control of MMLM when appropriate hardware becomes available. It is expected to benefit various applications, such as advanced product manufacturing and biomedical fabrication. 相似文献
35.
本文介绍了公交优先策略的概念和分类,阐述了绿灯延长、绿灯提前、相位倒转、相位插入、公交通行专用相位等主动优先控制策略的基本原理,并对其进行了适应性和优缺点分析。 相似文献
36.
37.
38.
基于样本块的破损唐卡图像修复算法的改进 总被引:1,自引:0,他引:1
基于样本块的修复算法由于能同时有效地修复图像的受损纹理和结构的优点被引入到唐卡图像的数字化保护中,而且它对特定破损唐卡图像修复效果良好,但是由于优先权计算和最佳样本块不唯一等问题的影响,算法对其他类唐卡图像修复效果不佳。针对此算法的不足,对信任度计算方法和等照线计算方法进行了改进,解决了最佳样本块不唯一的问题。实验结果证明,改进后的算法不仅能够得到令人满意的修复结果而且能够提高修复效率。 相似文献
39.
40.
针对Modem发送短信在实时性、并发性及完整性等性能上存在的缺陷,提出基于多代理、多优先级队列的短信实时并发算法。该算法采用多代理、多优先级队列、线程池等技术手段保证短信控制的实时性、并发性及数据完整性,在算法中使用优先级,使某些信息能够优先发送。通过改造排队论模型和实验对算法进行验证,并将该算法应用于SMAS系统,系统运行结果表明,该算法大幅提高了其发送和接收短信的速度与效率,实现了短信实时性和并发性的目标,优化了SMAS系统的整体性能。 相似文献