69 research outputs found

    P Systems with Minimal Left and Right Insertion and Deletion

    Get PDF
    In this article we investigate the operations of insertion and deletion performed at the ends of a string. We show that using these operations in a P systems framework (which corresponds to using specific variants of graph control), computational completeness can even be achieved with the operations of left and right insertion and deletion of only one symbol

    Testing Identifiable Kernel P Systems Using an X-machine Approach

    Get PDF
    This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the speci cations, under certain conditions, such as the identi ably concept in the context of kernel P systems

    Екстрадиція в Україні: проблема співвідношення міжнародного та вітчизняного кримінального права

    Get PDF
    Верлан С. І. Екстрадиція в Україні: проблема співвідношення міжнародного та вітчизняного кримінального права / С. І. Верлан // Міжнародні читання присвячені пам’яті професора Імператорського Новоросійського університету П. Є. Казанського: матеріали Міжнародної конференції (м. Одеса, 22-23 жовтня 2010 року). - Одеса, 2010. - С. 217-218.В своїй статті автор доводить, що інститут екстрадиції становить собою упорядковану форму міждержавної співпраці, орієнтовану на підтримку міжнародної законності й правопорядку. Що ж стосується України, то нинішній стан правового регулювання екстрадиції потребує не стільки вдосконалення, скільки ліквідації ще наявного у цій сфері правового вакууму, тому що самого включення до Кримінального кодексу України окремої статті, норми якої регламентують екстрадицію, недостатньо для належного забезпечення дієвості механізму правового регулювання екстрадиції

    Graph-Controlled Insertion-Deletion Systems

    Full text link
    In this article, we consider the operations of insertion and deletion working in a graph-controlled manner. We show that like in the case of context-free productions, the computational power is strictly increased when using a control graph: computational completeness can be obtained by systems with insertion or deletion rules involving at most two symbols in a contextual or in a context-free manner and with the control graph having only four nodes.Comment: In Proceedings DCFS 2010, arXiv:1008.127

    Polynomial reconstruction of electric charge distribution on the conductive plate caused by external electric field

    Get PDF
    The paper proposes an original method of calculating the charge distribution on the surface of the conductive plate introduced into the external electrostatic field. The authors managed to obtain the polynomials which allow to solve the integral equation that establishes the relationship between charge distribution of the conductive plate and the potential distribution of the external field and the potential on the surface of the plate. The proposed algorithms solutions are valid in the presence of axial symmetry of the field and the plate. Examples of calculation of conductor charge distribution in the presence of external field by using a polynomial expansion have been presented. The comparisons of results calculated by the polynomial method and by known analytical solutions have been given

    On insertion-deletion systems over relational words

    Full text link
    We introduce a new notion of a relational word as a finite totally ordered set of positions endowed with three binary relations that describe which positions are labeled by equal data, by unequal data and those having an undefined relation between their labels. We define the operations of insertion and deletion on relational words generalizing corresponding operations on strings. We prove that the transitive and reflexive closure of these operations has a decidable membership problem for the case of short insertion-deletion rules (of size two/three and three/two). At the same time, we show that in the general case such systems can produce a coding of any recursively enumerable language leading to undecidabilty of reachability questions.Comment: 24 pages, 8 figure

    Spiking neural P systems: matrix representation and formal verification

    Get PDF
    YesStructural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated through their matrix representation. This allows to make certain connections amongst some of these problems. Secondly, the behavioural properties of these SN P systems are formally verified through a natural and direct mapping of these models into kP systems which are equipped with adequate formal verification methods and tools. Some examples are used to prove the effectiveness of the verification approach.EPSRC research grant EP/R043787/1; DOST-ERDT research grants; Semirara Mining Corp; UPD-OVCRD

    Estimation of reproductive toxicity of the complex plant remedy "Tireoton"

    Get PDF
    To study the probable negative influence of the complex remedy "Tireoton" on the reproductive function of the laboratory animals the following tests have been carried out, namely the probable occurrence of embryo-toxicity, teratogenicity, foetotoxicity and its influence on the postnatal development of the laboratory animals progeny. The experiments have been carried out of the white Wistar rats. It has been established that the "Tireoton" at the doses of 75 and 750 mg/kg has no embryotoxic, teratogenic and fetotoxical effect. The introduction of the "Tireoton" at the dose of 750 mg/kg since 6th to 19th day of pregnancy does not influence on the postnatal development of white rats progeny

    Impact of Nordic walking on health outcomes in older women

    Get PDF
    There are a number of factors that contribute to the accelerated rate of aging, one of which is physical activity. The increasing proportion of elderly and senile people in the Russian Federation requires urgent implementation of the elderly generation subprogram within the framework of the Demography federal project. In this regard, the problems of maintaining health and the development of methodological approaches to assessing the health of people in the older age group are especially significant.Objective: evaluation of anthropometry, stabilometry and biochemical parameters in the dynamics of Nordic walking in elderly womenMaterials and methods: 30 women were examined, mean age 69.0 (63.0–71.5) years. Examination by a therapist and a neurologist, biochemical blood tests, stabilometry, anthropometry, osteodensitometry (ODM) were carried out. Training loads of Nordic walking (NW) for 3 months were carried out according to the generally accepted method 3 times a week.Results: According to the biochemical analysis of blood, a statistically significant increase in the level of phosphorus and alkaline phosphatase (AP), total protein, as well as a decrease in the level of calcium and total cholesterol were revealed. When considering anthropometry data, there was a statistically significant decrease in body weight, BMI, body fat mass according to the Durnin — Womersley method, SBP and an increase in the cardiovascular index. According to the results of computer stabilometry — a statistically significant increase in the average position of the CP in the sagittal plane with open and closed eyes.Conclusion: 1. The use of NW as a training factor to achieve active longevity in the elderly leads to an improvement in the functioning of the cardiovascular system, due to a statistically significant decrease in body weight, a decrease in SBP by an average of 15 mm Hg. art., as well as the level of total cholesterol. 2. With regular NW exercises for 3 months, the functional stability indicators in the sagittal plane are corrected both with open and closed eyes
    corecore