Application of piece‐wise linear weight functions for 2D 8‐node quadrilateral element in contact problems

The present study is a continuation of our previous work with the aim to reduce problems caused by standard higher order elements in contact problems. The difficulties can be attributed to the inherent property of the Galerkin method which gives uneven distributions of nodal forces resulting in oscillating contact pressures. The proposed remedy is use of piece‐wise linear weight functions. The methods to establish stiffness and/or mass matrix for 8‐node quadrilateral element in 2D are presented, i.e. the condensing and direct procedures. The energy and nodal displacement error norms are also checked to establish the convergence ratio. Interpretation of calculated contact pressures is discussed. Two new 2D 8‐node quadrilateral elements, QUAD8C and QUAD8D, are derived and tested in many examples, which show their good performance in contact problems. Copyright © 2004 John Wiley & Sons, Ltd.     

Recall of Descriptive Information: The Roles of Presentation Format, Annotation Strategy, and Individual Differences

The benefits of using a comprehensive annotation strategy (employing underlining/circling, making connections, asking questions, and making comments) with knowledge maps (spatial/verbal arrays) and traditional, linear text to improve free recall scores for learners with individual differences in vocabulary and comprehension ability were examined. Types and frequencies of annotations generated were also examined for each stimulus format condition. Multiple regression analyses indicate that the frequency of use of two component annotation strategies, asking questions and making connections, were significant predictors of recall scores, while frequency of underlining/circling and generating elaborations failed to predict recall scores. Text users generated more underlining/circling, while knowledge map users generated more connections between ideas, suggesting that knowledge maps may facilitate the application of more productive annotation strategies. Also examined were the interrelationships between vocabulary ability, comprehension ability, and free recall scores. Copyright 1997Academic Press     

Simulation of Temperature Distribution in Stored Wheat without Aeration

A neural-deterministic simulation model applied for calculating distributions of temperatures and moisture content in a bed of wheat stored in a steel silo without aeration is presented in the article. The model consists of differential equations of heat and moisture transfer, initial and boundary conditions, and three artificial neural networks used during simulated ambient air conditions. Experiments and computer simulations were carried out in order to determine temperature fields in wheat grain stored in a steel silo for two months. The computer simulations were carried using MATLAB and FEMLAB software. The difference between measured and simulated temperature in grain near the silo wall at a height of 2.5 m from the bottom was less than 3.0°C. On the basis of the analysis performed it was concluded that the temperature distributions obtained with the model were consistent with the measured results obtained for grain stored in a steel silo without aeration.     

Profiles of daily secretion of ACTH, beta-endorphins and cortisol in patients after minor craniocerebral trauma

In 12 men aged 20-25 men who had minor craniocerebral trauma the profiles of daily secretion of ACTH, beta-endorphin and cortisol were studied. The studies were carried out on the second day after the trauma. Plasma concentrations of the hormones were determined on 8.00, 12.00, 17.00 and 22.00 hours. Statistically significantly increased, in relation to healthy persons, (p < 0.01) values of plasma hormone concentration were found at all time points. In 50% of the patients (six cases) a disturbance was found of the profile of daily secretion of ACTH and beta-endorphin. The disturbance of the profile of cortisol secretion was found only in one patient.     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

Modeling time criticality of information

In this paper, we continue the research on formal treatment of attributes of information, based on the computational approach. In this scenario, the usefulness of advisory information is measured by the decrease in complexity of a problem we need to solve. We propose to model the time criticality via usefulness of a piece of information which is received during the computation. As a modeling tool, we use deterministic finite automata.     

On the Computational Complexity of Measuring Global Stability of Banking Networks

Threats on the stability of a financial system may severely affect the functioning of the entire economy, and thus considerable emphasis is placed on the analyzing the cause and effect of such threats. The financial crisis in the current and past decade has shown that one important cause of instability in global markets is the so-called financial contagion, namely the spreadings of instabilities or failures of individual components of the network to other, perhaps healthier, components. This leads to a natural question of whether the regulatory authorities could have predicted and perhaps mitigated the current economic crisis by effective computations of some stability measure of the banking networks. Motivated by such observations, we consider the problem of defining and evaluating stabilities of both homogeneous and heterogeneous banking networks against propagation of synchronous idiosyncratic shocks given to a subset of banks. We formalize the homogeneous banking network model of Nier et al. (J. Econ. Dyn. Control 31:2033–2060, 2007) and its corresponding heterogeneous version, formalize the synchronous shock propagation procedures outlined in (Nier et al. J. Econ. Dyn. Control 31:2033–2060, 2007; M. Eboli Mimeo, 2004), define two appropriate stability measures and investigate the computational complexities of evaluating these measures for various network topologies and parameters of interest. Our results and proofs also shed some light on the properties of topologies and parameters of the network that may lead to higher or lower stabilities.