• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.4
• /
• pp.1-9
• /
• 2017

In this Paper, Double Encryption Technology Based on Phase-Shifting Digital Holography and Digital Watermarking is Proposed. For the Purpose, we First Set a Logo Image to be used for Digital Watermark and Design a Binary Phase Computer Generated Hologram for this Logo Image using an Iterative Algorithm. And Random Generated Binary Phase Mask to be set as a Watermark and Key Image is Obtained through XOR Operation between Binary Phase CGH and Random Binary Phase Mask. Object Image is Phase Modulated to be a Constant Amplitude and Multiplied with Binary Phase Mask to Generate Object Wave. This Object Wave can be said to be a First Encrypted Image Having a Pattern Similar to the Noise Including the Watermark Information. Finally, we Interfere the First Encrypted Image with Reference Wave using 2-step PSDH and get a Good Visible Interference Pattern to be Called Second Encrypted Image. The Decryption Process is Proceeded with Fresnel Transform and Inverse Process of First Encryption Process After Appropriate Arithmetic Operation with Two Encrypted Images. The Proposed Encryption and Decryption Process is Confirmed through the Computer Simulations.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1295-1300
• /
• 2004

Although model checking has gained its popularity as one of the most effective approaches to the formal verification, it has to deal with the state explosion problem to be widely used in industry. In order to mitigate the problem, this paper proposes an ion technique to obtain a reduced model M' from a given original model M. Our technique Identifies the set of necessary variables for model checking and projects the state space onto them. The model M' is smaller in both size and behavior than the original model M, written M'$\leq$M. Since the result of reachability analysis with M' is preserved in M, we can do reachability analysis with model checking using M' instead of M. The abstraction technique is applied to Push Push games, and two model checkers - Cadence SMV and NuSMV - are used to solve the games. As a result, most of unsolved games with the usual model checking are solved with the ion technique. In addition, ion shows that there is much of time and space improvement. With Cadence SMV, there is 87% time improvement and 79% space one. And there is 83% time improvement and 56% space one with NuSMV.

• Journal of Korea Technology Innovation Society
• /
• v.11 no.2
• /
• pp.264-286
• /
• 2008

In 2006, the share of energy in Korea amounted to 28% from the total import, 97% from overseas dependency, and 83% for the national Greenhouse Gas (GHG) emission in 2004. Thus, from the aspects of economical and environmental policies, an energy analysis is very important, for the industry to cope with the imminent pressure for climate change. However, the estimation of GHG gas emissions due to an energy use is still done in a primitive way, whereby each industry's usage is multiplied by coefficients recommended from international organizations in Korea. At this level, it is impossible to formulate the prevailing logic and policies in face of a new paradigm that seeks to force participation of developing countries through so called post-Kyoto Protocol. In this study, a hybrid energy input-output (E-IO) analysis is conducted on the basis of the input-output(IO) table of 2000 issued by the Bank of Korea in 2003. Furthermore, according to economic sectors, emission of the GHG relative to an energy use is characterized. The analysis is accomplished from four points of view as follows: 1) estimating the GHG emission intensity by 96 sectors, 2) measuring the contribution ratio to GHG emissions by 14 energy sources, 3) calculating the emission factor of 3 GHG compounds, and 4) estimating the total amount of national GHG emission. The total amount estimated in this study is compared with a national official statistical number. The approach could be an appropriate model for the recently spreading concept of a Life Cycle Analysis as it analyzes not only a direct GHG emission from a direct energy use but also an associated emission from an indirect use. We expect this model can provide a form for the basis of a future GHG reduction policy making.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.9
• /
• pp.355-362
• /
• 2019

In the past, when research and development(R&D) resources were absolutely scarce, the so-called 'choice and concentration' strategy of national R&D projects has been persuasive. Under the current situation where various actors such as GRIs(Government-funded Research Institutes) and universities supported by more abundant R&D resources conduct national R&D projects, this strategy cannot be applied without distinction. In order to see how the strategy has worked, this paper analyzes the concentration of research funds allocated to actors performing national R&D projects. Concentration is measured based on the amount of research funds supported by government from 2002 to 2016 using the Theil index to break down the concentration of individual actors in the overall national R&D project. The results from the Theil index were compared with concentrations using the Gini coefficient, a widely known indicator. As a result, the Theil index could be used to analyze the concentration and sub-components' contribution such as universities and GRIs that make up the entire national R&D system. The results also showed GRIs had the highest concentration, followed by universities, but their concentration has been somewhat reduced compared to 10 years ago. On the other hand, small-sized companies have maintained a certain level, although they are not highly concentrated. In other words, universities and GRIs tend to reduce the gap in the allocation of research funds among institutions, while small-sized companies tend to distribute them evenly.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.53-67
• /
• 2008

At present, for reuse of similar domains between feature model and class model. researches of transformation at the model level and of transformation using ontology between two models are being made. but consistent transformation through metamodel is not made. And the factors of modeling transformation targets are not sufficient, and especially, automatic transformation algorithm and supporting tools are not provided so reuse of domains between models is not activated. This paper proposes a method of transformation from feature model to class model using ontology on the metamodel. For this, it re-establishes the metamodel of feature model, class model, and ontology, and it defines the properties of modelling factors for each metamodel. Based on the properties, it defines the profiles of transformation rules between feature mndel and ontology, and between ontology and class model, using set theory and propositional calculus. For automation of the transformation, it creates transformation algorithm and supporting tools. Using the proposed transformation rules and tools, real application is made through Electronic Approval System. Through this, it is possible to transform from the existing constructed feature model to the class model and to use it again for a different development method. Especially, it is Possible to remove ambiguity of semantic transformation using ontology, and automation of transformation maintains consistence between models.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.8
• /
• pp.122-132
• /
• 2019

This study investigated the effects of preference reversal according to product characteristics and situation. To investigate the relationship between consumer preference reversal and selection change, three research problems were set up and multiple logistic regression analysis was performed considering categorical dependent variables. The results showed that the decrease in preference for the medical service products and general manufacturing products had a significant effect on selection change and selection delay. In addition, we found that selection change according to the importance of attributes in the medical service product was more sensitive than the general product, while selection change according to the preference reversal was higher in general products. This study examined the causal relationship between choices by illuminating the preference concept as the central value of consumers from a different viewpoint than the existing preference and preference inversion research. In addition, the results of this study suggest that it can include not only selective change according to preference reversal, but also alternatives such as selective delay.

• Journal of Science Education
• /
• v.43 no.1
• /
• pp.43-63
• /
• 2019

The types of inquiry activities included in Life Science II textbooks under the 2015 revised science curriculum were extracted and compared with those of six major and five different publishing companies. The fact that the number of investigation discussions and presentations (IP) increased and the expressions (EX) were included in each unit was interpreted as sufficient to transform the classroom instruction in the 2015 revised science curriculum into student-centered activities. The type of inquiry activities in student-centered activities such as experiment observation, simulation activities, investigation discussions, and presentations accounted for about 41% more than the 27% of 2009 revised science curriculum. However, since data interpretation type is still the largest, it is necessary to reduce the types of data interpretation and to increase the number of types of simulation activities and expressions in order to expand students' creativity and thinking ability when textbook development is needed in the future. In addition to the development of biotechnology, teachers need to reconstruct diverse science materials for each textbook and then use them for students to induce balanced thinking, and try to expand expressive power, creativity, logic, and critical thinking skills.

• The Journal of Korean Philosophical History
• /
• no.37
• /
• pp.7-45
• /
• 2013

This study is about the origin of Toigye's SaDanChilJeongRiGiHoBalRon (四端七情理氣互發論: theory of humanity and the relation between humanity and heaven's principle). In this study, I looked into the influences of Toigye's elders on such theory of Toigye. In this process, I introduced SimHakJangGuJipJuDaeJeon (心學章句集註大全) I obtained recently as a main material. This book was written by an uncelebrated scholar born in 60 years before Toigye. It showed "SaDanRiBalYiGiSuJi ChilJeongGiBalRiSeungJi (四端理發而氣隨之 七情氣發而理乘之)", which was as same as Toigye's study logic. Regarding the fact that such two logics were same, I traced the transferring path of such logic weighing the possibility of transferring such book or HoBalRon shown in such book while not completely neglecting an accidental coincidence. I also induced that the pro-Toigye-era also had the academic circumstance under which RiGiHoBalRon could be born even supposing an accidental coincidence. In addition, I also emphasized that such book was positioned to pioneer Toigye's neo-Confucianism in various aspects.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.3
• /
• pp.23-32
• /
• 2001

Since the LILI-128 cipher is a clock-controlled keystream generator, the speed of the keystream data is degraded in a clock-synchronized hardware logic design. Basically, the clock-controlled $LFSR_d$ in the LILI-128 cipher requires a system clock that is 1 ~4 times higher. Therefore, if the same clock is selected, the system throughput of the data rate will be lowered. Accordingly, this paper proposes a 4-bit parallel $LFSR_d$, where each register bit includes four variable data routines for feed feedback of shifting within the $LFSR_d$ . Furthermore, the timing of the propose design is simulated using a $Max^+$plus II from the ALTERA Co., the logic circuit is implemented for an FPGA device (EPF10K20RC240-3), and the throughput stability is analyzed up to a late of 50 Mbps with a 50MHz system clock. (That is higher than the 73 late at 45 Mbps, plus the maximum delay routine in the proposed design was below 20ns.) Finally, we translate/simulate our FPGA/VHDL design to the Lucent ASIC device( LV160C, 0.13 $\mu\textrm{m}$ CMOS & 1.5v technology), and it could achieve a throughput of about 500 Mbps with a 0.13$\mu\textrm{m}$ semiconductor for the maximum path delay below 1.8ns.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.1
• /
• pp.138-148
• /
• 2021

This study explores the factors that moderate the impact of competitive strategy on resource sharing in order to explain why existing empirical research has not shown statistically significant results. We test the hypothesis that competitive strategy pursuing low-cost rather than differentiation increases resource sharing and analyze how the relationship between competitive strategy and resource sharing changes when diversification, interconnectedness, centralization of authority, and resource level are entered into the equation as moderating variables. According to the results, competitive strategy doesn't affect resource sharing alone, but it has significant effects on resource sharing when it is combined with interconnectedness, centralization of authority, and resource level, except for diversification. This means that low-cost strategy increases resource sharing under the conditions of high interconnectedness, more centralized authority, and low resource level. The prior discussions have focused on the willingness or intentions of resource sharing without considering the abilities or possibilities. Our findings indicate that resource sharing could be better predicted by using moderating variables reflecting the abilities or possibilities. The contribution of the study is that we discover and complement the vulnerability in the logic of resource sharing.