J II fracture testing of a plastically deforming material

A compact model II fracture specimen was previously analyzed and employed to determine the mode II fracture toughness K _IIc , of perspex. In employing this specimen for a more ductile material such as aluminium, it was observed that the load vs. crack sliding displacement record becomes nonlinear for small loads. Thus, concepts of linear elastic fracture mechanics cannot be employed. To this end, the specimen was calibrated for J-integral testing, so that J _IIc mesurements can be performed.In this study, mode I and II tests are carried out on an aircraft aluminium alloy, AI 7075-T7351. First, standard K _Ic tests are performed leading to a value of 27.9 15-1 which would be equivalent to a J _Ic of 10.7 kN/m. Then standard J _Ic tests are carried out on this material with specimen thicknesses, of 5, 7.5 and 9.9 mm, leading to an average J _Ic value of 10.5 kN/m. Methods for J _II testing are proposed; a series of specimens of six thicknesses between 5 and 16 mm are employed for testing. An average J _IIc value was found to be 40.2 kN/m which yields a K _IIc value of 54.1 15-2. Thus, K _IIc is seen to be approximately twice that of K _Ic for this material.     

Facets of work values: A structural analysis of work outcomes.

Attempted to analyze contents of work value items and to construct an explicit definition of the work values domain. A facet definition of work values is suggested that provides guidelines for selection items and the formulation of hypotheses about the structure of interrelationships among components of work values. Interview data were obtained from 2 samples of Israeli adults containing 489 Ss (median age 35 yrs) and 546 Ss (median age 38 yrs), respectively. Results of Guttman's smallest space analysis support the hypotheses. An empirical double-ordered conceptual system, a radex structure, was obtained that reflects the 2 facets of the definition: modality of outcome—material, social, and psychological—and type of outcome—performance relations (reward, resource). The fact that essentially the same structure was obtained in 2 independent samples lends substantial support to the definitional framework of work values suggested. (34 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Required Unfactored Strength of Geosynthetic in Reinforced Earth Structures

Current reinforced earth structure designs arbitrarily distinguish between reinforced walls and slopes, that is, the batter of walls is 20° or less while in slopes it is larger than 20°. This has led to disjointed design methodologies where walls employ a lateral earth pressure approach and slopes utilize limit equilibrium analyses. The earth pressure approach used is either simplified (e.g., ignoring facing effects), approximated (e.g., considering facing effects only partially), or purely empirical. It results in selection of a geosynthetic with a long-term strength that is potentially overly conservative or, by virtue of ignoring statics, potentially unconservative. The limit equilibrium approach used in slopes deals explicitly with global equilibrium only; it is ambiguous about the load in individual layers. Presented is a simple limit equilibrium methodology to determine the unfactored global geosynthetic strength required to ensure sufficient internal stability in reinforced earth structures. This approach allows for seamless integration of the design methodologies for reinforced earth walls and slopes. The methodology that is developed accounts for the sliding resistance of the facing. The results are displayed in the form of dimensionless stability charts. Given the slope angle, the design frictional strength of the soil, and the toe resistance, the required global unfactored strength of the reinforcement can be determined using these charts. The global strength is then distributed among individual layers using three different assumed distribution functions. It is observed that, generally, the assumed distribution functions have secondary effects on the trace of the critical slip surface. The impact of the distribution function on the required global strength of reinforcement is minor and exists only when there is no toe resistance, when the slope tends to be vertical, or when the soil has low strength. Conversely, the impact of the distribution function on the maximum unfactored load in individual layers, a value which is typically used to select the geosynthetics, can result in doubling its required long-term strength.     

A graph grammar-based formal validation of object-process diagrams

Two basic requirements from a system’s conceptual model are correctness and comprehensibility. Most modeling methodologies satisfy only one of these apparently contradicting requirements, usually comprehensibility, leaving aside problems of correctness and ambiguousness that are associated with expressiveness. Some formal modeling languages do exist, but in these languages a complete model of a complex system is fairly complicated to understand. Object-process methodology (OPM) is a holistic systems modeling methodology that combines the two major aspects of a system—structure and behavior—in one model, providing mechanisms to manage the complexity of the model using refinement-abstraction operations, which divide a complex system into many interconnected diagrams. Although the basic syntax and semantics of an OPM model are defined, they are incomplete and leave room for incorrect or ambiguous models. This work advances the formal definition of OPM by providing a graph grammar for creating and checking OPM diagrams. The grammar provides a validation methodology of the semantic and syntactic correctness of a single object-process diagram.     

Feedback as a source of control in decision support systems: an experiment with the feedback specificity

Well-designed feedback can improve decision-making, but to date, there has been no comprehensive study of feedback in decision support systems that could guide developers in its design. This work examines the opportunities and means to enhance the user's consistency in implementing a decision strategy (a plan for making the decision) by providing appropriate feedback. It concentrates on the specificity of feedback. Feedback is said to be specific if it provides details about the decision-making process that help correct the process; feedback is non-specific if it merely reports outcome without indicating what caused it. The paper builds on concepts from cognitive engineering, behavioural decision-making, and systems design to examine how computer-generated feedback enhances the user's decision consistency, and reports on a laboratory experiment. Specific feedback is found to be effective in enhancing decision consistency, but its impact its compromised by the presence of additional non-specific feedback.     

On quarter-point three-dimensional finite elements in linear elastic fracture mechanics

Use of the finite element method for calculating stress intensity factors of two-dimensional cracked bodies has become commonplace. In this study, the more difficult task of applying finite elements to three-dimensional cracked bodies is investigated. Since linear elastic material is considered, square root singular stresses exist along the edge of an embedded crack. To deal with this numerical difficulty, twenty noded, isoparametric, serendipity, quarter-point, singular, solid elements are employed. Examination of these elements is carried out in order to determine the extent of the singular behavior.In addition, the stiffness derivative technique is explored, together with quarter-point elements, to determine an accurate procedure for computing stress intensity factors in three-dimensions. The problem of chosing a proper virtual crack extension is addressed. To this end, the disturbance in the square root singular stresses is examined and compared with a similar disturbance which occurs in two-dimensions. As a numerical example, a pennyshaped crack in a finite height cylinder is considered with various meshes. It is found that stress intensity factors can be calculated to an accuracy within 1 percent when quarter-point cylindrical elements are employed with the stiffness derivative technique such that the crack extension is one in which one corner node is not moved, the other corner node is moved a small distance, and the midside node is moved one-half that distance. This crack extension is analogous to that of a straight crack advance for a brick element. Both of these crack advances disturb the square root singular stresses in a manner similar to that which occurs with the two-dimensional eight noded element in which the crack has been advanced a small distance.     

From Raster to Vectors: Extracting Visual Information from Line Drawings

Vectorisation of raster line images is a relatively mature subject in the document analysis and recognition field, but it is far from being perfect as yet. We survey the methods and algorithms developed to-date for the vectorisation of document images, and classify them into six categories: Hough transform-based, thinning-based, contour-based, run-graph-based, mesh-pattern-based, and sparse-pixel-based. The purpose of the survey is to provide researchers with a comprehensive overview of this technique, to enable a judicious decision while selecting a vectorisation algorithm for a system under development or a newly developed vectorisation algorithm. Received: 10 November 1998?Received in revised form: 7 January 1999?Accepted: 7 January 1999     

A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

In this series of papers we set out to generalize the notion of classical analytic deduction (i.e., deduction via elimination rules) by combining the methodology of labelled deductive systems (LDS) with the classical systemKE. LDS is a unifying framework for the study of logics and of their interactions. In the LDS approach the basic units of logical derivation are not just formulae butlabelled formulae, where the labels belong to a given labelling algebra. The derivation rules act on the labels as well as on the formulae, according to certain fixed rules of propagation. By virtue of the extra power of the labelling algebras, standard (classical or intuitionistic) proof systems can be extended to cover a much wider territory without modifying their structure. The systemKE is a new tree method for classical analytic deduction based on analytic cut.KE is a refutation system, like analytic tableaux and resolution, but it is essentially more efficient than tableaux and, unlike resolution, does not require any reduction to normal form.We start our investigation with the family of substructural logics. These are logical systems (such as Lambek's calculus, Anderson and Belnap's relevance logic, and Girard's linear logic) which arise from disallowing some or all of the usual structural properties of the notion of logical consequence. This extension of traditional logic yields a subtle analysis of the logical operators which is more in tune with the needs of applications. In this paper we generalize the classicalKE system via the LDS methodology to provide a uniform refutation system for the family of substructural logics.The main features of this generalized method are the following: (a) each logic in the family is associated with a labelling algebra; (b) the tree-expansion rules (for labelled formulae) are the same for all the logics in the family; (c) the difference between one logic and the other is captured by the conditions under which a branch is declared closed; (d) such conditions depend only on the labelling algebra associated with each logic; and (e) classical and intuitionistic negations are characterized uniformly, by means of the same tree-expansion rules, and their difference is reduced to a difference in the labelling algebra used in closing a branch. In this first part we lay the theoretical foundations of our method. In the second part we shall continue our investigation of substructural logics and discuss the algorithmic aspects of our approach.     

Dependence of Hertzian fracture angle on Poissons ratio and indentation techniques

Sub-parallel concentric conic fractures can be produced consecutively in Perspex by liquid indentation. There is a linear relationshp between the conic angle, , of Hertzian fracture and the Poisson's ratio, , of the material. This angle is about 10 higher than the calculated path of the principal stress trajectory for a given . decreases with the increase of stress application rate. This dependence of is very marked in materials with high Poisson's ratios.     

A Multilevel Model of Safety Climate: Cross-Level Relationships Between Organization and Group-Level Climates.

Organizational climates have been investigated separately at organization and subunit levels. This article tests a multilevel model of safety climate, covering both levels of analysis. Results indicate that organization-level and group-level climates are globally aligned, and the effect of organization climate on safety behavior is fully mediated by group climate level. However, the data also revealed meaningful group-level variation in a single organization, attributable to supervisory discretion in implementing formal procedures associated with competing demands like safety versus productivity. Variables that limit supervisory discretion (i.e., organization climate strength and procedural formalization) reduce both between-groups climate variation and within-group variability (i.e., increased group climate strength), although effect sizes were smaller than those associated with cross-level climate relationships. Implications for climate theory are discussed. (PsycINFO Database Record (c) 2011 APA, all rights reserved)