Blue luminescence of Au nanoclusters embedded in silica matrix

Photoluminescence study using the 325 nm He-Cd excitation is reported for the Au nanoclusters embedded in SiO2 matrix. Au clusters are grown by ion beam mixing with 100 KeV Ar+ irradiation on Au [40 nm]/SiO2 at various fluences and subsequent annealing at high temperature. The blue bands above ~3 eV match closely with reported values for colloidal Au nanoclusters and supported Au nanoislands. Radiative recombination of sp electrons above Fermi level to occupied d-band holes are assigned for observed luminescence peaks. Peaks at 3.1 eV and 3.4 eV are correlated to energy gaps at the X- and L-symmetry points, respectively, with possible involvement of relaxation mechanism. The blue shift of peak positions at 3.4 eV with decreasing cluster size is reported to be due to the compressive strain in small clusters. A first principle calculation based on density functional theory using the full potential linear augmented plane wave plus local orbitals (FP-LAPW+LO) formalism with generalized gradient approximation (GGA) for the exchange correlation energy is used to estimate the band gaps at the X- and L-symmetry points by calculating the band structures and joint density of states (JDOS) for different strain values in order to explain the blueshift of ~0.1 eV with decreasing cluster size around L-symmetry point.Comment: 13 pages, 7 Figures Only in PDF format; To be published in J. of Chem. Phys. (Tentative issue of publication 8th December 2004

Universal SSE algorithm for Heisenberg model and Bose Hubbard model with interaction

We propose universal SSE method for simulation of Heisenberg model with arbitrary spin and Bose Hubbard model with interaction. We report on the first calculations of soft-core bosons with interaction by the SSE method. Moreover we develop a simple procedure for increase efficiency of the algorithm. From calculation of integrated autocorrelation times we conclude that the method is efficient for both models and essentially eliminates the critical slowing down problem.Comment: 6 pages, 5 figure

poST

Publisher Copyright: AuthorThis paper presents the core concepts for the poST language - a process-oriented extension of the IEC 61131-3 Structured Text (ST) language which intends to provide a conceptual consistency of the PLC source code with technological description of the plant operating procedure. The poST can be seamlessly used as a textual programming language for complex PLC software in the context of IEC 61131-3 (3rd Edition). The language combines the advantages of FSM-based programming with the conventional syntax of the ST language which would facilitate its adoption. The poST language assumes that a poST-program is a set of weakly connected concurrent processes, structurally and functionally corresponding to the technological description of the plant. Each process is specified by a sequential set of states. The states are specified by a set of the ST constructs, extended by TIMEOUT operation, SET STATE operation, and START / STOP / check state operations to communicate with other processes. The paper describes the basic syntax of the poST language, demonstrates the usage of the poST language by developing control software for an elevator, and compares the development in poST with pure Structured Text.Peer reviewe

Application of Raman spectroscopy to study the inactivation process of bacterial microorganisms

Raman spectroscopy (RS) is one of the promising approaches for structural and functional studies of various biological objects, including bacterial microorganisms. Both traditional biochemical tests and genetic methods which require expensive reagents, consumables and are time-consuming are used for bacterial analysis. Spectroscopic methods are positioned as noninvasive, highly sensitive, and requiring minimal sample preparation. In this work we investigated the possibility of using the RS method using optical sensors based on gold anisotropic nanoparticles. The applicability of the method was demonstrated by studying the effect of a broad-spectrum cephalosporin antibiotic and an extract of Viburnum opulus L (VO) on Escherichia coli (E. Coli) colonies. The studies were performed by Raman spectroscopy using a Virsa spectrometer (Renishaw). Raman signal amplification was carried out using two original optical sensors proposed by the authors. To create sensors, we used a chemical method of depositing gold nanostars on APTES-modified quartz glasses and a physical method for creating sensors based on anodizing titanium surfaces. The results of the study showed the high sensitivity and information content of the proposed method. The possibility of using the RS method for studying the inactivation of bacterial microorganisms is shown. Spectral Raman bands of E. Coli were determined and identified before and after exposure to VO extract and antibiotic as a control. A decrease in the intensity of spectral modes corresponding to amino acids and purine metabolites was found in the average Raman spectrum of E. Coli after exposure to VO extract. For the first time, a study of the antimicrobial effect of an aqueous extract of VO fruits was carried out by the method of Raman scattering. It has been shown that the use of plant extracts, including VO fruit extracts, to inactivate the vital activity of bacterial colonies is a promising approach to the search for new alternative antibacterial agents. The results obtained are in good agreement with the already known scientific studies and confirm the effectiveness of the proposed method

Методы специализации онтологии процессов, ориентированной на верификацию

User-friendly formal specifications and verification of parallel and distributed systems from various subject fields, such as automatic control, telecommunications, business processes, are active research topics due to its practical significance. In this paper, we present methods for the development of verification-oriented domain-specific process ontologies which are used to describe parallel and distributed systems of subject fields. One of the advantages of such ontologies is their formal semantics which make possible formal verification of the described systems. Our method is based on the abstract verification-oriented process ontology. We use two methods of specialization of the abstract process ontology. The declarative method uses the specialization of the classes of the original ontology, introduction of new declarative classes, as well as use of new axioms system, which restrict the classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link sublect fields with classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology and, therefore, the possibility of applying formal verification methods to the specialized process ontologies. We show that the constructive method is a refinement of the declarative method. The construction of ontology of the typical elements of automatic control systems illustrates our methods: we develop a declarative description of the classes and restrictions for the specialized ontology in the Prot´eg´e system in the OWL language using the deriving rules written in the SWRL language and we construct the system of semantic markup templates which implements typical elements of automatic control systems.Удобная для пользователя формальная спецификация и верификация параллельных и распределённых систем, принадлежащих различным предметным областям, таким как системы автоматического управления, телекоммуникации, бизнес-процессы, являются активными темами исследований в силу их практической значимости. В этой статье мы представляем методы разработки специализированных ориентированных на верификацию онтологий процессов, которые используются для описания параллельных и распределенных систем предметных областей. Одним из преимуществ таких онтологий является их формальная семантика, которая делает возможной формальную верификацию описанных систем. Наш метод основан на абстрактной онтологии процессов, ориентированной на верификацию. Мы используем два метода специализации абстрактной онтологии процессов. Декларативный метод с помощью специализации классов исходной онтологии, введения новых декларативных классов, а также системы аксиом задаёт ограничения для классов и отношений абстрактной онтологии. Конструктивный метод использует техники семантической разметки и сопоставления с образцом, чтобы связать понятия предметной области с классами абстрактной онтологии процессов. Мы даём подробные онтологические спецификации этих техник. Наши методы сохраняют формальную семантику исходной онтологии процессов и, следовательно, возможность применения формальных методов верификации к специализированным онтологиям процессов. Мы показываем, что конструктивный метод является уточнением декларативного метода. Построение онтологии типовых элементов систем автоматического управления иллюстрирует наши методы: разработано декларативное описание классов и ограничений специализированной онтологии в системе Protege на языке OWL с использованием правил вывода на языке SWRL и построена система шаблонов семантической разметки, которая реализует типовые элементы систем автоматического управления