Comparing the revised NIOSH lifting equation to the psychophysical,biomechanical and physiological criteria used in its development

The purpose of this study was to perform a systematic and comprehensive comparison between the recommended weights of lift (RWL) from the revised NIOSH lifting equation, and the specific biomechanical, psychophysical and physiological criteria that were stated to be used in the equation's development. A composite acceptable load (CAL) table was developed for the 216 conditions presented in the female lifting table of Snook and Ciriello (1991). Each CAL value was calculated to correspond to the most conservative load of the three design criteria. The RWLs caused lumbar compression forces close to the biomechanical limit of 3400 N for lifts below knuckle height, but resulted in compression forces that are much lower at higher lifting heights. At moderate lifting frequencies, the average RWL would be acceptable to more than 95% of female workers according to the psychophysical criterion. At the highest frequencies, the RWL was found to be an average of 63% of the CAL values based on the integration of the psychophysical and physiological criteria. It is recommended that ergonomists acknowledge the very conservative nature of the revised NIOSH lifting equation when using it to evaluate occupational lifting tasks.     

Morphology,crystallinity, and electrochemical properties of in situ formed poly(ethylene oxide)/TiO2 nanocomposite polymer electrolytes

A method to produce nanocomposite polymer electrolytes consisting of poly(ethylene oxide) (PEO) as the polymer matrix, lithium tetrafluoroborate (LiBF₄) as the lithium salt, and TiO₂ as the inert ceramic filler is described. The ceramic filler, TiO₂, was synthesized in situ by a sol–gel process. The morphology and crystallinity of the nanocomposite polymer electrolytes were examined by scanning electron microscopy and differential scanning calorimetry, respectively. The electrochemical properties of interest to battery applications, such as ionic conductivity, Li⁺ transference number, and stability window were investigated. The room‐temperature ionic conductivity of these polymer electrolytes was an order of magnitude higher than that of the TiO₂ free sample. A high Li⁺ transference number of 0.51 was recorded, and the nanocomposite electrolyte was found to be electrochemically stable up to 4.5 V versus Li⁺/Li. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 89: 2815–2822, 2003     

Test-data generation for control coverage by proof

Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.     

Short-term prediction of traffic flow using a binary neural network

This paper introduces a binary neural network-based prediction algorithm incorporating both spatial and temporal characteristics into the prediction process. The algorithm is used to predict short-term traffic flow by combining information from multiple traffic sensors (spatial lag) and time series prediction (temporal lag). It extends previously developed Advanced Uncertain Reasoning Architecture (AURA) k-nearest neighbour (k-NN) techniques. Our task was to produce a fast and accurate traffic flow predictor. The AURA k-NN predictor is comparable to other machine learning techniques with respect to recall accuracy but is able to train and predict rapidly. We incorporated consistency evaluations to determine whether the AURA k-NN has an ideal algorithmic configuration or an ideal data configuration or whether the settings needed to be varied for each data set. The results agree with previous research in that settings must be bespoke for each data set. This configuration process requires rapid and scalable learning to allow the predictor to be set-up for new data. The fast processing abilities of the AURA k-NN ensure this combinatorial optimisation will be computationally feasible for real-world applications. We intend to use the predictor to proactively manage traffic by predicting traffic volumes to anticipate traffic network problems.     

Complementarity determining region residues aspartic acid at H55, serine at H95 and tyrosines at H97 and L96 play important roles in the B72.3 antibody-TAG72 antigen interaction

Structural analysis derived from the crystallographic studyof the chimeric B72.3 antibody illustrated some major atomicinteractions between complementarity determining region (CDR)residues. For example, hydrogen bonds are formed between H35/H95,L50/H97, H53/H55 and H96/L96 respectively. These CDR residuesmay play important roles in the B72.3–TAG72 (antibody-antigen)interaction either by direct interaction with the TAG72 antigenor by maintaining a CDR loop conformation through atomic interactionsbetween CDR residues. In order to confirm these assumptions,we altered these CDR residues by site-directed mutagenesis anddetermined binding affinities of these mutant chimeric antibodiesfor the TAG72 antigen in a solid-phase radioimmunoassay. Wefound that H55, H95, H97 and L96 are important CDR residuesfor the B72.3–TAG72 interaction. Single amino acid substitutionsof aspartic acid and serine by alanine at H55 of CDR2 and atH95 of CDR3 respectively and of tyrosine by phenylalanine atH97 and L96 of CDR3, significantly reduced the binding affinityfor the TAG72 antigen by 20-, 8-, 16- and 45-fold respectively.Therefore, this study reveals some of the requirements for maintainingthe integrity of the B72.3 antibody combining sites.     

Cottonseed preparation

Conventional methods of cottonseed preparation are reviewed and described, including seed cleaning, saw delinting, dehulling, conditioning, and flaking. The use of screw presses for prepress conditioning ahead of solvent extraction is discussed as compared to conditioning for direct solvent extraction. Newer methods and proposed alternate methods of cottonseed preparation are discussed including: abrasive delinting, acid delinting by gas and liquid acid, and the decorticating of undelinted seed. The effect of cracking rolls, moisture addition, moist cooking and flaking on gossypol gland rupture, the binding of gossypol to protein, and the effect of these processing or preparation variables on the residual oil in the extracted meal and on the oil quality are discussed.     

Experimental Simulation of the Reactor Section of Fluid Cokers: Comparison of FCC and Fluid Coke Particles

The hydrodynamics of fluid cokers were studied in a pressurized fully cylindrical cold model of diameter 483 mm, geometrically and dynamically scaled down by a factor of ～20 from commercial units. Differential pressure fluctuations, voidage distributions, solids momentum flux distributions and steady state gas mixing behaviour in the reactor section are compared for the same operating conditions with two kinds of particles, FCC and fluid coke. The voidage distributions and core‐annular flow structures in the reactor section were similar enough that either FCC or fluid coke particles can be used for cold modelling of fluid cokers.     

对中国入世后洗涤剂工业形势及相关问题的分析 --国内外业界高层人士访谈

中国加入WTO后，中国洗涤用品行业面临着新的机遇与挑战，中国洗涤用品市场将面临更加激烈的竞争。由于环保的呼声越来越高，中国已开始在部分地区禁磷。中国洗涤用品工业将如何发展，其前景如何，专家的看法又如何，就这些问题本刊专访了有关人士。     

A new combined computational and NMR-spectroscopical strategy for the identification of additional conformational constraints of the bound ligand in an aprotic solvent

This study documents the feasibility of switching to an aprotic medium in sugar receptor research. The solvent change offers additional insights into mechanistic details of receptor--carbohydrate ligand interactions. If a receptor retained binding capacity in an aprotic medium, solvent-exchangeable protons of the ligand would not undergo transfer and could act as additional sensors, thus improving the level of reliability in conformational analysis. To probe this possibility, we first focused on hevein, the smallest lectin found in nature. The NMR-spectroscopic measurements verified complexation, albeit with progressively reduced affinity by more than 1.5 orders of magnitude, in mixtures of up to 50% dimethyl sulfoxide (DMSO). Since hevein lacks the compact beta-strand arrangement of other sugar receptors, such a structural motif may confer enhanced resistance to solvent exchange. Two settings of solid-phase activity assays proved this assumption for three types of alpha- and/or beta-galactoside-binding proteins, that is, a human immunoglobulin G (IgG) subfraction, the mistletoe lectin, and a member of the galectin family of animal lectins. Computer-assisted calculations and NMR experiments also revealed no conspicuous impact of the solvent on the conformational properties of the tested ligands. To define all possible nuclear Overhauser effect (NOE) contacts in a certain conformation and to predict involvement of exchangeable protons, we established a new screening protocol applicable during a given molecular dynamics (MD) trajectory and calculated population densities of distinct contacts. Experimentally, transferred NOE (tr-NOE) experiments with IgG molecules and the disaccharide Gal'alpha1-3Galbeta1-R in DMSO as solvent disclosed that such an additional crosspeak, that is, Gal'OH2--GalOH4, was even detectable for the bound ligand under conditions in which spin diffusion effects are suppressed. Further measurements with the plant lectin and galectins confirmed line broadening of ligand signals and gave access to characteristic crosspeaks in the aprotic solvent and its mixtures with water. Our combined biochemical, computational, and NMR-spectroscopical strategy is expected to contribute notably to the precise elucidation of the geometry of ligands bound to compactly folded sugar receptors and of the role of water molecules in protein--ligand (carbohydrate) recognition, with relevance to areas beyond the glycosciences.     

Authorized workflow schemas: deciding realizability through \mathsf{LTL }(\mathsf{F }) model checking

Many business processes are modeled as workflows, which often need to comply with business rules, legal requirements, and authorization policies. Workflow satisfiability is the problem of determining whether there exists a workflow instance that realizes the workflow specification while simultaneously complying with such constraints. This problem has already been studied by the computer security community, with the development of algorithms and the study of their worst-case complexity. These solutions are often tailored to a particular workflow model and are, therefore, of little or no use in analyzing different models; their worst-case complexities are likely to be an unreliable judge of their feasibility; and they lack support for other forms of analysis such as the determination of the smallest number of users required to satisfy a workflow specification. We propose model checking of an NP-complete fragment $\mathsf{LTL }(\mathsf{F })$ of propositional linear-time temporal logic as an alternative solution. We report encodings in LTL(F) that can compute a set of solutions (thus deciding satisfiability), compute minimal user bases and a safe bound on the resiliency of satisfiability under the removal of users. These theoretical contributions are validated through detailed experiments whose results attest to the viability of our proposed approach.