全文获取类型
收费全文 | 60篇 |
免费 | 0篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 4篇 |
机械仪表 | 5篇 |
能源动力 | 1篇 |
轻工业 | 1篇 |
无线电 | 6篇 |
一般工业技术 | 4篇 |
冶金工业 | 4篇 |
自动化技术 | 33篇 |
出版年
2022年 | 1篇 |
2021年 | 1篇 |
2019年 | 2篇 |
2015年 | 1篇 |
2014年 | 1篇 |
2013年 | 7篇 |
2012年 | 2篇 |
2011年 | 3篇 |
2010年 | 3篇 |
2009年 | 4篇 |
2008年 | 1篇 |
2007年 | 2篇 |
2006年 | 1篇 |
2005年 | 2篇 |
2004年 | 2篇 |
2003年 | 2篇 |
2002年 | 3篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1993年 | 2篇 |
1990年 | 2篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1979年 | 5篇 |
1978年 | 1篇 |
1976年 | 1篇 |
1975年 | 1篇 |
排序方式: 共有60条查询结果,搜索用时 843 毫秒
1.
2.
3.
Summary A new method for transforming grammars into equivalent LL(k) grammars is studied. The applicability of the transformation is characterized by defining a subclass of LR(k) grammars, called predictive LR(k) grammars, with the property that a grammar is predictive LR(k) if and only if the corresponding transformed grammar is LL(k). Furthermore, it is shown that deterministic bottom-up parsing of a predictive LR(k) grammar can be done by the LL(k) parser of the transformed grammar. This parsing method is possible since the transformed grammar always left-to-right covers the original grammar. The class of predictive LR(k) grammars strictly includes the class of LC(k) grammars (the grammars that can be parsed deterministically in the left-corner manner). Thus our transformation is more powerful than the one previously available, which transforms LC(k) grammars into LL(k) form. 相似文献
4.
Jari J. Hänninen Keijo I. Nikoskinen Ismo V. Lindell 《Electrical Engineering (Archiv fur Elektrotechnik)》2005,88(1):1-12
An image solution for the canonical electrostatic problem of a point charge in an anisotropic half-space bounded by another anisotropic half-space is presented. The image source is obtained in operator form by using Fourier-transformed Maxwell equations and transmission line theory. After applying Heaviside operator calculus the image operator can be interpreted as a combination of a point charge and a sector of planar charge. The new theory is shown to coincide with the previously known image solutions of less general anisotropic media. In addition to being applicable to any physically feasible anisotropic medium of electrostatics, the method can be used for steady-current conductivity problems via a duality transformation. 相似文献
5.
Keijo Heljanko Misa Keinänen Martin Lange Ilkka Niemelä 《Journal of Computer and System Sciences》2012,78(2):430-440
This paper presents a reduction from the problem of solving parity games to the satisfiability problem in propositional logic (SAT). The reduction is done in two stages, first into difference logic, i.e. SAT combined with the theory of integer differences, an instance of the SAT modulo theories (SMT) framework. In the second stage the integer variables and constraints of the difference logic encoding are replaced with a set of Boolean variables and constraints on them, giving rise to a pure SAT encoding of the problem. The reduction uses Jurdziński?s characterisation of winning strategies via progress measures. The reduction is motivated by the success of SAT solvers in symbolic verification, bounded model checking in particular. The paper reports on prototype implementations of the reductions and presents some experimental results. 相似文献
6.
Teemu J. Ikonen Keijo Heljanko Iiro Harjunkoski 《American Institute of Chemical Engineers》2022,68(6):e17656
Periodic rescheduling is an iterative method for real-time decision-making on industrial process operations. The design of such methods involves high-level when-to-schedule and how-to-schedule decisions, the optimal choices of which depend on the operating environment. The evaluation of the choices typically requires computationally costly simulation of the process, which—if not sufficiently efficient—may result in a failure to deploy the system in practice. We propose the continuous control parameter choices, such as the re-optimization frequency and horizon length, to be determined using surrogate-based optimization. We demonstrate the method on real-time rebalancing of a bike sharing system. Our results on three test cases indicate that the method is useful in reducing the computational cost of optimizing an online algorithm in comparison to the full factorial sampling. 相似文献
7.
ABSTRACT An automatic system for measuring photocurrent of electrodes as a function of excitation wavelength and electrode potential is described. Applications to a chemically modified transparent Sn02 electrode and an oxide-covered tantalum electrode are shown. 相似文献
8.
On-line construction of suffix trees 总被引:47,自引:0,他引:47
E. Ukkonen 《Algorithmica》1995,14(3):249-260
An on-line algorithm is presented for constructing the suffix tree for a given string in time linear in the length of the string. The new algorithm has the desirable property of processing the string symbol by symbol from left to right. It always has the suffix tree for the scanned part of the string ready. The method is developed as a linear-time version of a very simple algorithm for (quadratic size) suffixtries. Regardless of its quadratic worst case this latter algorithm can be a good practical method when the string is not too long. Another variation of this method is shown to give, in a natural way, the well-known algorithms for constructing suffix automata (DAWGs).This research was supported by the Academy of Finland and by the Alexander von Humboldt Foundation (Germany). 相似文献
9.
10.
Marko J.?MoisioEmail author Keijo O.?V??n?nen 《Applicable Algebra in Engineering, Communication and Computing》2004,14(5):341-359
We give explicitly the number of rational places of certain function fields in terms of the reciprocals of the zeros of the function fields in question. The results are then compared with the Hasse-Weil bounds by using the approximation theorems of Dirichlet and Kronecker and it turns out that in many of these function fields the number of rational places is near the upper Hasse-Weil bound.
Keywords:Function fields, Diophantine approximation, Exponential sums. 相似文献