• Journal of KIISE:Databases
• /
• v.30 no.2
• /
• pp.109-124
• /
• 2003

Although most commercial relational DBMSs Provide a graphical query language for the user friendly interfaces of the databases, few research has been done for graphical query languages in object databases. Expressing complex query conditions in a concise and intuitive way has been an important issue in the design of graphical query languages. Since the object data model and object query languages are more complex than those of the relational ones, the graphical object query language should have a concise and intuitive representation method. We propose a graphical object query language called GOQL (Graphical Object Query Language) for object databases. By employing simple graphical notations, advanced features of the object queries such as path expressions including set attributes, quantifiers, and/or methods can be represented in a simple graphical notation. GOQL has an excellent expressive power compared with previous graphical object query languages. We show that path expressions in XSQL(1,2) can be represented by the simple graphical notations in GOQL. We also propose an algorithm that translates a graphical query in GOQL into the textual object query with the same semantics. We finally describe implementation results of GOQL in the Internet environments.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.26 no.3
• /
• pp.340-349
• /
• 2016

A coupled room system consists of adjacent rooms and apertures where the sound energy is exchanged between the two rooms. Acoustically, a coupled room system shows a non-exponential decay profile. Most of the related researches have been to analyze the acoustic properties of two-room coupled system so far whereas three-room coupled system were seldom studied. In this regard, this paper aims to analyse the distribution of sound pressure level, sound decay curve of three-room coupled system and sound energy flow between them by using the acoustic diffusion model and to further verify them through experiments. Firstly, the sound pressure level distribution and mean sound pressure level in the steady-state condition are analyzed at various frequencies and source locations. Good agreements are observed in both experiments and analysis results. Secondly, two double slope effect quantifiers of sound attenuation, LDT/EDT and LDT/T10 are compared at various frequencies and for different source locations. The result indicates that LDT/T10, less affected by the early reflection patterns than LDT/EDT, is more suitable to the analysis and experiments of a multi-slope sound decay curve. Lastly, the sound energy flow in each room is analyzed based on the acoustic diffusion model. After the early decay stage, the sound energy is observed to flow from the room with a long reverberation time to the room with a short one.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.450-464
• /
• 2002

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.