Exchange Rates and U.S. Direct Investment into Latin America

This paper analyzes the impact of exchange rate levels and exchange rate uncertainty on U.S. foreign direct investment into Latin America. By decomposing exchange rate uncertainty into temporary (short-run) and permanent (long-run) components, we further explore whether the nature of uncertainty matters. Our empirical findings support the view that exchange rate uncertainty has a negative impact on U.S. investment flows into Latin America. Moreover, it is the persistency in uncertainty rather than transitory uncertainty that mostly deters foreign investment. In contrast, investors do not appear to be affected by discrete movements in exchange rate levels.

GTA: Groupware task analysis Modeling complexity

The task analysis methods discussed in this presentation stem from Human-Computer Interaction (HCI) and Ethnography (as applied for the design of Computer Supported Cooperative Work CSCW), different disciplines that often are considered conflicting approaches when applied to the same design problems. Both approaches have their strength and weakness, and an integration of them does add value to the early stages of design of cooperation technology. In order to develop an integrated method for groupware task analysis (GTA) a conceptual framework is presented that allows a systematic perspective on complex work phenomena. The framework features a triple focus, considering (a) people, (b) work, and (c) the situation. Integrating various task-modeling approaches requires vehicles for making design information explicit, for which an object oriented formalism will be suggested. GTA consists of a method and framework that have been developed during practical design exercises. Examples from some of these cases will illustrate our approach

Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles

We develop a framework for control protocol synthesis for a platoon of autonomous vehicles subject to temporal logic specifications. We describe the desired behavior of the platoon in a set of linear temporal logic formulas, such as collision avoidance, close spacing or comfortability. The problem of decomposing a global specification for the platoon into distributed specification for each pair of adjacent vehicles is hard to solve. We use the invariant specifications to tackle this problem and the decomposition is proved to be scalable.. Based on the specifications in Assumption/Guarantee form, we can construct a two-player game (between the vehicle and its closest leader) locally to automatically synthesize a controller protocol for each vehicle. Simulation example for a distributed vehicles control problem is also shown

DYNAMIC LINKAGES BETWEEN PRICES AND IMPORTS FOR JAPANESE FROZEN TUNA

VAR models have been used to describe the dynamic relationships among market price, Japanese harvest, import-from-Taiwan, and import-from-Korea for frozen Big-Eye tuna and Yellow-Fin tuna markets in Japan. It is found that tuna imports from South Korea exert more significant effects on Japan market prices than import-from-Taiwan.Demand and Price Analysis, International Relations/Trade,

A Combinatorial Parametric Engineering Model for Solid Freeform Fabrication

Fabricated parts are often represented as compact connected smooth 3-manifolds with boundary, where the boundaries consist of compact smooth 2-manifolds. This class of mathematical structures includes topological spaces with enclosed voids and tunnels. Useful information about these structures are coded into level functions (Morse functions) which map points in the 3-manifold onto their height above a fixed plane. By definition, Morse functions are smooth functions, all of whose critical points are nondegenerate. This information is presented by the Reeb graph construction that develops a topologically informative skeleton of the manifold whose nodes are the critical points of the Morse function and whose edges are associated with the connected components between critical slices. This approach accurately captures the SFF process: using a solid geometric model of the part, defining surface boundaries; selecting a part orientation; forming planar slices, decomposing the solid into a sequence of thin cross-sectional polyhedral layers; and then fabricating the part by producing the polyhedra by additive manufacturing. This note will define a qualitative and combinatorial parametric engineering model of the SFF part design process. The objects under study will be abstract simplicial complexes K with boundary ∂K. Systems of labeled 2-surfaces in K, called slices, will be associated with the cross-sectional polyhedral layers. The labeled slices are mapped into a family of digraph automata, which, unlike cellular automata, are defined not on regular lattices with simple connectivities (cells usually have either 4 or 8 cell neighborhoods) but on unrestricted digraphs whose connectivities are irregular and more complicated.Mechanical Engineerin

Obtaining Formal Models through Non-Monotonic Refinement

When designing a model for formal verification, we want to\ud be certain that what we proved about the model also holds for the system we modelled. This raises the question of whether our model represents the system, and what makes us confident about this. By performing so called, non-monotonic refinement in the modelling process, we make the steps and decisions explicit. This helps us to (1) increase the confidence that the model represents the system, (2) structure and organize the communication with domain experts and the problem owner, and (3) identify rational steps made while modelling. We focus on embedded control systems

What makes industries believe in formal methods

The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research