全文获取类型
收费全文 | 3825篇 |
免费 | 495篇 |
国内免费 | 454篇 |
专业分类
电工技术 | 206篇 |
综合类 | 417篇 |
化学工业 | 157篇 |
金属工艺 | 39篇 |
机械仪表 | 398篇 |
建筑科学 | 94篇 |
矿业工程 | 29篇 |
能源动力 | 15篇 |
轻工业 | 166篇 |
水利工程 | 20篇 |
石油天然气 | 15篇 |
武器工业 | 62篇 |
无线电 | 331篇 |
一般工业技术 | 217篇 |
冶金工业 | 38篇 |
原子能技术 | 7篇 |
自动化技术 | 2563篇 |
出版年
2024年 | 10篇 |
2023年 | 26篇 |
2022年 | 47篇 |
2021年 | 59篇 |
2020年 | 83篇 |
2019年 | 81篇 |
2018年 | 82篇 |
2017年 | 95篇 |
2016年 | 99篇 |
2015年 | 115篇 |
2014年 | 193篇 |
2013年 | 222篇 |
2012年 | 238篇 |
2011年 | 320篇 |
2010年 | 215篇 |
2009年 | 250篇 |
2008年 | 274篇 |
2007年 | 339篇 |
2006年 | 333篇 |
2005年 | 263篇 |
2004年 | 229篇 |
2003年 | 189篇 |
2002年 | 161篇 |
2001年 | 148篇 |
2000年 | 129篇 |
1999年 | 94篇 |
1998年 | 108篇 |
1997年 | 73篇 |
1996年 | 68篇 |
1995年 | 64篇 |
1994年 | 43篇 |
1993年 | 26篇 |
1992年 | 23篇 |
1991年 | 17篇 |
1990年 | 20篇 |
1989年 | 6篇 |
1988年 | 3篇 |
1987年 | 3篇 |
1985年 | 4篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1981年 | 1篇 |
1980年 | 4篇 |
1979年 | 1篇 |
1977年 | 2篇 |
1975年 | 1篇 |
1973年 | 2篇 |
1961年 | 1篇 |
1957年 | 2篇 |
1956年 | 1篇 |
排序方式: 共有4774条查询结果,搜索用时 31 毫秒
41.
随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。 相似文献
42.
We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption. 相似文献
43.
ZW多产品间歇过程调度及在线调整 总被引:1,自引:1,他引:1
针对多产品间歇过程调度提出了分层递阶的Petri网建模方法,利用赋时Petri和Petri网的简化技术描述不同层次的生产问题,具有很强的模型描述能力。另外,在调度决策层可以方便地集成优化策略和在线调整算法,使问题求解更加灵活。 相似文献
44.
针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器。EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分布。与模糊有限自动机及模糊Petri网的对比分析表明,在描述FDES模糊事件时,对于同步距离为0的一组事件所造成的影响,EFPN的表达能力强于经典模糊Petri网;在对含有多个状态分量的FDES建模时,EFPN模型的规模远小于模糊有限自动机。在基于EFPN构造的系统行为模型中,运用可达状态标识图分析系统状态集,可有效地构造FDES的故障诊断器,并可据此进行系统可诊断性分析。 相似文献
45.
46.
张国生 《计算机与数字工程》2014,(2):235-238,285
将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行形式化建模,无缝连接社会组织目标与软件系统需求,为软件系统需求分析提出了一种自然、直观的需求过程建模方法. 相似文献
47.
48.
基于Petri网的信息流安全属性的分析与验证* 总被引:2,自引:0,他引:2
信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。 相似文献
49.
Liguo Huang Jidong Ge Barry Boehm Jian Lv 《International Journal of Software and Informatics》2010,4(1):101-119
Commercial organizations increasingly need software processes sensitive to busi-
ness value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early
analysis for subprocess consistency and compatibility. This paper and a companion paper
\Applying Value-Based Software Process: An ERP Example" present our experience in ap-
plying a lightweight synthesis of a Value-Based Software Quality Achievement (VBSQA)
process and an Object-Petri-Net (OPN) based process model to achieve a stakeholder win-
win outcome for software quality achievement in an ERP software project in China. We
attempt to answer such questions as (1) whether it is possible to model various project
stakeholder perspectives using formal process modeling languages in a real-world project?
(2) how to make stakeholders synchronize and stabilize their value propositions, activities
and commitments as needed. The companion paper presents the VBSQA process and its
application to the ERP project; this paper presents the OPN-based process modeling and its
application. The application results of OPN process modeling conˉrmed that (1) the OPN-
based process model provided project managers with a synchronization and stabilization
framework for process activities, success-critical stakeholders and their value propositions;
(2) process visualization and simulation tools signiˉcantly increased management visibility
and controllability for the success of the software project. 相似文献
50.
蔡林峰 《佳木斯工学院学报》2009,(5):677-682
对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析. 相似文献