搜索结果: 1-10 共查到“工学 Algebraic”相关记录10条 . 查询时间(0.037 秒)
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
The Spatio-temporal object is a kind of complex temporal objects. Here, four basic constructors, i.e., tuple, set, list and temporal, are introduced to construct an algebraic model of complex temporal...
Algebraic pseudorandom functions with improved efficiency from the augmented cascade
improved efficiency pseudorandom functions
2015/8/5
We construct an algebraic pseudorandom function (PRF) that is more efficient than the classic Naor-Reingold algebraic PRF. Our PRF is the result of adapting the cascade construction, which is the basi...
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ring. This provides a...
An Algebraic Approach to the Control of Decentralized Systems
Decentralized Systems Algebraic
2015/6/19
Optimal decentralized controller design is notoriously difficult, but recent research has identified large subclasses of such problems that may be convexified and thus are amenable to solution via eff...
A PHYSICS-BASED MODEL FOR ACTIVE CONTOURS: A COMPUTATIONAL ALGEBRAIC TOPOLOGY APPROACH
A PHYSICS-BASED MODEL ACTIVE CONTOURS A COMPUTATIONAL ALGEBRAIC TOPOLOGY APPROACH
2015/3/16
A PHYSICS-BASED MODEL FOR ACTIVE CONTOURS: A COMPUTATIONAL ALGEBRAIC TOPOLOGY APPROACH.
A global approach for image orientation using Lie algebraic rotation averaging and convex L∞ minimisation
Image orientation rotation averaging convex optimisation bundle adjustment
2014/9/9
In this paper we present a new global image orientation approach for a set of multiple overlapping images with given homologous point tuples which is based on a two-step procedure. The approach is ind...
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2Process Algebra
business continuity business process algebraic graph transformation process algebra generation evaluation enterprise modeling
2014/3/11
Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on be...
MUSIC, CBF and Differential Algebraic Constant Modulus Algorithms for Direction of Arrival Estimation in Passive Coherent Locators
Passive Radar Direction of Arrival (DOA) Passive Coherent Locators (PCL)
2009/7/28
In passive coherent locators (PCL) systems, noise and the precision of direction of arrival (DOA) estimation are key issues. This paper addresses the implementation of high-resolution DOA estimation m...
An Algebraic Model for the Recombination Rate in Semiconductors
the electron-hole recombination rate semiconductors linear algebraic methods
2010/12/16
This paper consists of a new formalism in order to interpret the electron-hole recombination rate in semiconductors by means of linear algebraic methods; a formulation based on tensorial concepts intr...