• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.808-818
• /
• 2005

We devise a differential fixpoint computation method and develop a new worklist algorithm based on it. Compared with other differential methods, our method can deal with non-distributive systems and adopt any worklist scheduling policy satisfying restrictions imposed by differential evaluation. As a practical application, we present an interpretation framework and implement constant and alias analysis and memory lifetime analysis based on it. Our experiment shows that our method can save computation and worklist scheduling is also important in differential fixpoint evaluations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.4
• /
• pp.186-192
• /
• 2021

Recently, the demand for more precise and demand-oriented customized spatial information is increasing due to the 4th industrial revolution. In particular, the use of 3D spatial information and digital twins which based on spatial information, and research for solving social problems in cities by using such information are continuously conducted. Globally, non-face-to-face services are increasing due to COVID-19, and the national policy direction is also rapidly progressing digital transformation, digitization and virtualization of the Korean version of the New Deal, which means that 3D spatial information has become an important factor to support it. In this study, physical objects for cities defined by world organizations such as ISO, OGC, and ITU were selected and the target of the 3D object model was limited to buildings. Based on CityGML2.0, the data collected using a drone suitable for building a 3D model of a small area is selected to be updated through road name address and building ledger, which are administrative information related to this, and LoD2.5 data is constructed and urban space. It was intended to suggest an object update method for a 3D building among data.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.41-42
• /
• 2021

The Green New Deal policy was established to innovate the government's energy consumption structure, establish a third basic energy plan to strengthen the global competitiveness of the energy industry, and realize a carbon neutral society due to the increased need for transition to a low-carbon economy. Waterworks such as drinking water, water purification plant, and pressurization plant analyze control factors and energy consumption status by process to improve energy management efficiency and reduce energy usage through the 4th industrial revolution. Ultimately, we want to realize net-zero water purification plant.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.23 no.8
• /
• pp.900-908
• /
• 2012

Owing to the proliferation of smart phone users, a proactive spectrum policy is needed in order to deal with increasing data traffic. Therefore, the prediction of frequency requirements for future wireless local area network (WLAN) as well as a licensed cellular communication is necessary. In this paper, we proposed a new prediction method for WLAN spectrum requirements. This method includes both a traditional prediction method and an offloading percentage from cellular network, Also, it can consider a frequency interference between access points using a statistical approach. Based on these approaches, we can predict the spectrum requirements of future domestic WLAN services considering the frequency interference. Finally, we suggest the spectrum policy for WLAN which can prevent spectrum shortage of future WLAN services.

• The Journal of Art Theory & Practice
• /
• no.4
• /
• pp.105-121
• /
• 2006

The term 'modern', in broader sense, refers to the concepts like modernity, modernization, modernism and the like, which came from Westernization impling the recognition of indigenous culture as being inferior to Western culture by comparison along with the expanded influences of the Empire of Japan. These concepts, however, rather than evolving from Western standards, came into being as a form of civilization led by Japan which had already tasted the fruits of modernization by 1920s. Since 1920s, the policy of, so-called, reconstructing Asian countries by Japan came to create eastern way of modernism, as a new East Asian trend mainly revealed in China which was against colonization after Japan's invasion and conquest of Manchuria. Therefore, Eastern' modern' unlike Western one could be understood in the widespread terminology, 'Modern(摩登)' in Shanghai, reflecting consciousness like 'Fashion' or 'Trend' in female images on a variety of visual media. By 1930s it was the most notable that 'modern' was accepted as something similar with 'Fashion', or 'Trend' in sociocultural contexts. These atmosphere had led commercial arts to enable to communicate with the public in a great deal of supports and success in Shanghai which was widely regarded as the citadel for the inflow of Western culture, among which transformations in female images were remarkable as a representative form of culture. It is also remarkable that 'historical modernity' transforming from the feudal age to modern society was considered a synchronic modernity, and nationalism was regarded as a sort of being modern, while involved in the newly-changed female images as a fashion mode. Changes in fashion including hair style in Shanghai by 1930s, as a way of expressions showing what was modern through commercial artistic productions, were easily noticed in visual media as an outlet of modern women's inner desire revealing their pursuit for new mode of life in metropolitan cities. As a characteristic of the time creating a new code of visual female images, it is notable that there existed another form of 'modern' satisfying socio-cultural needs of the general public seeking for being 'modern'.

• Environmental and Resource Economics Review
• /
• v.26 no.1
• /
• pp.57-83
• /
• 2017

The Japanese government's attempts to reduce fine particles (PM2.5) emission pollution in Japan have been largely ineffective. This is because PM2.5 in Japan originated from various sources including around half from oversea countries such as China. This prompts the Japanese government to start a new initiative to reduce PM2.5 at its origin by transferring local knowledge on air pollution reduction measures and technologies to China and working closely with the Chinese government. To promote further reduction in PM2.5, bilateral corporation between Japan and China should be extended to include Korea. It is recommended that an international convention should be in place to deal with transboundary air pollutants in East Asia. A successful East Asia corporation to reduce PM2.5 will not only contribute to clean air but also to future sustainable low carbon society in this region.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.4
• /
• pp.1892-1903
• /
• 2016

Mobile social network is becoming more and more popular with respect to the development and popularity of mobile devices and interpersonal sociality. As the amount of social data increases in a great deal and cloud computing techniques become developed, the architecture of mobile social network is evolved into cloud-based that mobile clients send data to the cloud and make data accessible from clients. The data in the cloud should be stored in a secure fashion to protect user privacy and restrict data sharing defined by users. Ciphertext-policy attribute-based encryption (CP-ABE) is currently considered to be a promising security solution for cloud-based mobile social network to encrypt the sensitive data. However, its ciphertext size and decryption time grow linearly with the attribute numbers in the access structure. In order to reduce the computing overhead held by the mobile devices, in this paper we propose a new Outsourcing decryption and Match-then-decrypt CP-ABE algorithm (OM-CP-ABE) which firstly outsources the computation-intensive bilinear pairing operations to a proxy, and secondly performs the decryption test on the attributes set matching access policy in ciphertexts. The experimental performance assessments show the security strength and efficiency of the proposed solution in terms of computation, communication, and storage. Also, our construction is proven to be replayable choosen-ciphertext attacks (RCCA) secure based on the decisional bilinear Diffie-Hellman (DBDH) assumption in the standard model.

• The Korean Journal of Air & Space Law and Policy
• /
• v.23 no.1
• /
• pp.111-129
• /
• 2008

Denying the legitimacy of occupying any parts of the outer space satisfied the political interests of space fairing States. 'Res communis' idea was converted into the rationale which met such political needs in the best way available. This rationale, as its roman law concept implies, is based upon ownership to things. Ownership paradigm, as discussed in this paper, may be not sufficient for applying the OST. A new paradigm may be more valuable. Diversified type of the right to use would be best available one. Space commercialization should be understood in social and economical dimension, which is too diverse and important for space lawyers, especially adhering to ownership paradigm, to deal with. It is mature to admit that res communis rationale operated for 40 years is not sufficiently refined to foster the advent and benefit expected from space commercialization. Diversified type of right to use is to be taken into account seriously, as workable paradigm provided by other social science.

• Korean Journal of Construction Engineering and Management
• /
• v.24 no.5
• /
• pp.12-21
• /
• 2023

Green remodeling proposed in the Korean New Deal is a project to build or remodel eco-friendly and energy-efficient buildings using renewable energy facilities and high-performance insulation for public buildings. The government intends to achieve the carbon emission reduction target by conducting green remodeling. Major overseas cities that conduct green remodeling are actively promoting technology support and promotion along with energy performance evaluation according to building characteristics, subsidies for private revitalization, and tax benefits. With this background, the analysis of the current status and problems of the green remodeling project was performed and the Activation factors of Green Remodeling were derived from survey results. This study suggested strategic measures such as a participation of civil society, promotion, and priority selection of administration and policy measures such as a leading role of the public sector, expanding support for the socially underprivileged, and financial support and tax benefits. And this study results are expected to be utilized as basic data to promote the green remodeling project.

• Journal of the Korea Society of Computer and Information
• /
• v.29 no.7
• /
• pp.169-179
• /
• 2024

Currently, information technologies such as blockchain and metaverse are being innovatively developed in Korea and around the world. The government has defined the innovation of these cyber-related technologies as the fourth industrial revolution and presented the Digital New Deal as an important policy of the Korean version of the New Deal, and is implementing various policies and systems related to it. This situation is expected to affect the development of the real estate registration system in Korea. Moreover, as the Supreme Court is currently promoting the transition to a future registration system, it is necessary to examine whether blockchain technology, which allows parties to exchange value without a third party guaranteeing the transaction, can be used in the real estate registration system. In order to secure the credibility of the real estate registration as electronic information under the registration system that introduces electronic registration and blockchain system, the transparency of transaction identification and real estate registration details should also be recorded using the blockchain system as a way to prevent such crimes and legal disputes. As a solution, it is worth considering how to improve the reliability of transaction identification, recognize the actual examination rights of the registrar in the foundation system of the real estate register, and increase public trust by going through the notarization stage when recording rights such as real rights, and consider how to introduce a blockchain system at this stage to ensure integrity and reliability. In the stage before the current real estate registration and study system is converted to a blockchain system, the clarity, transparency, and consistency of the real estate registration entries with the actual real estate must be established so that the real estate study can finally be recognized as authoritative, thereby ensuring the trust of the transaction parties to the real estate study system that has adopted the blockchain system in the future, and bringing us closer to the goal of real estate transactions in the form of smart contracts between the parties who have trusted it based on transparency and integrity of real estate study in the real estate transaction market.