OPTIMIZATION OF REAL-TIME AUTOMATED SCIENTIFIC-RESEARCH SYSTEMS

被引：0
|
作者：
VITTIKH, VA
CIBATOV, VA
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1981年 / 04期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：25 / 26
页数：2
相关论文
共 50 条
  • [1] AUTOMATED SYSTEMS FOR CREATIVE PROCESSES IN SCIENTIFIC-RESEARCH, DESIGN, AND ROBOTICS
    GLUSHKOV, VM
    STOGNII, AA
    BIBA, IG
    VASHCHENKO, ND
    GALAGAN, NI
    GLADUN, VP
    RABINOVICH, ZL
    SAKUNOV, IA
    KHOMENKO, LV
    CYBERNETICS, 1981, 17 (06): : 840 - 847
  • [2] REAL-TIME AND AUTOMATED SYSTEMS
    EPSTEIN, SB
    LIBRARY JOURNAL, 1987, 112 (08) : 50 - 51
  • [3] METHODOLOGY OF DEVELOPING AUTOMATED SYSTEMS FOR SCIENTIFIC-RESEARCH BY ACCOUNTING FOR ACCURACY CRITERIA
    VUKOLIKOV, VM
    MEASUREMENT TECHNIQUES USSR, 1991, 34 (08): : 747 - 749
  • [4] SENSUALISTIC EPISTEMOLOGY AND REAL SCIENTIFIC-RESEARCH
    OIZERMAN, TI
    VOPROSY FILOSOFII, 1994, (06) : 55 - 63
  • [5] Optimization research on thermal and power management for real-time systems
    Li T.
    Yu G.
    Song J.
    Song, Jie (songjie@mail.neu.edu.cn), 1600, Science Press (53): : 1478 - 1492
  • [6] SPACE AND TIME REFERENCE IN SCIENTIFIC-RESEARCH
    ZUDIN, OS
    GRIGORJEV, GN
    LAAKSONEN, O
    POUKKULA, K
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1983, (03): : 86 - 92
  • [7] FULL-TIME SCIENTIFIC-RESEARCH
    GARRAHAN, PJ
    MEDICINA-BUENOS AIRES, 1986, 46 (02) : 235 - 239
  • [8] AUTOMATED-SYSTEM FOR SCIENTIFIC-RESEARCH IN CATALYSIS AREA
    TIMOSHENKO, VI
    STRAHL, IY
    LUZHKOV, YM
    SLINKO, MG
    KHIMICHESKAYA PROMYSHLENNOST, 1979, (03): : 172 - 177
  • [9] Automated compositional proofs for real-time systems
    Furia, CA
    Rossi, M
    Mandrioli, D
    Morzenti, A
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3442 : 326 - 340
  • [10] Automated compositional proofs for real-time systems
    Furia, Carlo A.
    Rossi, Matteo
    Mandrioli, Dino
    Morzenti, Angelo
    THEORETICAL COMPUTER SCIENCE, 2007, 376 (03) : 164 - 184
12345