Search academic texts

Information × Registration Number 0212U005135, 0111U006840 , R & D reports Title The use of models paralelizma in the atudy of fundamental regularities in the processes of the expression and human genes popup.stage_title Head Bozhkov A., Registration Date 26-03-2012 Organization Kharkov National University named after V.N. Karazin popup.description2 The object of the study: formal semantics and logics model, of the regulation of expression and transcription of genes, based on recent advances in cell and molecular biology and genetics. Purpose of the work: the purpose of the work is to develop a formal semantic and logical language for describing processes of regulation of expression and transcription of human genes that reflect such basic properties of these systems, as the massive parallelism of the interdependent processes of different time scales of processes at different levels of hierarchy and modularity. Methods and results: was shown that the dynamic processes of regulation of expression and transcription genes in incomplete observability and incomplete description can be written as pre automata. The introduced notion of abstract pre automata, as a category fibered Span over the factor free monoid on the system of n-equivalences permutability. It is proved that the abstract pre automata, in some sense equivalent to a parametric family of C* - operator algebras. The notion equivalence of parallelism corresponding to the transition from one level of detail to a generalized description. It is shown that this equivalence relation is a weak homotopy equivalence. The agreed with the dynamics of the transition from one level of detail to another is a factorization modulo of the equivalence of parallelism. The hierarchical system of regulatory processes corresponds to the system n-homotopy abstract pre automata. Was shown that current models of dynamic processes the regulation of gene transcription and expression - system graph transformation and the general model of concurrency - higher dimensions automata and higher dimensional transition systems are abstract models of pre automata. The internal logic of the pre automata does not classical, n-dimensional dynamic logic and extensional dependent types of Martin Lof Product Description popup.authors Асадова М. Львов С. popup.nrat_date 2020-04-02 Close