• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.7 no.2
• /
• pp.3-10
• /
• 1997

Correlation immune functions can be used not only as filter functions or nonlinear combiners in stream ciphers but also as a primitive logic in block cipher. In this paper, we suggest a construction method of correlation immune functions. Using this method, we find lower and upper bound of the cardinality of the correlation immune functions. This result improves Mitchell's result and Yang-Guo's result.

• Journal of KIBIM
• /
• v.12 no.4
• /
• pp.52-60
• /
• 2022

Recently, the demand for connection between various heterogeneous dataset and BIM as a construction data model hub is increasing. In the past, in order to connect model between BIM and heterogeneous dataset, related dataset was stored in the RDBMS, and the service was provided by programming a method to link with the BIM object. This approach causes problems such as the need to modify the database schema and business logic, and the migration of existing data when requirements change. This problem adversely affects the scalability, reusability, and maintainability of model information. This study proposes an ontology BIM-based knowledge service framework considering the connectivity and scalability between BIM and heterogeneous dataset. Through the proposed framework, ontology BIM mapping, semantic information query method for linking between knowledge-expressing dataset and BIM are presented. In addition, to identify the effectiveness of the proposed method, the prototype is developed. Also, the effectiveness and considerations of the ontology BIM-based knowledge service framework are derived.

• International Journal of Advanced Culture Technology
• /
• v.11 no.4
• /
• pp.273-278
• /
• 2023

Aesthetic education in a variety of forms in the sublimation of the people's feelings, sublimation of the soul. It is of great significance to inherit and develop rural culture and to maintain cultural diversity. At present, rural characteristic industry is an important form of development to promote rural economic development, protect rural cultural diversity and continue rural culture. It is of great practical significance to guide the development direction of rural characteristic industry, strengthen the value connotation of rural characteristic industry and stimulate the endogenous power of rural characteristic industry. At the same time, it is of great significance to promote the development of aesthetic education and broaden the path of aesthetic education.

• Aerospace Engineering and Technology
• /
• v.6 no.1
• /
• pp.64-73
• /
• 2007

A Large thermal vacuum chamber (LTVC) for space environment simulation on large satellites was successfully developed and constructed by KARI (Korea Aerospace Research Institute) in Korea with a local company. This chamber has an effective diameter of 8 meters and depth of 10 meters, and is composed of vacuum system, thermal control system, and anti-vibration system. Temperature below $-190^{\circ}C$ is maintained over the thermal shroud wrapping a satellite under $3.7{\times}10^{-5}Pa$ ($5{\times}10^{-7}torr$) vacuum level, and optical test can be done in this chamber by seismic mass with $10^{-5}g_{rms}$ or lower vibration level. In addition, the shroud temperature can be increased up to $123^{\circ}C$ using halogen lamps. Chamber control program based on PLC (Programmable Logic Controller) could control this large thermal vacuum chamber automatically.

• Journal of the Economic Geographical Society of Korea
• /
• v.14 no.1
• /
• pp.1-18
• /
• 2011

This paper explores changing concept of city in the context of globalization with innovation city and examines the characteristics of innovation city along with regional and national competitiveness. It is agreed that construction of innovation city by relocation of public institutions for balanced development of the country has valid logic. However, there are weak possibilities of innovation within the innovation city. Further more it is not a proper solution for the level up of national and regional competitiveness through this policy. The main logic is that physical relocation of institutions do not guarantee innovation of region through integration into globalization network resulting from the scale difference between nation and globe. Rather this paper suggests that regional innovation policy should performed in accordance with regional conditions and for the better competitiveness of nation and region, decentralization of power is needed. Then a region could have connection with global pipeline based on endogenous development power.

• Journal of Korea Water Resources Association
• /
• v.38 no.9 s.158
• /
• pp.761-770
• /
• 2005

This study applied the fuzzy logic control for the construction of the reservoir operation model which can consider uncertainty of the predicted inflow in determining reservoir release during flood period. The control rule is usually constructed based on the opinion of experts which is a general technique. To improve the drawback of general technique, this study constructed the Fuzzy-Tabu search model automatically established by the fuzzy rule using Tabu search which is a global optimization technique. As the results, the peak release is decreased and the flood control efficiency is improved. The total release is also decreased and this represents the benefit in water use. Consequently, it is confirmed that the effect of flood control can be increased through the constructed model. It also shows that the available water resources after the flood is more increased. So, the proposed Fuzzy-Tabu search model could be better than the actual reservoir operation methodology in the aspect of water use.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.61-85
• /
• 2013

The author, after introducing the concept of de re belief and discussing de re/de dicto ambiguity in belief context and modal context, concludes that modal sentences of Korean language does not show any distinctive traits against English. He, after discussing this ambiguity in negative sentence a la Russell, tries to show that Korean provides two way of negation construction, one of which corresponds to de re negation (primary occurrence in Russell's terms). De re reading makes referentially transparent context, thus permits substitutions of identicals salva veritate; De dicto reading does not. Korean ending 'rago', used with quotation verbs, speech act verbs and cognitive attitude verbs, deserves some attention in that it permits de re sentences in addition to de re/de dicto ambiguous sentences. 'Rago' also makes speaker's commitment to the content of the intensionally contained clause 'neutral', in contrast with other Korean endings such as 'um/im' and 'raneun gut' which make speaker's positive commitment. This explains why the maxim of western epistemology that knowledge presupposes truth does not hold in Korean 'rago' sentences.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.715-722
• /
• 2001

In recent years, we recognize a new paradigm in the development process：From object oriented development, to the development process which has focused on the use of standard components. In recent years a lot of research related to the component-based development has been done, especially in business domain. but still there are many open and unresolved problems in this area. such as established development process for a distributed environment, formal process, infrastructure for COTS, development and management tool considering maintenance to guarantee a proper treatment of components. It also required a service and an application integration for component. In this paper, we propose cooperative information systems (CIS) that supports component based development. It must address for component based systems to achieve their full potential. We identify a set of CIS organized 3-tier which is a presentation layer, business logic layer and data control layer. We also discuss the specific roles and activities for the layers. we also define the behavior and managed information for business logic layer as core level. As an illustration of the CIS, we present a successful considerations which is widely helpful to user when they make decision in component development and assemble. Also, we expect to component reusability and efficiency in business domain.

• Applied Chemistry for Engineering
• /
• v.16 no.2
• /
• pp.217-225
• /
• 2005

Because of the limitation of controllable operation variables for the wastewater treatment process with variable hydrodynamic flow patterns, it may preclude the use of this type of nutrient removal activated sludge process. As the operation variables, only temperature and dissolved oxygen (DO) have been used to operate the process. This study made an effort to improve treatment efficiency and operability of the process by the following methodologies: 1) process and operation data analysis using process simulation, 2) determination of optimal control logic or algorithm using a pilot-scaled experimental apparatus and its operations, and 3) application of experimental and simulation results to find the optimal process operation modes. In this study, it was found that the optimal operation mode named 'save mode' in the basis of process variables, such as the ammonia-nitrogen concentration of inlet flow, temperature and flow rate, can reduce the operation cost comparing with the present normal operation mode. And the stable conditions in nitrification were also shown by the proportional control of DO with the inlet air flow rate of blower and the mixing rate of mechanical aeration.

• Explosives and Blasting
• /
• v.31 no.1
• /
• pp.11-22
• /
• 2013

This study compared and analysed ground vibration, size of underwater background noise in fish farms and underwater object noise of blasting and obtained ground vibration prediction equation through a regression analysis and correlation equation between underwater object noises in order to predict degrees of underwater noise in blasting and organize underwater noise control regulations. Before the study, when background noise of fish and shellfish farms with different conditions was measured, levels of background noise were different according to environmental characteristics of each farm. Ground vibration which causes underwater noise was measured to obtain a correlation equation between ground vibration and underwater object noise. Therefore, if underwater noise is predicted for each construction with a use of a correlation and permissible standards appropriate for each condition are applied for design and construction, financial loss from damages to fish and shellfish caused by development of insufficient technological and engineering logic can be prevented and successful construction with safety of underwater creatures guaranteed can be achieved.