Double discharge feasibility summary report

Acceleration of rocket propellant by double electric discharge

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Еженедельник советской юстиции. 1925. № 21

0|1|Три съезда [c. 1]0|4|Наш Гражданский Кодекс перед судом сравнительного правоведения. / С. Членов [c. 4]0|6|Необходимо установить уголовную ответственность клиентов банков по ссудным операциям. / М. Зельдович [c. 6]0|8|Ст. 24. Угол. Кодекса. / Г. Рогинский [c. 8]0|10|Статистика раскрытия преступлений / С. Тагер [c. 10]0|11|О характере и программе прокурорских обследований в деревне. / Н. Лаговиер [c. 11]0|14|Коллективное поручительство за обвиняемого на предварительном следствии. / Вл. Громов [c. 14]0|16|Судоустройство на Сев. Кавказе / В. Петров [c. 16]0|18|Заметки кстати и некстати / Алексей Плюшков [c. 18]0|19|Обзор советского законодательства за время с 17 по 23 мая 1925 года / М. Брагинский [c. 19]0|22|Из деятельности Верховного Суда РСФСР [c. 22]1|22|Определения гражд. кассационной коллегии [c. 22]0|23|Хроника [c. 23]0|25|ПО АВТОНОМНЫМ РЕСПУБЛИКАМ / В. Поскребалов [c. 25]0|27|На местах / Н. Пушков [c. 27]0|28|Библиография [c. 28]0|30|Официальная часть [c. 30]1|30|Циркуляры Наркомюста [c. 30]2|30|Об обязательном в подлежащих случаях засвидетельствовании и совершении договоров в нотариальном порядке. [c. 30]2|30|О порядке расходования кредитов по § 4 сметы НКЮ [c. 30]2|30|О пределах давности по правонарушениям, предусмотренным 1 ч. ст. 139 а УК. [c. 30]2|31|О представлении отчетности по зарплате [c. 31]2|31|Об изменении циркуляра НКВД и НКЮ № 367 за 1924 г. о порядке зафиксирования и обеспечения органами дознания гражданского иска. [c. 31]2|31|О порядке рассмотрения жалоб о возврате штрафа за неуплату сельхозналога 1924—25 г. [c. 31]1|32|Разъяснение пленума Верховного Суда. (Протокол пленума № 6 от 4 мая 1925 года). [c. 32

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments

Simultaneous Detection Of Lysine Metabolites By A Single Lc-ms/ms Method: Monitoring Lysine Degradation In Mouse Plasma

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Detection and quantification of lysine degradation metabolites in plasma is necessary for the diagnosis and follow-up of diseases such as pyridoxine-dependent epilepsy. The principal metabolites involved in the disease are related to the first steps of lysine oxidation, either through the saccharopine or the pipecolate pathways. Currently, there are three different analytical methods used to assess the content of these metabolites in urine and plasma, but they require different sample preparations and analytical equipment. Here, we describe a protocol that calls for a simple sample preparation and uses liquid chromatography tandem mass spectrometry (LC-MS/MS) that allows simultaneous detection and quantification of underivatized L-saccharopine, L-aminoadipic acid, L-pipecolic acid, piperideine-6-carboxylate, L-glutamic acid, and pyridoxal-5-phosphate in plasma samples. To validate the method we analyzed the time course degradation after intraperitoneal injection of L-lysine in C57BL/6/J mice. We observed that the degradation of lysine through the saccharopine pathway reached a maximum within the first 2 h. At this time point there was an increase in the levels of the metabolites saccharopine, aminoadipic acid, and pipecolic acid by 3-, 24- and 3.4-fold, respectively, compared to time zero levels. These metabolites returned to basal levels after 4-6 h. In conclusion, we have developed a LC-MS/MS approach, which allows simultaneous analysis of lysine degradation metabolites without the need for derivatization.5172FAPESP [10/50114-4, 12/00235-5, 13/23920-8]Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP

Obtaining patient torso geometry for the design of scoliosis braces. A study of the accuracy and repeatability of handheld 3D scanners

Objective: Obtaining patient geometry is crucial in scoliosis brace design for patients with adolescent idiopathic scoliosis. Advances in 3D scanning technologies provide the opportunity to obtain patient geometries quickly with fewer resources during the design process compared with the plaster-cast method. This study assesses the accuracy and repeatability of such technologies for this application. Methods: The accuracy and repeatability of three different handheld scanners and phone-photogrammetry was assessed using different mesh generation software. Twenty-four scans of a single subject's torso were analyzed for accuracy and repeatability based on anatomical landmark distances and surface deviation maps. Results: Mark II and Structure ST01 scanners showed maximum mean surface deviations of 1.74 ± 3.63 mm and 1.64 ± 3.06 mm, respectively. Deviations were lower for the Peel 1 scanner (maximum of −0.35 ± 2.8 mm) but higher with the use of phone-photogrammetry (maximum of −5.1 ± 4.8 mm). The mean absolute errors of anatomical landmark distance measurements from torso meshes obtained with the Peel 1, Mark II, and ST01 scanners were all within 9.3 mm (3.6%), whereas phone-photogrammetry errors were as high as 18 mm (7%). Conclusions: Low-cost Mark II and ST01 scanners are recommended for obtaining torso geometries because of their accuracy and repeatability. Subject’s breathing/movement affects the resultant geometry around the abdominal and anterolateral regions

VIRTUAL CASE STUDIES IN THE NOVEL RESOURCE DMU E-PARASITOLOGY

A novel on-line package for teaching and learning human parasitology, named DMU e-Parasitology, is being co-developed by academics from De Montfort University (DMU, Leicester, UK) and the Spanish universities: University of San Pablo CEU and Miguel Hernández University, in conjunction with practicing Biomedical Scientists from the UK National Health Service. The DMU e-Parasitology [1] package will be freely available on the DMU website (http://parasitology.dmu.ac.uk/) late in 2018 and content/sections currently covered: a theoretical unit for the study of eukaryotic parasites that represent serious human health threats; a virtual laboratory and microscope sections for the study of these major diseases. However, for promoting active learning and increasing engagement, we are in the process of developing a fourth section with a series of virtual case studies in medical parasitology, in which students will need to reflect and critically think to reach diagnoses, propose additional diagnostic techniques and appropriate treatment. The virtual case studies will be created following a preliminary study performed by our group [2,3], in which we observed that the introduction of mini- case studies in Medical Microbiology lectures [BSc Biomedical Science (BMS), DMU] last academic course were shown to be effective in facilitating the acquisition of transversal competences including clinical skills. These mini-case studies were based on those developed by the Laboratory Identification of Parasitic Diseases (DPDx) of the Centers for Disease Control and Prevention (CDC, USA) [4] and final year BMS students enrolled in this module were able to complete the case studies during the different lectures in a very short period of time. Contrarily, the virtual case studies for the DMU e- Parasitology will be highly interactive and students will need to use the different resources of this package, including the virtual microscope, to resolve them. Moreover, these case studies will be longer and will present different questions that the user will be able to answer depending on their clinical and parasitology skills. Between the many advantages of a virtual microscope described in the literature, including remote access to slides of high clinical quality for all users, this technological resource could facilitate the acquisition of problem-solving skills and hence the rationale of using it to resolve the case studies of the DMU e-Parasitology. This paper describes the first virtual case study created, which is available at: http://parasitology.dmu.ac.uk/learn/case_studies/cs1/story_html5.html [5]. Briefly: students are presented with a short medical history of an HIV positive male university student severely affected by bloody diarrhoea, malaise and fever; and a series of clinical slides in which trophozoites of Entamoeba histolytica and Acanthamoeba spp. can be observed. The “amoebas” virtual case study is student-friendly; so students can navigate through the case study following a series of questions with different degrees of difficulty related to these human pathogens. Students enrolled in the Medical Microbiology module in 2017/18 (n=193) have answered the amoebas case study during small workshops delivered to groups of 27/28 students during November 2017. Comprehensive student feedback is being collected to improve this case study, as it will be used as a model to complete this section of the DMU e-Parasitology