Catalytic dehydrogenation of ethylbenzene with carbon dioxide: promotional effect of antimony in supported vanadium–antimony oxide catalyst

Alumina-supported vanadium oxide, VO_x/Al₂O₃, and binary vanadium–antimony oxides, VSbO_x/Al₂O₃, have been tested in the ethylbenzene dehydrogenation with carbon dioxide and characterized by S_BET, X-ray diffraction, X-ray photoelectron spectroscopy, hydrogen temperature-programmed reduction and CO₂ pulse methods. VSbO_x/Al₂O₃ exhibited enhanced catalytic activity and especially on-stream stability compared to VO_x/Al₂O₃ catalyst. Incorporation of antimony into VO_x/Al₂O₃ increased dispersion of active VO_x species, enhanced redox properties of the systems and formed a new mixed vanadium–antimony oxide phase in the most catalytically efficient V_0.43Sb_0.57O_x/Al₂O₃ system.     

FE3 EPR investigation of PLZT 1/65/35 and 8/65/35

X-band EPR spectra of PLZT 1/65/35 and PLZT 8/65/35 doped with 1% FE³⁺ were recorded at temperature range -175°C to 200°C. Three types of paramagnetic centers were found. Two of them are in strong axial and rhombic crystal field due to neighboring oxygen and lead vacancies. The other center has symmetry determined by polarization and oxygen octahedra tilt. EPR spectra of PLZT 8/65/35 are in agreement with its glassy behavior.     

Telomere Length in Metaphase Chromosomes of Human Triploid Zygotes

The human lifespan is strongly influenced by telomere length (TL) which is defined in a zygote—when two highly specialised haploid cells form a new diploid organism. Although TL is a variable parameter, it fluctuates in a limited range. We aimed to establish the determining factors of TL in chromosomes of maternal and paternal origin in human triploid zygotes. Using Q-FISH, we examined TL in the metaphase chromosomes of 28 human triploid zygotes obtained from 22 couples. The chromosomes’ parental origin was identified immunocytochemically through weak DNA methylation and strong hydroxymethylation in the sperm-derived (paternal) chromosomes versus strong DNA methylation and weak hydroxymethylation in the oocyte-derived (maternal) ones. In 24 zygotes, one maternal and two paternal chromosome sets were identified, while the four remaining zygotes contained one paternal and two maternal sets. For each zygote, we compared mean relative TLs between parental chromosomes, identifying a significant difference in favour of the paternal chromosomes, which attests to a certain “imprinting” of these regions. Mean relative TLs in paternal or maternal chromosomes did not correlate with the respective parent’s age. Similarly, no correlation was observed between the mean relative TL and sperm quality parameters: concentration, progressive motility and normal morphology. Based on the comparison of TLs in chromosomes inherited from a single individual’s gametes with those in chromosomes inherited from different individuals’ gametes, we compared intraindividual (intercellular) and interindividual variability, obtaining significance in favour of the latter and thus validating the role of heredity in determining TL in zygotes. A comparison of the interchromatid TL differences across the chromosomes from sets of different parental origin with those from PHA-stimulated lymphocytes showed an absence of a significant difference between the maternal and paternal sets but a significant excess over the lymphocytes. Therefore, interchromatid TL differences are more pronounced in zygotes than in lymphocytes. To summarise, TL in human zygotes is determined both by heredity and parental origin; the input of other factors is possible within the individual’s reaction norm.     

Model-based design and test of vibration energy harvester for aircraft application

This paper deals with a development process of a vibration energy harvesting device in aircraft applications. The vibration energy harvester uses ambient energy of mechanical vibration and it provides an autonomous source of energy for wireless sensors or autonomous applications. This application presents a complex engineering problem and the vibration energy harvester consists of precise mechanical part, electro-mechanical converter, electronics and a powered application. It can be perceive as a mechatronic system and a mechatronic approach was used for development of our vibration energy harvester. An essential step of development process is simulation modeling which is based on mechatronic approach. Presented model-based design of vibration energy harvester is very useful during development process and the whole development process of the autonomous energy source is presented in this paper. The main aim of the paper is an introduction of our development methodology and our approach is presented on a sample of the vibration energy harvester for aircraft applications under project ESPOSA.     

Polymerization of monomers initiated by silyl centers in SiO deposits prepared by pulsed laser ablation

Deposits from silicon monoxide prepared by pulsed laser ablation were allowed to react with acrylic and vinyl monomers—styrene, methyl methacrylate and 1,2 ethylene glycol dimethacrylate. It was revealed by means of FTIR, electron paramagnetic resonance (EPR), and NMR spectroscopies that silyl ?Si· reacts with monomer molecules and initiates the consecutive polymerization. Crosslinking is proved by the occurrence of bending δ(? CH₂) absorption peak at about 750 cm^?1 in FTIR spectra. Because of very low concentration of the propagating radical for styrene we used a radical scavenger N‐phenyl‐t‐butylnitrone for trapping. The measured EPR parameters were compared with the calculated ones. In case of styrene, NMR analysis manifested the presence of Si? C bonds in SiC_xO_y (x + y = 2) units, which can be taken as direct evidence of the reaction between silyl centers and monomer molecules. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 4488–4492, 2006     

Propositional truth maintenance systems: Classification and complexity analysis

Truth maintenance (TM) has been an active area of artificial intelligence (AI) research in recent years. In particular, truth maintenance systems (TMSs) in many variant types have become popular mechanisms for implementing nonmonotonic inference systems. Knowledge about the computational foundations of a TMS is indispensable for their use. We present a classification of computational complexity of tasks performed by basic existing TMS types. Our results include the proof ₂ ^p -completeness of the clause maintenance system's computation task. This is the first problem in AI proved to be ₂ ^p -complete. It is likely to provide a basis for proving ₂ ^p -completeness of other problems in logic and AI. As part of the proof, we prove the ₂ ^p -completeness of the generalized node deletion problem, one of the first natural graph problems to be complete for any one of the classes _i ^p , forp>1. We also prove the polynomial equivalence of Boolean Constraint Propagation-based (logic-based) approaches (LTMSs) and justification-based approaches (JTMSs) to TM, and exhibit efficient algorithms for transforming an LTMS into a JTMS and vice versa.     

Library of sophisticated functions for analysis of nuclear spectra

In the paper we present compact library for analysis of nuclear spectra. The library consists of sophisticated functions for background elimination, smoothing, peak searching, deconvolution, and peak fitting. The functions can process one- and two-dimensional spectra. The software described in the paper comprises a number of conventional as well as newly developed methods needed to analyze experimental data.

Program summary

Program title: SpecAnalysLib 1.1Catalogue identifier: AEDZ_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEDZ_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 42 154No. of bytes in distributed program, including test data, etc.: 2 379 437Distribution format: tar.gzProgramming language: C++Computer: Pentium 3 PC 2.4 GHz or higher, Borland C++ Builder v. 6. A precompiled Windows version is included in the distribution packageOperating system: Windows 32 bit versionsRAM: 10 MBWord size: 32 bitsClassification: 17.6Nature of problem: The demand for advanced highly effective experimental data analysis functions is enormous. The library package represents one approach to give the physicists the possibility to use the advanced routines simply by calling them from their own programs. SpecAnalysLib is a collection of functions for analysis of one- and two-parameter γ-ray spectra, but they can be used for other types of data as well. The library consists of sophisticated functions for background elimination, smoothing, peak searching, deconvolution, and peak fitting.Solution method: The algorithms of background estimation are based on Sensitive Non-linear Iterative Peak (SNIP) clipping algorithm. The smoothing algorithms are based on the convolution of the original data with several types of filters and algorithms based on discrete Markov chains. The peak searching algorithms use the smoothed second differences and they can search for peaks of general form. The deconvolution (decomposition - unfolding) functions use the Gold iterative algorithm, its improved high resolution version and Richardson-Lucy algorithm. In the algorithms of peak fitting we have implemented two approaches. The first one is based on the algorithm without matrix inversion - AWMI algorithm. It allows it to fit large blocks of data and large number of parameters. The other one is based on the calculation of the system of linear equations using Stiefel-Hestens method. It converges faster than the AWMI, however it is not suitable for fitting large number of parameters.Restrictions: Dimensionality of the analyzed data is limited to two.Unusual features: Dynamically loadable library (DLL) of processing functions users can call from their own programs.Running time: Most processing routines execute interactively or in a few seconds. Computationally intensive routines (deconvolution, fitting) execute longer, depending on the number of iterations specified and volume of the processed data.     

On the Convergence of Temporal-Difference Learning with Linear Function Approximation

The asymptotic properties of temporal-difference learning algorithms with linear function approximation are analyzed in this paper. The analysis is carried out in the context of the approximation of a discounted cost-to-go function associated with an uncontrolled Markov chain with an uncountable finite-dimensional state-space. Under mild conditions, the almost sure convergence of temporal-difference learning algorithms with linear function approximation is established and an upper bound for their asymptotic approximation error is determined. The obtained results are a generalization and extension of the existing results related to the asymptotic behavior of temporal-difference learning. Moreover, they cover cases to which the existing results cannot be applied, while the adopted assumptions seem to be the weakest possible under which the almost sure convergence of temporal-difference learning algorithms is still possible to be demonstrated.     

TreePlus: interactive exploration of networks with enhanced tree layouts

Despite extensive research, it is still difficult to produce effective interactive layouts for large graphs. Dense layout and occlusion make food Webs, ontologies and social networks difficult to understand and interact with. We propose a new interactive visual analytics component called TreePlus that is based on a tree-style layout. TreePlus reveals the missing graph structure with visualization and interaction while maintaining good readability. To support exploration of the local structure of the graph and gathering of information from the extensive reading of labels, we use a guiding metaphor of "plant a seed and watch it grow." It allows users to start with a node and expand the graph as needed, which complements the classic overview techniques that can be effective at (but often limited to) revealing clusters. We describe our design goals, describe the interface and report on a controlled user study with 28 participants comparing TreePlus with a traditional graph interface for six tasks. In general, the advantage of TreePlus over the traditional interface increased as the density of the displayed data increased. Participants also reported higher levels of confidence in their answers with TreePlus and most of them preferred TreePlus