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.     

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)     

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.     

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     

Model‐based guidelines for user‐centric satellite control software development

Three persistent common problems in satellite ground control software are obsolescence, lack of desired features and flexibilities, and endless software bug fixing. The obsolescence problem occurs when computer and ground equipment hardware become obsolete, usually after only one‐third into the satellite mission lifetime. The software needs to be updated to accommodate changes on the hardware side, requiring significant work of satellite operators to test, verify, and validate these software updates. Trying to help solve these problems, we have proposed an object‐process methodology model and guidelines for developing satellite ground control software. The system makes use of a database‐driven application and concepts of object‐process orientation and modularity. In the new proposed framework, instead of coding each software function separately, the common base functions will be coded, and combining them in various ways will provide the different required functions. The formation and combination of these base functions will be governed by the main code, definitions, and database parameters. These design principles will make sure that the new software framework would provide satellite operators with the flexibility to create new features and enable software developer to find bugs quicker and fix them more effectively. Copyright © 2015 John Wiley & Sons, Ltd.     

Energy considerations in crack deflection phenomenon in single crystal silicon

Crack deflection in single-crystal brittle occurs when a crack, propagating on one cleavage plane, ‘chooses’, from energy considerations, to continue propagating on another cleavage plane. This phenomenon was identified during dynamic crack propagation experiments of thin, rectangular [0 0 1] single-crystal (SC) silicon specimens subjected to three-point bending (3PB). Specimens with long pre-cracks (hence propagating at a ‘low’ energy and velocity) cleave along the vertical (1 1 0) plane, while the same specimens but with short pre-cracks (and therefore with higher propagation energy and velocity) cleave along the inclined (1 1 1) plane. The same specimens with intermediate pre-crack length show that the crack first propagates on the (1 1 0) plane and then deflects to the (1 1 1) plane. We show that the deflection is due to variations of the material property that resists cracking, Γ, the dynamic cleavage energy, with velocity and crystallographic orientation. We propose selection criteria to explain the deflection: The crack will deflect to the plane with the lowest dynamic cleavage energy. We further suggest that crack deflection is the basic mechanism controlling the way the crack consumes energy while propagating and is the main cause of surface perturbations. The spatial temporal fracture energy along the (1 1 0) cleavage plane is evaluated.     

Optimizing well-being: The empirical encounter of two traditions.

Subjective well-being (SWB) is evaluation of life in terms of satisfaction and balance between positive and negative affect; psychological well-being (PWB) entails perception of engagement with existential challenges of life. The authors hypothesized that these research streams are conceptually related but empirically distinct and that combinations of them relate differentially to sociodemographics and personality. Data are from a national sample of 3,032 Americans aged 25-74. Factor analyses confirmed the related-but-distinct status of SWB and PWB. The probability of optimal well-being (high SWB and PWB) increased as age, education, extraversion, and conscientiousness increased and as neuroticism decreased. Compared with adults with higher SWB than PWB, adults with higher PWB than SWB were younger, had more education, and showed more openness to experience. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

General Analytical Framework for Design of Flexible Reinforced Earth Structures

Current design methods divide reinforced earth structures into walls and slopes by using an arbitrary face inclination of 70° as the boundary. The required maximum strength of reinforcement computed for reinforced walls are significantly higher than that computed for reinforced slopes even if the inclination is practically the same. Presented is a general analytical framework for design of flexible reinforced earth structures regardless of the slope face inclination. In fact, the framework is consistent for any structural geometry and any applicable slope stability analysis although, for demonstration purposes, the simple Culmann formulation is utilized for simple geometry with zero batter. Using an adequate slope stability formulation, the required tensile resistance of reinforcement for a given layout is calculated so as to produce the same prescribed factor of safety anywhere within the reinforced zone. That is, using the design shear strength of the soil, the required reinforcement resistance along each layer is computed to fully mobilize this shear strength for all possible slip surfaces. That is, a baseline solution is produced for an ideal long-term strength of reinforcement at any location. Consequently, the required strength of the connection between each reinforcement layer and the facing unit can also be determined. This connection strength, however, assumes small facing units with negligibly small shear and moment resistance. Parametric study is conducted to demonstrate the reasonableness of the presented framework. It is shown that the required tensile resistance and connection strength depend on factors such as: reinforcement length; intermediate reinforcement; percent coverage; and quality of fill. When compared with the current AASHTO design for walls, the required maximum long-term strength of the reinforcement as well as the required connection strength in the proposed approach are substantially smaller.     

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.     

A Generic Integrated Line Detection Algorithm and Its Object–Process Specification

A generic integrated line detection algorithm (GILDA) is presented and demonstrated. GILDA is based on the generic graphics recognition approach, which abstracts the graphics recognition as a stepwise recovery of the multiple components of the graphic objects and is specified by the object–process methodology. We define 12 classes of lines which appear in engineering drawings and use them to construct a class inheritance hierarchy. The hierarchy highly abstracts the line features that are relevant to the line detection process. Based on the “Hypothesis and Test” paradigm, lines are detected by a stepwise extension to both ends of a selected first key component. In each extension cycle, one new component which best meets the current line's shape and style constraints is appended to the line. Different line classes are detected by controlling the line attribute values. As we show in the experiments, the algorithm demonstrates high performance on clear synthetic drawings as well as on noisy, complex, real-world drawings.