A review on queueing network models with finite capacity queues for software architectures performance prediction

A review is carried out on how queueing network models with blocking have been applied so far into the performance evaluation and prediction of Software Architectures (SA). Queueing network models with finite capacity queues and blocking have recently been introduced and applied as more realistic models of systems with finite capacity resources and population constraints. Queueing network models have been often adopted as models for the evaluation of software performance. Starting from our own experience, we observe the need of a more accurate definition of the performance models of SA to capture some features of the communication systems. We consider queueing networks with finite capacity and blocking after service (BAS) to represent some synchronization constraints that cannot be easily modeled with queueing network models with infinite capacity queues. We investigate the use of queueing networks with blocking as performance models of SA with concurrent components and synchronous communication. Queueing theoretic analysis is used to solve the queueing network model and study the synchronous communication and performance of concurrent software components. Our experience is supported by other approaches that also propose the use of queueing networks with blocking. Directions for future research work in the field are included.     

The role of urodynamics in the evaluation of voiding dysfunction in men after cerebrovascular accident

PURPOSE: The etiology of voiding dysfunction was determined in men after a cerebrovascular accident who were at risk for obstructive uropathy to evaluate whether the cause of voiding dysfunction could be predicted by the type (obstructive or irritative) or onset of symptoms. MATERIALS AND METHODS: We evaluated 38 men with complaints of voiding dysfunction following a cerebrovascular accident. All patients were of the age when bladder outlet obstruction secondary to benign prostatic hyperplasia would otherwise be prevalent. After a comprehensive history and physical examination, all patients underwent multichannel urodynamic studies at a medium fill rate (20 to 50 ml. per minute). Findings were classified by the Abrams-Griffiths nomogram as obstruction, no obstruction or equivocal. RESULTS: Mean patient age was 70 years (range 54 to 87). Patients were grouped according to the presenting voiding complaints (purely irritative in 42%, purely obstructive in 34% or mixed in 24%). In 34 patients (89%) the onset of symptoms paralleled the occurrence of the cerebrovascular accident. Detrusor hyperreflexia was noted in 82% of the patients. There was no statistically significant difference in the occurrence of detrusor hyperreflexia among the 3 symptom groups (Fisher's exact test). Pressure-flow analysis clearly showed obstruction in 24 patients (63%), no obstruction in 9 (24%) and equivocal results in 5 (13%) according to the nomogram. There was no statistically significant difference in the incidence of obstruction among the 3 symptom groups (Fisher's exact test). CONCLUSIONS: Presenting symptoms did not predict the urodynamic findings of bladder outlet obstruction or detrusor hyperreflexia. The significant incidence of onset of symptoms after stroke suggests that the cerebrovascular accident induced voiding dysfunction in the face of preexisting bladder outlet obstruction may exacerbate the symptoms of the latter condition or vice versa.     

FEM model of the ohmic resistance of IP-SOFCs

In the present work, the ohmic resistance of an integrated planar-SOFC (IP-SOFC) has been evaluated by developing a model whose equations have been solved numerically through an FEM method. The model allows to estimate the distribution of voltage and current density in the cell. A comparison between simulated and experimental data of area specific resistance is reported, which shows satisfactory agreement. The mathematical model has also been used to carry out some parametric studies for optimisation purposes. Indeed, a reduction in cell pitch length and an increase in electrode thickness are predicted to lead to a reduction in ohmic losses in IP-SOFCs.     

Kinetic modelling of textural changes in ready-to-eat breakfast cereals during soaking in semi-skimmed milk

Summary Ready‐to‐eat breakfast cereals immersed in milk undergo undesirable changes in texture because of sudden moisture uptake. The textural changes are ascribable to a plasticizing effect of water, which modifies the mechanical strength of products by softening the starch/protein matrix. In this work, some textural parameters of different cereal flakes were derived from the force–displacement curves monitored during 300 s of immersion in milk. Hardness loss, deformability increment and changes in the force–displacement curve profile were calculated and plotted against soaking time. The application of a sugar coating process to a model cereal flake increased the initial product hardness and improved the preservation of the textural parameters during immersion. The Peleg model closely fitted the experimental data, with regression coefficients from 0.967 to 0.999.     

Deep-MEG: spatiotemporal CNN features and multiband ensemble classification for predicting the early signs of Alzheimer’s disease with magnetoencephalography

Neural Computing and Applications - In this paper, we present the novel Deep-MEG approach in which image-based representations of magnetoencephalography (MEG) data are combined with ensemble...     

On requirement verification for evolving Statecharts specifications

Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements.     

Introduction: In-Use,In-Situ: Extending Field Research Methods—Part 2

This study used protocol analyses and user drawings of their models of the system to investigate the “getting lost” problem in hypertext navigation. The “getting lost” problem is viewed as occurring when routine expectations of naive users, concerning appropriate linear sequences, are violated. Several ways in which users persistently attempt to work within a linear model, despite its inapplicability, are examined. The transition to more hierarchical user models is described.