The Design of Shape from Motion Constraints

This report presents a set of representations methodologies and tools for the purpose of visualizing, analyzing and designing functional shapes in terms of constraints on motion. The core of the research is an interactive computational environment that provides an explicit visual representation of motion constraints produced by shape interactions, and a series of tools that allow for the manipulation of motion constraints and their underlying shapes for the purpose of design.

Constraints on space-time manifold in Euclidean supergravity in terms of Dirac eigenvalues

We generalize a previous work on Dirac eigenvalues as dynamical variables of Euclidean supergravity. The most general set of constraints on the curvatures of the tangent bundle and on the spinor bundle of the space-time manifold, under which space-time admits Dirac eigenvalues as observables, are derived.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Germany as the EU's reluctant hegemon? Of economic strength and political constraints

This article explores the growing perception, prompted by the eurozone crisis, of Germany as a hegemonic power in the European Union. The article explores the realignments in the power balance within the European Union (EU) by making an original application of the insights from the literature on hegemony. It reviews the evidence for Germany playing a hegemonic role, but then emphasizes three sets of constraints. First, German pre-eminence is largely confined to the economic sphere. Even in this area Germany has not acted fully in line with the role ascribed by hegemonic stability theory. Second, its pre-eminence in the EU encounters problems of international legitimacy. Third, growing constraints arising from German domestic politics further hamper playing the role of hegemon. In consequence, Germany is intrinsically a reluctant hegemon: one whose economic leadership is recognized but politically contested. The conclusion considers the significance of these findings on the EU's most important member state. © 2013 Taylor & Francis.

Resigning: a classic grounded theory of working within constraints when caring for stroke patients in the acute general care setting

This research aims to explore the challenges nurses face, when caring for stroke patients on a general medical/surgical ward, in the acute care setting and identify how nurses resolve or process this challenge. Healthcare environments continue to face the pressures of constraints such as reduced staffing levels, budgets, resources and less time, which influence care provision. Patient safety is central in care provision where nurses face the challenge of delivering best quality care when working within constraints. The incidence of stroke is increasing worldwide and internationally stroke units are the recognised minimum standard of care. In Ireland with few designated stroke units in operation many stroke patients are cared for in the acute general care setting. A classic grounded theory methodology was utilised for this study. Data was collected and analysed simultaneously through coding, constant comparison, theoretical sampling and memoing. Individual unstructured interviews with thirty two nurses were carried out. Twenty hours of non-participant observations in the acute general care setting were undertaken. The main concern that emerged was working within constraints. This concern is processed by nurses through resigning which consists of three phases; idealistic striving, resourcing and care accommodation. Through the process of resigning nurses engage in an energy maintenance process enabling them to continue working within constraints. The generation of the theory of resigning explains how nurses’ resolve or process working within constraints. This theory adds to the body of knowledge on stroke care provision. This theory has the potential to enhance nursing care, minimise burnout and make better use of resources while advocating for best care of stroke patients.

Topology Optimization of continuum structures with epsilon-relaxed stress constraints

Topology optimization of linear elastic continuum structures is a challenging problem when considering local stress constraints. The reasons are the singular behavior of the constraint with the density design variables, combined with the large number of constraints even for small finite element meshes. This work presents an alternative formulation for the s-relaxation technique, which provides an workaround for the singularity of the stress constraint. It also presents a new global stress constraint formulation. Derivation of the sensitivities for the constraint by the adjoint method is shown. Results for single and multiple load cases show the potential of the new formulation.

Gradient-dependent density functionals of the Perdew-Burke-Ernzerhof type for atoms, molecules, and solids

One of the standard generalized-gradient approximations (GGAs) in use in modern electronic-structure theory [Perdew-Burke-Ernzerhof (PBE) GGA] and a recently proposed modification designed specifically for solids (PBEsol) are identified as particular members of a family of functionals taking their parameters from different properties of homogeneous or inhomogeneous electron liquids. Three further members of this family are constructed and tested, together with the original PBE and PBEsol, for atoms, molecules, and solids. We find that PBE, in spite of its popularity in solid-state physics and quantum chemistry, is not always the best performing member of the family and that PBEsol, in spite of having been constructed specifically for solids, is not the best for solids. The performance of GGAs for finite systems is found to sensitively depend on the choice of constraints stemming from infinite systems. Guidelines both for users and for developers of density functionals emerge from this work.

Ontogenetic changes of swimming kinematics in a semi-aquatic reptile (Crocodylus porosus)

Semi-aquatic animals represent a transitional locomotor condition characterised by the possession of morphological features that allow locomotion both in water and on land. Most ecologically important behaviours of crocodilians occur in the water, raising the question of whether their 'terrestrial construction' constrains aquatic locomotion. Moreover, the demands for aquatic locomotion change with life-history stage. It was the aim of this research to determine the kinematic characteristics and efficiency of aquatic locomotion in different-sized crocodiles (Crocodylus porosus). Aquatic propulsion was achieved primarily by tail undulations, and the use of limbs during swimming was observed only in very small animals or at low swimming velocities in larger animals. Over the range of swimming speeds we examined, tail beat amplitude did not change with increasing velocity, but amplitude increased significantly with body length. However, amplitude expressed relative to body length decreased with increasing body length. Tail beat frequency increased with swimming velocity but there were no differences in frequency between different-sized animals. Mechanical power generated during swimming and thrust increased non-linearly with swimming velocity, but disproportionally so that kinematic efficiency decreased with increasing swimming velocity. The importance of unsteady forces, expressed as the reduced frequency, increased with increasing swimming velocity. Amplitude is the main determinant of body-size-related increases in swimming velocity but, compared with aquatic mammals and fish, crocodiles are slow swimmers probably because of constraints imposed by muscle performance and unsteady forces opposing forward movement. Nonetheless, the kinematic efficiency of aquatic locomotion in crocodiles is comparable to that of fully aquatic mammals, and it is considerably greater than that of semi-aquatic mammals.

Experiences on the implementation of a cooperative embedded system framework

As the complexity of embedded systems increases, multiple services have to compete for the limited resources of a single device. This situation is particularly critical for small embedded devices used in consumer electronics, telecommunication, industrial automation, or automotive systems. In fact, in order to satisfy a set of constraints related to weight, space, and energy consumption, these systems are typically built using microprocessors with lower processing power and limited resources. The CooperatES framework has recently been proposed to tackle these challenges, allowing resource constrained devices to collectively execute services with their neighbours in order to fulfil the complex Quality of Service (QoS) constraints imposed by users and applications. In order to demonstrate the framework's concepts, a prototype is being implemented in the Android platform. This paper discusses key challenges that must be addressed and possible directions to incorporate the desired real-time behaviour in Android.

The extended unsymmetric frontal solution for multiple-point constraints

The purpose of this paper is to discuss the linear solution of equality constrained problems by using the Frontal solution method without explicit assembling. Design/methodology/approach - Re-written frontal solution method with a priori pivot and front sequence. OpenMP parallelization, nearly linear (in elimination and substitution) up to 40 threads. Constraints enforced at the local assembling stage. Findings - When compared with both standard sparse solvers and classical frontal implementations, memory requirements and code size are significantly reduced. Research limitations/implications - Large, non-linear problems with constraints typically make use of the Newton method with Lagrange multipliers. In the context of the solution of problems with large number of constraints, the matrix transformation methods (MTM) are often more cost-effective. The paper presents a complete solution, with topological ordering, for this problem. Practical implications - A complete software package in Fortran 2003 is described. Examples of clique-based problems are shown with large systems solved in core. Social implications - More realistic non-linear problems can be solved with this Frontal code at the core of the Newton method. Originality/value - Use of topological ordering of constraints. A-priori pivot and front sequences. No need for symbolic assembling. Constraints treated at the core of the Frontal solver. Use of OpenMP in the main Frontal loop, now quantified. Availability of Software.

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Development of an equipment to detect and quantify muscular spasticity

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Strategic planning of electricity systems: Integrating renewable energies

Tese de Doutoramento - Programa Doutoral em Engenharia Industrial e Sistemas (PDEIS)