• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.61-64
• /
• 2003

Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. These sensors can be deeply embedded in the physical world and spread throughout sensor network environment like smart dust. So ubiquitous computing will be come true. SmartDust project is the one of ubiquitous computing approach. It produces TinyOS, mote(mica, mica2, rene2, mica2dot, etc.), NesC, TinyDB, etc. We constructs sensor network test bed and tests to approach sensor network and ubiquitous computing.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.741-746
• /
• 2006

Future space is currently getting a great deal of attention to apply ubiquitous computing technology. At the same time, various ubiquitous technology-based products are being developed with service scenarios in the views of diverse user groups predicted. Since these service models and scenarios need to be tested to verify effectiveness, it requires researchers to predict spatial shapes and service scenarios for future domestic environment that fulfills diverse future spatial requirements including ecological and user-oriented spaces, extended amenity getting maximum benefits from technology, etc. To support these developments, the need to make a physical test-bed, a real building model, is essential. However building a physical test-bed generally is economically expensive and even if the test-bed could be settled, it must be carefully designed before it is built In this paper, we suggest a virtual smart test-bed, called "V-PlaceLab", using virtual reality techniques. This system allows not only to inspect a scenario with the aid of computer simulation on a virtual environment, but also to design a virtual test-bed mentioned above.

• 한국HCI학회:학술대회논문집
• /
• 2008.02b
• /
• pp.436-441
• /
• 2008

Contemporary workspace is configured in various manners according to working patterns, collaborative or independent nature of works, group-wise working styles and culture, the size of the group, and so on. On the other hand, conventional office space has tended to be a monolithic single space packed with various types of works. This change reflects what has happened to the meanings and structures of office space. The ubiquitous computing technique is being applied to the development of the intelligent office as it grows. This leads to the change of intelligent office technology which provides user-oriented spatial service. This paper focuses on the conceptualization and design of service scenarios or the intelligent office based on the user-oriented spatial service paradigm.

• Journal of Intelligence and Information Systems
• /
• v.14 no.4
• /
• pp.161-178
• /
• 2008

Development and realization of ubiquitous services in physical space is now in progress to develop ubiquitous smart space (USS). As the development methodologies for USS, scenario development is performed before requirement analysis and design, or vice versa. However, even though lots of redundant elements could be found between scenarios and requirement analysis results, a sort of structural approaches to join them together has been still very rare. Hence, the aim of this paper is to propose a system which generates ubiquitous service senarios and system analysis specifications according to a novel integration methodology. To do so, scenario and requirement analysis are integrated in a structured manner.

• Journal of Service Research and Studies
• /
• v.13 no.4
• /
• pp.97-112
• /
• 2023

Background: In modern society, the importance of Public Design has become increasingly significant in contributing to the enhancement of urban functionality and the quality of life of citizens. Smart Public Facilities have played a pivotal role in enriching user experience by improving accessibility, convenience, and safety, and in elevating the value of the city. This research recognizes the importance of Public Facilities and explores the potential of Smart Public Facilities in solving urban challenges and progressing towards sustainable and Inclusive cities. Method: The literature review comprehensively examines existing theories and research results on Smart Public Facilities. The case study analyzes actual examples of Smart Public Facilities implemented in cities both domestically and internationally, drawing out effects, user satisfaction, and areas for improvement. Through analysis and discussion, the results of the case studies are evaluated, discussing the potential development of Smart Public Facilities. Results: Smart Public Facilities have been found to bring positive changes in various aspects such as urban management, energy efficiency, safety, and information accessibility. In terms of urban management, they play a crucial role in optimization, social Inclusiveness, environmental protection, fostering citizen participation, and promoting technological innovation. These changes create a new form of urban space, combining physical space and digital technology, enhancing the quality of life in the city. Conclusion: This research explores the implications, current status, and functions of Smart Public Facilities in service and design aspects, and their impact on the urban environment and the lives of citizens. In conclusion, Smart Public Facilities have brought about positive changes in the optimization of urban management, enhancement of energy efficiency, increased information accessibility, User-Centric design, increased interaction, and social Inclusiveness. Technological innovation and the integration of Public Facilities have made cities more efficient and proactive, enabling data-based decision-making and optimized service delivery. Such developments enable the creation of new urban environments through the combination of physical space and digital technology. The advancement of Smart Public Facilities indicates the direction of urban development, where future cities can become more intelligent, proactive, and User-Centric. Therefore, they will play a central role in Public Design and greatly contribute to improving the urban environment and the quality of life of citizens.

• Korean Institute of Interior Design Journal
• /
• v.21 no.5
• /
• pp.57-64
• /
• 2012

The ideologie of modern society as per something to phenomenology problem is to show various different looks. The community space is spring from Greek and Roman of community place by agora and forum is make a active communicate to interpersonally. Subject to centrically In the context, this paper is study on the Sustainable development for community space about interactive space. and focusing is Response to human of interact in each other intelligent space. And this paper suggestion is composition method of community space in technology advanced, Interactive interface form for human, sustainable to community space direction elements. First, I'll rearrange the distinctive features of modern society through references of various scholars. This is to understand how interactivity affects the whole society and what is the importance of this interactive wave. Second, I'll analyze several trends of modern community space and figure the change of methodology of design based on the advancement of design technology. This is to understand the interactive relation of the subjects. Third, I'll seek how community space design has changed in modern society and under which process design is made. This is to clarify the fact that the portion of interaction will increase in future design according to the intervention of equipment, which is one of the objects of interaction space.

• Spatial Information Research
• /
• v.23 no.1
• /
• pp.69-77
• /
• 2015

The aim of this study is to examine the research trends of global scientific production of Geospatial Information (GI) papers from 1998 to 2013 by using keyword network analysis. This study constructed keyword network model through papers and keywords related to GI research retrieved from the Web of Science DB and performed keyword network analysis such as Degree Centrality, Betweenness Centrality, and Closeness Centrality. The results show that GI has been steadily applied to various fields, and also the research trends of GI techniques could be quantitatively characterized through keyword network analysis. This study result can be applied to establish the policies and the national R&D planning of geospatial information.

• The KSFM Journal of Fluid Machinery
• /
• v.17 no.6
• /
• pp.77-83
• /
• 2014

The vessel of integral reactor contains its major primary components such as the fuel and core, pumps, steam generators, and a pressurizer, so its size is proportional to the required space for the installation of each component. The steam generators take up the largest volume of internal space of reactor vessel and their volumes is substantial for the overall size of reactor vessel. Reduction of installation space for steam generators can lead to much smaller reactor vessel with resultant decrease of overall cost for the components and related facilities. A printed circuit heat exchanger is one of the compact types of heat exchangers available as an alternative to conventional shell and tube heat exchangers. Its name is derived from the procedure used to manufacture the flat metal plates that form the core of the heat exchanger, which is done by chemical milling. These plates are then stacked and diffusion bonded, converting the plates into a solid metal block containing precisely engineered fluid flow passages. The overall heat transfer area and pressure drops are evaluated for the steam generator based on the concept of the printed circuit heat exchanger in this study. As the printed circuit heat exchanger is known to have much larger heat transfer area density per unit volume, we can expect significantly reduced steam generator compared to former shell and tube type of steam generator. For the introduction of new steam generator, two design requirements are considered: flow area ratio between primary and secondary flow paths, and secondary side parallel channel flow oscillation. The results show that the overall volume of the steam generator can be significantly reduced with printed circuit type of steam generator.

• The Journal of Society for e-Business Studies
• /
• v.14 no.3
• /
• pp.131-151
• /
• 2009

Natural interface is important to select and provide the services in ubiquitous smart space such as u-plant, u-distribution. Augmented Reality(AR) has recently begun to receive attention as a realization tool for natural interface. AR provides virtual object on real environment and it differs from virtual reality. When AR is used, it has advantage to provide information intuitively and collaboratively. However AR is rarely used in e-commerce domain of ubiquitous smart space, and it has limitation which predefined information and services provide in a static manner. Hence, the purpose of this paper is to propose a methodology of AR based e-commerce which provides personalized association service by considering user's dynamic context. To do so, association algorithm is developed based on Rescorla-Wagner model and Galton's free association test.