The Automation of Adaptive Processes in the System of Distance Education and Knowledge Control

The article reveals a new technological approach to the creation of adaptive systems of distance learning and knowledge control. The use of the given technology helps to automate the learning process with the help of adaptive system. Developed with the help of the quantum approach of knowledge setting, a programming module-controller guarantees the support of students’ attention and the adaptation of the object language, and this helps to provide the effective interaction between learners and the learning system and to reach good results in the intensification of learning process.

On the Generation of Heronian Triangles

We describe several algorithms for the generation of integer Heronian triangles with diameter at most n. Two of them have running time O(n^(2+ε)). We enumerate all integer Heronian triangles for n ≤ 600000 and apply the complete list on some related problems.

Generation of dissipative solitons in an actively mode-locked ultralong fibre laser

A single-pulse actively mode-locked fibre laser with a cavity length exceeding 1 km has been developed and investigated for the first time. This all-fibre erbium-doped laser has a normal intracavity dispersion and generates dissipative 8-ns solitons with a fundamental repetition rate of 163.8 kHz; the energy per pulse reaches 34 nJ. The implemented mode locking, based on the use of intracavity intensity modulator, provides self-triggering and high stability of pulsed lasing. A possibility of continuous tuning of the centre lasing wavelength in the range of 1558 - 1560 nm without any tunable spectral selective elements in the cavity is demonstrated. The tuning occurs when controlling the modulation signal frequency due to the forced change in the pulse repetition time (group delay) under the conditions of intracavity chromatic dispersion. © 2013 Kvantovaya Elektronika and Turpion Ltd.

Automatic Generation of Titles for a Corpus of Questions

This paper describes the followed methodology to automatically generate titles for a corpus of questions that belong to sociological opinion polls. Titles for questions have a twofold function: (1) they are the input of user searches and (2) they inform about the whole contents of the question and possible answer options. Thus, generation of titles can be considered as a case of automatic summarization. However, the fact that summarization had to be performed over very short texts together with the aforementioned quality conditions imposed on new generated titles led the authors to follow knowledge-rich and domain-dependent strategies for summarization, disregarding the more frequent extractive techniques for summarization.

Situational Script Management of Business Processes with Changeable Structure

In the presented work the problem of management business-processes with changeable structure is considered and situational based approach to its decision is offered. The approach is based on situational model of management business-process according to which process is represented as a set of situations. The script defining necessary actions is connected with each situation. Management of process is carried out by means of the rules formalizing functional requirements to processes.

Application of the Artificial Intelligence Algorithms with a Cognitive Graphic as a Tool for a System Analysis of Electrophysiological Processes

Summarizing the accumulated experience for a long time in the polyparametric cognitive modeling of different physiological processes (electrocardiogram, electroencephalogram, electroreovasogram and others) and the development on this basis some diagnostics methods give ground for formulating a new methodology of the system analysis in biology. The gist of the methodology consists of parametrization of fractals of electrophysiological processes, matrix description of functional state of an object with a unified set of parameters, construction of the polyparametric cognitive geometric model with artificial intelligence algorithms. The geometry model enables to display the parameter relationships are adequate to requirements of the system approach. The objective character of the elements of the models and high degree of formalization which facilitate the use of the mathematical methods are advantages of these models. At the same time the geometric images are easily interpreted in physiological and clinical terms. The polyparametric modeling is an object oriented tool possessed advances functional facilities and some principal features.

EPCIS Event-Based traceability in pharmaceutical supply chains via automated generation of linked pedigrees

In this paper we show how event processing over semantically annotated streams of events can be exploited, for implementing tracing and tracking of products in supply chains through the automated generation of linked pedigrees. In our abstraction, events are encoded as spatially and temporally oriented named graphs, while linked pedigrees as RDF datasets are their specific compositions. We propose an algorithm that operates over streams of RDF annotated EPCIS events to generate linked pedigrees. We exemplify our approach using the pharmaceuticals supply chain and show how counterfeit detection is an implicit part of our pedigree generation. Our evaluation results show that for fast moving supply chains, smaller window sizes on event streams provide significantly higher efficiency in the generation of pedigrees as well as enable early counterfeit detection.

Generation of optical frequency combs in fibres:an optical pulse analysis

The innovation of optical frequency combs (OFCs) generated in passive mode-locked lasers has provided astronomy with unprecedented accuracy for wavelength calibration in high-resolution spectroscopy in research areas such as the discovery of exoplanets or the measurement of fundamental constants. The unique properties of OCFs, namely a highly dense spectrum of uniformly spaced emission lines of nearly equal intensity over the nominal wavelength range, is not only beneficial for high-resolution spectroscopy. Also in the low- to medium-resolution domain, the OFCs hold the promise to revolutionise the calibration techniques. Here, we present a novel method for generation of OFCs. As opposed to the mode-locked laser-based approach that can be complex, costly, and difficult to stabilise, we propose an all optical fibre-based system that is simple, compact, stable, and low-cost. Our system consists of three optical fibres where the first one is a conventional single-mode fibre, the second one is an erbium-doped fibre and the third one is a highly nonlinear low-dispersion fibre. The system is pumped by two equally intense continuous-wave (CW) lasers. To be able to control the quality and the bandwidth of the OFCs, it is crucial to understand how optical solitons arise out of the initial modulated CW field in the first fibre. Here, we numerically investigate the pulse evolution in the first fibre using the technique of the solitons radiation beat analysis. Having applied this technique, we realised that formation of higherorder solitons is supported in the low-energy region, whereas, in the high-energy region, Kuznetsov-Ma solitons appear.

Robust Parametric Estimation of Branching Processes with a Random Number of Ancestors

2000 Mathematics Subject Classification: 60J80.

Reliability modelling and verification of manufacturing processes based on process knowledge management

Reliability modelling and verification is indispensable in modern manufacturing, especially for product development risk reduction. Based on the discussion of the deficiencies of traditional reliability modelling methods for process reliability, a novel modelling method is presented herein that draws upon a knowledge network of process scenarios based on the analytic network process (ANP). An integration framework of manufacturing process reliability and product quality is presented together with a product development and reliability verification process. According to the roles of key characteristics (KCs) in manufacturing processes, KCs are organised into four clusters, that is, product KCs, material KCs, operation KCs and equipment KCs, which represent the process knowledge network of manufacturing processes. A mathematical model and algorithm is developed for calculating the reliability requirements of KCs with respect to different manufacturing process scenarios. A case study on valve-sleeve component manufacturing is provided as an application example of the new reliability modelling and verification procedure. This methodology is applied in the valve-sleeve component manufacturing processes to manage and deploy production resources.

Algorithmic Methods in Queues and in the Exploration of Point Processes

This is a review of methodology for the algorithmic study of some useful models in point process and queueing theory, as discussed in three lectures at the Summer Institute at Sozopol, Bulgaria. We provide references to sources where the extensive details of this work are found. For future investigation, some open problems and new methodological approaches are proposed.

A System for Simulation and Estimation of Branching Processes

A computer code system for simulation and estimation of branching processes is proposed. Using the system, samples for some models with or without migration are generated. Over these samples we compare some properties of various estimators.

Functional Transfer Theorems for Maxima of Stationary Processes

2000 Mathematics Subject Classification: 60G70, 60F12, 60G10.

Characterization of Schrödinger Processes with Unbounded Potentials

2000 Mathematics Subject Classification: 49L20, 60J60, 93E20

Nonparametric Estimation in the Class of Bisexual Processes with Population-Size Dependent Mating

2000 Mathematics Subject Classification: 60J80, 62M05