首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4223篇
  免费   608篇
  国内免费   630篇
电工技术   517篇
综合类   427篇
化学工业   88篇
金属工艺   44篇
机械仪表   204篇
建筑科学   153篇
矿业工程   64篇
能源动力   40篇
轻工业   50篇
水利工程   85篇
石油天然气   98篇
武器工业   41篇
无线电   611篇
一般工业技术   262篇
冶金工业   153篇
原子能技术   235篇
自动化技术   2389篇
  2024年   25篇
  2023年   75篇
  2022年   149篇
  2021年   156篇
  2020年   185篇
  2019年   201篇
  2018年   128篇
  2017年   187篇
  2016年   215篇
  2015年   202篇
  2014年   270篇
  2013年   282篇
  2012年   304篇
  2011年   284篇
  2010年   228篇
  2009年   268篇
  2008年   274篇
  2007年   292篇
  2006年   269篇
  2005年   232篇
  2004年   176篇
  2003年   155篇
  2002年   157篇
  2001年   112篇
  2000年   107篇
  1999年   93篇
  1998年   68篇
  1997年   67篇
  1996年   50篇
  1995年   52篇
  1994年   41篇
  1993年   38篇
  1992年   34篇
  1991年   19篇
  1990年   20篇
  1989年   17篇
  1988年   6篇
  1987年   2篇
  1986年   5篇
  1985年   2篇
  1984年   2篇
  1983年   3篇
  1982年   1篇
  1980年   2篇
  1976年   2篇
  1975年   1篇
  1961年   1篇
  1959年   1篇
  1955年   1篇
排序方式: 共有5461条查询结果,搜索用时 15 毫秒
1.
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.  相似文献   
2.
网络安全事件的关联分析方法的比较研究   总被引:2,自引:0,他引:2  
随着当前攻击手段和技术的日益复杂化,一次入侵事件往往需要多个步骤才能完成,这些步骤都是彼此相关的。但是传统的入侵检测集中于检测底层的入侵或异常,所检测到的结果也仅仅是一次完整入侵的一部分,所以不能将不同的报警结合起来以发现入侵的逻辑步骤或者入侵背后的攻击策略。关联分析技术将不同分析器上产生的报警进行融合与关联分析,极大地减少了报警的数量,降低了入侵检测的误报率,并且适当的减少了入侵检测的漏报率。文中在对网络安全事件关联分析方法的系统结构进行分析后,着重介绍了当前比较流行的几种网络安全事件关联分析方法,最后对各种方法进行了比较研究。  相似文献   
3.
网络管理中事件关联检测机制的研究   总被引:6,自引:0,他引:6  
王平  李莉  赵宏 《通信学报》2004,25(3):73-81
网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于Petri Net的事件关联检测机制,实现了基于事件内容的细粒度关联检测,并且在事件检测中充分考虑了时间因素,有效地提高了事件关联检测的准确性。  相似文献   
4.
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.  相似文献   
5.
汪磊  周永务 《微机发展》2007,17(4):56-59
已往库存论中的决策模型,它是把现实过程用数学的方法进行分析,得到决策值,但不能看到决策的过程,不能反映出现实生活中的不确定性、动态性。运用Delphi 7.0和SQL server 2000对销售过程进行了动态仿真,利用Newsboy模型的推广(S,s)订购策略来监控库存并做出决策,这样就体现出此过程的不确定性、动态性;且举出了一个仿真商品销售的实例,对其中的一些关键技术,如何仿真、算法的实现等进行了阐述。  相似文献   
6.
疏松桂  谭民 《控制与决策》1994,9(6):451-454
本文利用等效工作站理论和工件流平衡原理,推导出非串行离散事件生产线可以等价于串联系统,并归结为装配和拆卸两条定理,解决了系统的建模、分析与设计问题。  相似文献   
7.
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.  相似文献   
8.
主要讨论离散事件动态系统的建模问题。由KInan和PVaraiya提出的有限递归进程(FRP)是描述并发离散事件动态系统的有力工具,但在其FRP中,没有定义对数据变量的操作和条件转移算子。本文扩展FRP包括这两方面内容。最后举例说明扩展FRP的描述能力。  相似文献   
9.
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.  相似文献   
10.
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.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号