Probabilistic cell modelling of cleavage fracture

Various aspects on probabilistic modelling of cleavage fracture are discussed. The investigation involves consideration of a unit cell with an explicitly modelled void. The results from this model are compared with results for the case when the void content is accounted for in the sense of a Gurson-Tvergaard law. It is found that explicit modelling of the void can give substantially different results for the fracture probability. The effect depends on the exponent in the assumed Weibull distribution, the threshold stress, the constraint conditions and the hardening of the material. This revised version was published online in August 2006 with corrections to the Cover Date.     

Nonlinear black-box modeling in system identification: a unified overview

A nonlinear black-box structure for a dynamical system is a model structure that is prepared to describe virtually any nonlinear dynamics. There has been considerable recent interest in this area, with structures based on neural networks, radial basis networks, wavelet networks and hinging hyperplanes, as well as wavelet-transform-based methods and models based on fuzzy sets and fuzzy rules. This paper describes all these approaches in a common framework, from a user's perspective. It focuses on what are the common features in the different approaches, the choices that have to be made and what considerations are relevant for a successful system-identification application of these techniques. It is pointed out that the nonlinear structures can be seen as a concatenation of a mapping form observed data to a regression vector and a nonlinear mapping from the regressor space to the output space. These mappings are discussed separately. The latter mapping is usually formed as a basis function expansion. The basis functions are typically formed from one simple scalar function, which is modified in terms of scale and location. The expansion from the scalar argument to the regressor space is achieved by a radial- or a ridge-type approach. Basic techniques for estimating the parameters in the structures are criterion minimization, as well as two-step procedures, where first the relevant basis functions are determined, using data, and then a linear least-squares step to determine the coordinates of the function approximation. A particular problem is to deal with the large number of potentially necessary parameters. This is handled by making the number of ‘used’ parameters considerably less than the number of ‘offered’ parameters, by regularization, shrinking, pruning or regressor selection.     

Optic neuropathy resembling normal-pressure glaucoma in a teenager with congenital macrodiscs

We report a unique case of a renal transplant patient with a long-term nonprogressive human immunodeficiency virus type-1 (HIV-1) infection and who is asymptomatic despite sustained immunosuppression. Renal function is normal, and HIV infection was probably acquired through blood transfusion before the transplant. Nonprogression may be due either to an effective immune control of HIV replication or to particular genetic aspects of the virus. Several virological investigations were carried out to verify if she is infected with an attenuated virus strain. Results show an unusual combination of high and stable CD4 count, ongoing viral replication and elevated viral loads. Attempts to isolate the virus from plasma were unsuccessful, but isolation was possible from peripheral blood mononuclear cells, and the virus was shown to be non-syncytium-inducing. Sequence analysis of the nef gene revealed no mutation. This exceptional lack of progression of HIV infection under immunosuppressive therapy requires further investigation.     

Auditory feedback in haptic collaborative interfaces

The combined effect of haptic and auditory feedback in shared interfaces on the cooperation between visually impaired and sighted persons is under-investigated. A central challenge for cooperating group members lies in obtaining a common understanding of the elements of the workspace and maintaining awareness of the other members' actions, as well as one's own, during the group work process. The aim of the experimental study presented here was to investigate if adding audio cues in a haptic and visual interface makes collaboration between a sighted and a blindfolded person more efficient. Results showed that task performance was significantly faster in the audio, haptic and visual feedback condition compared to the haptic and visual feedback condition. One special focus was also to study how participants utilize the auditory and haptic force feedback in order to obtain a common understanding of the workspace and to maintain an awareness of the group members' actions. Results from a qualitative analysis showed that the auditory and haptic feedback was used in a number of important ways to support the group members' action awareness and in the participants' grounding process.     

Electromyography as an aid in the prevention of excessive shoulder strain

Disorders in the musculo-skeletal system constitute the most common reasons for lowered working capacity and sick-leave in the engineering industry. The symptoms are often located in the neck-shoulder-arm and are greatly influenced by unfavourable muscle loads. A method for the routine study of muscular activity has been developed and tested for the purpose of reducing the risk of such work-related disorders. This method is based on the application of an electromyographic (EMG) technique and is primarily intended to facilitate the ergonomic assessment and the selection of alternative work postures. The tests performed confirm that EMG studies, in a simplified version for the shop-floor, may constitute a valuable aid for an objective analysis. They demonstrate that the EMG equipment used offers good possibilities to detect differences in muscle load in different work postures and that it meets the requirements for rapid presentation of the measured values, a simple analysis procedure, use on the shop-floor and simple handling.     

AZ31镁合金初始动态再结晶的临界条件研究

为确定AZ31镁合金初始动态再结晶的临界条件或临界应变，通过在变形温度范围473～623K、应变速率范围0．001-1 s^-1条件下进行等温压缩试验，利用所得数据并采用单参数方法，建立起AZ31镁合金初始动态再结晶的临界条件，即临界应变（εc）与变形条件（引入温度补偿应变速率因子即Zener-Hollomon参数）的定量关系，并对不同应变下合金微观组织的演变规律进行了研究。     

Variance analysis of identified linear MISO models having spatially correlated inputs,with application to parallel Hammerstein models

This contribution concerns variance analysis of linear multi-input single-output models when the inputs are temporally white but where different inputs may be correlated. An expression is provided for the variance of a linearly parametrized estimate of the frequency response function from one block, i.e. from one input to the output. In particular, this expression reveals that the variance increases in one block when the number of estimated parameters in another block is increased, but levels off when the number of parameters in the other block reaches the number of parameters in the block in question. It also quantifies exactly how correlation between inputs affects the resulting accuracy and a graphical representation is provided for this purpose. The results are applicable to parallel MISO Hammerstein models when the nonlinearities are known and generalize an existing variance expression for this type of model.     

Formalization of Shannon’s Theorems

The most fundamental results of information theory are Shannon’s theorems. These theorems express the bounds for (1) reliable data compression and (2) data transmission over a noisy channel. Their proofs are non-trivial but are rarely detailed, even in the introductory literature. This lack of formal foundations is all the more unfortunate that crucial results in computer security rely solely on information theory: this is the so-called “unconditional security”. In this article, we report on the formalization of a library for information theory in the SSReflect extension of the Coq proof-assistant. In particular, we produce the first formal proofs of the source coding theorem, that introduces the entropy as the bound for lossless compression, and of the channel coding theorem, that introduces the capacity as the bound for reliable communication over a noisy channel.     

A case study of factor influencing role improvisation in crisis response teams

Common characteristics of crisis situations are ambiguous and unplanned for events. The need for improvised roles can therefore be an imperative factor for the success of an operation. The aim of this study is to deepen the understanding of the processes taking place during improvised work “as it happens”. A case study of a crisis management team at work is presented and provides an in-depth analysis of the information and communication flow of persons acting in improvised roles, including contextual factors influencing the task at hand. The analysis suggests that three main factors lay behind decreased performance by the team when some of its members were forced to take on roles for which they lacked professional training; lack of language skills, lack of domain knowledge and insufficient organizational structure of the tasks. Based on the observations from this case study, we suggest three ways of improving a team’s performance and hence resilience when forced to improvise due to lack of personnel in one or more required competence areas. These are training to take on the responsibility for tasks or roles outside ones professional area of specialization, developing formal routines for changes in roles and tasks and developing and using tools and routines for information sharing.