• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.4
• /
• pp.859-868
• /
• 2018

Previous research related to recovering deleted data in database has been mainly based on transaction logs or detecting and recovering data using original source files by physical collection method. However there was a limit to apply if the transaction log does not exist in the server or it is not possible to collect the original source file because a database server owner does not permit stopping the database server because of their business loss or infringement at the scene. Therefore it is necessary to examine various collection methods and check the recoverability of the deleted data in order to handling the constraints of evidence collection situation. In this paper we have checked an experiment that the recoverability of deleted data in the original database source according to logical and physical collection methods on digital forensic investigation of Microsoft SQL Server database.

• School Mathematics
• /
• v.18 no.3
• /
• pp.503-526
• /
• 2016

The study aimed at determining the identity of mathematics essay test in the university entrance examination. For this purpose, a document research was conducted for higher order thinking and mathematics essay ability and it analyzed the goal of assessment and the tendency of problem settings and looked into mathematics essay problems of twenty-five universities. As a result, the study found out that evaluation factors of mathematics essay test requires higher order thinking ability including mathematical knowledge and essay ability such as mathematical knowledge, understanding, problem solving, logical and critical thinking, creative ability, power of expression, argument skills. Also, problems from previous mathematics essay tests were set mainly to assess mathematical knowledge, understanding and problem solving. Based on the findings, the past mathematics essay tests in university entrance examination in Korea that require logical and critical thinking, creative ability, power of expression, argument skills were a rather small percentage of questions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.722-724
• /
• 2010

CAS(Conditional Access System) was developed for paid-for service in cable and fixed satellite broadcast system and technology and market maturity are high. However, these assessment is limited by CAS in fixed broadcasting system. In case of digital mobile broadcast such as T-DMB is difficult to apply CAS technology of fixed broadcasting system because of a use method and technology characteristic. Expecially, in case T-DMB using limited resources, a CAS message which must transmit in each service channel can cause problems. It is desirable that system transmits the CAS message which transmitted by each service channel through logical CAS message-only channel. In order to make a logical CAS message channel, we need a multiplexing techniques for CAS message using in each channel. In this paper, we design the CAS message multiplexing techniques for composition of CAS message-only channel.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2801-2811
• /
• 1997

This thesis Proposes a media synchronization mechanism for video conferencing system by analyzing a variation of the delay time of media. Using this mechanism, this thesis analyzes the media traffics and determines the values of external variables important on waiting time. This system uses some dummy streams to get the time. When two hosts are initially connected, they change the dummy streams by which a logical time of the sender may be extracted. The time presenting a media stream is a sum of base time, logical time and the waiting time. At this time, for the purpose of optimally adjusting the waiting time, this mechanism uses the rate of updating the waiting time and the sampling unit of media. These values are acquired by analyzing the waiting times, the delay rates and the delayed arrival times.

• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.101-137
• /
• 2011

Based on his analysis of judgement forms in intuitionistic type theory, Martin-L$\ddot{o}$f claims that the usual logical laws and interesting mathematical judgements are synthetic, not analytic. He further claims that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete. The aim of this article is to clarify and examine his claims. In section 1, I explain and give some comments on the monomorphic version of intuitionistic type theory. In section 2, after clarifying Martin-L$\ddot{o}$f's distinction between analytic and synthetic judgements, I examine some possible objections to it and evaluate the thesis that the usual logical laws and interesting mathematical judgements are synthetic. In section 3, I clarify and examine the thesis that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.73-82
• /
• 2009

Open Source Software has over 60 percent of application software development but previous studies of objective quality model and characteristic to utilize Open Source Software appeared to be low and there are few studies regarding quantitative evaluation methods to evaluate Open Source Software. To solve these problems, in this paper, we propose a quality evaluation model, "Logical Open Source Software quality model", which is able to utilize for developing and maintaining application software and quantitative quality evaluation method that can utilize in the proposed model. The proposed Open Source Software quality model derives quality characteristics based on literature and it forms six main-features and twelve sub-characteristics by comparing with the quality characteristic of ISO/IEC 9126 and twelve evaluation metrics that can measure the metrics and the characteristics quantitatively. To verify efficiency of the proposed quality evaluation model, we apply the proposed quality evaluation to top 5 project management system (PMS) software in open source software community and prove its availability.

• Korean Journal of Legislative Studies
• /
• v.23 no.1
• /
• pp.151-185
• /
• 2017

Seoul's One Less Nuclear Power Plant is the major urban energy policy launched in April 2012. Its effort to respond to climate change and energy crisis in the aftermath of the Fukushima nuclear accident turned out very successful, considering huge decrease of energy consumption. However, the question of how the cut of energy consumption was possible remains unanswered. This paper introduces the concept of urban governance capacity as the cause of the success. It is the managing and governing capability to maintain the logical consistency policy system, comprising of policy perception, goals, policy tools and evaluation. Without this logical correspondence between the policy factors, any system including energy regime easily falls apart during the systemic transitional period. Governance capacity provides the integrating framework, so that the system as a whole maintains the internal homeostasis.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.33 no.5
• /
• pp.249-254
• /
• 2019

This study is aimed to refute against medical opponent's claim that Korean medicine does not conform to the conditions of science. Analyses and refutations against a journal treatise and a Facebook column formally written for a logical criticism and attack were conducted. As an example of the logic of the knowledge production process in Chinese medicine, 8 principle theory was exemplified in the Han danasty Classics "Neijing" and "Shanghanlun" at first. The knowledge was continuously revised and accumulated historically and then completed through Ming、Cheng period. The differential diagnosis and treatment theory is a logical process of forming knowledge through the process of abduction, deduction and induction begun from "Shanghanlun" succeeded to nowadays and it is essentially equaled with the process of experimental inference by Claude Bernard. Examples of normal science status based on Kuhn's scientific standards include the theory of 8 principle, differntial diagnosis of viscera and bowel, 3 yang and 3 yin diseases of "Shanghanlun" and warm disease theory. Examples of science lost or get its normal status by refutation following Popper's standards were cold damage theory and warm disease theory respectively. This allowed Chinese medicine to follow the general principles of science that form scientific knowledge and to correspond with the demarcation standards and concepts of science. However, as one of the conditions for becoming a science, Chinese medicine is partially lacking in terms of the interpretation of text language or the accordance with modern knowledge. Therefore methods are required to supplement this lack through multi-faceted research such as literature-based, theoretical and clinical studies.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.647-650
• /
• 2009

In recent years, an understanding and concern about the Photo Realistic CG increased while the CG industry grew. The overall understanding of a system, an output and algorithm, and etc. are needed in order to implement the Photo Realistic CG. Moreover, for the realistic output on CG, the texture task that it is logical the various environment condition according to the physical environment and time, and etc.s has to show. For carrying out the Photo Realistic CG texture task, the extensity of a texture, the physical properties, a material, and an environment, the various access and the logical analysis are needed. Analyzed data reaches the direct affect to the final product for expressing. The realistic ancient history site, and the cultural inheritance and industrial product will be implemented with the ground of the research of the upper part in the imaginary realistic world.

• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.245-279
• /
• 2012

Hans Kelsen, one of prominent advocators of legal positivism, insisted that every theory of natural law try to show that it is possible to deduce from the nature, that is to say from the nature of man certain rules which provide an altogether adequate prescription for human behavior. But it is impossible to deduce from the nature certain ethical rules. The purpose of this study is to show his insistence false. Firstly, He is based on false assumption that 'nature' in theory of nature law is 'nature' in natural science. Secondary, He is based on false assumption that the entire systems of natural law are deduced from only one first natural law. Thirdly, He makes logical fallacies, that is, straw man, false dichotomy and so on. Fourthly, in spite of his critique of every theory of natural theory, this study tries to certify that theories of natural law of I. Kant and J. Maritain and so on are very excellent.