The aim of the thesis is the complex analysis procedures with citizens. The development project aimed at improving these procedures. The object of the thesis – procedure of work with citizens ' appeals. The subject of the thesis – the process of working with citizens. The goal of the study is achieved by solving basic research problems: 1. To define the concept and types of citizens ' appeals to public authorities. 2. To consider the forms of work with citizens ' appeals. 3. To study the organization of work with citizens in state bodies. 4. To analyze the organization of work with citizens in the Ministry of social policy of Sverdlovsk region. 5. To identify possible causes of repeated applications of citizens received by the Ministry of social policy of Sverdlovsk region, and disadvantages when working with citizens. 6. To develop a draft Model provisions for conducting scheduled and unscheduled inspections of completeness and quality of consideration of citizens. The novelty of the research results Is the development of Model provisions for conducting scheduled and unscheduled inspections of completeness and quality of consideration of references of citizens with regard to the indicators for assessment of the completeness and quality of consideration of citizens. The present study used General scientific methods such as analysis, comparison, analysis of documents, analysis of statistics. The practical significance of the work is determined by the presence of recommendations that can be used to improve the work with citizens in state bodies. The study used the following sources: departmental statistics, normative documents adopted at the Federal and regional level, and departmental legal acts of the Ministry of social policy of Sverdlovsk region. In the process of writing a master's thesis published three articles with a total volume of 0.8/0.5 printer's sheets: The effective organization of electronic document turnover in state bodies // Materials of all-Russian scientific-practical conference: "Regional governance: models, technologies, communication." – Ekaterinburg – Pp. 93-96. – 0,4/0,2 p. L. Stolyarova, V. N., Ufimtsev V. V. Electronic document management in the activity of bodies of state and municipal organizations // History of science and technology and University education. The collection of materials of scientific-practical conference of postgraduates, graduates and students. Ekaterinburg – Moscow. Ural Federal University, UMC-UPI. 2014. S. 129-132. - 0,2/0,1. Stolyarova, V. N., Zaitseva E. V. Analysis of work procedures with citizens as a form of protection of their rights // the Ural industrial: Bakuninskaya reading: Industrial modernization: Materials of the XII all-Russian scientific conference of the Urals in XVIII – XXI century (Moscow, 4-5 December 2014) In 2 volumes Volume 2. 2014. P. 294-298. – 0,3 / 0,2. Stolyarova, V. N., Zaitseva E. V. / Цель диссертационной работы – комплексный анализ процедур работы с обращениями граждан. Разработка проекта, направленного на совершенствование этих процедур. Объект диссертационной работы – процедуры работы с обращениями граждан. Предмет диссертационной работы – процесс работы с обращениями граждан. Поставленная цель исследования достигается путем решения основных исследовательских задач: 1. Определить понятие и виды обращений граждан в органы государственной власти. 2. Рассмотреть формы работы с обращениями граждан. 3. Изучить организацию работы с обращениями граждан в государственных органах власти. 4. Проанализировать организацию работы с обращениями граждан в Министерстве социальной политики Свердловской области. 5. Выявить возможные причины повторных обращений граждан поступивших в адрес Министерства социальной политики Свердловской области, и недостатки при работе с обращениями граждан. 6. Разработать проект Типового положения о проведении плановых и внеплановых проверок полноты и качества рассмотрения обращений граждан. Новизна результатов исследования Заключается в разработке Типового положения о проведении плановых и внеплановых проверок полноты и качества рассмотрения обращений граждан с учетом показателей для оценки состояния полноты и качества рассмотрения обращений граждан. В настоящем исследовании были применены общенаучные методы, такие как анализ, сравнение, анализ документов, анализ статистики. Практическая значимость работы определяется наличием в ней рекомендаций, которые могут быть использованы для совершенствования работы с обращениями граждан в государственных органах власти. В ходе исследования использованы следующие источники: ведомственная статистика, нормативные документы, принятые на федеральном и областном уровне, а также ведомственные правовые акты Министерства социальной политики Свердловской области. В процессе написания магистерской диссертации опубликованы три статьи общим объемом 0,8/0,5 п. л.: Проблемы организации эффективного электронного документооборота в органах власти // Материалы Всероссийской научно-практической конференции: «Региональное управление: модели, технологии, коммуникации». – Екатеринбург – С. 93-96. – 0,4/0,2 п. л. Столярова В. Н., Уфимцев В. В. Электронный документооборот в деятельности органов государственных и муниципальных организаций // История науки и техники и университетское образование. Сборник материалов научно-практической конференции аспирантов, магистрантов и студентов. Екатеринбург – Москва. УрФУ, УМЦ-УПИ. 2014. С. 129-132. - 0,2/0,1. Столярова В. Н., Зайцева Е. В. Анализ процедур работы с обращениями граждан как одной из форм защиты их прав // Урал индустриальный: Бакунинские чтения: Индустриальная модернизация: Материалы XII всероссийской научной конференции Урала в XVIII – XXI в. (Екатеринбург, 4-5 декабря 2014 г.) В 2 т. Том 2. 2014. С. 294-298. – 0,3 / 0,2. Столярова В. Н., Зайцева Е. В.

In der formalen Verifikation digitaler Schaltkreise hat sich die Methodik der vollständigen Verifikation anhand spezieller Operationseigenschaften bewährt. Operationseigenschaften beschreiben das Verhalten einer Schaltung in einem festen Zeitintervall und können sequentiell miteinander verknüpft werden, um so das Gesamtverhalten zu spezifizieren. Zusätzlich beweist eine formale Vollständigkeitsprüfung, dass die Menge der Eigenschaften für jede Folge von Eingangssignalwerten die Ausgänge der zu verifizierenden Schaltung eindeutig und lückenlos determiniert. In dieser Arbeit wird untersucht, wie aus Operationseigenschaften, deren Vollständigkeit erfolgreich bewiesen wurde, automatisiert eine Schaltungsbeschreibung abgeleitet werden kann. Gegenüber der traditionellen Entwurfsmethodik auf Register-Transfer-Ebene (RTL) bietet dieses Verfahren zwei Vorteile. Zum einen vermeidet der Vollständigkeitsbeweis viele Arten von Entwurfsfehlern, zum anderen ähnelt eine Beschreibung mit Hilfe von Operationseigenschaften den in Spezifikationen häufig genutzten Zeitdiagrammen, sodass die Entwurfsebene der Spezifikationsebene angenähert wird und Fehler durch manuelle Verfeinerungsschritte vermieden werden. Das Entwurfswerkzeug vhisyn führt die High-Level-Synthese (HLS) einer vollständigen Menge von Operationseigenschaften zu einer Beschreibung auf RTL durch. Die Ergebnisse zeigen, dass sowohl die verwendeten Synthesealgorithmen, als auch die erzeugten Schaltungen effizient sind und somit die Realisierung größerer Beispiele zulassen. Anhand zweier Fallstudien kann dies praktisch nachgewiesen werden. / The complete verification approach using special operation properties is an accepted methodology for the formal verification of digital circuits. Operation properties describe the behavior of a circuit during a certain time interval. They can be sequentially concatenated in order to specify the overall behavior. Additionally, a formal completeness check proves that the sequence of properties consistently determines the exact value of the output signals for every valid sequence of input signal values. This work examines how a circuit description can be automatically derived from a set of operation properties whose completeness has been proven. In contrast to the traditional design flow at register-transfer level (RTL), this method offers two advantages. First, the prove of completeness helps to avoid many design errors. Second, the design of operation properties resembles the design of timing diagrams often used in textual specifications. Therefore, the design level is closer to the specification level and errors caused by refinement steps are avoided. The design tool vhisyn performs the high-level synthesis from a complete set of operation properties to a description at RTL. The results show that both the synthesis algorithms and the generated circuit descriptions are efficient and allow the design of larger applications. This is demonstrated by means of two case studies.

Increasing time trends in the recorded incidence of childhood cancer have been reported in many different settings. The extent to which these trends reflect real changes in incidence, rather than improvements in methods for diagnosis and registration, is controversial. Using data from the National Registry of Childhood Tumours (NRCT), this thesis investigates time trends in cancer diagnosed under age 15 in residents of Britain during 1966-2005 (54650 cases), and considers potential sources of artefact in detail. Several different methods are used to estimate completeness of NRCT registration. The history of methods for diagnosis and registration of childhood cancers in Britain is described, and predictions are made for effects on recorded incidence. For each of the 12 main diagnostic groups, Poisson regression is used to fit continuous time trends and ‘step’ models to the annual age-sex-standardised rates by year of birth and year of diagnosis. Age-specific rates by period, and quinquennial standardised rates for diagnostic subgroups, are shown graphically. For three broad groups (leukaemia, CNS tumours and other cancer), geographical variation is compared by period of diagnosis. The results of these analyses are discussed in relation to the predicted artefacts. The evidence for a positive association between affluence and recorded incidence of childhood leukaemia is briefly reviewed. A special form of diagnostic artefact, the ‘fatal infection’ hypothesis, is proposed as an explanation of both this association and the leukaemia time trend. This hypothesis is examined in a novel test based on clinical data. The recorded incidence of childhood cancer in Britain increased in each of 12 diagnostic groups during 1966-2005 (from 0.5% per year for bone cancer to 2.5% for hepatic cancer, with 0.7% for leukaemia). Evidence presented here suggests that these increases are probably artefacts of diagnosis and registration. The potential implications for epidemiological studies of childhood cancer should be considered.