Decision Problems for the Verification of Real-Time Software

2006 ◽  
pp. 200-211 ◽  
Author(s):  
Michael Emmi ◽  
Rupak Majumdar
Keyword(s):  
Real Time ◽  
Decision Problems

Real-Time Decision Problems: An Operational Research Perspective

1997 ◽  
Vol 48 (2) ◽  
pp. 162
Author(s):  
R. Seguin ◽  
J-Y. Potvin ◽  
M. Gendreau ◽  
T. G. Crainic ◽  
P. Marcotte
Keyword(s):  
Real Time ◽  
Operational Research ◽  
Decision Problems ◽  
Research Perspective

Real-time decision problems: an operational research perspective

1997 ◽  
Vol 48 (2) ◽  
pp. 162-174 ◽  
Author(s):  
R Séguin ◽  
J-Y Potvin ◽  
M Gendreau ◽  
T G Crainic ◽  
P Marcotte
Keyword(s):  
Real Time ◽  
Operational Research ◽  
Decision Problems ◽  
Research Perspective

Modular Real-Time Trellis Automata

1986 ◽  
Vol 9 (3) ◽  
pp. 253-282
Author(s):  
Anton Černý ◽  
Jozef Gruska
Keyword(s):  
Real Time ◽  
Normal Forms ◽  
Decision Problems ◽  
Dimensional Structure ◽  
Two Dimensional ◽  
Intuitive Notion ◽  
Mathematical Abstraction ◽  
New Type

A new type of nonhomogeneous real time trellis automata, the so-called modular trellis automata, is introduced and various results concerning their normal forms, power, simulations, and decision problems are shown. Modular trellis automata are a mathematical abstraction, in the form of a recognizer, of an intuitive notion of an array of simple processors assembled in a simple and modular way. Distribution of processors in a real-time trellis automaton forms a two-dimensional structure called trellis. Basic characterizations and properties of modular trellises are summarized and modularity of various special trellises – regular, product, self-embedding, and self-overlapping – is investigated.

Real-time decision problems: an operational research perspective

1997 ◽  
Vol 48 (2) ◽  
pp. 162-174 ◽  
Author(s):  
R Séguin ◽  
J-Y Potvin ◽  
M Gendreau ◽  
T G Crainic ◽  
P Marcotte
Keyword(s):  
Real Time ◽  
Operational Research ◽  
Decision Problems ◽  
Research Perspective

scholarly journals Real-Time Strategy Game Competitions

AI Magazine ◽  
2012 ◽  
Vol 33 (3) ◽  
pp. 106 ◽  
Author(s):  
Michael Buro ◽  
David Churchill
Keyword(s):  
Real Time ◽  
Research Community ◽  
Decision Problems ◽  
Future Directions ◽  
Team Games ◽  
Game Ai ◽  
Strategy Game ◽  
Real Time Strategy Game ◽  
Rts Game

In recent years, real-time strategy (RTS) games have gained attention in the AI research community for their multitude of challenging and relevant real-time decision problems that have to be solved in order to win against human experts or to effectively collaborate with other players in team-games. In this article we motivate research in this area, give an overview of past RTS game AI competitions, and discuss future directions.

scholarly journals Dynamic game difficulty balancing in real time using Evolutionary Fuzzy Cognitive Maps with automatic calibration

2016 ◽  
Vol 7 (1) ◽  
pp. 1
Author(s):  
Lizeth Joseline Fuentes Perez ◽  
Luciano Arnaldo Romero Calla ◽  
Anselmo Antunes Montenegro ◽  
Luis Valente ◽  
Esteban Walter Gonzales Clua
Keyword(s):  
Real Time ◽  
Medical Diagnosis ◽  
Dynamic Game ◽  
Cognitive Maps ◽  
Fuzzy Cognitive Maps ◽  
Decision Problems ◽  
Automatic Calibration ◽  
Research Fields ◽  
Automated Method

Fuzzy Cognitive Maps (FCM) is a paradigm used to represent knowledge in a simple and concise way, expressing the grade of relation that exists between concepts and causal relationships. Due to its flexibility, FCM has been successfully applied in numerous applications in diverse research fields, such as, robotics, medical diagnosis, decision problems in information technology, games, and so forth. However, one critical drawback is the determination of the weights in the representation graph, which is generally done by an expert. The present paper proposes a semi-automated method for calibrating the weights in a solution for the problem of dynamic game difficulty balancing (DGB) using Evolutionary Fuzzy Cognitive Maps (E-FCM). The proposed algorithm adjusts the weights in real time, ensuring an equilibrium between the values generated according to the expert’s contribution (based on a static analysis) and the changes produced in the values of the concepts by the calibration process during the simulation (a dynamic analysis).

Some Recent Results in Quiescent Prominence Spectrometry

1979 ◽  
Vol 44 ◽  
pp. 41-47
Author(s):  
Donald A. Landman
Keyword(s):  
Real Time ◽  
Computer System ◽  
Spectral Response ◽  
Absolute Intensity ◽  
Solar Observatory ◽  
Target Size ◽  
Small Target ◽  
Signal Averaging ◽  
Quiescent Prominence

This paper describes some recent results of our quiescent prominence spectrometry program at the Mees Solar Observatory on Haleakala. The observations were made with the 25 cm coronagraph/coudé spectrograph system using a silicon vidicon detector. This detector consists of 500 contiguous channels covering approximately 6 or 80 Å, depending on the grating used. The instrument is interfaced to the Observatory’s PDP 11/45 computer system, and has the important advantages of wide spectral response, linearity and signal-averaging with real-time display. Its principal drawback is the relatively small target size. For the present work, the aperture was about 3″ × 5″. Absolute intensity calibrations were made by measuring quiet regions near sun center.

Video real-time imaging of artificial membranes during freeze-drying by cryo-electron microscopy

1988 ◽  
Vol 46 ◽  
pp. 16-17
Author(s):  
Alan S. Rudolph ◽  
Ronald R. Price
Keyword(s):  
Real Time ◽  
Self Assembly ◽  
Freeze Drying ◽  
Video Capture ◽  
Drying Process ◽  
Artificial Membranes ◽  
The Past ◽  
Cryo Electron Microscopy ◽  
Spherical Structures ◽  
Capture Techniques

We have employed cryoelectron microscopy to visualize events that occur during the freeze-drying of artificial membranes by employing real time video capture techniques. Artificial membranes or liposomes which are spherical structures within internal aqueous space are stabilized by water which provides the driving force for spontaneous self-assembly of these structures. Previous assays of damage to these structures which are induced by freeze drying reveal that the two principal deleterious events that occur are 1) fusion of liposomes and 2) leakage of contents trapped within the liposome [1]. In the past the only way to access these events was to examine the liposomes following the dehydration event. This technique allows the event to be monitored in real time as the liposomes destabilize and as water is sublimed at cryo temperatures in the vacuum of the microscope. The method by which liposomes are compromised by freeze-drying are largely unknown. This technique has shown that cryo-protectants such as glycerol and carbohydrates are able to maintain liposomal structure throughout the drying process.

An Interactive Minicomputer Program for the Indexing and Simulation of Electron Diffraction Patterns

1976 ◽  
Vol 34 ◽  
pp. 542-543
Author(s):  
R.P. Goehner ◽  
W.T. Hatfield ◽  
Prakash Rao
Keyword(s):  
Electron Diffraction ◽  
Real Time ◽  
Pattern Analysis ◽  
Flow Diagram ◽  
Hard Copy ◽  
Time Analysis ◽  
Real Time Analysis ◽  
Transmission Electron ◽  
One Step ◽  
Diffraction Patterns

Computer programs are now available in various laboratories for the indexing and simulation of transmission electron diffraction patterns. Although these programs address themselves to the solution of various aspects of the indexing and simulation process, the ultimate goal is to perform real time diffraction pattern analysis directly off of the imaging screen of the transmission electron microscope. The program to be described in this paper represents one step prior to real time analysis. It involves the combination of two programs, described in an earlier paper(l), into a single program for use on an interactive basis with a minicomputer. In our case, the minicomputer is an INTERDATA 70 equipped with a Tektronix 4010-1 graphical display terminal and hard copy unit.A simplified flow diagram of the combined program, written in Fortran IV, is shown in Figure 1. It consists of two programs INDEX and TEDP which index and simulate electron diffraction patterns respectively. The user has the option of choosing either the indexing or simulating aspects of the combined program.

Sign in / Sign up

Export Citation Format

Share Document