Исследование свойств самодвойственных комбинационных устройств с контролем вычислений на основе кодов Хэмминга

Рассматривается новый подход к синтезу самопроверяемых устройств, основанный на контроле вычислений контролируемыми объектами с помощью кодов Хэмминга, проверочные символы (контрольные биты) которых описываются самодвойственными функциями. При этом структура работает в импульсном режиме, что фактические основано на внесении временнóй избыточности при построении самопроверяемого устройства. Это, к сожалению, приводит к некоторому снижению быстродействия, однако существенно повышает характеристики контролепригодности, что особенно актуально для устройств и систем критического применения, входные данные для которых изменяются не столь часто. Дается краткий обзор методов построения схем встроенного контроля на основе свойства самодвойственности вычисляемых функций. Приведены основные структуры организации схем встроенного контроля. Отмечены предполагаемые пути развития теории синтеза схем встроенного контроля на основе проверки принадлежности вычисляемых функций классу самодвойственных булевых функций. Установлены все возможные значения числа информационных символов для кодов Хэмминга, которые будут обладать свойством самодвойственности функций, описывающих контрольные биты. Кодеры таких кодов Хэмминга будут являться самодвойственными устройствами. Так как функции, описывающие контрольные биты кодов Хэмминга, являются линейными, то для того, чтобы они были самодвойственными необходимо, чтобы в каждой из них использовалось нечетное количество аргументов. Доказано, что число разрядов кодовых слов кодов Хэмминга с самодвойственными контрольными функциями равно n=3+4l, l∈N0. Приводятся результаты моделирования самодвойственных устройств со схемами встроенного контроля по двум диагностическим признакам в среде Multisim. Предложен способ модификации структуры контроля вычислений по двум диагностическим признакам, позволяющий использовать любой линейный блоковый код (не обязательно код Хэмминга). Он основан на дооснащении кодера устройством преобразования функций в самодвойственные. Фактически это устройство для формирования модифицированного кода. Доказано, что для получения модифицированного кода Хэмминга с самодвойственными контрольными функциями для случаев n≠3+4l, l∈N0, достаточно сложить по модулю M=2 несамодвойственную контрольную функцию с функцией старшего информационного бита

Метод упорядочения процедур разбиения состояний процедурами с двумя и тремя исходами с учетом их стоимости и весов состояний.

Описывается метод упорядочения процедур разбиения состояний процедурами с двумя и тремя исходами. При этом использованы терминология и методы теории вопросников, а сама последовательность процедур разбиения определена как неоднородный вопросник с вопросами, имеющими два и три варианта ответа. Этот класс вопросников является особенным и выделен авторами в класс бинарно-тернарных и интересен тем, что это наиболее простой класс неоднородных вопросников. Кроме того, увеличение числа ответов какого-либо вопроса на практике также может дать выигрыш в параметрах вопросников, в том числе в показателе его эффективности – средней цене обхода. Отмечается, что использование бинарно-тернарных вопросников на практике позволяет уменьшить среднее время идентификации событий по вопроснику, что крайне важно в тех приложениях вопросников, в которых имеется ограничение на время идентификации событий, например в системах критического применения. Приводится метод оптимизации бинарно-тернарных вопросников, основанный на поиске наиболее предпочтительных вопросов для каждого подмножества идентифицируемых событий. Выбор предпочтительных вопросов основан на установлении отношений сравнения между ними. Описаны все возможные виды сравнимости двух вопросов с двумя ответами, двух вопросов с тремя ответами, а также вопроса с двумя ответами и вопроса с тремя ответами. Приведен пример получения математического выражения для функции, характеризующей предпочтительность вопросов друг перед другом, а также обобщенная формула выбора наиболее предпочтительного вопроса для любых неоднородных вопросников. Сформирован алгоритм метода упорядочения вопросов, который позволяет за полиномиальное время построить бинарно-тернарный вопросник с наименьшей ценой обхода. Приведен пример оптимизации бинарно-тернарного вопросника по представленному методу

Green Technologies for Management on Railroad Transportation

Technique and technology development allows us to discuss the possibility of crucial changes into a conservative way of railroad transportation management. One of the options regarding the train control system is aimed at denial of the classic approach being connected with the implementation of a traditional automation kit. The authors of this article are being presented with the conception of a green IT railroad rolling stock control system called Green Interlocking. The above approach helps us rely on effective inexhaustible energy sources and modern know-how of data processing plus important technologies management

Двухмодульные взвешенные коды с суммированием в кольце вычетов по модулю M=4

Представлены результаты исследования особенностей обнаружения ошибок в информационных векторах кодами с суммированием. В такой постановке задача актуальна, прежде всего, для использования кодов с суммированием при реализации контролепригодных дискретных систем и технических средств диагностирования их компонентов. Приводится краткий обзор работ в области построения кодов с суммированием и описание способов их построения. Выделены коды, для которых при формировании контрольного вектора единожды учитываются значения всех информационных разрядов путем операций суммирования их значений или значений весовых коэффициентов разрядов, а также коды, которые формируются при первоначальном разбиении информационных векторов на подмножества, в частности на два подмножества. Предложено расширение класса кодов с суммированием, получаемых за счет выделения двух независимых частей в контрольных векторах, а также взвешивания разрядов информационных векторов на этапе построения кода. Приведен обобщенный алгоритм построения двухмодульных взвешенных кодов, а также описаны особенности некоторых из кодов, полученных при взвешивании неединичными весовыми коэффициентами по одному информационному разряду в каждом из подвекторов, по которым осуществляется подсчет суммарного веса. Особое внимание уделено двухмодульным взвешенным кодам с суммированием, для которых определяется суммарный вес информационного вектора в кольце вычетов по модулю M=4. Показано, что установление неравноправия между разрядами информационного вектора в некоторых случаях дает улучшение в характеристиках обнаружения ошибок по сравнению с известными двухмодульными кодами. Описываются некоторые модификации предложенных двухмодульных взвешенных кодов. Предложен способ подсчета общего числа необнаруживаемых ошибок в двухмодульных кодах с суммированием в кольце вычетов по модулю M=4 с одним взвешенным разрядом в каждом из подмножеств. Приведены подробные характеристики обнаружения ошибок рассматриваемыми кодами как по кратностям необнаруживаемых ошибок, так и по их видам (монотонные, симметричные и асимметричные ошибки). Проведено сравнение с известными кодами. Предложен способ синтеза кодеров двухмодульных кодов с суммированием на стандартной элементной базе сумматоров единичных сигналов. Дана классификация двухмодульных кодов с суммированием

The management of acute myocardial infarction in the Russian Federation: Protocol for a study of patient pathways [version 2; referees: 2 approved]

Source at https://doi.org/10.12688/wellcomeopenres.12478.2. Background: Death rates from cardiovascular disease in Russia are among the highest in the world. In recent years, the Russian government has invested substantially in the healthcare system, with a particular focus on improving access to advanced technology, especially for acute myocardial infarction (AMI). This protocol describes a study to understand the management of AMI in different Russian regions, investigating the role of patient, clinical, and health system characteristics. Methods: A prospective observational study has recruited a representative sample of AMI patients within 16 hospitals from 13 regions across Russia. Criteria for inclusion are being aged 35-70 years with a confirmed diagnosis of AMI and surviving until the day after admission. Information being collected includes health system contacts and features of clinical management prior to the event and in the 12 months following discharge from hospital. Following initial exploration of the data to generate hypotheses, multivariate analyses will be applied to assess the role of these characteristics in both treatment decisions and any delays in time critical interventions. Between June 2015 and August 2016, 1,122 patients have been recruited at baseline and follow-up to 12 months post-discharge is scheduled to be completed by autumn 2017. The study is unique in examining patient factors, clinical management prior to admission and in hospital in the acute phase and throughout the critical first year of recovery across a diverse range of geographies and facilities. It uses standardized instruments to collect data from patients and health care providers and includes regions that are diverse in terms of geography and development of cardiology capacity. However, given the limited health services research capacity in the Russian Federation, it was not possible to obtain a sample that was truly nationally representative

The Analytic Solutions to the Task of Maintaining the Specified Characteristics Stability in Aircraft Flight Control System Reconfiguration

The paper sets out the conceptual issues of methods of analytical solution of the problem of defined aircraft stability characteristics conservation during flight control system reconfiguration under actuating subsystem failure. It is shown that the use of the reconfiguration technique with analytic set of stabilizing control laws synthesized by the decomposition method taking into account the cross-linking between the control channels allows to fully compensate the effects of failures of the actuating subsystem in each of the control channels under the conditions of complete controllability of aircraft as a dynamic system. It thus makes it possible to reconfigure the flight control system that always ensures the stability of the motion of the aircraft with a precisely prescribed poles. During study of failures in the form of a gradual reduction of the effectiveness of control surfaces it found that the synthesized analytical control law is a corresponding automatic increase feedback gain serviceable channel actuating subsystem, as well as the reallocation of control signals between the drives within the existing cross-connections between the control channels. Some of the solutions obtained by reconfiguring the control laws are not satisfactory, because of significantly limited possibility of maneuvering

Green Technologies for Management on Railroad Transportation

Technique and technology development allows us to discuss the possibility of crucial changes into a conservative way of railroad transportation management. One of the options regarding the train control system is aimed at denial of the classic approach being connected with the implementation of a traditional automation kit. The authors of this article are being presented with the conception of a green IT railroad rolling stock control system called Green Interlocking. The above approach helps us rely on effective inexhaustible energy sources and modern know-how of data processing plus important technologies management

Hospital stage of myocardial infarction treatment in 13 regions of Russian Federation by results of the international research

Aim: To describe the characteristics of the patient with MI who is admitted to a hospital and to characterize the main diagnostic and treatment interventions in clinic. Material and methods: This study is observational and the part of big international project. It includes a representative sample of patients with MI admitted to 16 clinics in 13 regions of Russian Federation (Arkhangelsk region, Belgorod region, Bryansk region, Tver region, Saratov region, Rostov region, Samara region, the Republic of Tatarstan, Perm region, Tyumen region, Khanty-Mansiysk Autonomous district, Kemerovo region, Altai region). Patients were selected at random from among those experiencing a MI that were alive on the next morning after hospitalization. Enrollment took place from June 2015 to August 2016. Results: Of 1,128 patients included in the study, 872 were male (77.3%) and 256 females. 21.4% of patients had a previous MI, 8.3% had undergone PCI, and 2.2% CABG. Turning to cardiovascular risk factors, 46.2% of patients smoked prior to hospitalization, 34.6% were obese and 52.1% had a high cholesterol level. Only 40.0% of patients had no contact with the health care system within 12 months before the MI. Every fourth patient (25.1%) had undergone dispensarisation within 12 months before MI, women significantly often than men (33.5% and 22.6%, p<0.001). Initial revascularization was performed in 73.2% of patients, PCI was the initial revascularization attempt in 49.4% of patients, and PCI with stenting in 46.7%. Conclusion: Patient with a MI in Russian clinics is likely to have had a history of cardiovascular disease, and to have regular contact with the health care system within 12 months before the development of cardiovascular event. We demonstrated the high rates of appropriate MI treatment, without significant gender and age difference (except for thrombolysis), however, there is a reserve for increasing the proportion of patients who are undergoing revascularization.<p

Identification of biomarkers for glycaemic deterioration in type 2 diabetes

Abstract We identify biomarkers for disease progression in three type 2 diabetes cohorts encompassing 2,973 individuals across three molecular classes, metabolites, lipids and proteins. Homocitrulline, isoleucine and 2-aminoadipic acid, eight triacylglycerol species, and lowered sphingomyelin 42:2;2 levels are predictive of faster progression towards insulin requirement. Of ~1,300 proteins examined in two cohorts, levels of GDF15/MIC-1, IL-18Ra, CRELD1, NogoR, FAS, and ENPP7 are associated with faster progression, whilst SMAC/DIABLO, SPOCK1 and HEMK2 predict lower progression rates. In an external replication, proteins and lipids are associated with diabetes incidence and prevalence. NogoR/RTN4R injection improved glucose tolerance in high fat-fed male mice but impaired it in male db/db mice. High NogoR levels led to islet cell apoptosis, and IL-18R antagonised inflammatory IL-18 signalling towards nuclear factor kappa-B in vitro. This comprehensive, multi-disciplinary approach thus identifies biomarkers with potential prognostic utility, provides evidence for possible disease mechanisms, and identifies potential therapeutic avenues to slow diabetes progression