A connection between the Cantor–Bendixson derivative and the well-founded semantics of finite logic programs

Results of Schlipf (J Comput Syst Sci 51:64?C86, 1995) and Fitting (Theor Comput Sci 278:25?C51, 2001) show that the well-founded semantics of a finite predicate logic program can be quite complex. In this paper, we show that there is a close connection between the construction of the perfect kernel of a $\Pi^0_1$ class via the iteration of the Cantor?CBendixson derivative through the ordinals and the construction of the well-founded semantics for finite predicate logic programs via Van Gelder??s alternating fixpoint construction. This connection allows us to transfer known complexity results for the perfect kernel of $\Pi^0_1$ classes to give new complexity results for various questions about the well-founded semantics ${\mathit{wfs}}(P)$ of a finite predicate logic program P.     

Distributed patching for mobile wireless sensor networks

Mobile wireless sensor networks (MWSNs), the continuous movement of sensor nodes, may cause complete disconnection of the network or at best a part of it. The design of such networks should guarantee that all sensor nodes at all times have a path to the sink node(s). Prolonging the lifetimes of the MWSNs is a crucial design issue but should not be at the expense of other essential functions such as connectivity. In this paper, we propose an energy efficient distributed framework for connectivity maintenance of MWSNs. In the proposed framework, sensor nodes of the MWSNs schedule and control their radio frequency (RF) modules based on dynamic coordinated reconstruction mechanism, some senor nodes may lose their connectivity with the network due to mobility, depletion of energy and/or incurred faults. Two protocols are developed to patch up the disconnection of the MWSNs. The first protocol reestablishes the network connection consuming far less energy than state-of-the-art alternatives. However, it is capable of reestablishing the connection when no more than 20% of the MWSN backbone nodes lose connection concurrently. The second protocol extends this limit to operate when up to 35% of the MWSN backbone nodes lose connection simultaneously.     

Real-time evaluation and visualization of learner performance in a mixed-reality environment for clinical breast examination

We investigate the efficacy of incorporating real-time feedback of user performance within mixed-reality environments (MREs) for training real-world tasks with tightly coupled cognitive and psychomotor components. This paper presents an approach to providing real-time evaluation and visual feedback of learner performance in an MRE for training clinical breast examination (CBE). In a user study of experienced and novice CBE practitioners (n = 69), novices receiving real-time feedback performed equivalently or better than more experienced practitioners in the completeness and correctness of the exam. A second user study (n = 8) followed novices through repeated practice of CBE in the MRE. Results indicate that skills improvement in the MRE transfers to the real-world task of CBE of human patients. This initial case study demonstrates the efficacy of MREs incorporating real-time feedback for training real-world cognitive-psychomotor tasks.     

Computability of Countable Subshifts in One Dimension

We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor?CBendixson rank two contain only eventually periodic elements. Any rank two subshift in 2^? is decidable. Subshifts of rank three may contain members of arbitrary Turing degree. In contrast, effectively closed ( $\Pi^{0}_{1}$ ) subshifts of rank three contain only computable elements, but $\Pi^{0}_{1}$ subshifts of rank four may contain members of arbitrary $\Delta^{0}_{2}$ degree. There is no subshift of rank ??+1.     

Notch sensitivity of thermoset and thermoplastic laminates loaded in tension

Inplane tensile fracture of unnotched and notched thermoset graphite-epoxy and thermoplastic graphite-PEEK composite laminates is examined. Both fibre-dominated quasi-isotropic and matrix dominated ±45 angle-ply layups were investigated.Classical lamination theory predictions of elastic and strength properties of unnotched specimens are compared with experiments. Several notched geometries, i.e. centre-notched, double-edge notched and open-hole specimens subjected to tensile loading to fracture were examined. The notched strength of the quasi-isotropic laminates was analysed by a damage zone model, where damage around the notch is represented by an equivalent crack with cohesive force acting between the crack surfaces.Good agreement between experimental and calculated strength was observed for the graphite-epoxy laminates which failed in a collinear manner. For the graphite-PEEK laminates discrepancies between predicted and experimental strength are related to observed deviations from collinear crack growth. The angle-ply graphite-PEEK laminates showed larger notch sensitivity than the corresponding graphite-epoxy, probably due to less degree of stress relieving damage formation around the notch.     

Application of a hybrid finite element method to determine stress intensity factors in unidirectional composites

In this paper a hybrid finite element method is applied in evaluation of the stress intensity factors K _I and K _II of unidirectional fiber reinforced composites. In order to satisfy the stress singularity at the crack tip a singular super-element based on a modified complementary energy principle is developed. The stress and displacement fields in the super-element are expressed in terms of polynomials of two complex variables ₁ and ₂ in the transformed -plane. The stiffness matrix of the super-element was determined by using a line integral along the boundary of the super-element. The displacement vector was expressed in terms of the element nodal displacement vector {q} and a properly selected shape function defined along the element boundary.Numerical results for K _I and K _II of glass-epoxy and graphite-epoxy unidirectional composites with cracks along the diameter of a circular cut out as well as elliptical cut outs were evaluated

---

Résumé On applique, dans la présente étude, une méthode d'éléments finis hybrides à l'évaluation des facteurs d'intensité de contrainte K_I et K_II pour des composites renforcés de fibres unidirectionnelles. Pour tenir compte de la singularité de la contrainte à l'extrémité de la fissure, on développe un super élément singulier en se basant sur un principe modifié d'énergie complémentaire. Les champs de contraintes et de déplacements dans le super-élément sont exprimés sous forme polynormale de deux variables complexes ₁, et ₂ dans le plan de la transformée. La matrice de rigidité du super élément est, quant à elle, définie en utilisant une intégrale linéaire le long du contour de l'élément. Le vecteur de déplacement est exprimé par un vecteur (9) de déplacement nodal de l'élément, et par une fonction de forme appropriée, définie le long du contour de l'élément.On évalue les résultats numériques pour K_I et K_II, correspondant à des composites à fibres unidirection-nelles de types verre-epoxy et graphite-epoxy, oú des fissures se situeraient sur le diamètre de découpes circulaires et elliptiques

     

Toughening by Metallic Lamina in Nickel/Alumina Composites

Tape casting and hot-pressing were used to produce metal/ alumina laminate composites. The mechanical behavior of these laminates was characterized. The strength and toughness of the laminates were greatly improved in comparison to that of monolithic alumina. Indentation strength values of the laminates remained approximately constant for indent loads between 10 and 100 N. Thus, this type of laminate appears to be a good candidate for damage-tolerant composite material design.     

MOLECULAR PRINCIPLE OF CORRESPONDING STATES FOR VISCOSITY AND THERMAL CONDUCTIVITY OF FLUID MIXTURES

Conformal solution theory is developed for the viscosity and thermal conductivity of fluid mixtures. The procedure involves expanding the transport coefficient for the mixture about the value for an ideal solution, using groupings of the potential parameters and molecular mass as expansion coefficients. The parameters for the ideal solution are chosen so as to annul the first-order term in this expansion, thus encouraging rapid convergence. This yields mixing rules (similar to those of the van der Waals 1 theory for thermodynamic properties) for the potential parameters and molecular mass of the reference fluid. Reference fluid properties are obtained from pure fluid corresponding states correlations

By making calculations for dilute gas mixtures and comparing with Chapman-Enskog theory, it is found that the first-order theory works well for mixtures of quite widely different energy parameters (ε) and molecular masses; it is more sensitive to the size difference of the molecular components, however. For cryogenic liquid mixtures composed of simple liquids good results are obtained using two-parameter corresponding states for the reference fluid. For polyatomic fluids it is necessary to use a three-parameter corresponding states approach for the pure fluids. A method of introducing a third parameter, while retaining the simplicity of having only two independent variables, is used for such fluids. Good results are obtained for a variety of binary mixtures. The method is of particular value for multicomponent fluids. Thus, without fitting any parameters from ternary data the theory predicts viscosities for the system carbon tetrachloride/n-hexane/benzene over the full composition range with a standard deviation of only 1.69%.     

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.     

Predicting and interpreting identification errors in military vehicle training using multidimensional scaling

We compared methods for predicting and understanding the source of confusion errors during military vehicle identification training. Participants completed training to identify main battle tanks. They also completed card-sorting and similarity-rating tasks to express their mental representation of resemblance across the set of training items. We expected participants to selectively attend to a subset of vehicle features during these tasks, and we hypothesised that we could predict identification confusion errors based on the outcomes of the card-sort and similarity-rating tasks. Based on card-sorting results, we were able to predict about 45% of observed identification confusions. Based on multidimensional scaling of the similarity-rating data, we could predict more than 80% of identification confusions. These methods also enabled us to infer the dimensions receiving significant attention from each participant. This understanding of mental representation may be crucial in creating personalised training that directs attention to features that are critical for accurate identification.

Practitioner Summary: Participants completed military vehicle identification training and testing, along with card-sorting and similarity-rating tasks. The data enabled us to predict up to 84% of identification confusion errors and to understand the mental representation underlying these errors. These methods have potential to improve training and reduce identification errors leading to fratricide.