Definition, analysis and synthesis of goals in complex systems. Simulation models and methods

被引：0
|
作者：
L. M. Lukyanova
机构：
[1] Russian Academy of Sciences,St. Petersburg Institute of Information Science and Automation
来源：
Journal of Computer and Systems Sciences International | 2007年 / 46卷
关键词：
Decision Maker; Semantic Relation; System Science International; Kripke Model; Logical Error;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The problem of ensuring logically correct definition, analysis and synthesis of goals in complex systems and correct results of these procedures, viz. structures of goals and schemes of achieving goals, is stated. Models and methods that allow classifying the possible logical errors in the structures of goals and developing a human-machine system for analyzing and synthesizing goals are proposed.
引用
收藏
页码：766 / 778
页数：12
相关论文
共 50 条
  • [41] General models of host-parasite systems. Global analysis
    Adda, P.
    Dimi, J. L.
    Iggidr, A.
    Kamgang, J. C.
    Sallet, G.
    Tewa, J. J.
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2007, 8 (01): : 1 - 17
  • [42] Mathematical models, designing, analysis and synthesis of control systems of the complex flexible objects
    Nebylov, AV
    Panferov, AI
    Brodsky, SA
    2005 International Conference on Physics and Control (PHYSCON), 2005, : 491 - 496
  • [43] Treatment of Constraints in Complex Multibody Systems. Part I: Methods of Constrained Dynamics
    Ozaki, Taira
    Shabana, Ahmed A.
    INTERNATIONAL JOURNAL FOR MULTISCALE COMPUTATIONAL ENGINEERING, 2003, 1 (2-3) : 235 - 252
  • [44] Hierarchical simulation of complex production systems by coupling of models
    Zülch, G
    Jonsson, U
    Fischer, J
    INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 2002, 77 (01) : 39 - 51
  • [45] MODELS, METHODS AND EXPERIMENTS - A NEW STRUCTURE FOR SIMULATION SYSTEMS
    BREITNECKER, F
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1992, 34 (3-4) : 231 - 260
  • [46] On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems
    Lu, Yue
    Kraft, Johan
    Nolte, Thomas
    Norstrom, Christer
    2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
  • [47] A Study on Simulation Models of BDR Time of Complex Systems
    SHI Quan
    International Journal of Plant Engineering and Management, 2001, (01) : 24 - 32
  • [48] Analysis of numerical methods for the simulation of deformable models
    Hauth, M
    Etzmuss, O
    Strasser, W
    VISUAL COMPUTER, 2003, 19 (7-8): : 581 - 600
  • [49] Analysis of numerical methods for the simulation of deformable models
    Michael Hauth
    Olaf Etzmuss
    Wolfgang Strasser
    The Visual Computer, 2003, 19 : 581 - 600
  • [50] Simulation-Based Bias Correction Methods for Complex Models
    Guerrier, Stephane
    Dupuis-Lozeron, Elise
    Ma, Yanyuan
    Victoria-Feser, Maria-Pia
    JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 2019, 114 (525) : 146 - 157
12345