Aerospace Instrument-Making Annotation << Back Formalization of process of forming minimum sufficient knowledge bases for carrying out scientific researches in the interests of developing of the aerospace aircrafts control complexes A.N. Kazakov, V.B. Kudryavtsev Scientific research process formalized in terms of mathematics and formal logics is considered. Model of process of forming knowledge bases minimum sufficient for carrying out scientific researches is suggested. This model is based on presentation of the knowledge in two ways: first – in terms of knowledge, information and data, second – as the system of denotata and their concepts. Examined model allows coming over to question of forming knowledge bases in conditions of existing resource limitations and developing corresponding control systems. As a result it will provide the increase of efficiency of carrying out scientific researches.