Sobre la investigación matemática española y las herramientas de política científica.
This paper is concerned with the null controllability of systems governed by semilinear parabolic equations. The control is exerted either on a small subdomain or on a portion of the boundary. We prove that the system is null controllable when the nonlinear term grows slower than . log|| as || → ∞.
En este artículo se estudian los problemas de Set Partitioning (SP) desde una perspectiva algorítmica. El diseño de un procedimiento heurístico permite no sólo disponer de soluciones posibles para los mismos, sino también obtener desigualdades válidas que sean violadas por las soluciones posibles a partir de las que se obtienen. La incorporación a los problemas originales de las desigualdades válidas obtenidas proporcionan unos problemas ampliados (SPA) para los que también se propone un procedimiento...
En este artículo se estudian los problemas de Knapsack con una restricción adicional. Este estudio viene motivado por la aparición de problemas con esta estructura en la formulación de distintas relajaciones lagrangianas asociadas a problemas enteros. Hemos considerado dos tipos de problemas: unos tienen las dos restricciones del mismo sentido, mientras que los otros las tienen de distinto sentido. Para ambos tipos de problemas presentamos algoritmos de enumeración implícita para su resolución así...
In this paper we present new examples of -dimensional compact cosymplectic manifolds which are not topologically equivalent to the canonical examples, i.e., to the product of the -dimensional real torus and the -dimensional complex projective space, with and These new examples are compact solvmanifolds and they are constructed as suspensions with fibre the -dimensional real torus. In the particular case using the examples obtained, we conclude that a -dimensional compact flat orientable...
This article presents an XML[2] based language for the specification of objects in the Soft Computing area. The design promotes reuse and takes a compositional approach in which more complex constructs are built from simpler ones; it is also independent of implementation details as the definition of the language only states the expected behaviour of every possible implementation. Here the basic structures for the specification of concepts in the Fuzzy Logic area are described and a simple construct...
Summary: We prove a characterization of the immersions in the context of infinite dimensional manifolds with corners, we prove that a Hausdorff paracompact -manifold whose charts are modelled over real Banach spaces which fulfil the Urysohn -condition can be embedded in a real Banach space, , by means of a closed embedding, , such that, locally, its image is a totally neat submanifold of a quadrant of a closed vector subspace of and finally we prove that a Hausdorff paracompact topological...
Page 1