全文获取类型
收费全文 | 517篇 |
免费 | 68篇 |
国内免费 | 98篇 |
专业分类
电工技术 | 14篇 |
综合类 | 64篇 |
化学工业 | 7篇 |
金属工艺 | 86篇 |
机械仪表 | 24篇 |
建筑科学 | 16篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 2篇 |
水利工程 | 3篇 |
石油天然气 | 2篇 |
武器工业 | 9篇 |
无线电 | 30篇 |
一般工业技术 | 40篇 |
冶金工业 | 12篇 |
原子能技术 | 2篇 |
自动化技术 | 368篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 15篇 |
2020年 | 10篇 |
2019年 | 10篇 |
2018年 | 13篇 |
2017年 | 18篇 |
2016年 | 21篇 |
2015年 | 19篇 |
2014年 | 24篇 |
2013年 | 32篇 |
2012年 | 32篇 |
2011年 | 50篇 |
2010年 | 35篇 |
2009年 | 45篇 |
2008年 | 64篇 |
2007年 | 37篇 |
2006年 | 49篇 |
2005年 | 34篇 |
2004年 | 28篇 |
2003年 | 17篇 |
2002年 | 18篇 |
2001年 | 16篇 |
2000年 | 13篇 |
1999年 | 12篇 |
1998年 | 6篇 |
1997年 | 9篇 |
1996年 | 6篇 |
1995年 | 4篇 |
1994年 | 8篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 3篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 3篇 |
1975年 | 2篇 |
排序方式: 共有683条查询结果,搜索用时 15 毫秒
641.
带有时钟变量的线性时序逻辑与实时系统验证 总被引:8,自引:1,他引:7
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精. 相似文献
642.
A cellular automaton based on a gas model of hydrodynamics was used to calculate the kinematics of non-cohesive granular materials during confined flow in a mass flow and funnel flow model silo. In the model, collisions of particles were taken into account during granular flow. In addition, a simplified automaton was used wherein granular flow was assumed as an upward propagation of holes through a lattice composed of cells representing single particles. The advantages and disadvantages of both cellular automata were outlined. 相似文献
643.
We present two new techniques for regular expression searching and use them to
derive faster practical algorithms.
Based on the specific properties of Glushkov’s nondeterministic finite automaton
construction algorithm, we show how to encode a deterministic finite
automaton (DFA) using O(m2m) bits, where m is the number of characters,
excluding operator symbols, in the regular expression. This compares favorably
against the worst case of O(m2m|Σ|) bits needed by a classical DFA
representation (where Σ is the alphabet) and O(m22m) bits needed
by the Wu and Manber approach implemented in Agrep.
We also present a new way to search for regular expressions, which is
able to skip text characters. The idea is to determine the minimum
length ℓ of a string matching the regular expression,
manipulate the original automaton so that it recognizes all the
reverse prefixes of length up to ℓ of the strings originally accepted,
and use it to skip text characters as done for exact string matching
in previous work.
We combine these techniques into two algorithms, one able and one unable to
skip text characters. The algorithms are simple to implement, and our
experiments show that they permit fast searching for regular expressions,
normally faster than any existing algorithm. 相似文献
644.
New Techniques for Regular Expression Searching 总被引:1,自引:0,他引:1
We present two new techniques for regular expression searching and use them to
derive faster practical algorithms.
Based on the specific properties of Glushkovs nondeterministic finite automaton
construction algorithm, we show how to encode a deterministic finite
automaton (DFA) using O(m2m) bits, where m is the number of characters,
excluding operator symbols, in the regular expression. This compares favorably
against the worst case of O(m2m||) bits needed by a classical DFA
representation (where is the alphabet) and O(m22m) bits needed
by the Wu and Manber approach implemented in Agrep.
We also present a new way to search for regular expressions, which is
able to skip text characters. The idea is to determine the minimum
length of a string matching the regular expression,
manipulate the original automaton so that it recognizes all the
reverse prefixes of length up to of the strings originally accepted,
and use it to skip text characters as done for exact string matching
in previous work.
We combine these techniques into two algorithms, one able and one unable to
skip text characters. The algorithms are simple to implement, and our
experiments show that they permit fast searching for regular expressions,
normally faster than any existing algorithm. 相似文献
645.
交互复杂度--面向网络计算的复杂度指标 总被引:1,自引:0,他引:1
随着网络计算的盛行,计算问题的解决越来越倾向于通过分布在网络上的服务的交互来完成,研究问题在交互意义上的复杂度显得日益重要.提出了以交互为基本要素的通用计算模型——交互积,在此基础上提出了算法的交互复杂度指标,并初步探索了交互复杂度和时间复杂度之间的关系.利用3-GIP的通用性,可以降低网格系统的成本和提高好用性,而交互复杂度可以作为网格上问题解决方案的评价指标,从而可以指导网格应用的开发. 相似文献
646.
姚刚 《计算机科学技术学报》2003,18(3):0-0
Some properties of a finite automaton composed of two weakly invertible finite automata with delay 1 are given,where each of those two automata has the output set of each state with the same size.And for a weakly invertible finite automaton M with delay 2 satisfying the properties mentioned in this paper,two weakly invertible finite automata with delay 1 are constructed such that M is equivalent to a sub-finite-automaton of the composition of those two.So a method to decompose this a kind of weakly invertible finite automate with delay 2 is presented. 相似文献
647.
Paulo A. S. Veloso 《International journal of parallel programming》1980,9(5):371-382
Intrinsic characterizations by means of analogues of regular expressions are given for six families of regular languages related to the prefix codes, namely their reversals and their closure under union, the right and left ideals, and their complements. First, a characterization for the regular prefix codes is obtained, which is then used to characterize the other families. Characterizations by finite automata are also presented.This research has been sponsored in part by FINEP, CNPq and Canadian NRC. 相似文献
648.
We prove that any recognizable set of infinite words is the infinite behaviour of some finite codeterministic automaton. 相似文献
649.
An enhanced generative formalism is proposed based on the combination of two features: contextual derivation (as in Marcus contextual grammars) and sorted dependency structures (as in dependency grammars). The model is related to a variant of restarting automaton with rewriting and deletion. Preliminary results on the generative power as well as closure and decidability properties of the new model are presented. 相似文献
650.
Most of the timed automata reachability analysis algorithms in the literature explore the state spaces by enumeration of symbolic states, which use time constraints to represent a set of concrete states. A time constraint is a conjunction of atomic formulas which bound the differences of clock values. In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time- and space-efficiency. Such atomic formulas are called as irrelevant atomic formulas. A method is also presented to detect irrelevant formulas based on the test-reset information about clock variables. An optimized model-checking algorithm is designed based on these techniques. The case studies show that the techniques presented in this paper significantly improve the space- and time-efficiency of reachability analysis. 相似文献