From its inception it was known that qualitative reasoning had a problem with the generation of spurious behaviours, and a great deal of effort has been expended in tackling this problem . Two approaches have been taken to constraint based qualitative simulation : constructive and non-constructive, though a thorough and objective examination of the operation and results of performing qualitativ...

The rank of the Kalman’s controllability matrix linear systems depends on bases invariant cyclic subspaces state generated by columns input matrix. case Jordan form and scalar control is studied in detail. It shown that dimension determined index numbers first non-zero elements coordinate blocks formation these completely disclosed. Based this, basis space a constructive system constructed.

Visual languages (VLs) play a central role in modelling various system aspects. Besides standard languages like UML, a variety of domain-specific languages exist which are the more used the more tool support is available for them. Different kinds of generators have been developed which produce visual modelling environments based on VL specifications. To define a VL, declarative as well as const...

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...

This document aims to give additional contribution into the study of tabique walls, a light timber wall existing in old constructions Portugal, and for which there is still lack information. work includes an inspection campaign on 11 buildings located at historic centre Portuguese city Viseu. The information obtained allowed create databases constituent elements constructive details these tradi...

It is well known that SL2(Fp) is generated by ( 1 1 0 1 ) and ( 1 0 1 1 ) . It is a much deeper theorem [4] that the Cayley diameter of this group with respect to these generators is O(log p). The proof depends on uniformly bounding the eigenvalues of the Laplacian on L0(X(p)) away from zero. This argument is, of course, very far from constructive. (For certain other sets of generators, A. Lubo...

in the age of globalization, neoliberal developmentalism is hegemonic cherachtristic of the international system. in this age legitimacy of political systems depends on national development. in such a space, creating a constructive interaction between national and international levels is a must for sucsess in national development plans. foreign policy is the main field & major means of creating...

Constructive Solid Geometry (CSG) has been used in several model-based vision programs, most notably in ACRONYM. This paper examines some of the problems that arise with CSG and proposes constraints that make CSG a unique representation of scenes. It is also suggested that Additive Constructive Solid Geometry (ACSG) is more useful for vision because it leads to simpler computation of connectivi...