A PROCEDURE FOR THE PRODUCTION OF ULTRA-PURE PRECURSORS FROM COAL FOR THE MANUFACTURE OF VALUE-ADDED CARBON PRODUCTS - TREATMENT OF THE RESIDUE

Solvent extraction of coal results in a coal-derived extract containing the solvent-soluble organic portion of coal free of almost all mineral matter. A residue is also produced and consists of most of the mineral matter. Although a procedure has been developed to manufacture ultra-pure coke precursors for value-added carbon products from coal-derived extracts, treatment/rc-usc of the residue is necessary to make the process economically attractive and environmentally friendly. In this study, a technique has been developed to beneficiate the residue by specific gravity fractionation. It is found that nearly 70 % of the residue can be separated into a fraction containing less than 3.5% ash for a typical WV bituminous coal using an organic liquid having a specific gravity of 1.5. This treatment enables the residue to serve as a low-ash boiler fuel or a suitable precursor for the manufacture of materials such as activated carbons. Consequently, the potential for coal-derived precursors leading to new and non-conventionai marketable carbon products can be realized easily.     

Outplacement: Client characteristics and outcomes.

Outplacement firms developed in response to corporate downsizings to assist former upper-level employees in seeking reemployment. An important question for practitioners who assist clients in outplacement is how the personal characteristics that clients bring to the situation influence their success in finding a new job. The present archival study examined demographic variables, previous job history, and personality characteristics as predictors of outplacement outcomes. Outplacement duration was predicted by previous income, and new earnings were predicted by previous earnings, sex, and years with previous employer. The need for prospective, longitudinal research that examines the coping process in outplacement is discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Solving applied general equilibrium models represented as a mixture of linearized and levels equations

General equilibrium moels are usually represented as a system of levels equations (e.g., in North America) or a system of linearized equations (e.g., in Australia). Either representation can be used to obtain accurate solutions. General-purpose software is available in both cases-GAMS or MPS/GE is typically used by levels modellers and GEMPACK by linearizers. Some equations (notably accounting identities) are naturally expressed in the levels while others (especially behavioural equations) are naturally expressed in a linearized form. This paper describes the new GEMPACK facility for solving models represented as a mixture of levels and linearized equations and discusses the advantages to modellers of using such a representation.     

Spatially resolved X-ray diffraction phase mapping and α → β → α transformation kinetics in the heat-affected zone of commercially pure titanium arc welds

Spatially resolved X-ray diffraction (SRXRD) is used to map the α → β → α phase transformation in the heat-affected zone (HAZ) of commercially pure titanium gas tungsten arc welds. In situ SRXRD experiments were conducted using a 180-μm-diameter X-ray beam at the Stanford Synchrotron Radiation Laboratory (SSRL) (Stanford, CA) to probe the phases present in the HAZ of a 1.9 kW weld moving at 1.1 mm/s. Results of sequential linear X-ray diffraction scans made perpendicular to the weld direction were combined to construct a phase transformation map around the liquid weld pool. This map identifies six HAZ microstructural regions between the liquid weld pool and the base metal: (1) α-Ti that is undergoing annealing and recrystallization; (2) completely recrystallized α-Ti; (3) partially transformed α-Ti, where α-Ti and β-Ti coexist; (4) single-phase β-Ti; (5) back-transformed α-Ti; and (6) recrystallized α-Ti plus back-transformed α-Ti. Although the microstructure consisted predominantly of α-Ti, both prior to and after the weld, the crystallographically textured starting material was altered during welding to produce different α-Ti textures within the resulting HAZ. Based on the travel speed of the weld, the α → β transformation was measured to take 1.83 seconds during heating, while the β → α transformation was measured to take 0.91 seconds during cooling. The α → β transformation was characterized to be dominated by long-range diffusional growth on the leading (heating) side of the weld, while the β → α transformation was characterized to be predominantly massive on the trailing (cooling) side of the weld, with a massive growth rate on the order of 100 μm/s.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

Do you have an internet acceptable use policy?

No longer is the question if the Internet will be used in the classroom but when the Internet will be used in the classroom. Superimposing this technology on procedural teaching methods in the highly regulated and structured environment known as public education is akin to managing chaos. The confusion experienced by educators at all levels is not unlike similar sentiments expressed by other professionals having survived rapid organizational changes in the business world over the period of the past five to seven years. With this in mind, an attempt to define educators' proactive responsibilities in preparation for these changes led to an extensive review of literature and a survey by one of the authors. A necessary first step in embracing technological changes in education is the development of an Internet Acceptable Use Policy. A policy shell is provided that can be used to formulate individual school policy.     

On formalism and stability of switched systems

In this paper,we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching.Based on known results from the the...     

Intrinsically patterned electrical systems: physical requirements and experimental demonstration

Microsystem Technologies - This paper introduces a method of replicating electrical circuits through a series of specific requirements as part of a design methodology referred to as Intrinsically...     

Modeling of the condyle elements within a biomechanical knee model

The development of a computational multibody knee model able to capture some of the fundamental properties of the human knee articulation is presented. This desideratum is reached by including the kinetics of the real knee articulation. The research question is whether an accurate modeling of the condyle contact in the knee will lead to reproduction of the complex combination of flexion/extension, abduction/adduction, and tibial rotation observed in the real knee. The model is composed by two anatomic segments, the tibia and the femur, whose characteristics are functions of the geometric and anatomic properties of the real bones. The biomechanical model characterization is developed under the framework of multibody systems methodologies using Cartesian coordinates. The type of approach used in the proposed knee model is the joint surface contact conditions between ellipsoids, representing the two femoral condyles, and points, representing the tibial plateau and the menisci. These elements are closely fitted to the actual knee geometry. This task is undertaken by considering a parameter optimization process to replicate experimental data published in the literature, namely that by Lafortune and his coworkers in 1992. Then kinematic data in the form of flexion/extension patterns are imposed on the model corresponding to the stance phase of the human gait. From the results obtained, by performing several computational simulations, it can be observed that the knee model approximates the average secondary motion patterns observed in the literature. Because the literature reports considerable inter-individual differences in the secondary motion patterns, the knee model presented here is also used to check whether it is possible to reproduce the observed differences with reasonable variations of bone shape parameters. This task is accomplished by a parameter study, in which the main variables that define the geometry of condyles are taken into account. It was observed that the data reveal a difference in secondary kinematics of the knee in flexion versus extension. The likely explanation for this fact is the elastic component of the secondary motions created by the combination of joint forces and soft tissue deformations. The proposed knee model is, therefore, used to investigate whether this observed behavior can be explained by reasonable elastic deformations of the points representing the menisci in the model.     

Collapsing and Separating Completeness Notions Under Average-Case and Worst-Case Hypotheses

This paper presents the following results on sets that are complete for NP.

1. If there is a problem in NP that requires $2^{n^{\Omega(1)}}$ time at almost all lengths, then every many-one NP-complete set is complete under length-increasing reductions that are computed by polynomial-size circuits.
2. If there is a problem in co-NP that cannot be solved by polynomial-size nondeterministic circuits, then every many-one NP-complete set is complete under length-increasing reductions that are computed by polynomial-size circuits.
3. If there exist a one-way permutation that is secure against subexponential-size circuits and there is a hard tally language in NP??co-NP, then there is a Turing complete language for NP that is not many-one complete.

Our first two results use worst-case hardness hypotheses whereas earlier work that showed similar results relied on average-case or almost-everywhere hardness assumptions. The use of average-case and worst-case hypotheses in the last result is unique as previous results obtaining the same consequence relied on almost-everywhere hardness results.