the electronic structures, deformation charge density, dipole moment and optical properties of N and transition metal R (R=V, Cr, Mn, Fe, Co, Ni, Cu and Zn) codoped anatase TiO2 are studied using the plane-wave ultras...
详细信息
the electronic structures, deformation charge density, dipole moment and optical properties of N and transition metal R (R=V, Cr, Mn, Fe, Co, Ni, Cu and Zn) codoped anatase TiO2 are studied using the plane-wave ultrasoft pseudopotential method of density functionaltheory (DFT). the results exhibit that the absorption coefficients of the N+Cr-doped TiO2 are in accordance withthe experimental values in the visible-light region. the calculated results reveal that the N+R-doped TiO2 is helpful for enhancing the absorption coefficient in the visible-light region;especially, among the eight materials, N+Mn-doped TiO2 has the largest value of absorption coefficient in the visible-light region. the ionic bonding and Jahn-Teller distortion would contribute to increase the photocatalytic activity of TiO2 in the visible-light region. All in all, for doped TiO2, the large dipole moment of TiO6 octahedron can enhance the optical responses in the visible-light region;in this work, however, it is found that the small dipole moment of TiO6 octahedron would increase the absorption coefficient in the visible-light region. Crown Copyright (C) 2012 Published by Elsevier B.V. All rights reserved.
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid met...
ISBN:
(纸本)3642135196
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid methods for the multileaf collimator sequencing problem;automatically exploiting subproblem equivalence in constraint programming;single-facility scheduling over long time horizons by logic-based benders decomposition;integrated maintenance scheduling for semiconductor manufacturing;a constraint programming approach for the service consolidation problem;solving connected subgraph problems in wildlife conservation;consistency check for the bin packing constraint revisited;an in-out approach to disjunctive optimization;a SAT encoding for multi-dimensional packing problems;job shop scheduling with setup times and maximal time-lags: a simple constraint programming approach;on the design of the next generation access networks;and vehicle routing for food rescue programs: a comparison of different approaches.
In this paper analytical solution of fastest mixing Markov chain problem over a sensor network with K-partite topology is provided. the solution procedure consists of Stratification of sensor network's connectivit...
详细信息
ISBN:
(纸本)9781424495375
In this paper analytical solution of fastest mixing Markov chain problem over a sensor network with K-partite topology is provided. the solution procedure consists of Stratification of sensor network's connectivity graph and semidefinite programming. the studied topologies are evaluated in terms of asymptotic and per step convergence rates. the obtained optimal transition probabilities have been compared withthose obtained from Metropolis-Hasting method by comparing mixing time improvements numerically.
programming models for Pervasive Computing applications typically include the possibility of specifying software components according to multiple alternative versions, each optimized for a certain class of computing a...
详细信息
ISBN:
(纸本)9781424495375
programming models for Pervasive Computing applications typically include the possibility of specifying software components according to multiple alternative versions, each optimized for a certain class of computing and communication technologies. A main mechanism provided by these programming models permits to dynamically select one of the alternative versions for the execution. this reconfiguration activity may be critical, from a performance point of view, when considering High-Performance Pervasive Computing applications, especially if the reconfiguration must be performed in such a way that the application semantics is respected (i.e. the reconfiguration is consistent). In this paper we show how to introduce consistent reconfiguration protocols for the ASSISTANT programming model, we exemplify two general protocols and we show experimental results for one of them.
Model-based development typically focuses on functional and structural aspects of a system. More recently, timing and performance attributes have been suggested in prior papers to enable modeling environments realize ...
详细信息
ISBN:
(纸本)9781424495375
Model-based development typically focuses on functional and structural aspects of a system. More recently, timing and performance attributes have been suggested in prior papers to enable modeling environments realize more realistic implementations based on platform mappings. In this paper, we present model-based development in the context of cyber-physical systems. Instead of being totally platform agnostic, we allow users to provide options upfront in design which suggest the broader capability of platforms (such as reconfigurable hardware-based (FPGAs) or processor-based) including bus interconnects. We focus on distributed systems comprising of a mix of such heterogeneous platforms and present semantics to suggest three modes of communication: isochronous, asynchronous and event-based. Additionally we also present means for users to observe the designed behavior of software or hardware components and to constrain them by viewing and interacting withthe components in an activity profiling timeline view. this methodology allows synthesis of efficient code, including inter-platform communication and quick upfront analysis thereby allowing for a better and more realistic implementation of the design.
Service composition is an emerging computing paradigm for constructing next-generation large-scale distributed applications within and across organizational boundaries. How to cope withthe complexity of service compo...
详细信息
the paper presents the approaches for electric energy saving possibilities and electricity consumption characteristics in the modern industrial robots together with practical examples concerning robot programming and ...
详细信息
ISBN:
(纸本)9781424488070
the paper presents the approaches for electric energy saving possibilities and electricity consumption characteristics in the modern industrial robots together with practical examples concerning robot programming and positioning. the paper is based on measurements, made in the laboratory of Tallinn University of Technology with an industrial robot IRB 1600.
In this study, we provide a lightweight singlehop primitive, Read-All-Write-Self (RAWS), that achieves optimistic concurrency control. RAWS guarantees serializability, which simplifies implementation and verification ...
详细信息
ISBN:
(纸本)9781424495375
In this study, we provide a lightweight singlehop primitive, Read-All-Write-Self (RAWS), that achieves optimistic concurrency control. RAWS guarantees serializability, which simplifies implementation and verification of distributed algorithms, compared to the low level message passing model. We also present a self-stabilizing multihop extension of RAWS, called Multihop Optimistic Concurrency Control Algorithm (MOCCA), to address the challenges of multihop networks. We implement RAWS on motes and investigate the effects of message loss over this novel primitive.
A new artificial neural system model for solving nonlinear programming with equality constraints is proposed in this paper. this model has two properties as follows: first, the optima set to the problems coincides wit...
详细信息
暂无评论