Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты

Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування.The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization.Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования

Примитивная программная алгебра вычислимых функций над записями

Проблематика. Дослідження проводиться у рамках композиційного підходу до програмування. Проблематикою дослідження є розробка наукових засад генезису розв’язків програмістських задач. Його основу становить поняття композиції. Мета дослідження. Метою дослідження є розробка загального методу отримання алгебричних характеристик класів функцій та застосування його для опису прагматично важливого класу частково рекурсивних функцій над записами. Методи реалізації. Проведені в роботі побудови базуються на алгебричних методах дослідження програм та методах композиційного програмування. У рамках так званих програмних алгебр строго ставляться та вирішуються проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що посідають одне з чільних місць у програмістській проблематиці. Результати дослідження. В роботі запропоновано загальний метод вирішення зазначених проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладені у вигляді ряду оригінальних тверджень, лем та теорем. Вони можуть бути використанні при дослідженні алгебричних характеристик різних класів обчислюваних функцій у задачах формалізації семантик мов програмування. Висновки. Отримані результати є фундаментом для розвитку напряму адаптивних середовищ програмування. Наступні кроки будуть пов’язані з дослідженням загального поняття композиції та розробкою пов’язаних із ним редукційних методів дослідження функцій як середовищ прагматико-обумовленої декомпозиції програмістських задач.Background. The research is conducted in the context of compositional approach to programming. Problematic of the research is development of scientific foundations of programmer’s problems solution genesis. Its basis is concept of composition. Objective. The objective of the research is general method development for function classes’ algebraic characteristics obtaining and application of the method for description of pragmatically important class of partially recursive functions on records. Methods. Creations made in the paper are based on software analysis algebraic methods and compositional programming methodic. Problems of computable functions’ characteristics obtaining, problems of generative sets and bases finding, which are one of the most important questions in programmer’s problematic, are strictly stated and solved in the context of so called “program algebras”. Results. In the paper method of mentioned problems solution was proposed in context of primitive program algebras (PPA) on different classes of computable functions. Received results are stated as sequence of original statements, lemmas, and theorems. They can be used for different classes of computable functions algebraic characteristics exploration in problems of programming languages semantics formalization. Conclusions. Received results are foundations of adaptive programming environments development. Next steps in this direction will be connected with exploration of general concept of composition and development of related reduction methods of function exploration as environments of pragmatic depended programmer’s problems decomposition.Проблематика. Исследование проводится в рамках композиционного подхода к программированию. Проблематика исследования – разработка научных засад генезиса решений программистских задач. Его основу составляет понятие композиции. Цель исследования. Целью исследования является разработка общего метода получения алгебраических характеристик классов функций и применение его для описания прагматически важного класса частично рекурсивных функций над записями. Методы реализации. Проведенные в работе построения базируются на алгебраических методах исследования программ и методиках композиционного программирования. В рамках так называемых программных алгебр строго ставятся и решаются проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, что занимают одно из главных мест в программистской проблематике. Результаты исследования. В работе предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. Выводы. Полученные результаты являются фундаментом для развития направления адаптивных сред программирования. Следующие шаги будут связаны с исследованием общего понятия композиции и разработкой связанных с ним редукционных методов исследования функций как сред прагматико-обусловленной декомпозиции программистских задач

Teriparatide and Pelvic Fracture Healing: A Phase 2 Randomized Controlled Trial

Purpose: To determine if teriparatide (20 ug/day; TPTD) results in improved radiologic healing, reduced pain and improved functional outcome vs. placebo over 3 months in pelvic fracture patients. Methods: This randomized-placebo-controlled study enrolled 35 patients (women and men ≥50 years old) within 4 weeks of pelvic fracture and evaluated the effect of blinded TPTD versus placebo over 3 months on fracture healing. Fracture healing from CT images at 0 and 3 months was assessed as cortical bridging using a 5-point scale. The numeric rating scale (NRS) for pain was administered monthly. Physical performance was assessed monthly by Continuous Summary Physical Performance Score (based on 4m walk speed, timed repeated chair stands, and balance) and the Timed Up and Go (TUG) test. Results: The mean age was 82 and >80% were female. The intention to treat analysis showed no group difference in cortical bridging score and 50% of fractures in TPTD-treated and 53% of fractures in placebo-treated patients were healed at 3 months, unchanged after adjustment for age, sacral fracture, and fracture displacement. Median pain score dropped significantly in both groups with no group differences. Both CSPPS and TUG improved in the teriparatide group, whereas there was no improvement in the placebo group (group difference p<0.03 for CSPPS at 2 and 3 months). Conclusion: In this small randomized, blinded study, there was no improvement in radiographic healing (CT at 3 months) or pain with TPTD vs placebo, however, there was improved physical performance in TPTD-treated subjects that was not evident in the placebo group

Получение компактной меди из карбонатной руды электрохимическим способом

Розглянуто процес електроекстракції міді з розчинів, отриманих вилуговуванням міді з карбонатної руди сульфатною кислотою. Показано, що обробку руди доцільно проводити 10 %-ною кислотою впродовж 30-40 хв при інтенсивному перемішуванні суміші. Здійснено процес електроекстракції міді з концентрованого розчину при ступеневому зниженні густини струму пропорційно до концентрації іонів міді, що зменшується в ході процесу. Виконано порівняння параметрів реального процесу і розрахованого за теоретично отриманими формулами. Встановлено, що прогнозування оптимального режиму електролізу можливо здійснювати за електрохімічними характеристиками, початковою концентрацією металу і геометричними параметрами електрохімічної комірки. Одержано експериментальну залежність напруги на електролізері від концентрації кислоти, іонів міді та густини катодного струму. Виявлено, що основною складовою напруги на електролізері є електрохімічна — різниця потенціалів електродів під струмом. Показано зменшення напруги в часі й розраховано питомі витрати електроенергії при отриманні міді методом електроекстракції.A process of compact copper electrowinning from the solution obtained by leaching copper from the ore by sulfuric acid was discussed. It was shown that the ore leaching is advisable to carry out with 10 % hydrochloric acid for 30-40 minutes with intensive stirring of the mixture. Copper electrowinning process was done from a concentrated solution with a stepped reduction of the current density which was proportional to the copper ion concentration decreasing during the process. The comparison of the parameters of the real and theoretical calculated processes was performed. It was found that the prediction of optimal electrolysis conditions can be achieved by electrochemical characteristics, initial metal concentration and geometric parameters of the electrochemical cell. An experimental cell voltage dependence of the acid concentration, copper ions and the cathode current density was determined. It was found that the main component of the cell voltage is electrochemical component — the difference potential at the electric current. The decreasing of the cell voltage in time was shown and the relative cost of electricity in the producing of copper by electrowinning was calculated.Рассмотрен процесс электроэкстракции меди из растворов, полученных выщелачиванием меди из карбонатной руды серной кислотой. Показано, что обработку руды целесообразно проводить 10 %-ной кислотой в течение 30-40 мин при интенсивном перемешивании смеси. Осуществлен процесс электроэкстракции меди из концентрированного раствора при ступенчатом снижении плотности тока пропорционально концентрации ионов меди, уменьшающейся в ходе процесса. Выполнено сравнение параметров реального процесса и теоретически рассчитанного по формулам. Установлено, что прогнозирование оптимального режима электролиза возможно осуществлять с использованием электрохимических характеристик, начальной концентрации металла и геометрических параметров электрохимической ячейки. Получена экспериментальна зависимость напряжения на электролизере от концентрации кислоты, ионов меди и плотности катодного тока. Определено, что основной составляющей напряжения на электролизере является электрохимическая — разность потенциалов электродов под током. Показано уменьшение напряжения во времени, рассчитаны дельные затраты электроэнергии при получении меди методом электроэкстракции

Эффективность вакцинации против COVID-19 в организованном коллективе: результаты проспективного исследования

   Objective: to assess the efficacy of COVID-19 vaccination against in organized group.   Materials and methods: A total of 122 adults, employees of a higher education institution participated in the study. Study participants were observed prospectively and filled out a questionnaire where they indicated their age, presence of chronic diseases, history of COVID-19 and vaccination status.   Findings: the study participants were divided into two groups: 59 vaccinated (48.36 %) and 63 unvaccinated (51.64 %) individuals with no differences in age between the groups. There were significantly fewer confirmed cases of COVID-19 in the vaccinated group (р = 0,0008457, df = 1; χ2 = 11,138), significant differences (p = 0.0084; df = 4; χ2 =13.678) were observed in the number of cases among study participants based on their vaccination status.   Conclusion: participants diagnosed with pneumonia were 75 % unvaccinated (p = 0,00729; df = 1; χ2 = 7,2). All hospitalized study participants were unvaccinated (p = 0,004678; χ2 =8,0). None of the vaccinated participants needed respiratory support (p = 0,0455; df = 1; χ2 = 4,0). Chronic disease in vaccinated subjects made a significant (p = 0,04563; df = 2; χ2 = 6,1743) impact on COVID-19 severity.   Цель: оценить эффективность вакцинации против COVID-19 в организованном коллективе.   Материалы и методы: в исследовании приняли участие 122 взрослых, сотрудников учреждения высшего образования. Участники исследования наблюдались проспективно, а также заполнили анкету, в которой указали возраст, наличие хронических заболеваний, анамнез по COVID-19 и статус вакцинации.   Результаты: участники исследования были разделены на две группы: 59 вакцинированных (48,36 %) и 63 невакцинированных (51,64 %) человека без различий в возрасте между группами. В группе вакцинированных было значительно меньше подтвержденных случаев COVID-19 (р = 0,0008457, df = 1; χ2 = 11,138), значительные различия (p = 0,0084; df = 4; χ2 = 13,678) наблюдались в количестве случаев заболевания среди участников исследования с учетом их статуса вакцинации.   Заключение: участники с диагнозом «Пневмония» в 75 % случаев были невакцинированными (p = 0,00729; df = 1; χ2 =7,2). Все госпитализированные участники исследования были не вакцинированы (p = 0,004678; χ2 =8,0). Ни один из вакцинированных участников не нуждался в респираторной поддержке (p = 0,0455; df = 1; χ2 = 4,0). Хронические заболевания у вакцинированных оказывали значимое (p = 0,04563; df = 2; χ2 = 6,1743) влияние на тяжесть COVID-19

Global Regulatory Functions of the Staphylococcus aureus Endoribonuclease III in Gene Expression

RNA turnover plays an important role in both virulence and adaptation to stress in the Gram-positive human pathogen Staphylococcus aureus. However, the molecular players and mechanisms involved in these processes are poorly understood. Here, we explored the functions of S. aureus endoribonuclease III (RNase III), a member of the ubiquitous family of double-strand-specific endoribonucleases. To define genomic transcripts that are bound and processed by RNase III, we performed deep sequencing on cDNA libraries generated from RNAs that were co-immunoprecipitated with wild-type RNase III or two different cleavage-defective mutant variants in vivo. Several newly identified RNase III targets were validated by independent experimental methods. We identified various classes of structured RNAs as RNase III substrates and demonstrated that this enzyme is involved in the maturation of rRNAs and tRNAs, regulates the turnover of mRNAs and non-coding RNAs, and autoregulates its synthesis by cleaving within the coding region of its own mRNA. Moreover, we identified a positive effect of RNase III on protein synthesis based on novel mechanisms. RNase III–mediated cleavage in the 5′ untranslated region (5′UTR) enhanced the stability and translation of cspA mRNA, which encodes the major cold-shock protein. Furthermore, RNase III cleaved overlapping 5′UTRs of divergently transcribed genes to generate leaderless mRNAs, which constitutes a novel way to co-regulate neighboring genes. In agreement with recent findings, low abundance antisense RNAs covering 44% of the annotated genes were captured by co-immunoprecipitation with RNase III mutant proteins. Thus, in addition to gene regulation, RNase III is associated with RNA quality control of pervasive transcription. Overall, this study illustrates the complexity of post-transcriptional regulation mediated by RNase III

A survey of green plant tRNA 3'-end processing enzyme tRNase Zs, homologs of the candidate prostate cancer susceptibility protein ELAC2

<p>Abstract</p> <p>Background</p> <p>tRNase Z removes the 3'-trailer sequences from precursor tRNAs, which is an essential step preceding the addition of the CCA sequence. tRNase Z exists in the short (tRNase Z^S) and long (tRNase Z^L) forms. Based on the sequence characteristics, they can be divided into two major types: bacterial-type tRNase Z^Sand eukaryotic-type tRNase Z^L, and one minor type, <it>Thermotoga maritima </it>(TM)-type tRNase Z^S. The number of tRNase Zs is highly variable, with the largest number being identified experimentally in the flowering plant <it>Arabidopsis thaliana</it>. It is unknown whether multiple tRNase Zs found in <it>A. thaliana </it>is common to the plant kingdom. Also unknown is the extent of sequence and structural conservation among tRNase Zs from the plant kingdom.</p> <p>Results</p> <p>We report the identification and analysis of candidate tRNase Zs in 27 fully sequenced genomes of green plants, the great majority of which are flowering plants. It appears that green plants contain multiple distinct tRNase Zs predicted to reside in different subcellular compartments. Furthermore, while the bacterial-type tRNase Z^Ss are present only in basal land plants and green algae, the TM-type tRNase Z^Ss are widespread in green plants. The protein sequences of the TM-type tRNase Z^Ss identified in green plants are similar to those of the bacterial-type tRNase Z^Ss but have distinct features, including the TM-type flexible arm, the variant catalytic HEAT and HST motifs, and a lack of the PxKxRN motif involved in CCA anti-determination (inhibition of tRNase Z activity by CCA), which prevents tRNase Z cleavage of mature tRNAs. Examination of flowering plant chloroplast tRNA genes reveals that many of these genes encode partial CCA sequences. Based on our results and previous studies, we predict that the plant TM-type tRNase Z^Ss may not recognize the CCA sequence as an anti-determinant.</p> <p>Conclusions</p> <p>Our findings substantially expand the current repertoire of the TM-type tRNase Z^Ss and hint at the possibility that these proteins may have been selected for their ability to process chloroplast pre-tRNAs with whole or partial CCA sequences. Our results also support the coevolution of tRNase Zs and tRNA 3'-trailer sequences in plants.</p

Non-High Density Lipoprotein Cholesterol: A Modern Benchmark for Assessing Lipid Metabolism Disorders

Aim. To perform a population analysis of Non-High Density Lipoprotein Cholesterol level (non-HDL-c) in Russian population and to evaluate its association with cardiovascular events.Material and Methods. The material consisted of results obtained from 11 regions of the ESSE-RF1 Study and from 4 regions of the ESSE-RF2 Study. Study protocols were identical. The studies were performed in 2012-2014 and 2017, respectively. Endpoints were assessed in 19041 people aged 35-64 years. The median follow-up was 6.5 years in ESSE RF (1) and 3.8 years in ESSE RF(2). Analysis was performed for three lipid variables: total cholesterol (TC), low-density lipoprotein cholesterol (LDL-C), and non-HDLC in two samples: the general population sample and the same sample without individuals with coronary heart disease (CHD), myocardial infarction (MI) and/or stroke history and not taking statins (the population sample of "without a history of cardiovascular diseases [CVD]". The analysis of nonlinear associations was performed using the generalized additive Cox model. The combined cardiovascular endpoint was represented by cardiovascular death and nonfatal MI and stroke. Traditional and laboratory FRs, socio-demographic parameters were analyzed. The significance level for all tested hypotheses was set to be 0.05.Results. The prevalence of elevated non-HDL-C level (&gt;3.7 mmol/l) was found to be 74.6%. No gender differences were found: there was 74.6% for men and 74.5% for women. Both mean values and prevalence of elevated non-HDL-C were increased with age in women, and its level was slightly decreased in men after 55 years old. Almost all analyzed RFs were significantly associated with elevated non-HDL-C in these two population samples. In both samples elevated total CH and elevated LDL-C were associated with all-cause mortality after correction for all RFs. On the contrary, the non-HDL-C was associated with CVD combined end pints. It has been shown that the risk of these end points increases uniformly with increase in levels of non HDL cholesterol, no nonlinear associations were found.Conclusion. The results of a population-based analysis of non-HDL-C performed in the Russian population for the first time confirmed that elevated non-HDL-C levels contribute significantly to determining the risk of cardiovascular events in the medium term. It can be assumed that the new risk scales (SCORE2 and SCORE OP) proposed by the European Society of Cardiology and the European Society of Preventive Cardiology, which include non-HDL C instead of TC, will allow adequate assessment of 10-year cardiovascular risk for Russians. However, continued monitoring of endpoints in order to obtain stable associations is required

Design, planning and implementation lessons learnt from a surgical multi-centre randomised controlled trial

Background Increasingly, pragmatic randomised controlled trials are being used to evaluate surgical interventions, although they present particular difficulties in regards to recruitment and retention. Methods Procedures and processes related to implementation of a multi-centre pragmatic surgical randomised controlled trial are discussed. In this surgical trial, forecasting of consent rates based on similar trials and micro-costing of study activities with research partners were undertaken and a video was produced targeting recruiting staff with the aim of aiding recruitment. The baseline assessments were reviewed to ensure the timing did not impact on the outcome. Attrition due to procedure waiting time was monitored and data were triangulated for the primary outcome to ensure adequate follow-up data. Results Forecasting and costing ensured that the recruitment window was of adequate length and adequate resource was available for study procedures at multiple clinics in each hospital. Recruiting staff found the recruitment video useful. The comparison of patient-reported data collected prior to randomisation and prior to treatment provided confidence in the baseline data. Knowledge of participant dropout due to delays in treatment meant we were able to increase the recruitment target in a timely fashion, and along with the triangulation of data sources, this ensured adequate follow-up of randomised participants. Conclusions This paper provides a range of evidence-based and experience-based approaches which, collectively, resulted in meeting our study objectives and from which lessons may be transferable

Примітивна програмна алгебра: загальний підхід до вирішення проблеми функціональної повноти

The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization.Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования.Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування