检索

期
标题
作者
卷 20, 编号 2 (2019)
Applying software-mathematical models of onboard equipment to develop onboard software
Lomaev Y., Ivanov I., Tolstykh A., Islentev E.
PDF
(Eng)
卷 22, 编号 1 (2021)
Multiversion model of software control systems for space vehicles with range of decision-making
Kartsan I., Efremova S.
PDF
(Rus) PDF
(Eng)
卷 21, 编号 3 (2020)
Mathematical model of reliability of information processing computer appliances for real-time control systems
Aab A., Galushin P., Popova A., Terskov V.
PDF
(Eng)
卷 21, 编号 2 (2020)
Applying software-mathematical models of onboard equipment to develop onboard software
Lomaev Y., Ivanov I., Tolstykh A., Islentev E.
PDF
(Eng)
卷 11, 编号 1 (2010)
Мain principles of communication and navigation satellites onboard software system testing and validation
Koltashev А.
PDF
(Rus)
卷 10, 编号 3 (2009)
Modular decomposition modelsof technological control cycles software
Antamoshkin О., Nurgaleeva J., Usachev A.
PDF
(Rus)
卷 15, 编号 4 (2014)
Problems of software implementation of multiversioned views runtime of algorithms for data processing in control systems
Kovalev I.
PDF
(Rus)
卷 18, 编号 4 (2017)
RESEARCH INTO THE METHODS OF SOFTWARE PRODUCT DEVELOPING AND MAINTAINING
Abenova Z., Petrov M.
PDF
(Rus)
卷 10, 编号 1-2 (2009)
DIACOPTICS METHOD APPLICATION FOR SOFTWARE RELIABILITY ANALYSIS
Kolesov K.
PDF
(Rus)
卷 15, 编号 2 (2014)
Modifications to the standard ant colony algorithm for solving the problem of formation multiversioned views software
Kovalev D., Klimenko A., Soloviev E., Tueva E.
PDF
(Rus)
卷 16, 编号 3 (2015)
MODERNIZATION DIRECTIONS OF THE HARDWARE AND SOFTWARE OF «KRABIK-BM» RADIO NAVIGATION SYSTEM
Aleshechkin A., Feoktistov D.
卷 13, 编号 5 (2012)
COST ESTIMATION FOR MODERNIZATION OF CRITICAL RELIABILITY SYSTEMS SOFTWARE
Kukartsev V., Sheenok D.
PDF
(Rus)
卷 15, 编号 1 (2014)
Ant algorithm modification for the problem of multiversion software formation
Kovalev I., Karaseva M., Solovyev E.
PDF
(Rus)
卷 13, 编号 5 (2012)
RELIABILITY IMPROVEMENT OF COMPLEX NETWORKS SOFTWARE
Zhukov V., Sheenok D., Terskov V.
PDF
(Rus)
卷 15, 编号 1 (2014)
Development of the equivalent transformation of GERT-networks methods for multiversion software analysis
Kovalev D., Saramud M., Karaseva M., Nurgaleeva Y.
PDF
(Rus)
卷 13, 编号 1 (2012)
PROBLEMS OF OPTIMISATION OF SOFTWARE OF ON-BOARD RADIO-ELECTRONIC EQUIPMENT
Zharikov V., Pichkalev A.
PDF
(Rus)
卷 14, 编号 4 (2013)
THE DESIGN OF THE EXPERIMENT AND CREATION OF THE REGRESSION MODEL OF THE SPECIFIC IMPULSE LIQUID ROCKET ENGINE THRUST FROM 10 TO 420 N
Kolomentsev A., Khokhlov A.
PDF
(Rus)
卷 11, 编号 3 (2010)
The mam typesof redundancy that are used for design of navigation and communication satellites reliable operation software
Kondratev С., Shumakov N., Erohov P., Hohlova A., Koltashev A.
PDF
(Rus)
卷 13, 编号 4 (2012)
ANALYSIS OF PROBABILISTIC AND INTERIM CHARACTERISTICS OF FAULT TOLERANT SOFTWARE OF DISTRIBUTED COMPUTING SYSTEMS
Tsarev R., Shtarik A., Shtarik E., Kochergina M., Panfilova T.
PDF
(Rus)
卷 14, 编号 1 (2013)
Model of GERT-networks for different ways of usage of multi-version methodology
Kovalev I., Zelenkov P., Saramud M., Sidorova G., Brezitskaya V.
PDF
(Rus)
卷 11, 编号 3 (2010)
Computing algorithms dispatching and usein navigation and communication satellites on-board software
Kondratev C., Shumakov N., Koltashev A.
PDF
(Rus)
卷 15, 编号 2 (2014)
The system of formation of the composition multiversioned views of the software in real time
Solovyev E.
PDF
(Rus)
卷 20, 编号 1 (2019)
MATHEMATICAL MODELING OF THE TECHNOLOGICAL PROCESS OF IMPROVING THE QUALITY OF POLYMERIC PRODUCTS OF MACHINE-BUILDING PURPOSES
Larchenko A., Filippenko N., Livshits A.
PDF
(Rus)
卷 15, 编号 3 (2014)
Analysis of problems in the research area of software reliability: a lot of stages and architectural aspect
Kovalev I.
PDF
(Rus)
卷 18, 编号 1 (2017)
SOFTWARE SUPPORT FOR TESTING of large spacecraft REFLECTOR AND EVALUATION OF THE OPERATION PARAMETERS OF COMPONENT WEIGHT COMPENSATION SYSTEM
Kovalev I., Badanina J.
PDF
(Rus)
1 - 25 的 25 信息

检索提示:

  • 检索的名词区分大小写
  • 常用字词将被忽略
  • 默认情况下只有在查询结果满足所有检索词才返回（例如，隐含AND）
  • 使用OR结合多个检索词，便于查找含有这些检索词的文章，例如education OR research
  • 使用括号来创建更复杂的查询; 例如：archive ((journal OR conference) NOT theses)
  • 使用引号检索一个完整的词组; 例如： "open access publishing"
  • 使用-或者NOT排除一个检索词; 例如：online -politics or online NOT politics
  • 在检索词里使用 *作为通配符匹配任何字符序列; 例如., soci* morality 将符合含有 "sociological" or "societal"的词语
##common.cookie##