Chronic oxytocin-driven alternative splicing of Crfr2α induces anxiety

The neuropeptide oxytocin (OXT) has generated considerable interest as potential treatment for psychiatric disorders, including anxiety and autism spectrum disorders. However, the behavioral and molecular consequences associated with chronic OXT treatment and chronic receptor (OXTR) activation have scarcely been studied, despite the potential therapeutic long-term use of intranasal OXT. Here, we reveal that chronic OXT treatment over two weeks increased anxiety-like behavior in rats, with higher sensitivity in females, contrasting the well-known anxiolytic effect of acute OXT. The increase in anxiety was transient and waned 5 days after the infusion has ended. The behavioral effects of chronic OXT were paralleled by activation of an intracellular signaling pathway, which ultimately led to alternative splicing of hypothalamic corticotropin-releasing factor receptor 2α (Crfr2α), an important modulator of anxiety. In detail, chronic OXT shifted the splicing ratio from the anxiolytic membrane-bound (mCRFR2α) form of CRFR2α towards the soluble CRFR2α (sCRFR2α) form. Experimental induction of alternative splicing mimicked the anxiogenic effects of chronic OXT, while sCRFR2α-knock down reduced anxiety-related behavior of male rats. Furthermore, chronic OXT treatment triggered the release of sCRFR2α into the cerebrospinal fluid with sCRFR2α levels positively correlating with anxiety-like behavior. In summary, we revealed that the shifted splicing ratio towards expression of the anxiogenic sCRFR2α underlies the adverse effects of chronic OXT treatment on anxiety

Semimarkowski model procesu eksploatacji realizowanego w podsystemie wykonawczym systemu transportowego

Based on the identification of the detailed subsystem in a real urban transport system and the process of transport means operation utilized therein, a model of such process was built. For this purpose, crucial states of operation process utilized in a detailed subsystem were determined as well as possible transfers between those states. Based on this, an event-based model of the operation process of transport means included in the utilization subsystem was built, assuming that its model is the homogenous semi-Markov process. For operation data obtained after research conducted in a real transport system, values of unconditional periods of duration of process states, values of stationary distribution included in the Markov chain as well as values of probabilities of limit distribution of the semi-Markov process were determined. Based on this, an analysis of the transport means operation system in question was performed. This consideration in its entirety was presented based on the example of a chosen real transport means system - municipal bus transport system in a chosen urban complex. The semi-Markov model of transport means operation process utilized in the detailed subsystem presented in the article is the consecutive stage of the creation of the resultant model of operation process for the whole transport system. The resultant model will be a part of the decision-making model of shaping and evaluating the availability of transport system established as a part of a larger project.Na podstawie identyfikacji podsystemu wykonawczego w rzeczywistym systemie komunikacji miejskiej i realizowanego w nim procesu eksploatacji środków transportu został zbudowany model tego procesu. W tym celu wyznaczono istotne stany procesu eksploatacji realizowanego w podsystemie wykonawczym oraz możliwe przejścia między wyróżnionymi stanami. Na tej podstawie zbudowano zdarzeniowy model procesu eksploatacji środków transportu realizowanego w podsystemie wykonawczym, a następnie matematyczny model tego procesu, zakładając, że jego modelem jest jednorodny proces semi-Markowa. Dla danych eksploatacyjnych, uzyskanych z badań przeprowadzonych w rzeczywistym systemie transportowym, wyznaczono wartości bezwarunkowych czasów trwania stanów procesu, wartości rozkładu stacjonarnego włożonego w proces łańcucha Markowa oraz wartości prawdopodobieństw rozkładu granicznego procesu semi-Markowa. Na tej podstawie dokonano analizy rozpatrywanego procesu eksploatacji środków transportu. Całość rozważań przedstawiono na przykładzie wybranego rzeczywistego systemu eksploatacji środków transportu - systemu autobusowej komunikacji miejskiej w wybranej aglomeracji. Prezentowany w artykule semimarkowski model procesu eksploatacji środków transportu realizowanego w podsystemie wykonawczym, jest kolejnym etapem budowy modelu wynikowego procesu eksploatacji dla całego systemu transportowego. Model wynikowy stanowić będzie część składową, opracowywanego w ramach szerszego projektu, decyzyjnego modelu kształtowania i oceny gotowości systemu transportowego

Metoda oceny wydajności procesów realizowanych na stanowiskach podsystemu utrzymania ruchu

In the systems of the exploitation of means of transport in order to assure correct carrying out of the assigned transport tasks, it is necessary to maintain the required number of vehicles in the state of task availability. It is obtained as a result of carrying out of service and repair processes at the traffic maintenance subsystem posts. From the point of view of the effectiveness of the operation of the systems of the exploitation of means of transport, the damaged technological objects should be serviced in the shortest possible time. In the case of the system of the exploitation of means of transport the task of the traffic maintenance subsystem is the servicing of the required number of damaged means of transport over the assigned time interval defined by the transport task timetable. One of the methods of the evaluation of the degree of carrying out of the processes at the traffic maintenance subsystem posts is defining the efficiency of the posts of the subsystem. This paper presents the method of defining the efficiency of traffic maintenance subsystem in the system of the exploitation of means of transport measured by the probability value of servicing of the required number of technological objects over the assigned time interval. The resulting characteristics were presented on a general basis as well as in the form of exponential distribution and Erlang distribution. Moreover, for the utilization data obtained in tests carried out in an actual means of transport system the values of the analyzed characteristics were defined. The evaluation of the efficiency of the traffic maintenance subsystem posts may serve as the basis of decision making as to the change of the number and type of the used service and repair posts in the tested system as well as modification of the carried out exploitation strategy. The suggested method may be used for individual post, a group of posts of a given type as well as for a subsystem of traffic maintenance analyzed as a whole.W systemach eksploatacji środków transportu, w celu zapewnienia prawidłowej realizacji przydzielonych zadań przewozowych, konieczne jest utrzymywanie wymaganej liczby pojazdów w stanie zdatności zadaniowej. Uzyskiwane jest to w wyniku realizacji procesów obsługowo-naprawczych na stanowiskach podsystemu utrzymania ruchu. Z punktu widzenia efektywności działania systemu eksploatacji środków transportu, uszkodzone obiekty techniczne powinny zostać uzdatnione w możliwie najkrótszym czasie. W przypadku systemu eksploatacji środków transportu, zadaniem podsystemu utrzymania ruchu jest uzdatnienie wymaganej liczby uszkodzonych środków transportu, w przeznaczonym na ten cel przedziale czasu, określonym harmonogramem realizowanych zadań przewozowych. Jednym ze sposobów oceny stopnia realizacji procesów na stanowiskach podsystemu utrzymania ruchu jest wyznaczenie wydajności stanowisk tego podsystemu. W artykule przedstawiono metodę wyznaczania wydajności stanowisk podsystemu utrzymania ruchu w systemie eksploatacji środków transportu, mierzonej wartością prawdopodobieństwa uzdatnienia wymaganej liczby obiektów technicznych w przeznaczonym na ten cel przedziale czasu. Opracowane charakterystyki zostały przedstawione w sposób ogólny oraz dla rozkładu wykładniczego i rozkładu Erlanga. Następnie dla danych eksploatacyjnych, uzyskanych z badań przeprowadzonych w rzeczywistym systemie eksploatacji środków transportu, wyznaczono wartości analizowanych charakterystyk. Ocena wydajności stanowisk podsystemu utrzymania ruchu może stanowić podstawę podjęcia decyzji o zmianie liczby i typu stosowanych stanowisk obsługowo-naprawczych w badanym systemie oraz modyfikacji realizowanej strategii eksploatacyjnej. Zaproponowana metoda może być zastosowana zarówno dla pojedynczego stanowiska, zespołu stanowisk danego typu oraz dla podsystemu utrzymania ruchu analizowanego jako całość

Zastosowanie algorytmu genetycznego do wyznaczania optymalnych decyzji sterujących

The problems presented in this article deal with operation process control in complex systems of technological object operation. Making appropriate control decisions directly influences the possibility of correct and effective carrying out of tasks assigned to the system. The paper presents a method of determining the optimal strategy for control of technological object operation process on the basis of genetic algorithm. In the presented method, determining of optimal strategy for control of technological object operation process involves the choice of a sequence of control decisions made in individual states of the modeled operation process. The method involves a choice, out of the possible decision options, of the best strategy for operation process control for which the function constituting the evaluation criterion has extreme value. Depending on one’s needs, the genetic algorithm including the obtained model of operation process may be implemented for mathematic formulation and solution of a wide array of problems connected with control of complex systems of technological object operation. It pertains mostly to the economic analysis, risk management and safety management of complex systems of technological object operation. The paper presents an example of determining optimal strategy for control (decision sequence) when the criterion function includes availability of means of transport used in a selected operation system.Zagadnienia przedstawione w artykule dotyczą problematyki sterowania procesem eksploatacji realizowanym w złożonych systemach eksploatacji obiektów technicznych. Podejmowanie odpowiednich decyzji sterujących wpływa bezpośrednio na możliwość prawidłowej i efektywnej realizacji zadań przydzielonych systemowi. W pracy przedstawiono metodę wyznaczania optymalnej strategii sterowania procesem eksploatacji obiektów technicznych na podstawie algorytmu genetycznego. W prezentowanej metodzie wyznaczenie optymalnej strategii sterowania procesem eksploatacji obiektów technicznych dotyczy wyboru ciągu decyzji sterujących, podejmowanych w poszczególnych stanach modelowanego procesu eksploatacji. Metoda ta polega na wyborze spośród możliwych wariantów decyzyjnych, najlepszej strategii sterowania procesem eksploatacji, dla której funkcja stanowiąca kryterium oceny osiąga wartość ekstremalną. W zależności od potrzeb algorytm genetyczny wraz z opracowanym modelem procesu eksploatacji, może być zastosowany do matematycznego formułowania i rozwiązywania szerokiej gamy problemów związanych ze sterowaniem złożonymi systemami eksploatacji obiektów technicznych. Dotyczy to przede wszystkim analizy ekonomicznej, zarządzania ryzykiem i bezpieczeństwem działania złożonych systemów technicznych, a także sterowania gotowością i niezawodnością eksploatowanych obiektów technicznych. W pracy przedstawiono przykład wyznaczenia optymalnej strategii sterowania (ciągu decyzji), w przypadku, gdy funkcję kryterialną stanowi gotowość środków transportu użytkowanych w wybranym systemie eksploatacji

Method for control of technical objects operation process with the use of semi - Markov decision processes

In this article there is presented a description of a method for control of the operation process in a complex operation system of technical objects operation where semi-Markov decision processes are used for control. The study has been based on the operation process of a real bus municipal transportation system. For complex systems of technical objects operation, it is possible to achieve the set goal – appropriate accomplishment of the assigned task (tasks) with required efficiency - only when the control decisions, made by the system decision-makers, are rational. In systems where the complex operation process of technical objects is carried out, the choice of rational control decisions (from possible variants) is an issue of great importance and difficulty. In real complex operation systems of technical objects operation, the process of making control decisions should be carried out using mathematical procedures and methods, rather than according to the system decision makers' intuition or experience. Use of appropriate mathematical methods for control of the operation process facilitates the choice of rational control decisions providing correct and efficient accomplishment of the assigned tasks. The presented method involves elaborating a mathematical operation model (semi-Markov model) and choosing the best control strategy (from possible decision variants), according to the accepted criterion (criteria) of technical objects operation system assessment

Sterowanie gotowością środków transportu w decyzyjnych semi-markowskich modelach procesu eksploatacji

The issues presented in this research paper refer to problems connected with the control process for exploitation implemented in the complex systems of exploitation for technical objects. The article presents the description of the method concerning the control availability for technical objects (means of transport) on the basis of the mathematical model of the exploitation process with the implementation of the decisive processes by semi-Markov. The presented method means focused on the preparing the decisive for the exploitation process for technical objects (semi-Markov model) and after that specifying the best control strategy (optimal strategy) from among possible decisive variants in accordance with the approved criterion (criteria) of the activity evaluation of the system of exploitation for technical objects. In the presented method specifying the optimal strategy for control availability in the technical objects means a choice of a sequence of control decisions made in individual states of modelled exploitation process for which the function being a criterion of evaluation reaches the extreme value. In order to choose the optimal control strategy the implementation of the genetic algorithm was chosen. The opinions were presented on the example of the exploitation process of the means of transport implemented in the real system of the bus municipal transport. The model of the exploitation process for the means of transports was prepared on the basis of the results implemented in the real transport system. The mathematical model of the exploitation process was built taking into consideration the fact that the model of the process constitutes the homogenous semi-Markov process.Zagadnienia przedstawione w pracy dotyczą problemów związanych ze sterowaniem procesem eksploatacji realizowanym w złożonych systemach eksploatacji obiektów technicznych. W artykule przedstawiono opis metody sterowania gotowością obiektów technicznych (środków transportu), na podstawie matematycznego modelu procesu eksploatacji z zastosowaniem decyzyjnych procesów semi-Markowa. Przedstawiona metoda polega na opracowaniu decyzyjnego modelu procesu eksploatacji obiektów technicznych (modelu semi-Markowa), a następnie wyznaczeniu najlepszej strategii sterowania (strategii optymalnej) spośród możliwych wariantów decyzyjnych, ze względu na przyjęte kryterium (kryteria) oceny działania systemu eksploatacji obiektów technicznych. W opracowanej metodzie wyznaczenie strategii optymalnej sterowania gotowością obiektów technicznych oznacza wybór ciągu decyzji sterujących, podejmowanych w poszczególnych stanach modelowanego procesu eksploatacji, dla którego funkcja stanowiąca kryterium oceny osiąga wartość ekstremalną. Do wyboru optymalnej strategii sterującej zaproponowano zastosowanie algorytmu genetycznego. Całość rozważań przedstawiono na przykładzie procesu eksploatacji środków transportu, realizowanego w rzeczywistym systemie autobusowego transportu miejskiego. Model procesu eksploatacji środków transportu opracowano na podstawie wyników badań zrealizowanych w wybranym rzeczywistym systemie transportowym. Matematyczny model procesu eksploatacji został zbudowany, przy przyjęciu założenia, że modelem tego procesu jest jednorodny proces semi-Markowa

The traffic circulation subsystem availability for the assigned task execution 3[Tyt.równol.]

W pracy przedstawiono model oceny I wyznaczania gotowości podsystemu utrzymania ruchu do realizacji przydzielonego zadania. Całość rozważań przedstawiono na przykładzie wybranego, rzeczywistego systemu transportowego. Na podstawie identyfikacji rzeczywistego systemu transportowego i realizowanego w nim procesu eksploatacji został zbudowany zdarzeniowy model procesu eksploatacji obiektów technicznych (pojazdów). Następnie opracowano metodę budowy i zbudowano model oceny gotowości podsystemu utrzymania ruchu. Gotowość podsystemu utrzymania ruchu do realizacji przydzielonego zadania zależy zarówno od gotowości stanowisk tego podsystemu, jak i ich wydajności. Dla danych eksploatacyjnych uzyskanych z badań rzeczywistego systemu eksploatacji środków transportu przedstawiono przykład wykorzystania opracowanej metody oceny gotowości złożonego systemu eksploatacji.The paper presents the model of estimation and determination of the traffic circulation subsystem availability for the assigned task execution. The total amount of computation was illustrated with the example of a chosen real transport system. On the basis of the identification of real transport system and the maintenance process that takes place within the system, the accidential model of the technical objects (vehicles) maintenance process was designed. Then, the manner of shaping as well as the evaluation model in the case of the traffic circulation subsystem were computed. The traffic circulation subsystem availability for the assigned task execution depend on both particular subsystem stations availability and their efficiency. For a maintenance data, received out of the real means of transport maintenance system researches, the example of the application in the case of a aforementioned shaped manner of the complex maintenance system availability estimation was presented

Optymalna strategia wymian według wieku obiektów technicznych nienaprawialnych z gwarancją

W pracy bada się efekty wprowadzenia odnów prewencyjnych do systemu eksploatacji, realizowanych przez wymiany według wieku obiektów technicznych posiadających gwarancję producenta i nienaprawialnych. W tym celu bada się koszt przypadający na jednostkę czasu, wynikający z wykonywanych w systemie eksploatacji wymian profilaktycznych i napraw. Funkcję wyrażającą ten koszt w zależności od czasu wymiany zdefiniowano w oparciu o podstawy teorii procesów semi–Markowa. Sformułowano warunki dostateczne istnienia minimum kosztu wymian w przypadku, gdy czas do uszkodzenia ma niemalejącą funkcję intensywności uszkodzeń. W końcowej części artykułu przedstawiono przykład numeryczny ilustrujący przedstawione w pracy wyniki.This paper investigates the effects of introducing preventive replacement to maintenance system implemented by age-replacement of technical objects with valid manufacturer’s warranty and non-repairable. In order to examine this, the cost per unit time, resulting from the use of the preventive replacements and repairs system is investigated. The function expressing the cost depending on the time of replacement is defined on the basis of the foundations of the theory of semi-Markov processes. Sufficient conditions for the existence of the minimum of criteria function were formulated, in this case when the failure rate function is increasing. In the final part of the paper, a numerical example illustrating the findings of the paper was presented

Analysis of the availability of trucks operated in the system of international road transport

W pracy przeanalizowano gotowość środków transportu eksploatowanych w wybranym rzeczywistym systemie transportu drogowego. Gotowość środków transportu w istotny sposób wpływa na możliwość realizacji zadań przewozowych i utrzymywana jest na odpowiednim poziomie w wyniku realizacji procesów w podsystemie logistycznym, wykonywanych na stanowiskach zajezdni (procesy obsługi, naprawy, diagnozowania i zaopatrzenia). Obiektem badań było przedsiębiorstwo transportowo-spedycyjne zajmujące się przewozem ładunków na terenie Unii Europejskiej, krajów skandynawskich i Rosji. Na podstawie literatury opracowano wzory opisujące gotowość badanych środków transportu oraz dla danych eksploatacyjnych wyznaczono jej wartości. Rezultaty badań stanowią podstawę do opracowania założeń do budowy i skonstruowania matematycznego modelu wyznaczania i oceny gotowości środków transportu drogowego.In this article there is presented the availability of transport means in the selected system of road transportation. Availability of transport means has a significant influence on the capability of the transport task accomplishment and is maintained at a proper level due to realization of processes carried out within the logistic system on stands of a depot (servicing, repairing, diagnosing and supplying processes). The research object is a transportation-shipping company carrying loads on the territory of the European Union, Scandinavian countries and Russia. Based on the literature developed models which describing the availability of respondents means of transport for operational data and determined its value. The results of tests provide basis for elaboration of assumptions to build a mathematical model of availability of road transport means

Wielostanowy model decyzji eksploatacyjnych

Preventive replacement is applied to improve the device availability or increase the profit per unit time of the maintenance system. In this paper, we study age-replacement model of technical object for n-state system model. The criteria function applied in this paper describe profit per unit time or coefficient of availability. The probability distribution of a unit‘s failure time is assumed to be known, and preventive replacement strategy will be used over very long period of time. We investigate the problem of maximization of profit per unit time and coefficient availability for increasing the failure rate function of the lifetime and for a wider class of lifetime. The purpose of this paper is to obtain conditions under which the profit per unit time approaches a maximum. In this paper we shows that the criteria function (profit per unit time or coefficient availability) can be expressed using the matrix calculation method. Finally, a numerical example to evaluate an optimal replacement age is presented.Wymiany prewencyjne stosuje się w celu podnoszenia gotowości systemów eksploatacji maszyn i wzrostu dochodu na jednostkę czasu systemu eksploatacji. W pracy analizuje się model wymian obiektów technicznych według wieku dla n-stanowego systemu. Funkcja kryterialna stosowana w pracy wyraża zysk przypadający na jednostkę czasu lub współczynnik gotowości. Zakłada się, że rozkład prawdopodobieństwa czasu do uszkodzenia obiektu technicznego jest znany i strategia wymian prewencyjnych będzie stosowana na długim przedziale czasowym. Bada się problem maksymalizacji zysku na jednostkę czasu i współczynnika gotowości dla rosnącej funkcji intensywności uszkodzeń lub funkcji intensywności z szerszej klasy. Celem tej pracy jest sformułowanie warunków, przy których zysk na jednostkę czasu osiąga maksimum. W pracy pokazano, że badaną funkcję kryterialną (zysk na jednostkę czasu lub współczynnik gotowości) można wyrazić za pomocą metod rachunku macierzowego. Na końcu pracy przedstawiono przykład numeryczny oceny optymalnego wieku wymiany dla rzeczywistego procesu eksploatacji