Search results for "PROGRAM"

Metal Cluster — Surface Interaction: Simple Models and Ab Initio Calculations

1999

We review recent ab initio atomistic calculations on interactions between metal clusters and electronically inert (insulating) substrates. The model system is sodium clusters on the sodium-chloride (001) surface. This system provides an example of weak cluster-support interaction (physisorption) which can however be easily modified by introducing color centers at the surface, resulting in chemisorption of sodium adatom or cluster. The results obtained from atomistic calculations can be used for constructing simple jellium-type models for the adsorbed cluster. These models allow for systematic investigations in a large size-range of clusters on the shell structure, dimensionality, and stabil…

Short-term walking physical training and changes in body hydration status, B-type natriuretic peptide and C-reactive protein levels in compensated co…

2008

BACKGROUND: Congestive heart failure (CHF) is associated with decreased exercise tolerance, alterations in body fluid balance and activation of neurohumoral and inflammatory pathways. Physical training, despite the contraindications of the past, is recommended for its beneficial effects on exercise capacity and quality of life. We investigate the effects of a short-term (ten weeks) walking physical training program (PT) on body hydration state (HS), B-type natriuretic peptide (BNP) and C-reactive protein (CRP) levels. METHODS AND RESULTS: 22 patients with CHF (mean age 62.7+/-4.8 years, 15 men, mean ejection fraction 38.9+/-3.6%, NYHA class II-III), were enrolled. Eleven patients were rando…

UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study

2009

In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of cli…

Nota sobre La Presidencia Española del Consejo Europeo

1989

Constraint Management in Engineering of Complex Information Systems

2009

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of constraints as 3D spaces with  dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.

An optimality test for semi-infinite linear programming

1992

In this paper we present a test to characterize the optimal solutions for the continuous semi-infinite linear programming problem. This optimality characterization is a condition of Kuhn–Tucker type. The resolution of a linear program permits to check the optimality of a feasible point,to detect the unboundedness of the problem and to find descent directions. We give some illustrative examples. We show that the local Mangasarian–Fromovitz constraint qualification is almost equivalent to Slater qualification for this problem. Furthermore, it follows from our study that this optimality condition is always necessary for a wide class of semi-infinite linear programming problems

Solution isolation strategies for the Bernstein polytopes-based solver

2013

The Bernstein polytopes-based solver is a new method developed to solve systems of nonlinear equations, which often occur in Geometric Constraint Solving Problems. The principle of this solver is to linearize nonlinear monomials and then to solve the resulting linear programming problems, through linear programming. However, without any strategy for the isolation of the many solutions of multiple-solution systems, this solver is slow in practice. To overcome this problem, we propose in this work, a study of several strategies for solution isolation, through the split of solution boxes into several subboxes, according to three main steps answering the questions: when, where, and how to perfo…

Decision Support Systems Based on CLP Approach in SMEs

2006

The paper focuses on a selected class of decision problems related with the production flow planning in SMEs, particularly in new production orders. Verification of orders gives a possibility to evaluate whether resources capacity of a manufacturer is balanced with the orderer's requirements. The class of decision problems under analysis is included in the scope of organizational production preparation and can be naturally determined by available CLP (Constraint Logic Programming) tools. The approach proposed in the paper is based on establishment of an interface which facilitates its task oriented use. The system has been presented on the basis of a sample order execution in a manufacturer…

Optimal switches in multi-inventory systems

2007

Given a switched multi-inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function related to the cost of the resets. We discuss a family of instances that can be solved in polynomial time by linear programming. We do this by introducing a set-covering formulation with a totally unimodular constraint matrix.

A Research Review on Building Information Modeling in Construction―An Area Ripe for IS Research

2012

Published version of article of an article in the journal: Communications of the Association for Information Systems. Also available from the publisher : http://http://aisel.aisnet.org/cais/vol31/iss1/10/ This article presents a review of the research on Building Information Modeling (BIM) in construction, with the aim of identifying areas in this domain where IS research can contribute. The concept of BIM comprises an infrastructure of IT tools supporting collaborative and integrated design, assembly, and operation of buildings. This integrated construction approach, with all stakeholders editing or retrieving information from commonly shared models, requires major changes to well-establis…