全文获取类型
收费全文 | 853篇 |
免费 | 114篇 |
国内免费 | 158篇 |
专业分类
电工技术 | 29篇 |
综合类 | 99篇 |
化学工业 | 18篇 |
金属工艺 | 95篇 |
机械仪表 | 42篇 |
建筑科学 | 16篇 |
矿业工程 | 4篇 |
能源动力 | 5篇 |
轻工业 | 48篇 |
水利工程 | 4篇 |
石油天然气 | 2篇 |
武器工业 | 11篇 |
无线电 | 59篇 |
一般工业技术 | 57篇 |
冶金工业 | 17篇 |
原子能技术 | 2篇 |
自动化技术 | 617篇 |
出版年
2024年 | 3篇 |
2023年 | 12篇 |
2022年 | 15篇 |
2021年 | 25篇 |
2020年 | 16篇 |
2019年 | 17篇 |
2018年 | 28篇 |
2017年 | 30篇 |
2016年 | 31篇 |
2015年 | 29篇 |
2014年 | 41篇 |
2013年 | 59篇 |
2012年 | 51篇 |
2011年 | 72篇 |
2010年 | 64篇 |
2009年 | 66篇 |
2008年 | 93篇 |
2007年 | 59篇 |
2006年 | 82篇 |
2005年 | 53篇 |
2004年 | 51篇 |
2003年 | 36篇 |
2002年 | 31篇 |
2001年 | 28篇 |
2000年 | 20篇 |
1999年 | 20篇 |
1998年 | 16篇 |
1997年 | 14篇 |
1996年 | 10篇 |
1995年 | 13篇 |
1994年 | 10篇 |
1993年 | 6篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 3篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 3篇 |
1975年 | 2篇 |
排序方式: 共有1125条查询结果,搜索用时 15 毫秒
1.
This paper addresses the key issue of providingflexible multimedia presentation with user participation and suggests synchronization models that can specify the user participation during the presentation. We study models like the Petrinet-based hypertext model and the object composition Petri nets (OCPN). We suggest adynamic timed Petri nets structure that can model pre-emptions and modifications to the temporal characteristics of the net. This structure can be adopted by the OCPN to facilitate modeling of multimedia synchronization characteristics with dynamic user participation. We show that the suggested enhancements for the dynamic timed Petri nets satisfy all the properties of the Petri net theory. We use the suggested enhancements to model typical scenarios in a multimedia presentation with user inputs. 相似文献
2.
W. M. P. van der Aalst 《OR Spectrum》1996,18(4):219-229
Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting and redundant precedences, upper- and lower-bounds for the makespan, etc. This is illustrated by a Petri net based analysis of the notorious 10×10 problem due to Fisher & Thompson (1963) 相似文献
3.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献
4.
A stochastic model for simulating the microstructure formation of Mg alloy AZ91 during solidification was developed based on the finite element method(FEM) for macroscopic model of heat transfer calculation and a modified Cellular Automaton (mCA) for microscopic modeling of nucleation, growth of crystal. In this model, the effect of solute redistribution, interface curvature and preferred orientation was considered. A numerical simulation was developed with C++ program language. The computation was carded out to understand the effect of varying processing parameters, such as nucleation parameters and heat transfer coefficient, on the microstructure formation of AZ91. The result of simulation was displayed on screen. 相似文献
5.
6.
A decomposition algorithm for scheduling problems based on timed automata (TA) model is proposed. The problem is represented as an optimal state transition problem for TA. The model comprises of the parallel composition of submodels such as jobs and resources. The procedure of the proposed methodology can be divided into two steps. The first step is to decompose the TA model into several submodels by using decomposable condition. The second step is to combine individual solution of subproblems for the decomposed submodels by the penalty function method. A feasible solution for the entire model is derived through the iterated computation of solving the subproblem for each submodel. The proposed methodology is applied to solve flowshop and jobshop scheduling problems. Computational experiments demonstrate the effectiveness of the proposed algorithm compared with a conventional TA scheduling algorithm without decomposition. 相似文献
7.
基于元胞自动机(CA)和有限元(FE)耦合法对单晶铜杆热型连铸过程中晶粒生长及演化过程进行了模拟,获得了稳定状态下铸棒内温度分布及液固相界面的位置和形态,模拟了连铸初期沿热流方向细小等轴晶快速合并形成柱状晶的过程,采用截面形态和极图法分析了定向凝固条件下各个生长时刻的晶粒形貌和晶粒生长取向以及晶粒竞争生长过程中的快速淘汰和慢速淘汰阶段,为热型连铸工艺优化提供了依据。 相似文献
8.
本文主要针对焊接接头微观组织演化建模及其可视化方法进行研究。采用元胞自动机模型,通过对焊接接头的微观组织晶粒生长进行模拟来分析和研究微观组织的形态学和动力学特征;通过微观组织图像人工生成技术,直观、精确地展现出微观组织演化的可视化效果。实验结果表明,经过回归分析得到的晶粒生长指数同主流的Burke经验公式相符,使用元胞自动机算法对微观组织演化进行的可视化模拟得到了令人满意的效果。 相似文献
9.
利用元胞自动机仿真不同出口位置和不同内部布局下交通枢纽内人员的疏散情况,通过制定合适的人员行走规则,对交通枢纽内人员疏散进行仿真分析。结果表明,正面中央开口时人员的疏散效率最高,此时由于人员相对于出口大概呈对称分布,人员对过道的利用率达到最高;和正面边缘开口相比,出口位置设置在侧面更好,以减少行人在行走过程中方向的变化从而减少疏散时间。当在侧面开口时,在靠近出口墙壁处设置过道可以提高人群的疏散效率,并且适当地增加过道数目,可以对疏散人群起到分流的作用,从而对人群的疏散也很有利。 相似文献
10.
李启朗 《安徽建筑工业学院学报》2014,(6)
如今,相图被广泛用于交通科学领域的研究,取得了重要成果。根据理论分析和计算机模拟,本文构建了十字路口处交通流量相图。该相图是由五个基本区域构成的,本文分析并推导出每个区域的具体流量公式。在周期边界条件下,采用确定性 Fukui-Ishibashi元胞自动机交通模型进行数值模拟,其模拟结果与理论分析精确一致。 相似文献