Search

Uterine leiomyomas are common benign tumors developing from smooth muscle tissues, often leading to infertility and recurrent abortions. Pregnancy and development of uterine fibroids are characterized by an unusual rate of myometrium growth, hyperproduction of extracellular matrix and increased expression of numerous growth factor receptors. The purpose of this study was to determine concentrations of some key growth factors (IL-5, IL-7, IL-9, FGF-β, G-CSF, VEGF and PDGF) in blood serum of women with uterine myoma. Concentrations of the 27 cytokines were determined using a Bio Rad kit (USA) – Bio-Plex Pro™. Human Cytokine 27-plex Assay by means of flow-through fluorometry at the Bio-Plex 200 double-beam laser analyzer. Thirty-six patients with verified uterine myoma were followed up, being later subject to operative treatment (laparoscopic myomectomy). The results of this study showed a trend to decreased amounts of some hematopoiesis and angiogenesis growth factors, e.g., IL-9 and FGF, in blood serum of women with uterine myoma. Сoncentrations of IL-5, IL-7, and G-CSF proved to be significantly decreased if compared to serum contents of European healthy women. The most significant decrease was registered for pro-angiogenic factors, such as VEGF and PDGF. Their serum concentration in women with leiomyoma was reduced, respectively, 3- and 6-fold against controls. The decreased G-CSF concentration was not only quite significant, as compared to healthy women, but showed significant correlations with changes of such factors as IL-5, IL-7 and IL-9, with correlation quotients of, resp., 0.723, 0.637, and 0.504, respectively. One may conclude that, in spite of literature data on significantly increased contents of the mentioned growth factors in tissues of myometrium and growing uterine leiomyoma, our data show that the concentrations of these regulatory proteins in blood serum are decreased to some extent in this clinical condition.

The crystal structures of two intermediates, 4-amino-3,5-difluorobenzonitrile, C7H4F2N2 (I), and ethyl 4-amino-3,5-difluorobenzoate, C9H9F2NO2 (II), along with a visible-light-responsive azobenzene derivative, diethyl 4,4′-(diazene-1,2-diyl)bis(3,5-difluorobenzoate), C18H14F4N2O4 (III), obtained by four-step synthetic procedure, were studied using single-crystal X-ray diffraction. The molecules of I and II demonstrate the quinoid character of phenyl rings accompanied by the distortion of bond angles related to the presence of fluorine substituents in the 3 and 5 (ortho) positions. In the crystals of I and II, the molecules are connected by N—H...N, N—H...F and N—H...O hydrogen bonds, C—H...F short contacts, and π-stacking interactions. In crystal of III, only stacking interactions between the molecules are found.

The title compound, systematic name tris(μ2-perfluoro-o-phenylene)(μ2-3-phenyl-4H-chromen-4-one)-triangulo-trimercury, [Hg3(C6F4)3(C15H10O2)], crystallizes in the monoclinic P21/n space group with one flavone (FLA) and one cyclic trimeric perfluoro-o-phenylenemercury (TPPM) molecule per asymmetric unit. The FLA molecule is located on one face of the TPPM acceptor and is linked in an asymmetric coordination of its carbonyl oxygen atom with two Hg centers of the TPPM macrocycle. The angular-shaped complexes pack in zigzag chains where they stack via two alternating TPPM–TPPM and FLA–FLA stacking patterns. The distance between the mean planes of the neighboring TPPM macrocycles in the stack is 3.445 (2) Å, and that between the benzo-γ-pyrone moieties of FLA is 3.328 (2) Å. The neighboring stacks are interdigitated through the shortened F...F, CH...F and CH...π contacts, forming a dense crystal structure.

The article analyzes the competitiveness of Ukraine, identifies problems and outlines the prospects and consequences of the country’s European integration aspirations. A retrospective review of the development of the country’s economic model was conducted in order to evaluate the effectiveness of the implementation of reforms and identify errors that affected the place and role of the domestic economy in the world markets of goods and capital. This made it possible to single out certain comparative characteristics with the main theories of international trade and international investment. It was noted that unsuccessful attempts to quickly transform from a command-administrative economy to a mixed market system led to a loss of industrial potential and, accordingly, negatively affected the structure of foreign trade relations and the investment climate, which in turn led to a drop in the level of competitiveness of Ukraine. Along with this, the analysis of the key indicators of socio-economic development indicates certain positive changes in the period 2002-2012, which was reflected in the dynamics of GDP growth, an increase in incoming investment flows, stabilization of inflation at the targeted level and overall improved welfare of society. However, the uncertainty and constant change of the vector of economic integration together with the change of power led to the deterioration of the state’s economic condition and made sustainable economic growth impossible. The period of revival of business and investment activity in the post-Covid 2021 year was replaced by a deep crisis with the beginning of the war. At the same time, the aspiration of our state to join the European community nevertheless gave a powerful impetus to the implementation and implementation of innovative reforms, which made it possible to achieve certain success in the direction of digitalization, infrastructure development, and further implementation of educational, medical, and social reforms even during the conduct of military operations. Currently, on the way to European integration, Ukraine is overcoming the difficult path of transforming its economic system to the requirements and values of the EU. Our country, together with the European Union, needs to solve the issues of labor migration and refugees, the introduction of a duty-free regime for domestic goods, the creation of a safe investment climate, etc. And there is not always unity in the choice of tools for solving these issues in the EU countries. Ukraine needs to use its advantages in logistics, geographical location, labor and natural resources, develop an industrial direction, introduce modern technologies, improve its energy independence and take an active part in integration processes. Finding compromises and political will allow Ukraine to successfully reform the socio-economic model and become a full member of the EU.

Abstract Nature is abundant in material platforms with anisotropic permittivities arising from symmetry reduction that feature a variety of extraordinary optical effects. Principal optical axes are essential characteristics for these effects that define light-matter interaction. Their orientation – an orthogonal Cartesian basis that diagonalizes the permittivity tensor, is often assumed stationary. Here, we show that the low-symmetry triclinic crystalline structure of van der Waals rhenium disulfide and rhenium diselenide is characterized by wandering principal optical axes in the space-wavelength domain with above π/2 degree of rotation for in-plane components. In turn, this leads to wavelength-switchable propagation directions of their waveguide modes. The physical origin of wandering principal optical axes is explained using a multi-exciton phenomenological model and ab initio calculations. We envision that the wandering principal optical axes of the investigated low-symmetry triclinic van der Waals crystals offer a platform for unexplored anisotropic phenomena and nanophotonic applications.

Abstract The emergence of van der Waals (vdW) materials resulted in the discovery of their high optical, mechanical, and electronic anisotropic properties, immediately enabling countless novel phenomena and applications. Such success inspired an intensive search for the highest possible anisotropic properties among vdW materials. Furthermore, the identification of the most promising among the huge family of vdW materials is a challenging quest requiring innovative approaches. Here, we suggest an easy-to-use method for such a survey based on the crystallographic geometrical perspective of vdW materials followed by their optical characterization. Using our approach, we found As2S3 as a highly anisotropic vdW material. It demonstrates high in-plane optical anisotropy that is ~20% larger than for rutile and over two times as large as calcite, high refractive index, and transparency in the visible range, overcoming the century-long record set by rutile. Given these benefits, As2S3 opens a pathway towards next-generation nanophotonics as demonstrated by an ultrathin true zero-order quarter-wave plate that combines classical and the Fabry–Pérot optical phase accumulations. Hence, our approach provides an effective and easy-to-use method to find vdW materials with the utmost anisotropic properties.

A CuII coordination polymer, catena-poly[[[aquacopper(II)]-bis(μ-4-aminobenzoato)-κ2N:O;κ2O:N] monohydrate], {[Cu(pABA)2(H2O)]·H2O}n (pABA = p-aminobenzoate, C7H4NO2−), was synthesized and characterized. It exhibits a one-dimensional chain structure extended into a three-dimensional supramolecular assembly through hydrogen bonds and π–π interactions. While the twinned crystal shows a metrically orthorhombic lattice and an apparent space group Pbcm, the true symmetry is monoclinic (space group P2/c), with disordered Cu atoms and mixed roles of water molecules (aqua ligand/crystallization water). The luminescence spectrum of the complex shows an emission at 345 nm, cf. 349 nm for pABAH.

The plasmonic sensors based on silver nanoparticles are limited in application due to their relatively fast degradation in the ambient atmosphere. The technology of ion-beam modification for the creation of monocrystalline silver nanoparticles (NPs) with stable plasmonic properties will expand the application of silver nanostructures. In the present study, highly-stable monocrystalline NPs were formed on the basis of a thin silver film by low-energy ion irradiation. Combined with lithography, this technique allows the creation of nanoparticle ensembles in variant forms. The characterization of the nanoparticles formed by ion-beam modification showed long-term outstanding for Ag nanoparticles stability of their plasmonic properties due to their monocrystalline structure. According to optical spectroscopy data, the reliable plasmonic properties in the ambient atmosphere are preserved for up to 39 days. The mapping of crystal violet dye via surface-enhanced Raman spectroscopy (SERS) revealed a strong amplification factor sustaining at least thrice as long as the one of similarly sized polycrystalline silver NPs formed by annealing. The plasmonic properties sustain more than a month of storage in the ambient atmosphere. Thus, ion-beam modification of silver film makes it possible to fabricate NPs with stable plasmonic properties and form clusters of NPs for sensor technology and SERS applications.

Social justice is a path to the reduction of inequality and one of the key milestones of sustainable development in the materials by the UN. However, there is a methodological gap, which hinders measuring the level of an economic system's social justice. The discovered gap is filled in here through the development of the analytical methodology of measuring social justice with the help of such criterion as the quality of income. Quality of income is measured from the positions of the influence of the quality of income on the quality of the population's life (according to the materials of "Quality of Life Index of the Numbeo (2021)) and the level of happiness in society (according to the materials of World Happiness Report (2021)). For the treatment of the results of the evaluation, we develop an analytical matrix. According to it, high (nominal, quantitative) income must ensure an increase in the quality of life and an increase in the level of happiness in society. In this case, the quality of income could be deemed high, and society - just. The developed proprietary methodological approach is approbated by the example of various developed and developing countries, which allows characterizing the level and differences in the quality of income and social justice of countries of the selected categories and proposing recommendations for the increase in the quality of income.

This paper discusses the application of methods of non-destructive testing and flaw detection of plastic products manufactured by additive technologies. The modern development of additive technologies associated with the active transition from the manufacture of prototypes and test samples to the manufacture of functional products increases the requirements for improving the quality of manufacturing and conducting non-destructive diagnostics of finished products, including plastic materials. The overall productivity of the production process can be increased by increasing the yield due to a decrease in the number of defects, which is ensured by process control and the quality of finished products. The method of laser-ultrasound diagnostics allows monitoring and flaw detection of products made of different materials with good spatial resolution, which is not always possible, for example, by tomographic scanning. Thus, the main purpose of this work is to evaluate the possibility of using laser-ultrasonic methods to detect potential defects and to track the impact of the additive manufacturing process on the quality of plastic products.

Monitoring the evolution of the aerodynamic flow in potentially dangerous conditions is very important to ensure flight safety. Due to the impossibility of experimental study of critical flight conditions in real flights, methods of scaled modeling of flow processes have been developed and are widely used in aerodynamics and hydrodynamics. Aircraft icing is one of the most important processes that pose a threat to flight safety. The presented study is aimed at developing techniques for monitoring of process of aircraft icing and its influence on flow behaviour, that can be used in controlled conditions of aerodynamic/hydrodynamic tube. While available technical means for aerodynamic study does not include the wind tunnel for registration of flow simultaneously with icing process, the proposed framework includes as icing process 3D registration so further modelling this process in a hydrodynamic tube for flow monitoring. The proposed technique includes three phases, that allow to perform comprehensive monitoring of the whole process beginning with 3D registration of ice accretion development and completing with accurate 3D flow evolution monitoring corresponding to icing process.

To increase the number of potential materials for application as MRI contrast agents, several Cu(II) complexes were synthesized. Cu(II) complexes were chosen because they are less expensive in comparison with the presently used Gd(III), Mn(II) and other agents. Pyridine-2-carboximidamide (1), pyrimidine-2-carboximidamide (2) and pyrazole-2-carboximidamide (3) in the form of different salts along with CuCl2 and NaCl or CuBr2 and NaBr were used to obtain four Cu(II) complexes: dichloro-pyrimidine-2-carboximidamide copper(II) (4), dibromo-pyrimidine-2-carboximidamide copper(II) (5), dichloro-pirazole-2-carboximidamide copper(II) (6), and dibromo-pirazole-2-carboximidamide copper(II) (7). X-ray diffraction analysis revealed that molecular complexes 4–7 contain square planar coordinated Cu(II) atoms and their structures are very similar, as well as their packing in crystals, which allows us to consider them isomorphs. The same synthetic approach to complex preparation where NaCl or NaBr was not used brought us to the formation of dimeric complexes μ-chloro{chloro(pyridine-2-carboximidamide)copper(II)} (8) and μ-chloro{chloro(pyrimidine-2-carboximidamide)copper(II)} (9). In the dimeric complexes, two fragments which were the same as in monomeric complexes 4–7 are held together by bridging Cu-Cl bonds making the coordination of Cu equal to 5 (square pyramid). In dimeric complexes, axial Cu-Cl bonds are 2.7360 and 2.854 Å. These values are Cu-Cl bonds on the edge of existence according to statistical data from CSD. Synthesized complexes were characterized by IR spectroscopy, TGA, PXRD, EPR, and quantum chemical calculations. The higher thermal stability of monomer pyrimidine-based complexes with Cl and Br substituents makes them more prospective for further studies.

Photodetectors that can operate over a wide range of temperatures, from cryogenic to elevated temperatures, are crucial for a variety of modern scientific fields, including aerospace, high-energy science, and astro-particle science. In this study, we investigate the temperature-dependent photodetection properties of titanium trisulfide (TiS3)- in order to develop high-performance photodetectors that can operate across a wide range of temperatures (77 K–543 K). We fabricate a solid-state photodetector using the dielectrophoresis technique, which demonstrates a quick response (response/recovery time ~0.093 s) and high performance over a wide range of temperatures. Specifically, the photodetector exhibits a very high photocurrent (6.95 × 10−5 A), photoresponsivity (1.624 × 108 A/W), quantum efficiency (3.3 × 108 A/W·nm), and detectivity (4.328 × 1015 Jones) for a 617 nm wavelength of light with a very weak intensity (~1.0 × 10−5 W/cm2). The developed photodetector also shows a very high device ON/OFF ratio (~32). Prior to fabrication, the TiS3 nanoribbons were synthesized using the chemical vapor technique and characterized according to their morphology, structure, stability, and electronic and optoelectronic properties; this was performed using scanning electron microscopy (SEM), transmission electron microscopy (TEM), Raman spectroscopy, X-ray diffraction (XRD), thermogravimetric analysis (TGA), and a UV–Visible–NIR spectrophotometer. We anticipate that this novel solid-state photodetector will have broad applications in modern optoelectronic devices.

Materials with high optical constants are of paramount importance for efficient light manipulation in nanophotonics applications. Recent advances in materials science have revealed that van der Waals (vdW) materials have large optical responses owing to strong in-plane covalent bonding and weak out-of-plane vdW interactions. However, the optical constants of vdW materials depend on numerous factors, e.g., synthesis and transfer method. Here, we demonstrate that in a broad spectral range (290–3300 nm) the refractive index n and the extinction coefficient k of Bi2Se3 are almost independent of synthesis technology, with only a ~10% difference in n and k between synthesis approaches, unlike other vdW materials, such as MoS2, which has a ~60% difference between synthesis approaches. As a practical demonstration, we showed, using the examples of biosensors and therapeutic nanoparticles, that this slight difference in optical constants results in reproducible efficiency in Bi2Se3-based photonic devices.

Ultrathin metal films are an essential platform for two-dimensional (2D) material compatible and flexible optoelectronics. Characterization of thin and ultrathin film-based devices requires a thorough consideration of the crystalline structure and local optical and electrical properties of the metal-2D material interface since they could be dramatically different from the bulk material. Recently, it was demonstrated that the growth of gold on the chemical vapor deposited monolayer MoS2 leads to a continuous metal film that preserves plasmonic optical response and conductivity even at thicknesses below 10 nm. Here, we examined the optical response and morphology of ultrathin gold films deposited on exfoliated MoS2 crystal flakes on the SiO2/Si substrate via scattering-type scanning near-field optical microscopy (s-SNOM). We demonstrate a direct relationship between the ability of thin film to support guided surface plasmon polaritons (SPP) and the s-SNOM signal intensity with a very high spatial resolution. Using this relationship, we observed the evolution of the structure of gold films grown on SiO2 and MoS2 with an increase in thickness. The continuous morphology and superior ability with respect to supporting SPPs of the ultrathin (≤10 nm) gold on MoS2 is further confirmed with scanning electron microscopy and direct observation of SPP fringes via s-SNOM. Our results establish s-SNOM as a tool for testing plasmonic films and motivate further theoretical research on the impact of the interplay between the guided modes and the local optical properties on the s-SNOM signal.

Early-stage uric acid (UA) abnormality detection is crucial for a healthy human. With the evolution of nanoscience, metal oxide nanostructure-based sensors have become a potential candidate for health monitoring due to their low-cost, easy-to-handle, and portability. Herein, we demonstrate the synthesis of puffy balls-like cobalt oxide nanostructure using a hydrothermal method and utilize them to modify the working electrode for non-enzymatic electrochemical sensor fabrication. The non-enzymatic electrochemical sensor was utilized for UA determination using cyclic voltammetry (CV) and differential pulse voltammetry (DPV). The puffy balls-shaped cobalt oxide nanostructure-modified glassy carbon (GC) electrode exhibited excellent electro-catalytic activity during UA detection. Interestingly, when we compared the sensitivity of non-enzymatic electrochemical UA sensors, the DPV technique resulted in high sensitivity (2158 µA/mM.cm2) compared to the CV technique (sensitivity = 307 µA/mM.cm2). The developed non-enzymatic electrochemical UA sensor showed good selectivity, stability, reproducibility, and applicability in the human serum. Moreover, this study indicates that the puffy balls-shaped cobalt oxide nanostructure can be utilized as electrode material for designing (bio)sensors to detect a specific analyte.

The problem of facial appearance reconstruction (or facial approximation) basing on a skull is very important as for anthropology and archaeology as for forensics. Recent progress in optical 3D measurements allowed to substitute manual facial reconstruction techniques with computer-aided ones based on digital skull 3D models. Growing amount of data and developing methods for data processing provide a background for creating fully automated technique of face approximation.The performed study addressed to a problem of facial approximation based on skull digital 3D model with deep learning techniques. The skull 3D models used for appearance reconstruction are generated by the original photogrammetric system in automated mode. These 3D models are then used as input for the algorithm for face appearance reconstruction. The paper presents a deep learning approach for facial approximation basing on a skull. It exploits the generative adversarial learning for transition data from one modality (skull) to another modality (face) using digital skull 3D models and face 3D models. A special dataset containing skull 3D models and face 3D models has been collected and adapted for convolutional neural network training and testing. Evaluation results on testing part of the dataset demonstrates high potential of the developed approach in facial approximation.

3D imaging techniques, which started to be exact in regard to the current study with photogrammetry, have brought to development of measurement method – automated digital odontometry (aDo) – with wider opportunities in terms of understanding morphological characteristics of human (or, non-human) teeth and dentition. Revealing them through odontometric parameters, not as visual descriptions, as it has been accepted for decades and is widespread till today, digital measurement methods provide for various previously unattainable detailed objective studies including descriptions or comparisons. These types of studies, carried out for dental and anthropological applications, are of high demand in palaeoanthropology, especially in cases of rare combination of finding uniqueness and preservation degree with considerations of unusual morphology. Thus odontological samples from the Upper Palaeolithic Sunghir’ (individual C2) are of particular interest in the current study which is aimed to detect distinctive parameters related to morphological features and to compare the degree of feature expression on antimere teeth and teeth with lower degree of that feature expression.

The study of how aircraft icing influences on aircraft aerodynamic performance is very important for developing measures and recommendation to improve aircraft flight safety. The effective method of aerodynamic processes modeling is experiment in wind (aerodynamic) tunnel or water (hydrodynamic) tunnel. They allow to perform experiments with a scaled model of an aircraft affected by icing and to visualize the wing flow process and changes caused by icing. While visualization of the wing flow yields useful qualitative information about flow, it is more important to retrieve quantitative 3D data of flow, which allows to forecast icing process and to develop anti-icing techniques and recommendations.The presented study addresses to creating an photogrammetric system and 3D measurement techniques for quantitate evaluation of 3D flow parameters in a hydrodynamic tunnel for aircraft icing influence exploration. Being an initial part of a long-term research project, this study is aimed at developing of an accurate calibration technique of the photogrammetric system for 3D measurement in condition of two optical media interfaces. The developed algorithms for imaging process through two optical media interfaces are used in calibration procedure and object 3D coordinates measuring. The results of the photogrammetric system calibration are given in comparison with standard (single media) case. Experimental 3D reconstruction of a typical object demonstrated high accuracy of the developed algorithms.

A wide variety of methods are used in archaeological research today, including 3D imaging techniques (photogrammetry) which are involved at different stages starting from explorations preceding excavation to multiple studies. The archaeologically obtained material includes anthropological findings, among which odontological (related to human teeth) are of interest as they are composed of resistible tissues (hence are preserved well) and can serve for biological as well as historical interpretations. However, among the methods employed in odontological studies some are destructive and bring to unwelcome irreversible changes or even complete loss of the analysed samples. However, the existing and rapidly-developing techniques, especially, referring to 3D imaging and prototyping, suggest different approaches which can facilitate avoiding undesirable consequences of invasive methods of research. Thus they can provide for either preservation of findings through development and application of non-invasive study techniques, or, at least, preserve data referring the findings which have to be destroyed in order to receive valuable, in terms of research, information. It is shown on the example of the studied mandibular fragment from the Early Bronze archaeological site of Shengavit how multidisciplinary cooperation and the described workflow contribute to preservation of information regarding the finding and possible restoration of its original features. An effective communication between different professionals was provided due to implementing non-contact measurements techniques, obtaining and processing 3D images and 3D printing.

Van der Waals (vdW) heterostructures pave the way to achieve the desired material properties for a variety of applications. In this way, new scientific and industrial challenges and fundamental questions arise. One of them is whether vdW materials preserve their original optical response when assembled in a heterostructure. Here, we resolve this issue for four exemplary monolayer heterostructures: MoS2/Gr, MoS2/hBN, WS2/Gr, and WS2/hBN. Through joint Raman, ellipsometry, and reflectance spectroscopies, we discovered that heterostructures alter MoS2 and WS2 optical constants. Furthermore, despite the similarity of MoS2 and WS2 monolayers, their behavior in heterostructures is markedly different. While MoS2 has large changes, particularly above 3 eV, WS2 experiences modest changes in optical constants. We also detected a transformation from dark into bright exciton for MoS2/Gr heterostructure. In summary, our findings provide clear evidence that the optical response of heterostructures is not the sum of optical properties of its constituents.

Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications. The given feature form a basis of the suggested method for incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels. This method was implemented on top of static verification framework Klever. It was evaluated by checking the Linux kernel TTY subsystem. During this study some Klever components were improved. Besides, we fixed some existing and developed new environment model and requirement specifications. Almost all made changes also helps at static verification of loadable modules of the Linux kernel. Developers of automated static verification tool CPAchecker fixed several issues that we revealed and reported during the research. Overall developed specifications allowed to increase function coverage of the TTY subsystem from 5% to 83%. Moreover, we revealed 7 bugs in loadable modules verified together with the TTY subsystem.

An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a significantly lower level of quality. One of the most critical and widespread bugs in kernel modules are violations of rules of correct usage of a kernel API. One can identify all such the violations in modules or prove their correctness with help of static verification tools which needs contract specifications describing formally obligations of a kernel and modules with respect to each other. The paper considers existing methods and toolsets for static verification of kernel modules of different OSs. It suggests a new method for static verification of Linux kernel modules that allows to configure checking at each of its stages. The paper shows how this method can be adapted for checking kernel components of other OSs. It describes an architecture of a configurable toolset for static verification of Linux kernel modules, which implements the proposed method, and demonstrates results of its practical application. Directions of further development are considered in conclusion

In static device driver verification of Linux operating system it is necessary to take into account the specifics of the communication between drivers and kernel core as far as it plays the main role in the drivers’ behavior. At the same time the verification of a driver together with kernel core source code is not feasible due to complexity and size of the resulting source code. As a solution the paper presents the modeling method of driver environment based on R.Milner  calculus and the method of  model translation into C program. Being linked with the driver the resulting program has the same scenarios of driver behavior as the real driver environment in operating system from the static verification tools point of view.

The most of modern widely used operating systems have monolithic kernels since this architecture aims at reaching maximum performance. Usually monolithic kernels without various extensions like device drivers consist of several million lines of code in the programming language C/C++ and in the assembly language. With time, their source code evolves quite intensively: a new functionality is supported, various operations are optimized, bugs are fixed. The high practical value of operating system monolithic kernels defines strict requirements for their functionality, security, reliability and performance. Approaches for software quality assurance which are currently used in practice help to identify and to fix quite a number of bugs, but none of them allows to detect all possible bugs of kinds sought for. This article shows that different approaches to static verification, which are aimed at solving this task, have significant restrictions if applied to monolithic kernels as a whole, primarily due to a large size and complexity of source code that is constantly evolving. As a first step towards static verification of operating system monolithic kernels a method is proposed for decomposition of kernels into subsystems.

Paleo-anthropological research has its specificity closely related with studied objects. Their complicated shape arises from anatomical features of human skull and other skeletal bones. The degree of preservation is associated with the fragility of palaeo-anthropological material which usually has high historical and scientific value. The circumstances mentioned above enhance the relevance of photogrammetry implementation in anthropological studies. Thus, such combination of scientific methodologies with up-to-date technology creates a potential for improvement of various stages of palaeo-anthropological studies. This can be referred to accurate documenting of anthropological material and creation of databases accessible for wide range of users, predominantly research scientists and students; preservation of highly valuable samples and possibility of sharing information as 3D images or printed copies, improving co-operation of scientists world-wide; potential for replication of contact anthropometric studies on 3D images or printed copies providing for development of new biometric methods, and etc. This paper presents an approach based on photogrammetric techniques and non-contact measurements, providing technological and methodological development of paleo-anthropological studies, including data capturing, processing and representing.

A study of phylogenetic relationships in closely related groups of epidemically important species is an important task of parasitology and evolutionary theory. One of these species groups is the maculipennis complex, with its members widespread in Eurasia, North Africa and North America. We studied phylogenetic schemes of the Palaearctic part of this Complex, which are based on crossability of species, polytene chromosomes, isoenzymes, cuticular hydrocarbons and ITS2 of rRNA genes. The lack of high compliance between them prompted us to create a consensus scheme of phylogenetic relationships in the Palaearctic part of this Complex. We constructed phylogenetic schemes on the sequences of a COI gene fragment, the D2 variable region of 28S rDNA and ITS2 of rRNA genes using various algorithms (Neighborjoining, Minimum Evolution, Maximum parsimony and Maximum likelihood). Two consensus schemes of the Palaearctic branch of the maculipennis complex were constructed, validated and discussed. The first scheme was based mostly on molecular genetics data. The second scheme relies on polytene chromosome, geographical spread and ecological data. Phylogenetic relationships of An. beklemishevi are contradictory. This species is similar to other Palaearctic species by molecular markers but it is far from them by fixed chromosome inversions. It was shown that this species is distant from Neoarctic species of the An. quadrimaculatus branch. The proposed schemes show two possible scenarios of the maculipennis complex evolution. Differences between them are explained by facts and associated speculations as well as by assumptions made under different phylogenetic reconstruction methods. A hypothesis about a significant role of the disparity between the astronomical and biological times in the interpretation of evolutionary processes was proposed. To address the phylogeny problem of the Palaearctic branch of the maculipennis complex at a more detailed level, it is required to increase our knowledge about the underlying species.