首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   25篇
  免费   0篇
电工技术   2篇
化学工业   3篇
机械仪表   1篇
能源动力   1篇
轻工业   1篇
无线电   1篇
一般工业技术   4篇
自动化技术   12篇
  2022年   1篇
  2021年   1篇
  2015年   1篇
  2013年   2篇
  2012年   1篇
  2011年   1篇
  2010年   1篇
  2007年   1篇
  2005年   2篇
  2004年   2篇
  2003年   1篇
  2002年   2篇
  1995年   1篇
  1993年   1篇
  1983年   1篇
  1979年   3篇
  1978年   1篇
  1976年   1篇
  1975年   1篇
排序方式: 共有25条查询结果,搜索用时 364 毫秒
1.
2.
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.  相似文献   
3.
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.  相似文献   
4.
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.  相似文献   
5.
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.  相似文献   
6.
7.
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.  相似文献   
8.
The time-honored Chomsky hierarchy has long shown its value as a structural tool in formal languages and automata theory, and gained followers in various areas. We show here how very similar hierarchies can be obtained for families of sets of piecewise continuous functions. We use systems of ordinary differential equations in the same way that automata are used in establishing the traditional Chomsky hierarchy. A functional memory is provided by state-dependent delays which are used in a novel way, paired with certain state components, giving memory structures similar to push-down stores and Turing machine tapes. The resulting machine model may be viewed as a functional computing machine, with functional input, functional memory and, though this is not emphasized here, functional output.  相似文献   
9.
Recently, stable meshfree methods for computational fluid mechanics have attracted rising interest. So far such methods mostly resort to similar strategies as already used for stabilized finite element formulations. In this study, we introduce an information theoretical interpretation of Petrov–Galerkin methods and Green’s functions. As a consequence of such an interpretation, we establish a new class of methods, the so-called information flux methods. These schemes may not be considered as stabilized methods, but rather as methods which are stable by their very nature. Using the example of convection–diffusion problems, we demonstrate these methods’ excellent stability and accuracy, both in one and higher dimensions.  相似文献   
10.
Effective findability of zeros of Z-rational functions (an open problem at the time of writing) is shown to imply solvability of the equivalence problem as well as the ultimate equivalence problem for HD0L sequences. As a special case, these problems are shown to be solvable for HD0L sequences the morphisms of the generating HD0L systems of which have Parikh matrices with eigenvalues of the form rε where r is a real number and ε is a root of unity.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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