• 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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.614-629
• /
• 2001

As the information-intensive society in 21c based on the environment of global internet is promoted, the software is getting more large and complex, and the demand for the software is increasing briskly. So, it becomes an important issue in academic and industrial field to activate reuse by developing and exchanging the standardized component. Currently, the information services as a product type of each company are provided in foreign market place for reusing a commercial component, but the components which are serviced in each market place are different, insufficient and unstandardized. That is, construction for Component Data Registry based on ISO 11179, is not accomplished. Hence, the national government has stepped up the plan for sending out public component at 2001. Therefore, the systems as a tool for sharing and exchange of data, have to support the meta-information of standardized component. In this paper, we will propose the C_MDR system: a tool to register and manage the standardized meta-information, based upon ISO 11179, for the commercialized common component. The purpose of this system is to systemically share and exchange the data in chain of acceleration of reusing the component. So, we will show the platform of specification for the component meta-information, then define the meta-information according to this platform, also represent the meta-information using XML for enhancing the interoperability of information with other system. Moreover, we will show that three-layered expression make modeling to be simple and understandable. The implementation of this system is to construct a prototype system of the component meta-information through the internet on www, this system uses ASP as a development language and RDBMS Oracle for PC. Thus, we may expect the standardization of the exchanged component metadata, and be able to apply to the exchanged reuse tool.

• Journal of Korea Game Society
• /
• v.19 no.5
• /
• pp.77-90
• /
• 2019

This paper discusses the shaping of game culture and the socio-cultural functions of game-making events based on co-production ideation by meta-analysis. Research has shown that the experience in this event helps to reshape the perception of the game culture, which eventually will lead to the extended meanings of game culture. It can also be seen that the game-making event serves as an educational platform for building the next generation competencies.

• The Journal of Industrial Distribution & Business
• /
• v.13 no.7
• /
• pp.37-45
• /
• 2022

Purpose: Leisure time is an intrinsic part of the work-life balance that enables people to rejuvenate their energy and provides a platform to maintain their health while sustaining their productivity levels. The purpose of this study is to investigate the effects of changes in leisure consumption culture on the modern economy through various research materials. Research design, data and methodology: To have completeness in published systematic reviews and meta-analyses, the use of the standard Preferred Reporting Items for Systematic Reviews and Meta-Analyses checklist is essential and the present research selected this research design. Results: This research figured out that individuals who spend most of their leisure time watching TV have been shown to experience lesser satisfaction in their job designation and less happiness overall and also found that Leukocyte Telomere Length is influenced by the type of leisure an individual engages in. Conclusions: Overall, this research points out that the income effect may provide an inverse relationship between work time and labor in that high income from labor makes an individual less inclined to work to make the same money they made before the increased benefits. It is a narrative that may need further research in finding the principles that govern leisure in the labor force.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.51 no.4
• /
• pp.16-30
• /
• 2023

As the concept of metaverse has received great attention, interest in metaverse related to landscape architecture is also increasing. The aim of this research is to understand the potential and tasks of applying metaverse in the field of landscape architecture by analyzing the user experience of a metaverse platform. The object of the research is Meta-Everland built in the Roblox platform, which has the most users among landscape architectural metaverses in Korea. NPS of 30 users who have been to Everalnd was investigated after using Meta-Everland with interviews. NPS before the metaverse experience was -16 and NPS after the experience was -24. This result means that the promotion level was lowered after the experience of the metaverse. There were three causes of lowered NPS: lack of users, low-quality graphics and interface, and lack of content. The factor of lack of users was the result of the other two problems. The factor of low technical quality is hard to be improved in a short period of time. Therefore, the main task to improve the metaverse is developing better metaverse content related to landscape architecture. It is more appropriate to develop metaverse-specific content rather than improve reality issues. Applying AR and VR devices, enhancing communication function, and developing potential as a simulation device are needed to be considered.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.7
• /
• pp.2793-2800
• /
• 2015

In molecular-targeted cancer therapy, acquired resistance to gemcitabine is a major clinical problem that reduces its effectiveness, resulting in recurrence and metastasis of cancers. In spite of great efforts to reveal the overall mechanism of acquired gemcitabine resistance, no definitive genetic factors have been identified that are absolutely responsible for the resistance process. Therefore, we performed a cross-platform meta-analysis of three publically available microarray datasets for cancer cell lines with acquired gemcitabine resistance, using the R-based RankProd algorithm, and were able to identify a total of 158 differentially expressed genes (DEGs; 76 up- and 82 down-regulated) that are potentially involved in acquired resistance to gemcitabine. Indeed, the top 20 up- and down-regulated DEGs are largely associated with a common process of carcinogenesis in many cells. For the top 50 up- and down-regulated DEGs, we conducted integrated analyses of a gene regulatory network, a gene co-expression network, and a protein-protein interaction network. The identified DEGs were functionally enriched via Gene Ontology hierarchy and Kyoto Encyclopedia of Genes and Genomes pathway analyses. By systemic combinational analysis of the three molecular networks, we could condense the total number of DEGs to final seven genes. Notably, GJA1, LEF1, and CCND2 were contained within the lists of the top 20 up- or down-regulated DEGs. Our study represents a comprehensive overview of the gene expression patterns associated with acquired gemcitabine resistance and theoretical support for further clinical therapeutic studies.

• Journal of Convergence Society for SMB
• /
• v.6 no.4
• /
• pp.151-156
• /
• 2016

It has been constantly demanding for effective way to improve software development productivity and automation. In this paper, we did research to configure the component assets to reuse design information from the design phase domains based on the DMI. It is necessary abstracted information architecture of an independent platform development environment to reuse design information on the design stage. Also, It should be based on a well-designed to support the design architecture of the application domain. Therefore, in this paper, I want to use the DMI architecture that can be represented by formal level of architectural design information platform and application domain area. It is able to decomposition architecture asset with the part design information from the design phase composition or a high level of abstraction on DMI. Therefore, the metadata structure of the asset architecture will support a structure which can reuse the structure-based design of the domain areas.

• Knowledge Management Research
• /
• v.23 no.2
• /
• pp.15-35
• /
• 2022

With the development of virtual and augmented reality technologies, the metaverse, a digital world that provides an immersive feeling like the real world, is overgrowing. Many IT companies such as Naver, Facebook (Meta), and NVIDIA are developing innovative technologies and launching the Metaverse platform and related products on the market. However, even though it is a new business in which many global big tech companies are aggressively investing, the results are not yet precise compared to the market expectations, and the rate of increase in the number of users is gradually slowing down. This can be attributed to the lack of consideration and understanding about how to grow the metaverse ecosystem and operate & harmonize various users/components from the time the metaverse platform was designed. In order to propose a better solution to these problems, this study adopts the yin-yang and five elements theory, which was created to understand the operation logic and logic of the human world for thousands of years. This research would like to propose a theory of double lines-five elements by defining two essential spaces of the metaverse platform, online and offline, and five essential elements constituting the metaverse platform. This study intends to provide a theoretical lens on how to design and operate a platform through the double lines and five elements theory and the concept of coexistence and polarity between the five elements.

• 한국생물공학회:학술대회논문집
• /
• 2005.10a
• /
• pp.586-587
• /
• 2005

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.10a
• /
• pp.392-397
• /
• 2000

A methodology is proposed to share the design information of a gear drive using XML (eXtensible Markup Language). XML is the standard language of the next generation and can be used as a neutral and unique format shared by various Web applications. Since XML is a platform-independent meta-markup language, it is possible to reduce the additional programming efforts for Web applications by using the standardization of technical terminologies. In this study, the structure of design information about gears, shafts, keys and bearings in a gear drive has been made and the terminologies used in the gear drive design process have been authored. The XML DTD(Data Type Definition) for the gear drive design has been declared and the usage of the XML application has been shown.