全文获取类型
收费全文 | 1780篇 |
免费 | 149篇 |
国内免费 | 152篇 |
专业分类
电工技术 | 72篇 |
综合类 | 162篇 |
化学工业 | 31篇 |
金属工艺 | 25篇 |
机械仪表 | 191篇 |
建筑科学 | 34篇 |
矿业工程 | 19篇 |
能源动力 | 14篇 |
轻工业 | 17篇 |
水利工程 | 6篇 |
石油天然气 | 4篇 |
武器工业 | 17篇 |
无线电 | 136篇 |
一般工业技术 | 118篇 |
冶金工业 | 23篇 |
原子能技术 | 2篇 |
自动化技术 | 1210篇 |
出版年
2024年 | 2篇 |
2023年 | 6篇 |
2022年 | 10篇 |
2021年 | 22篇 |
2020年 | 33篇 |
2019年 | 25篇 |
2018年 | 39篇 |
2017年 | 37篇 |
2016年 | 45篇 |
2015年 | 37篇 |
2014年 | 69篇 |
2013年 | 109篇 |
2012年 | 81篇 |
2011年 | 118篇 |
2010年 | 84篇 |
2009年 | 98篇 |
2008年 | 118篇 |
2007年 | 136篇 |
2006年 | 161篇 |
2005年 | 112篇 |
2004年 | 96篇 |
2003年 | 100篇 |
2002年 | 77篇 |
2001年 | 79篇 |
2000年 | 68篇 |
1999年 | 52篇 |
1998年 | 54篇 |
1997年 | 39篇 |
1996年 | 37篇 |
1995年 | 38篇 |
1994年 | 26篇 |
1993年 | 17篇 |
1992年 | 12篇 |
1991年 | 8篇 |
1990年 | 12篇 |
1989年 | 6篇 |
1988年 | 2篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1975年 | 1篇 |
1973年 | 2篇 |
1957年 | 1篇 |
1956年 | 1篇 |
排序方式: 共有2081条查询结果,搜索用时 15 毫秒
11.
12.
In this paper,we use elliptic nets to implement the optimized Ate pairings and optimal pairings on the Barreto-Naehrig curves with embedding degree 12.In order to do the arithmetic of elliptic curves over finite fields with elliptic nets,we first give some basic properties of elliptic nets associated to elliptic curves over finite fields and the expression of Miller function in terms of elliptic nets.Then we give formulae to compute some optimized pairings with elliptic nets,which is a new method to implement pairings.This method with elliptic nets has time complexity comparable to Miller’s algorithm and it can be optimized. 相似文献
13.
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空.此结论是混合整数规划用于SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础. 相似文献
14.
This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S3PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method. 相似文献
15.
16.
陶丽华 《组合机床与自动化加工技术》2006,(5):19-22
批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统,串行与并行生产过程并存。为了建立批处理系统的动态模型,引入了赋时Petri网的建模概念和特征,进行了批处理系统中资源模块的建模描述。在此基础上,提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法,针对具体的批处理实例系统进行了建模。同时,在实例模型基础上,进行了批处理系统的调度研究。 相似文献
17.
本文以高等院校为联系纽带,将其置身于经济欠发达地区的大环境中,探讨信息网的作用、建立与运作,政府的政策引导,招商引资与高校学生的创业,职高学生的就业有机结合,通过"教研结合,校企合一"的办学模式以及开放教科研设备、开展各种培训等方式,将高校与各界各业联系起来,使之成为中心城市的联络、辐射中心,为贫困地区如何发挥高职院校的作用提供新思路。 相似文献
18.
19.
基于模糊Petri网的汽车故障诊断仿真研究 总被引:1,自引:0,他引:1
本文将Petri网和模糊推理相结合,建立故障诊断的模糊Petri网模型。其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度。以汽车故障诊断为例,建立了基于模糊Petri网的诊断模型。通过仿真分析,验证了模型的正确性和算法的有效性。 相似文献
20.
周丽芬 《数字社区&智能家居》2009,(15)
实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。 相似文献