49 research outputs found

    ПРИНЦИПИ СУДОВОЇ ЕКСПЕРТИЗИ

    Get PDF
    Analysis of the scientific opinions allowed formulating principles of forensic expertology as an independent science that is the basis of forensic expert activity. Principles of forensic expert activity are highlighted, their correlation with scientific principles is determined. Contents of each principle are disclosed and own understanding of advisability of their application is presented. The basic principles of forensic expertology are determinism, objectivity and systemacy. The principle of determinism embracing the principle of historicism consists in examining the subject of forensic expertology from the point of view of dialectical interconnection regularities and interconditionality of processes arising while performing expert research. The principle of objectivity consists in establishing regularities of forensic expertology solely on the basis of the object research using special knowledge, regardless of social, political and other processes that occur in society. The systemacy of forensic expertology, like any other science, consists in considering its separate components as a single whole, a system of knowledge. On the basis of legislation analysis and scientific opinions, authors determined that the principles of forensic expert activity are also legality and independence. The principle of legality is that officials who are subjects of expert activity are obliged to meet legislation requirements in strict conformity with their content. The principle of expert independence should be understood as absence of interference in him activities of any other person. Analyzing principles of forensic science, authors come to the conclusion about pointlessness of fixing of principles of expert activity in legislative acts, namely in the Аrt. 3 Laws of Ukraine «On forensic science». Principle of legality is stopped up in Constitution of Ukraine, procedural norms expert activity is expounded in many Codes and Laws of Ukraine. Superfluous duplication in this case is unnecessary.Анализ мнений ученых позволил сформулировать принципы судебной экспертологии как самостоятельной науки, которая является основой судебно-экспертной деятельности. Выделены принципы судебно-экспертной деятельности, определено их соотношение с принципами науки. Раскрыто содержание каждого из принципов и представлено собственное понимание целесообразности их применения. Основными принципами судебной экспертологии являются детерминизм, объективность и системность. Принцип детерминизма, который охватывает  принцип историзма состоит в изучении предмета судебной экспертологии с точки зрения диалектических закономерностей взаимосвязи и взаимообусловленности процессов, которые возникают при проведении экспертного исследования. Принцип объективности состоит в установлении закономерностей судебной экспертологии исключительно на основании исследования объектов с использованием специальных знаний, независимо от социальных, политических и других процессов, которые происходят в обществе. Системность судебной экспертологии, как и любой другой науки, состоит в рассмотрении отдельных ее составных как единого целого, систему знаний. На основе анализа законодательства и научных мнений, авторами определено, что принципами судебно-экспертной деятельности также являются законность и независимость. Принцип законности заключается в том, что должностные лица, которые являются субъектами экспертной деятельности, обязаны выполнять требования законодательства в точном соответствии с их содержанием. Принцип независимости эксперта следует понимать как отсутствие вмешательства в его деятельность любых других лиц. Анализируя принципы судебной экспертизы, авторы приходят к выводу о ненужности фиксации принципов экспертной деятельности в законодательных актах, а именно, в ст. 3 Закона Украины «О судебной экспертизе». Принцип законности заложен в Конституции Украины, процедурные нормы деятельности эксперта разъяснены во многих кодексах и законах Украины. Лишнее дублирование в этом случае является ненужным.На основі аналізу думок науковців сформульовано принципи судової експертології як самостійної науки, що є основою судово-експертної діяльності. Виокремлено принципи судово-експертної діяльності, визначено їх співвідношення з принципами науки. Розкрито зміст кожного з принципів і надано власне розуміння доцільності їх застосування

    Constructive-Synthesizing Modelling of Ontological Document Management Support for the Railway Train Speed Restrictions

    Get PDF
    Purpose. During the development of railway ontologies, it is necessary to take into account both the data of information systems and regulatory support to check their consistency. To do this, data integration is performed. The purpose of the work is to formalize the methods for integrating heterogeneous sources of information and ontology formation. Methodology. Constructive-synthesizing modelling of ontology formation and its resources was developed. Findings. Ontology formation formalization has been performed, which allows expanding the possibilities of automating the integration and coordination of data using ontologies. In the future, it is planned to expand the structural system for the formation of ontologies based on textual sources of railway regulatory documentation and information systems. Originality. The authors laid the foundations of using constructive-synthesizing modelling in the railway transport ontological domain to form the structure and data of the railway train speed restriction warning tables (database and csv format), their transformation into a common tabular format, vocabulary, rules and ontology individuals, as well as ontology population. Ontology learning methods have been developed to integrate data from heterogeneous sources. Practical value. The developed methods make it possible to integrate heterogeneous data sources (the structure of the table of the railway train management rules, the form and application for issuing a warning), which are railway domain-specific. It allows forming an ontology from its data sources (database and csv formats) to schema and individuals. Integration and consistency of information system data and regulatory documentation is one of the aspects of increasing the level of train traffic safety

    2D&3D models for numerical calculation of electric fields in high-voltage transformers and reactors

    Get PDF
    A preprocessor with unified elements and positioning in relative and symbolic coordinates is proposed for Finite Element Analysis (FEA) of electric fields. The preprocessor automates the preparation of two-dimensional (2D) data models for the calculation of electrical strength in the main insulation of transformer and reactor windings. Examples of the formation of 2D models and numerical calculation of electric fields using invariant software are presented. The use of graphic editors for building 2D&3D models of bushings and taps is ap-proved. Post-processors for determining 90% “stressed” volume and trajectories of electric field lines of force in three-dimensional (3D) models of windings and bushings are developed

    High-resolution remote thermography using luminescent low-dimensional tin-halide perovskites

    Full text link
    While metal-halide perovskites have recently revolutionized research in optoelectronics through a unique combination of performance and synthetic simplicity, their low-dimensional counterparts can further expand the field with hitherto unknown and practically useful optical functionalities. In this context, we present the strong temperature dependence of the photoluminescence (PL) lifetime of low-dimensional, perovskite-like tin-halides, and apply this property to thermal imaging with a high precision of 0.05 {\deg}C. The PL lifetimes are governed by the heat-assisted de-trapping of self-trapped excitons, and their values can be varied over several orders of magnitude by adjusting the temperature (up to 20 ns {\deg}C-1). Typically, this sensitive range spans up to one hundred centigrade, and it is both compound-specific and shown to be compositionally and structurally tunable from -100 to 110 {\deg} C going from [C(NH2)3]2SnBr4 to Cs4SnBr6 and (C4N2H14I)4SnI6. Finally, through the innovative implementation of cost-effective hardware for fluorescence lifetime imaging (FLI), based on time-of-flight (ToF) technology, these novel thermoluminophores have been used to record thermographic videos with high spatial and thermal resolution.Comment: 25 pages, 4 figure

    Pathomorphological analysis of budding in colorectal carcinomas

    Get PDF
    Morbidity and mortality from colorectal cancer (CRC) remains a current problem of modern oncology. Intensive budding is an important prognostic factor for a worse clinical course of CRC and may influence clinical decision-making regarding the use of extended interventions in pT1 and stage II, according to the conclusion of the 2016 International Consensus Conference on Tumor Budding. The aim of the work is to evaluate the prognostic significance of budding depending on the clinical and morphological characteristics of colorectal carcinomas. Materials and methods. The article deals with clinical and anatomical material of 31 patients with CRC (14 women and 17 men) who were treated in the 2nd surgical department of the SE “Dnipropetrovsk Regional Clinical Hospital” in the period from 2019 to 2021. The age of the patients varied of 27–84 years old (average age – 62.3 ± 14.8 years old). A histological examination of CRC samples was carried out with an assessment of “hot areas” of the invasive front and an immunohistochemical examination with РАН CK АЕ 1/3, Ki-67, MUC2, caspase-3, β-catenin to calculate the number of tumor cell clusters. Results. In one third of the number of samples, differences were determined not only in the number of clusters, but also in the budding category when stained by routine and immunohistochemical methods. Peritumoral budding of the invasive front with category Bd3 was always accompanied by intratumoral budding of varying degrees of intensity. The analysis of the distribution of gradations of budding of colorectal carcinomas by gender, age, location, histological degree of differentiation, and the presence of metastases did not show a statistically significant difference (p > 0.05), which may indicate the independence of this factor on the prognosis of patient survival. The intensity of budding of colorectal carcinomas depending on the expression of markers Ki-67, caspase-3 and β-catenin did not show a significant difference in subgroups (p > 0.05) but showed tendencies to increase the number of budding with an increase in the proliferation index and a decrease in the activity of the proapoptotic enzyme caspase-3. Conclusions. If the number of buds on the border of categories Bd1 and Bd2, or Bd2 and Bd3, determined by the standardized method of H & E staining is doubtful, the degree of budding may be underestimated in comparison with staining by the immunohistochemical method, due to the exclusion of falsely interpreted morphological objects as tumor clusters; the most reliable immunohistochemical marker for contrast separation of buds is a cocktail of cytokeratins

    Reconfigurable halide perovskite nanocrystal memristors for neuromorphic computing

    Full text link
    Many in-memory computing frameworks demand electronic devices with specific switching characteristics to achieve the desired level of computational complexity. Existing memristive devices cannot be reconfigured to meet the diverse volatile and non-volatile switching requirements, and hence rely on tailored material designs specific to the targeted application, limiting their universality. “Reconfigurable memristors” that combine both ionic diffusive and drift mechanisms could address these limitations, but they remain elusive. Here we present a reconfigurable halide perovskite nanocrystal memristor that achieves on-demand switching between diffusive/volatile and drift/non-volatile modes by controllable electrochemical reactions. Judicious selection of the perovskite nanocrystals and organic capping ligands enable state-of-the-art endurance performances in both modes – volatile (2 × 106^{6} cycles) and non-volatile (5.6 × 103^{3} cycles). We demonstrate the relevance of such proof-of-concept perovskite devices on a benchmark reservoir network with volatile recurrent and non-volatile readout layers based on 19,900 measurements across 25 dynamically-configured devices

    Детермінанти та засоби діагностики неправдивих показань учасників кримінального провадження в Україні

    Get PDF
    Determinants and methods of diagnosing criminal proceedings participants false testimony in Ukraine / L. Mohilevskyi, V. Husieva, S. Perlin, R. Chycha, I. Shynkarenko // Amazonia Investiga. – 2022. – Vol. 11, Issue 51 (March). – P. 71-79. – DOI: https://doi.org/10.34069/AI/2022.51.03.7. Mohilevskyi, L., Husieva, V., Perlin, S., Chycha, R., & Shynkarenko, I. (2022). Determinants and methods of diagnosing criminal proceedings participants false testimony in Ukraine. Amazonia Investiga, 11(51), 71-79. https://doi.org/10.34069/AI/2022.51.03.7Метою статті є визначення процесуальних та непроцесуальних засобів діагностики неправдивих показань учасників кримінального провадження, що можуть бути застосовані під час розслідування кримінальних правопорушень в Україні. Автори використовують загальнонаукові та спеціальні методи, що дозволяють отримати науково обґрунтовані висновки та пропозиції. Зокрема, застосовуються такі наукові методи, як діалектичний, системно-структурний, узагальнюючий, логічний, а також статистичні методи (групування, аналіз кількісних показників). За результатами проведеного дослідження установлено, що кількість кримінальних правопорушень, розпочатих в Україні у зв’язку з наданням потерпілими та свідками неправдивих показань є досить великою. У разі засудження особи на підставі отриманих неправдивих свідчень, має бути призначений новий судовий розгляд кримінального провадження у зв’язку з нововиявленими обставинами. Визначено, що до процесуальних засобів діагностики неправдивих показань належать слідчі (розшукові) дії та судові експертизи, а до непроцесуальних – різного роду дослідження, зокрема, використання поліграфу та фізіогномічні дослідження, а також методики аналізу невербальної інформації. За результатами проведеного аналізу слідчо-судової практики України встановлено, що найефективнішими процесуальними засоби діагностики неправдивих свідчень є: повторні, додаткові та одночасні допити раніше допитаних осіб, а також слідчі експерименти. Наголошено, що непроцесуальні засоби діагностики неправдивих показань потребують подальшого дослідження та наукового обґрунтування, у тому числі розроблення механізму підготовки відповідних фахівців, які будуть уповноважені на здійснення таких досліджень.The purpose of the article is to determine the procedural and non-procedural methods of diagnostics false testimony of criminal proceedings participants’, which can be used in the investigation in Ukraine. The authors use general and special methods that allow obtaining scientifically sound conclusions and suggestions. The dialectical method, system-structural, generalizing, logical and statistical methods were used in the study. According to the results of the study, the number of criminal offenses initiated in Ukraine in connection with the provision of false testimony by victims and witnesses is quite large. If a person is convicted based on false testimony, a new criminal trial must be ordered in connection with the newly discovered circumstances. The authors determined that procedural methods of diagnostics false testimony include investigative (search) actions and forensic examinations, and non-procedural - various types of research, in particular, the use of polygraph and physiognomic research, as well as methods of analyzing nonverbal information. Re-interrogation, additional and simultaneous interrogation of previously interrogated persons, investigative experiment are the most effective procedural means of diagnosing false testimony. Non-procedural means of diagnosing false indications require further research and scientific substantiation, including the development of a mechanism for training relevant specialists.Целью статьи является определение процессуальных и непроцессуальных средств диагностики ложных показаний участников уголовного производства, которые могут применяться при расследовании уголовных правонарушений в Украине

    КОНСТРУКТИВНА МОДЕЛЬ АДАПТАЦІЇ СТРУКТУР ДАНИХ В ОПЕРАТИВНІЙ ПАМ’ЯТІ: ЧАСТИНА I. КОНСТРУЮВАННЯ ТЕКСТІВ ПРОГРАМ

    No full text
    Purpose. Rapidly growing volumes of information systems data being manipulated significantly reduce the temporary algorithms effeciency of their processing . Effective data layout in RAM is one of the directions of solving this problem. It is necessary to develop the model to solve problems of efficient automated data layout in RAM. Methodology. For processes simulation of data structures (DS) adaptation in RAM, the methodology of mathematical and algorithmic constructivism was applied. This approach involves the development of constructive and productive structures (CPS) with transformations of specialization, interpretation, specification and implementation. CPS development provides definition of expandable vector, signature of relations, transactions and constructive axioms. The most complex and essential part of the set of axioms is generated substitution rules that determine the output process of respective structures. Findings. CPS system was developed by the authors, consisting of the logical structure constructor of data, converters of logical structure in to a software interface and implementation in a programming language, constructors of scenarios and adaptation processes. The result of the adaptation process constructor is software text generations of the class library that implements the specified logical data structure with appropriate processing operations and its compilation in binary code. Originality. Structural model of development processes and data structures adaptation to different software and hardware environments was first proposed. It adapts date layout in the RAM and data processing algorithms. Application of constructivism in simulation allowed within a single approach and applied tools linking the data models and algorithms of their processing with performance criteria. Formation methodology of CPS system, mechanisms, and links between complementary CPS were improved. Modification of the constructor and converters allows changing and exploring the process of adaptation. Practical value. The developed model allows automating the data layout in RAM, which in turn increases the time efficiency of programs with significant processing of large and very large volumes of data.Цель. Стремительно растущие объемы обрабатываемых данных информационных систем существенно снижают временную эффективность алгоритмов их обработки. Одним из направлений решения данной проблемы является эффективное размещение данных в оперативной памяти (ОП). Необходимо разработать модели, позволяющие автоматизировано решать задачи рационального размещения данных в ОП. Методика. Для моделирования процессов адаптации структур данных (СД) в ОП применена методология математико-алгоритмического конструктивизма. Данный подход предусматривает разработку конструктивно-продукционных структур (КПС) с преобразованиями специализации, интерпретации, конкретизации и реализации. Разработка КПС предусматривает определение расширяемого носителя, сигнатуры отношений, операций и конструктивной аксиоматики. Наиболее сложной и существенной частью аксиоматики является множество формируемых правил подстановки, определяющих процесс вывода соответствующих конструкций. Результаты. Авторами разработана система КПС, состоящая из конструктора логической структуры данных, преобразователей логической структуры в программный интерфейс и имплементацию на языке программирования, конструкторов сценариев и процессов адаптации. Результатом реализации конструктора процесса адаптации являются генерации программного текста библиотеки классов, реализующей заданную логическую структуру данных с соответствующими операциями их обработки, и ее компиляция в бинарный код. Научная новизна. Впервые предложена конструктивная модель процессов разработки и адаптации структур данных к различным программно-аппаратным средам. При этом адаптируется размещение данных в ОП и алгоритмы их обработки. Применение конструктивизма в моделировании позволило в рамках единого подхода и применяемых средств связать модели данных и алгоритмы их обработки с критериями эффективности. Усовершенствована методика формирования системы КПС, механизмы, связи между взаимодополняющими друг друга КПС. Модификация конструктора и преобразователей позволяет коренным образом изменять и исследовать процесс адаптации. Практическая значимость. Разработанная модель позволяет автоматизировать процессы рационального размещения данных в ОП, что, в свою очередь, повышает временную эффективность программ со значительной долей обработки больших и очень больших объемов данных.Мета. Стрімко зростаючі обсяги оброблюваних даних інформаційних систем істотно знижують часову ефективність алгоритмів їх обробки. Одним із напрямків вирішення даної проблеми є ефективне розміщення даних в оперативній пам’яті (ОП). Необхідно розробити моделі, що дозволяють автоматизовано вирішувати завдання раціонального розміщення даних в ОП. Методика. Для моделювання процесів адаптації структур даних (СД) в ОП застосована методологія математико-алгоритмічного конструктивізму. Даний підхід передбачає розробку конструктивно-продукційних структур (КПС) із перетвореннями спеціалізації, інтерпретації, конкретизації та реалізації. Розробка КПС передбачає визначення розширюваного носія, сигнатури відносин та операцій і конструктивної аксіоматики. Найбільш складною та істотною частиною аксіоматики є безліч формованих правил підстановки, що визначають процес виводу відповідних конструкцій. Результати. Авторами розроблено систему КПС, що складається з конструктора логічної структури даних, перетворювачів логічної структури в програмний інтерфейс й імплементацію на мові програмування, конструкторів сценаріїв та процесів адаптації. Результатом реалізації конструктора процесу адаптації є генерації програмного тексту бібліотеки класів, що реалізує задану логічну структуру даних із відповідними операціями їх обробки, та її компіляція в бінарний код. Наукова новизна. Вперше запропонована конструктивна модель процесів розробки та адаптації структур даних до різних програмно-апаратних середовищ. При цьому адаптується розміщення даних в ОП та алгоритми їх обробки. Застосування конструктивізму в моделюванні дозволило в рамках єдиного підходу та застосовуваних засобів зв’язати моделі даних і алгоритми їх обробки з критеріями ефективності. Удосконалено методику формування системи КПС, механізми, зв’язки між взаємодоповнюючими один одного КПС. Модифікація конструктора та перетворювачів дозволяє докорінно змінювати і досліджувати процес адаптації. Практична значимість. Розроблена модель дозволяє автоматизувати процеси раціонального розміщення даних в ОП, що, у свою чергу, підвищує часову ефективність програм зі значною часткою обробки великих і дуже великих обсягів даних

    CONSTRUCTIVE MODEL OF ADAPTATION OF DATA STRUCTURES IN RAM. PART II. CONSTRUCTORS OF SCENARIOS AND ADAPTATION PROCESSES

    No full text
    Purpose.The second part of the paper completes presentation of constructive and the productive structures (CPS), modeling adaptation of data structures in memory (RAM). The purpose of the second part in the research is to develop a model of process of adaptation data in a RAM functioning in different hardware and software environments and scenarios of data processing. Methodology. The methodology of mathematical and algorithmic constructionism was applied. In this part of the paper, changes were developed the constructors of scenarios and adaptation processes based on a generalized CPS through its transformational conversions. Constructors are interpreted, specialized CPS. Were highlighted the terminal alphabets of the constructor scenarios in the form of data processing algorithms and the constructor of adaptation – in the form of algorithmic components of the adaptation process. The methodology involves the development of substitution rules that determine the output process of the relevant structures. Findings. In the second part of the paper, system is represented by CPS modeling adaptation data placement in the RAM, namely, constructors of scenarios and of adaptation processes. The result of the implementation of constructor of scenarios is a set of data processing operations in the form of text in the language of programming C#, constructor of the adaptation processes – a process of adaptation, and the result the process of adaptation – the adapted binary code of processing data structures. Originality. For the first time proposed the constructive model of data processing – the scenario that takes into account the order and number of calls to the various elements of data structures and adaptation of data structures to the different hardware and software environments. At the same the placement of data in RAM and processing algorithms are adapted. Constructionism application in modeling allows to link data models and algorithms for their processing with the performance criteria in the framework of unified approach and applied means. The developed models allow us to study the process of adaptation and control it. Practical value. The developed model and methods allow automatically changing the data placement in the RAM and their algorithmic connection depending on the operational requirements, the design features of the hardware and software operating environment
    corecore