We propose an abstract framework for Design Space Exploration (DSE) in the context of model-based embedded system development. The goal is to enable the integration of a set of concrete DSE methods addressing different system characteristics and design goals while still having a common understanding of design artifacts.

Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...

We construct the surface measure on the space C([0, 1],M) of paths in a compact Riemannian manifold M without boundary embedded into Rn which is induced by the usual flat Wiener measure on C([0, 1], Rn) conditioned to the event that the Brownian particle does not leave the tubular ε-neighborhood of M up to time 1. We prove that the limit as ε → 0 exists, the limit measure is equivalent to the W...

We prove a smooth version of the classical Schwarz reflection principle for CR mappings between an abstract CR manifold M and a generic CR manifold embedded in euclidean complex space. As a consequence of our results, we settle a conjecture of X. Huang formulated in [Hu2].

Denote by [0, ω1) the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let C0[0, ω1) be the Banach space of scalar-valued, continuous functions which are defined on [0, ω1) and vanish eventually. We show that a weak ∗compact subset of the dual space of C0[0, ω1) is either uniformly Eberlein compact, or it contains a homeomorphic copy of...

For a compact spin manifold M isometrically embedded into Euclidean space, we derive the extrinsic estimates from above and below for eigenvalues of the Dirac operators, which depend on the second fundamental form of the embedding. We also show the bounds of the ratio of the eigenvalues.

We study an interesting class of Banach function algebras of innitely dierentiable functions onperfect, compact plane sets. These algebras were introduced by Honary and Mahyar in 1999, calledLipschitz algebras of innitely dierentiable functions and denoted by Lip(X;M; ), where X is aperfect, compact plane set, M = fMng1n=0 is a sequence of positive numbers such that M0 = 1 and(m+n)!Mm+n ( m!Mm)...

This paper deals with the scattering problem by an inhomogeneous object embedded in a chiral medium. A combined Hilbert space and integral equation method is employed to prove the existence and uniqueness of the solutions to the scattering problem. It is shown that the classical Silver-M uller radiation condition remains valid in chiral media.

We describe a method to recover the underlying parametrization of scattered data (mi) lying on a manifold M embedded in high-dimensional Euclidean space. The method, Hessian-based Locally Linear Embedding (HLLE), derives from a conceptual framework of Local Isometry in which the manifold M , viewed as a Riemannian submanifold of the ambient Euclidean space Rn, is locally isometric to an open, c...

the asymmetric problem of rocking rotation of a circular rigid disk embedded in a finite depth of a transversely isotropic half-space is analytically addressed. the rigid disk is assumed to be in frictionless contact with the elastic half-space. by virtue of appropriate green's functions, the mixed boundary value problem is written as a dual integral equation. employing further mathematica...