• Journal of the Korean Graphic Arts Communication Society
• /
• v.29 no.1
• /
• pp.1-21
• /
• 2011

Because of high demand of color quality of the prints, proof prints are more important for end-user to predict and correct the final prints directly as an intermediate. Thus, proof prints can be used as a reference to take minimum ${\Delta}E^*ab$between the originals and finals in the field. The advantage of proof prints is to predict and correct color easily through the RIP(Raster Image Processor) without printing plates and plate making steps. While, it is thought that the proof systems are almost equivalent to the press in the past, present proof systems are more simple to take proof prints more easily due to the automation and digitalization. This paper addresses a method to perform an accurate profiling according to proof paper types and find optimal proof papers which meet proofing requirement. Although proof papers are matched with ISO 12647-7, we were trying to reduce ${\Delta}E^*ab$, In addition to the above, through the Gamut Mapping and Iteration, We were trying to find optimal proofing conditions.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.39-46
• /
• 2019

The purpose of this paper is to present the results of the study, applying Systems Engineering(SE) method, on the feasibility of developing a Melt-down Proof Modular Micro Reactor(MDP-MMR) for its future deployment in Korea. The reactor is being developed by NCSU (North Carolina State University) due to its advantage of melt-down proof nature of the reactor core. For this paper, the characteristics of the MDP-MMR has been studied in terms of fuel characteristics, inherent safety features and passive safety system. The NCSU's development process has been reviewed applying the SE method, and further research is recommended for the feasibility study on deploying such a modular micro reactor in Korea.

• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.549-560
• /
• 2011

Vote validity proof and verification is an efficiency bottleneck and privacy drawback in homomorphic e-voting. The existing vote validity proof technique is inefficient and only achieves honest-verifier zero knowledge. In this paper, an efficient proof and verification technique is proposed to guarantee vote validity in homomorphic e-voting. The new proof technique is mainly based on hash function operations that only need a very small number of costly public key cryptographic operations. It can handle untrusted verifiers and achieve stronger zero knowledge privacy. As a result, the efficiency and privacy of homomorphic e-voting applications will be significantly improved.

• Research in Mathematical Education
• /
• v.7 no.1
• /
• pp.1-10
• /
• 2003

This research reviewed literatures on proof in mathematics education. Several views of proof can be classified (and identified) such as psychological approach (Platonism, empiricism), structural approach (logicism, formalism, intuitionism) and social approach (ontology, axiomatic systems). All these views of proof are valuable in mathematics education society. The concept of proof can be found in the form of analytic knowledge not of constructive knowledge. Human beings developed their knowledge in the sequence of constructive knowledge to analytic knowledge. Therefore, in mathematics education, the curriculum of mathematics should involve the process of cognitive knowledge development.

• Research in Mathematical Education
• /
• v.13 no.3
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• Journal of the Korean Society of Safety
• /
• v.35 no.2
• /
• pp.8-16
• /
• 2020

In Article 311 of the Regulation on Occupational Safety and Health Standards requires the use of Korean Industrial Standards Act in accordance with the Industrial Standardization Act. However, the classification, inspection, maintenance, design, selection, and installation of explosion hazard locations for explosion and explosion prevention and internalization of 'safety' in the performance maintenance phase of electrical machinery and equipment There is no technical and institutional management plan for remodeling and alteration. Analysis of actual conditions and problems related to the installation, use, and maintenance of explosion-proof equipment, comparative analysis of domestic and international technical standards and systems, technical, institutional and administrative systems and systems related to installation, use, and maintenance of explosion-proof equipment, technical personnel and qualifications, etc. It is to propose legislation, system improvement, and technical standard establishment related to the maintenance of explosion-proof facility performance through improvement of the necessity and feasibility study for establishment of the legal status of the management site and management plan. As technical measures, KS standard revision (draft), KOSHA guide (draft) and explosion-proof facility performance maintenance manual were presented. In addition, the institutional management plan proposed the revised rule on occupational safety and health standards, the revised rule on the restriction of employment of hazardous work, and the manpower training program related to the maintenance of explosion-proof facilities and the qualification plan. Enhance safety at the installation, use, and maintenance stage of explosion-proof structured electrical machinery. It is expected to be used to classify explosion hazards, select related equipment, and to update and standardize standards related to installation, use and maintenance.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.4
• /
• pp.910-922
• /
• 2013

In 2008, Chin et al. proposed an efficient and provable secure identity-based identification scheme in the standard model. However, we discovered a subtle flaw in the security proof which renders the proof of security useless. While no weakness has been found in the scheme itself, a scheme that is desired would be one with an accompanying proof of security. In this paper, we provide a fix to the scheme to overcome the problem without affecting the efficiency as well as a new proof of security. In particular, we show that only one extra pre-computable pairing operation should be added into the commitment phase of the identification protocol to fix the proof of security under the same hard problems.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.699-704
• /
• 2007

In this study, we examine why there exist different legal systems in electronic commerce or online financial trading. When a fraud online transaction occurs and the online customer disputes the transaction, the online customer takes responsibility for the proof of her/his argument in many European countries while in the U.S., the burden of proof lays on the firm. This paper analyzes how these two different legal systems exist and how these can be applied to electronic commerce law. In particular, this paper intends to find the optimal level of e-commerce firms' investment on security and analyzes how security investments can be related to firm's profits and consumer's welfare depending on IT infrastructure and social trust environment. More on, this paper can be contributed to provide guidelines for regulatory framework on ecommerce online transactions and discuss social welfare implications.

• Structural Engineering and Mechanics
• /
• v.35 no.2
• /
• pp.205-215
• /
• 2010

Recently, earthquake proof technology has been widely applied to both new and existing structures and bridges. The analysis of bridge systems equipped with structural control devices, which possess large degrees of freedom and nonlinear characteristics, is a result in time-consuming task. Therefore, a piecewise exact solution is proposed in this study to simplify the seismic mitigation analysis process for bridge systems equipped with sliding-type isolators. In this study, the simplified system having two degrees of freedom, to reasonably represent the large number of degrees of freedom of a bridge, and is modeled to obtain a piecewise exact solution for system responses during earthquakes. Simultaneously, we used the nonlinear finite element computer program to analyze the bridge responses and verify the accuracy of the proposed piecewise exact solution for bridge systems equipped with sliding-type isolators. The conclusions derived by comparing the results obtained from the piecewise exact solution and nonlinear finite element analysis reveal that the proposed solution not only simplifies the calculation process but also provides highly accurate seismic responses of isolated bridges under earthquakes.