Handling causality and schedulability when designing and prototyping cyber-physical systems

Software and Systems Modeling - Cyber physical systems are built upon digital and analog circuits, making it necessary to handle different models of computation during their design and verification...     

A computational fluid dynamic analysis of gas and particle flow in flame spraying

The flame spraying process, which is a common industrial thermal spraying application, has been analyzed by means of three-dimensional computational fluid dynamics (CFD) simulations. The process used at the Volvo Aero Corporation for the coating of fan and compressor housings has been modeled. The process uses the Metco 6P torch (Metco, Westbury, NY), which ejects a mixture of acetylene and oxygen at high speed through a ring of 16 orifices to form the flame. A stream of argon gas flowing through an orifice in the center of the ring carries a powder of nickel-covered bentonite through the flame to the spray substrate. The torch is cooled by a flow of air through an outer ring of 9 orifices. The simulation emulated reality closely by including the individual inlets for fuel, cooling air, and injected particles. The gas combustion was simulated as a turbulent, multicomponent chemically reacting flow. The standard, two-equation k-ε turbulence model was used. The chemical reaction rates appeared as source terms in the species transport equations. They were computed from the contributions of the Arrhenius rate expressions and the Magnussen and Hjertager eddy dissipation model. The first simulations included several intermediate chemical substances whose predicted concentration agreed favorably with measurements. Later, more simplified simulations incorporated only the global chemical reaction involving the initial and the final products, with corrections to the thermal properties being made to account for the missing intermediaries. The gas velocity and temperature fields predicted by the later simulations compared satisfactorily to those predicted by the earlier, more elaborate, ones. Therefore, the final simulations, which incorporated injected particles, were conducted employing the simplified model with only the global reaction. An in-house finite difference code was developed to calculate particle properties. Allowance was made for elliptical shapes, phase changes, and internal heat transfer with regard to the composite material. The particle velocities and temperatures predicted by the final simulations compared fairly well with experimental results obtained with the optical DPV2000 system.     

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.     

Note: The intermodulation lockin analyzer

Nonlinear systems can be probed by driving them with two or more pure tones while measuring the intermodulation products of the drive tones in the response. We describe a digital lockin analyzer which is designed explicitly for this purpose. The analyzer is implemented on a field-programmable gate array, providing speed in analysis, real-time feedback, and stability in operation. The use of the analyzer is demonstrated for intermodulation atomic force microscopy. A generalization of the intermodulation spectral technique to arbitrary drive waveforms is discussed.     

Re-examining the causal structure of information technology impact research

About 20 years ago, Markus and Robey noted that most research on IT impacts had been guided by deterministic perspectives and had neglected to use an emergent perspective, which could account for contradictory findings. They further observed that most research in this area had been carried out using variance theories at the expense of process theories. Finally, they suggested that more emphasis on multilevel theory building would likely improve empirical reliability. In this paper, we reiterate the observations and suggestions made by Markus and Robey on the causal structure of IT impact theories and carry out an analysis of empirical research published in four major IS journals, Management Information Systems Quarterly (MISQ), Information Systems Research (ISR), the European Journal of Information Systems (EJIS), and Information and Organization (I&O), to assess compliance with those recommendations. Our final sample consisted of 161 theory-driven articles, accounting for approximately 21% of all the empirical articles published in these journals. Our results first reveal that 91% of the studies in MISQ, ISR, and EJIS focused on deterministic theories, while 63% of those in I&O adopted an emergent perspective. Furthermore, 91% of the articles in MISQ, ISR, and EJIS adopted a variance model; this compares with 71% from I&O that applied a process model. Lastly, mixed levels of analysis were found in 14% of all the surveyed articles. Implications of these findings for future research are discussed.     

AVCOL: Availability-aware information aggregation in large distributed systems under uncollaborative behavior

Aggregation of system-wide information in large-scale distributed systems, such as p2p systems and Grids, can be unfairly influenced by nodes that are selfish, colluding with each other, or are offline most of the time. We present AVCOL, which uses probabilistic and gossip-style techniques to provide availability-aware aggregation. Concretely, AVCOL is the first aggregation system that: (1) implements any (arbitrary) global predicate that explicitly specifies any node’s probability of inclusion in the global aggregate, as a mathematical function of that node’s availability (i.e., percentage time online); (2) probabilistically tolerates large numbers of selfish nodes and large groups of colluders; and (3) scales well with hundreds to thousands of nodes. AVCOL uses several unique design decisions: per-aggregation tree construction where nodes are allowed a limited but flexible probabilistic choice of parents or children, probabilistic aggregation along trees, and auditing of nodes both during aggregation as well as in gossip-style (i.e., periodically). We have implemented AVCOL, and we experimentally evaluated it using real-life churn traces. Our evaluation and our mathematical analysis show that AVCOL satisfies arbitrary predicates, scales well, and withstands a variety of selfish and colluding attacks.     

A wireless embedded tongue tactile biofeedback system for balance control

We describe the architecture of an original biofeedback system for balance improvement for fall prevention and present results of a feasibility study. The underlying principle of this biofeedback consists of providing supplementary information related to foot sole pressure distribution through a wireless embedded tongue-placed tactile output device.Twelve young healthy adults voluntarily participated in this experiment. They were asked to stand as immobile as possible with their eyes closed in two conditions of no-biofeedback and biofeedback. Centre of foot pressure (CoP) displacements were recorded using a force platform. Results showed reduced CoP displacements in the biofeedback relative to the no-biofeedback condition.On the whole, the present findings evidence the effectiveness of this system in improving postural control on young healthy adults. Further investigations are needed to strengthen the potential clinical value of this device.     

Analysis of the inappropriate utilization of the emergency service of a third-level hospital

OBJECTIVE: a) To find the reasons for inadequate use of Hospital Casualty Departments (HCDs); b) to discover the general population's levels of information concerning non-hospital Emergency Services (NESs); c) to analyse the relationship between the type of Primary Care Centre (PCC), i.e. whether reformed or not, and inadequate use of HCDs. DESIGN: A crossover study. SETTING: The Germans Trias i Pujol Hospital Casualty Department, Badalona. PATIENTS: A random sample of 321 patients over 14 years old, who were attended for pathologies considered emergencies not requiring hospital treatment. MEASUREMENTS AND MAIN RESULTS: The variables gathered were: age, gender, where the patient came from, reason for hospital use, knowledge of NESs and subsequent referral. 83.2% of patients attended on their own initiative. The main reasons given were "advantages of a hospital" and "the persistence of symptoms." 49% of the patients stated they knew of the NESs. 80% of the patients proceeded from PCCs which had not been reformed. There were no statistically significant differences (p > 0.05) when the variables "reason for use" and "knowledge of NESs" were compared in relation to where the patient came from (i.e. reformed or non-reformed PCC). CONCLUSIONS: General practitioners in reformed PCCs are less likely to refer to HCDs. Knowledge and use of NESs should be actively supported.