Integrating graphics and abstract data to visualize temporal constraints

1998 ◽  
Vol 9 (3-4) ◽  
pp. 18-23 ◽  
Author(s):  
Louis Hoebel ◽  
William Lorensen ◽  
Ken Martin
2012 ◽  
Vol 35 (8) ◽  
pp. 1759
Author(s):  
Li-Hua WU ◽  
Ai-Xiang CHEN ◽  
Yun-Fei JIANG ◽  
Rui BIAN

1988 ◽  
Vol 11 (1) ◽  
pp. 49-63
Author(s):  
Andrzej Szalas

In this paper we deal with a well known problem of specifying abstract data types. Up to now there were many approaches to this problem. We follow the axiomatic style of specifying abstract data types (cf. e.g. [1, 2, 6, 8, 9, 10]). We apply, however, the first-order temporal logic. We introduce a notion of first-order completeness of axiomatic specifications and show a general method for obtaining first-order complete axiomatizations. Some examples illustrate the method.


2021 ◽  
Vol 11 (7) ◽  
pp. 3090
Author(s):  
Sangwook Yoo ◽  
Cheongho Lee ◽  
Seongah Chin

To experience a real soap bubble show, materials and tools are required, as are skilled performers who produce the show. However, in a virtual space where spatial and temporal constraints do not exist, bubble art can be performed without real materials and tools to give a sense of immersion. For this, the realistic expression of soap bubbles is an interesting topic for virtual reality (VR). However, the current performance of VR soap bubbles is not satisfying the high expectations of users. Therefore, in this study, we propose a physically based approach for reproducing the shape of the bubble by calculating the measured parameters required for bubble modeling and the physical motion of bubbles. In addition, we applied the change in the flow of the surface of the soap bubble measured in practice to the VR rendering. To improve users’ VR experience, we propose that they should experience a bubble show in a VR HMD (Head Mounted Display) environment.


2021 ◽  
Vol 13 (7) ◽  
pp. 1316
Author(s):  
Jia Liu ◽  
Zongyu Yue ◽  
Kaichang Di ◽  
Sheng Gou ◽  
Shengli Niu

The age of Mars yardangs is significant in studying their development and the evolution of paleoclimate conditions. For planetary surface or landforms, a common method for dating is based on the frequency and size distribution of all the superposed craters after they are formed. However, there is usually a long duration for the yardangs’ formation, and they will alter the superposed craters, making it impossible to give a reliable dating result with the method. An indirect method by analyzing the ages of the superposed layered ejecta was devised in the research. First, the layered ejecta that are superposed on and not altered by the yardangs are identified and mapped. Then, the ages of the layered ejecta are derived according to the crater frequency and size distribution on them. These ages indicate that the yardangs ceased development by these times, and the ages are valuable for studying the evolution of the yardangs. This indirect dating method was applied to the areas of Martian yardangs in the Medusae Fossae Formation (MFF). The ages of the selected six layered ejecta range from ~0.50 Ga to ~1.5 Ga, indicating that the evolution of the corresponding yardangs had been ceased before these times. Analysis of more layered ejecta craters and superposed yardangs implies that yardangs in the MFF have a long history of development and some yardangs are still in active development.


Sign in / Sign up

Export Citation Format

Share Document