نتایج جستجو برای: nominal set
تعداد نتایج: 686085 فیلتر نتایج به سال:
The theory of nominal sets provide a mathematical analysis of names that is based upon symmetry. It formalizes the informal reasoning we employ while working with languages involving name binding operators. The central ideas of the theory are support, freshness and name abstraction, which respectively encapsulate the ideas of name dependence, name independence and alpha equivalence. This theory...
Fraenkel-Mostowski (FM) set theory delivers a model of names and alpha-equivalence. This model, now generally called the ‘nominal’ model, delivers inductive datatypes of syntax with alpha-equivalence — rather than inductive datatypes of syntax, quotiented by alpha-equivalence. The treatment of names and alpha-equivalence extends to the entire sets universe. This has proven useful for developing...
We define a type inference system for Nominal Rewriting where the types associated to terms are polymorphic (built from a set of base data sorts, type variables, and user-defined type constructors). In contrast with standard term rewriting systems or the λ-calculus, a typing environment for nominal rewriting includes type information for atoms, variables and function symbols. We give a syntax-d...
It has been shown that the set of all nonlinear plants stabilised by a known linear controller, which also stabilises a linear nominal model of the plant, can be parametrised by a stable operator known as the Youla-Kucera parameter. By utilising this description it is possible to convert the closed-loop plant identification problem to one of open-loop identification. This paper extends previous...
The meaning of structure or pattern for data which ful lls only nominal requirements will be investigated. Basic Informationand Uncertainty-measures will be discussed and a theoretical framework of four basic techniques for structurending introduced. I will conclude with an overview of a set of both, well known and less known methods, which will be related to each other, to the structurending p...
Nowadays protection engineers are suffering from very complex implementations of protection system analysis due to massive quantities of inconsistent data, let alone coming from diverse intelligent electronic devices (IEDs). Thus, a novel Rough-Set-based data mining strategy has been formulated to resolve the inconsistency in a distance protective relay’s decision system (i.e. a transformed rel...
Scenarios are an intuitive way for software project stakeholders to capture requirements, describe test cases and evaluate software architectures. Typically, however, coming up with a complete scenario specification is difficult. Basic (or nominal) scenarios are easy to write down, but more complex or less common (non-nominal) scenarios are harder to elicit. In particular, there is currently no...
This paper addresses the development of an adaptive control system for keyhole arc welding process. The system developed adjusts the amperage of the peak current to achieve the desired peak current period under varying manufacturing conditions. A nominal model is selected from models identified using experimental data and is used as the a prior model of the controlled process. A predictive cont...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید