Keywords: سیستم رویداد گسسته; Fault identification; Petri net; Integer linear programming; Discrete event system;
مقالات ISI سیستم رویداد گسسته (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم رویداد گسسته; Discrete event system; Automata; Fault diagnosis;
Keywords: سیستم رویداد گسسته; Air transportation; Air traffic control; Mathematical models; Buffer size; Discrete event system;
Keywords: سیستم رویداد گسسته; Bus transportation; Smart city; Data monitoring; Discrete event system
Keywords: سیستم رویداد گسسته; ASCI; advanced strategic computing initiative; CS; continuous system; Cs; cesium; Sr; strontium; Br; barium; Rb; rubidium; U; uranium; TRU; transuranic; DES; discrete event system; KAERI; Korea Atomic Energy Research Institute; Pu; plutonium; RE; rare ear
Keywords: سیستم رویداد گسسته; Discrete event system; Petri net; Supervisory control; Forbidden state problem
Keywords: سیستم رویداد گسسته; Discrete event system; Petri net; Fluidization; Piecewise affine system; Symmetries; Decolorization;
Keywords: سیستم رویداد گسسته; Discrete event system; Failure prognosis; Robust prognosability; Robust prognoser;
Keywords: سیستم رویداد گسسته; Discrete event system; Petri net; Supervisory control; Supervisor; Nonlinear constraint;
Keywords: سیستم رویداد گسسته; Discrete event system; Supervisory control; Controller synthesis; Petri net;
Keywords: سیستم رویداد گسسته; Petri nets; Sequence of decisions; Discrete event system; Alternatives aggregation Petri nets; Optimization;
Keywords: سیستم رویداد گسسته; Computational fluid dynamics; Cellular Automata; Discrete event system; Biomechanical simulations
Keywords: سیستم رویداد گسسته; Discrete event system; Supervisory control; State attraction; Partial observation
Keywords: سیستم رویداد گسسته; ASCI; Advanced Strategic Computing Initiative; CS; continuous system; DES; discrete event system; DLL; dynamic link library; EcWinSim; FORTRAN code name of electrowinning model; IPSCs; Integrated Performance and Safety Codes; KAERI; Korea Atomic Energy Re
Keywords: سیستم رویداد گسسته; Online optimization; Lookahead; Discrete event system; Algorithm analysis
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
Keywords: سیستم رویداد گسسته; Discrete event system; Finite automaton; Weak (periodic) detectability; PSPACE-hardness;
TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling
Keywords: سیستم رویداد گسسته; Colored Petri net; Scheduling; Reachability graph; Heuristic search; Discrete event system; Flexible manufacturing system; Simulation;
Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
Keywords: سیستم رویداد گسسته; Discrete event system; Petri net; Flexible manufacturing system; Deadlock; Liveness enforcing
Verification of initial-state opacity in security applications of discrete event systems
Keywords: سیستم رویداد گسسته; Discrete event system; Formal methods in security analysis; Initial state estimation; Initial state estimator; Tracking in sensor network
Verification of robust diagnosability for partially observed discrete event systems
Keywords: سیستم رویداد گسسته; Discrete event system; Failure diagnosis; Robust diagnoser; Robust diagnosability
GisFFE—an integrated software system for the dynamic simulation of fires following an earthquake based on GIS
Keywords: سیستم رویداد گسسته; Fires following earthquake; Computer simulation; Ignition; Fire-spread; Fire suppression; Discrete event system; GIS
Proposition of plant model for the verification of system safety
Keywords: سیستم رویداد گسسته; Plant model; Specification verification; timed automata; discrete event system; manufacturing system
Mobile Robot Navigation based on Fuzzy Discrete Event Systems
Keywords: سیستم رویداد گسسته; Fuzzy control; discrete event system; lookahead policy; mobile robot navigation
Multilayer optimization and scheduling using model predictive control: application to reentrant semiconductor manufacturing lines
Keywords: سیستم رویداد گسسته; Model predictive control; Scheduling; Hierarchical structure; Semiconductor fabrication facility; Reentrant manufacturing line; Discrete event system
UML MANUFACTURING SYSTEM MODEL ANALYSIS USING PETRI NETS
Keywords: سیستم رویداد گسسته; Discrete Event System; Modelling; UML; Petri Nets; Verification; Fault Identification
State observability and condition observability for a class of interacting discrete event systems
Keywords: سیستم رویداد گسسته; Discrete event system; Observer; Condition systems;
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Keywords: سیستم رویداد گسسته; Discrete event system; DEVS formalism; DEVS specification language; Model testing; Seamless design framework