Boundedness properties of the soft-constrained time-optimal control

We present a general analysis of the asymptotic behaviour of the soft-constrained time-optimal (SCTO) control of linear systems. We are essentially seeking to show that (1) this control is bounded, like its hard-constrained counterpart; and (2) there is a basic tradeoff between the control bounds and the speed of the response, and we seek to characterize this tradeoff. We show that if the 'No Infinite Manoeuvre in Finite Optimal Time' (NIMIFOT) condition holds, then the boundedness of the SCTO control can be easily checked, and that the above-mentioned tradeoff is clearly characterized. For instance, we show that the SCTO control is bounded for all stable systems and for many marginally stable systems provided that the NIMIFOT condition holds. We also show that a slight modification of the formulation of the SCTO control problem can ensure that the NIMIFOT condition holds. With this new formulation, the SCTO control can be shown to be bounded for most linear plants satisfying mild and easily checkable conditions.     

Differencing and merging of architectural views

Differencing and merging architectural views is an important activity in software engineering. However, existing approaches are still based on restrictive assumptions, such as requiring view elements to have unique identifiers or exactly matching types, which is often not the case in many application domains. We propose an approach based on structural information. We generalize a published polynomial-time tree-to-tree correction algorithm that detects inserts, renames and deletes, into a novel algorithm that additionally detects restricted moves. Our algorithm also supports forcing and preventing matches between view elements. We incorporate the algorithm into tools to compare and merge Component-and-Connector (C&C) architectural views. We provide an empirical evaluation of the algorithm. We illustrate the tools using extended examples, and use them to detect and reconcile interesting differences between real architectural views. This article is an expanded version of the following paper: Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., and Garlan, D: 2006, ‘Differencing and Merging of Architectural Views’. In: Proceedings of the 21st IEEE International Conference on Automated Software Engineering, pp. 47–58.     

Investigating Knowledge Management Factors Affecting Chinese ICT Firms Performance: An Integrated KM Framework

This article sets out to investigate the critical factors of Knowledge Management (KM) which are considered to have an impact on the performance of Chinese information and communication technology (ICT) firms. This study confirms that the cultural environment of an enterprise is central to its success in the context of China. It shows that a collaborated, trusted, and learning environment within ICT firms will have a positive impact on their KM performance.     

Modularized design for cooperative control and plug-and-play operation of networked heterogeneous systems

In this paper, a cooperative control analysis and design method is investigated for heterogeneous dynamical systems that may be of arbitrary relative degree or nonminimum-phase or both. To achieve consensus or cooperative stability, a negative value of input-feedforward passivity index is used to accommodate and analyze such systems, and the magnitude of the index value is also used as the impact coefficient to quantify the impacts of heterogeneous dynamics of these systems on their networked operations. Physical-system-level designs are explicitly carried out to make individual linear and nonlinear systems (which are either feedback linearizable or nonminimum phase of certain form) become passivity-short and to embed one pure integrator into their input–output dynamics. The network-level distributed control can simply be chosen without any knowledge of the heterogeneous dynamics but with only information of an upper bound on their impact coefficients. It is shown, using the impact equivalence principle, that these controls separately designed but implemented together always ensure either local or global consensus and that a global non-trivial consensus emerges if and only if the information network has at least one globally reachable node or is varying but cumulatively connected. The proposed methodology of fully modularized designs unravels complexity of analyzing and designing cyber–physical systems and enables their plug-and-play into networked operations.     

FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis

Interest in the Web services (WS) composition (WSC) paradigm is increasing tremendously. A real shift in distributed computing history is expected to occur when the dream of implementing Service-Oriented Architecture (SOA) is realized. However, there is a long way to go to achieve such an ambitious goal. In this paper, we support the idea that, when challenging the WSC issue, the earlier that the inevitability of failures is recognized and proper failure-handling mechanisms are defined, from the very early stage of the composite WS (CWS) specification, the greater are the chances of achieving a significant gain in dependability. To formalize this vision, we present the FENECIA (Failure Endurable Nested-transaction based Execution of Composite Web services with Incorporated state Analysis) framework. Our framework approaches the WSC issue from different points of view to guarantee a high level of dependability. In particular, it aims at being simultaneously a failure-handling-devoted CWS specification, execution, and quality of service (QoS) assessment approach. In the first section of our framework, we focus on answering the need for a specification model tailored for the WS architecture. To this end, we introduce WS-SAGAS, a new transaction model. WS-SAGAS introduces key concepts that are not part of the WS architecture pillars, namely, arbitrary nesting, state, vitality degree, and compensation, to specify failure-endurable CWS as a hierarchy of recursively nested transactions. In addition, to define the CWS execution semantics, without suffering from the hindrance of an XML-based notation, we describe a textual notation that describes a WSC in terms of definition rules, composability rules, and ordering rules, and we introduce graphical and formal notations. These rules provide the solid foundation needed to formulate the execution semantics of a CWS in terms of execution correctness verification dependencies. To ensure dependable execution of the CWS, we present in the second section of FENECIA our architecture THROWS, in which the execution control of the resulting CWS is distributed among engines, discovered dynamically, that communicate in a peer-to-peer fashion. A dependable execution is guaranteed in THROWS by keeping track of the execution progress of a CWS and by enforcing forward and backward recovery. We concentrate in the third section of our approach on showing how the failure consideration is trivial in acquiring more accurate CWS QoS estimations. We propose a model that assesses several QoS properties of CWS, which are specified as WS-SAGAS transactions and executed in THROWS. We validate our proposal and show its feasibility and broad applicability by describing an implemented prototype and a case study.     

Effect of Buoyancy Ratio on Double-Diffusive Natural Convection in a Porous Rhombic Annulus

This paper reports on the effect of buoyancy ratio due to both heat and mass transfer on natural convection in a porous enclosure between two isothermal concentric cylinders of rhombic cross sections. For negative values of the buoyancy ratio, buoyancy forces due to heat and mass transfer are in opposite directions (opposing mode), while for positive values they are in the same direction (aiding mode). Numerical results demonstrate that the flow strength increases as the absolute value of the buoyancy ratio increases. In the opposing mode, the eye of the vortex flow is located in the lower half of the enclosure, while in the aiding mode it is positioned in the upper part of the annulus. The average Nusselt and Sherwood number values increase as the absolute value of the buoyancy ratio moves away from 1, with values obtained in the aiding mode being higher than corresponding values achieved in the opposing mode. A comparison is also made between the computed average Nusselt and Sherwood number values and similar ones obtained in a circular annulus having the same inner and outer perimeters as the rhombic enclosure. Predictions indicate large percent difference in values, demonstrating that circular geometries cannot be exploited to accurately predict heat and mass transfer in complex geometries.     

Mechanical Characteristics of Superplastic Deformation of AZ31Magnesium Alloy

As the lightest constructional metal on earth, magnesium (and its alloys) offers a great potential for weight reduction in the transportation industry. Many automotive components have been already produced from different magnesium alloys, but they are mainly cast components. Production of magnesium outer body components is still hindered by the material’s inferior ductility at room temperature. Magnesium alloys are usually warm-formed to overcome this problem; however, it was observed that some magnesium alloys exhibits superior ductility and superplastic behavior at higher temperatures. More comprehensive investigation of magnesium’s high temperature behavior is needed for broader utilization of the metal and its alloys. In this work, the high temperature deformation aspects of the AZ31B-H24 commercial magnesium alloy are investigated through a set of uniaxial tensile tests that cover forming temperatures ranging between 23 and 500 °C, and constant true strain rates between 2 × 10⁻⁵ and 2.5 × 10⁻² s⁻¹. The study targets mainly the superplastic behavior of the alloy, by characterizing flow stress, elongation-to-fracture, and strain rate sensitivity under various conditions. In addition, the initial anisotropy is also investigated at different forming temperatures. The results of these and other mechanical and microstructural tests will be used to develop a microstructure-based constitutive model that can capture the superplastic behavior of the material. This article was presented at the AeroMat Conference, International Symposium on Superplasticity and Superplastic Forming (SPF) held in Seattle, WA, June 6–9, 2005.     

Quantitative measurement of texture orientation in biomedical images using an artificial neural network

Texture orientation is one of the most important attributes used in biomedical and clinical image interpretation. It provides critical clues of continuity and connectivity useful in relating adjacent image areas. We report a novel approach in which image data are convolved with directional convolution masks and the results are used as input to an artificial neural network for classification of image areas into a number of discrete texture orientation classes. © 1998 John Wiley & Sons, Inc. Int J Imaging Syst Technol, 9, 351–355, 1998