Structure of the cokes obtained from the group components separated from coking coal vitrites by selective thermosolvolysis

The examination of the structure of cokes obtained from extracts separated from preheated vitrites of coking coals by progressive and continuous extraction with chloroform was carried out. The structural ordering (interplanar spacing and crystallite dimensions) of the cokes depends on the rank of the parent vitrites but it does not depend on the degree of extraction. The occurrence of optical anisotropy in cokes from the extracts is connected with both the rank of the parent vitrite and the degree of extraction. In the formation of the optical anisotropic structure during the carbonization of coking coal vitrites, the part of the extract which is of small size, which partially undergoes decomposition, is an important factor.     

Formulations for an inventory routing problem

In this paper, we present and compare formulations for the inventory routing problem (IRP) where the demand of customers has to be served, over a discrete time horizon, by capacitated vehicles starting and ending their routes at a depot. The objective of the IRP is the minimization of the sum of inventory and transportation costs. The formulations include known and new mathematical programming formulations. Valid inequalities are also presented. The formulations are tested on a large set of benchmark instances. One of the most significant conclusions is that the formulations that use vehicle‐indexed variables are superior to the more compact, aggregate formulations.     

Fluidized Bed Air Drying: Experimental Study and Model Development

The presented study describes the processes and mechanisms of batch fluidized bed drying. The influencing factors of hot air drying are theoretically and experimentally examined, in order to present the relations between temperature and humidity profiles and all other drying parameters. A physical model is presented to facilitate the calculation of the drying processes under defined conditions. Three succeeding drying stages are therefore modeled. Mass and energy balances including all components taking part in the process are formulated. The model clarities the drying process under the assumption of pure heat transfer mechanisms. It does not contain adaptive parameters and takes into account an inactive bypass fraction of the fluidization and drying medium. The evaluation of the model was successful for two fluidized bed plants with nominal widths of 100 mm and 400 mm. The experiments showed sufficient accuracy and transferability of the model to equipment of application‐oriented dimensions.     

A second-generation system for unbiased reading frame selection

Reading frame selection of nucleic acids has important implications for protein engineering and genomics. Current methods are limited because selection of the gene of interest inevitably depends on the solubility of its translated product. Here we report the construction of the pInSALect vector, which provides strict reading frame selection without concomitant selection for protein solubility or folding. This plasmid incorporates the cis-splicing VMA intein sequence from Saccharomyces cerevisiae to facilitate the post-translational self-excision of the protein of interest, thereby eliminating potential aggregation problems. Results from two libraries of chimeric glycinamide ribonucleotide formyltransferases confirm the superior performance of pInSALect over existing reading frame selection systems.     

Relationship between Creativity, Imitation, and Cultural Diversity

There are both benefits and drawbacks to cultural diversity. It can lead to friction and exacerbate differences. However, as with biological diversity, cultural diversity is valuable in times of upheaval; if a previously effective solution no longer works, it is good to have alternatives available. What factors give rise to cultural diversity? This paper describes a preliminary investigation of this question using a computational model of cultural evolution. The model is composed of neural network based agents that evolve fitter ideas for actions by (1) inventing new ideas through modification of existing ones, and (2) imitating neighbors'' ideas. Numerical simulations indicate that the diversity of ideas in a population is positively correlated with both the proportion of creators to imitators in the population, and the rate at which creators create. This is the case for both minimum and peak diversity of actions over the duration of a run.     

Iron(II)‐based catalysts for ethene oligomerization

The synthesis of iron(II) complexes with various tridentate di(imino)pyridine ligands and their potential as ethene oligomerization catalysts are described. The ligands are characterized by ¹H‐ and ¹³C‐NMR spectroscopy and the complexes only by mass spectrometry due to their paramagnetism. After activation either with methylalumoxane (MAO) or with a heterogeneous cocatalyst consisting of partially hydrolyzed trimethylaluminum and silica gel, the prepared complexes proved to be good catalysts for the oligomerization of ethene. 1‐Octene, 1‐hexene, and 1‐decene were the major products, formed in very high isomeric purity (99.9 %). © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 88: 476–482, 2003     

Chemical analysis of volatiles emitted by Pinus svlvestris after induction by insect oviposition

Gas chromatography – mass spectrometry analyses of the headspace volatiles of Scots pine (Pinus sylvestris) induced by egg deposition of the sawfly Diprion pini were conducted. The odor blend of systemically oviposition-induced pine twigs, attractive for the eulophid egg parasitoid Chrysonotomyia ruforum, was compared to volatiles released by damaged pine twigs (control) that are not attractive for the parasitoid. The mechanical damage inflicted to the control twigs mimicked the damage by a sawfly female prior to egg deposition. The odor blend released by oviposition-induced pine twigs consisted of numerous mono- and sesquiterpenes, which all were also present in the headspace of the artificially damaged control twigs. A quantitative comparison of the volatiles from oviposition-induced twigs and controls revealed that only the amounts of (E)--farnesene were significantly higher in the volatile blend of the oviposition-induced twigs. Volatiles from pine twigs treated with jasmonic acid (JA) also attract the egg parasitoid. No qualitative differences were detected when comparing the composition of the headspace of JA-treated pine twigs with the volatile blend of untreated control twigs. JA-treated pine twigs released significantly higher amounts of (E)--farnesene. However, the JA treatment induced a significant increase of the amount of further terpenoid components. The release of terpenoids by pine after wounding, egg deposition, and JA treatment is discussed with special respect to (E)--farnesene.     

Activation of Ni/A12O3 catalysts through modification of the Al2O3 support

The effect of alumina pretreatment on the performance of alumina supported nickel catalysts was demonstrated in gas phase hydrogenation of toluene to methylcyclohexane. The state of the alumina was changed from pure to pure phase through various heat treatments in air. The catalysts were prepared from vapor phase by saturating the accessible binding sites on the pretreated alumina with the nickel precursor. The highest number of active sites for hydrogenation was observed for catalysts prepared on alumina having an incomplete phase transition and a / alumina phase ratio between 0.5 and 10. Results from temperature programmed desorption (TPD) studies revealed that a maximum in weakly chemisorbed hydrogen as well as in total amount of desorbed hydrogen was found for the same catalysts. By hydrogen chemisorption studies the total hydrogen uptake was found to correlate with the observed hydrogenation maximum. It is suggested that both the chemical and physical properties of the alumina influence the activity. An optimal metal-support interaction and structural defects on the alumina due to the phase transition can explain the observed maximum in the number of active sites and in hydrogen uptake.     

Towards language-to-language transformation

This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.

     

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety

International Journal on Software Tools for Technology Transfer -