全文获取类型
收费全文 | 3629篇 |
免费 | 489篇 |
国内免费 | 553篇 |
专业分类
电工技术 | 255篇 |
综合类 | 321篇 |
化学工业 | 116篇 |
金属工艺 | 58篇 |
机械仪表 | 146篇 |
建筑科学 | 177篇 |
矿业工程 | 76篇 |
能源动力 | 42篇 |
轻工业 | 49篇 |
水利工程 | 96篇 |
石油天然气 | 170篇 |
武器工业 | 23篇 |
无线电 | 390篇 |
一般工业技术 | 224篇 |
冶金工业 | 210篇 |
原子能技术 | 199篇 |
自动化技术 | 2119篇 |
出版年
2024年 | 21篇 |
2023年 | 64篇 |
2022年 | 129篇 |
2021年 | 138篇 |
2020年 | 159篇 |
2019年 | 174篇 |
2018年 | 117篇 |
2017年 | 169篇 |
2016年 | 182篇 |
2015年 | 171篇 |
2014年 | 226篇 |
2013年 | 242篇 |
2012年 | 250篇 |
2011年 | 246篇 |
2010年 | 184篇 |
2009年 | 236篇 |
2008年 | 220篇 |
2007年 | 221篇 |
2006年 | 211篇 |
2005年 | 194篇 |
2004年 | 146篇 |
2003年 | 135篇 |
2002年 | 123篇 |
2001年 | 95篇 |
2000年 | 102篇 |
1999年 | 91篇 |
1998年 | 69篇 |
1997年 | 69篇 |
1996年 | 53篇 |
1995年 | 54篇 |
1994年 | 38篇 |
1993年 | 36篇 |
1992年 | 29篇 |
1991年 | 21篇 |
1990年 | 19篇 |
1989年 | 12篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 4篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1983年 | 3篇 |
1982年 | 1篇 |
1980年 | 2篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1961年 | 1篇 |
1959年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有4671条查询结果,搜索用时 15 毫秒
1.
网络安全事件的关联分析方法的比较研究 总被引:2,自引:0,他引:2
随着当前攻击手段和技术的日益复杂化,一次入侵事件往往需要多个步骤才能完成,这些步骤都是彼此相关的。但是传统的入侵检测集中于检测底层的入侵或异常,所检测到的结果也仅仅是一次完整入侵的一部分,所以不能将不同的报警结合起来以发现入侵的逻辑步骤或者入侵背后的攻击策略。关联分析技术将不同分析器上产生的报警进行融合与关联分析,极大地减少了报警的数量,降低了入侵检测的误报率,并且适当的减少了入侵检测的漏报率。文中在对网络安全事件关联分析方法的系统结构进行分析后,着重介绍了当前比较流行的几种网络安全事件关联分析方法,最后对各种方法进行了比较研究。 相似文献
2.
3.
Gabriel Wainer 《Software》2002,32(13):1261-1306
The features of a toolkit for modeling and simulation based on the DEVS formalism are presented. The tool is built as a set of independent software pieces running on different platforms. Not only are the main characteristics of the environment presented, a focus on its use is also considered by inclusion of application examples for a variety of problems. Many models can be defined in an automated fashion, simplifying the construction of new models and easing their verification. The use of this formal approach has allowed the development of safe and cost‐effective simulations, significantly reducing development time. Copyright © 2002 John Wiley & Sons, Ltd. 相似文献
4.
已往库存论中的决策模型,它是把现实过程用数学的方法进行分析,得到决策值,但不能看到决策的过程,不能反映出现实生活中的不确定性、动态性。运用Delphi 7.0和SQL server 2000对销售过程进行了动态仿真,利用Newsboy模型的推广(S,s)订购策略来监控库存并做出决策,这样就体现出此过程的不确定性、动态性;且举出了一个仿真商品销售的实例,对其中的一些关键技术,如何仿真、算法的实现等进行了阐述。 相似文献
5.
本文利用等效工作站理论和工件流平衡原理,推导出非串行离散事件生产线可以等价于串联系统,并归结为装配和拆卸两条定理,解决了系统的建模、分析与设计问题。 相似文献
6.
Rein Smedinga 《Discrete Event Dynamic Systems》1993,2(3-4):265-297
To model qualitative aspects of discrete event systems, i.e., the order of the events is of sole importance, we use a triple consisting of the set of all possible events (the alphabet), the set of all behavior (possible strings of events), and the set of all tasks (completed behavior). We use this view to model synchronous as well as asynchronous connection of systems. Moreover, it is easy to define notions like deadlock and livelock in this view. We give a method to construct a second system that, in connection with the original system, gets rid of its deadlock and/or livelock. A state-space representation is introduced. In this representation computations can be done effectively. 相似文献
7.
主要讨论离散事件动态系统的建模问题。由KInan和PVaraiya提出的有限递归进程(FRP)是描述并发离散事件动态系统的有力工具,但在其FRP中,没有定义对数据变量的操作和条件转移算子。本文扩展FRP包括这两方面内容。最后举例说明扩展FRP的描述能力。 相似文献
8.
A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation 总被引:1,自引:0,他引:1
A. Ramirez-Serrano S. C. Zhu S. K. H. Chan S. S. W. Chan M. Ficocelli B. Benhabib 《Journal of Intelligent Manufacturing》2002,13(4):261-281
This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used. 相似文献
9.
Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented. 相似文献
10.
Lawrence E. Holloway Yu Gong Jeff Ashley 《Mathematics and computers in simulation》2006,70(5-6):275-286
This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem. 相似文献