• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.5 no.4
• /
• pp.367-371
• /
• 2005

The similarity measure is derived using fuzzy entropy and distance measure. By the elations of fuzzy entropy, distance measure, and similarity measure, we first obtain the fuzzy entropy. And with both fuzzy entropy and distance measure, similarity measure is obtained., We verify that the proposed measure become the similarity measure.

• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.1761-1762
• /
• 2006

지금까지 원전 계측제어계통은 안전을 위한 보수적인 설계기준을 적용하여 아날로그 기기를 사용하여 설계되었다. 그러나 최근에는 아날로그 기기의 생산 중단으로 기기 및 장비의 예비품 조달에 어려움을 겪게 되었고, 점차 복잡하면서도 편리한 기능에 대한 사용자 요구로 인해 디지털 기기의 사용이 확대되고 있는 추세이다. 프로그램 가능한 논리제어기 (Programmable Logic Controller:PLC)는 기존의 산업체에서 널리 사용되고 있지만, 높은 수준의 안전성 기준 때문에 일부 극소수의 PLC만이 원자력에 적용되고 있는 실정이다. 최근 국내에서도 원전 안전등급의 보호, 제어 및 감시계통에 디지털 기기의 적용을 위해 많은 노력을 하고 있다. 원전 계측제어계통의 디지털화는 부품 단종 및 설비 노후화 문제 등을 해결할 수 있는 장점이 있는 반면에 디지털화로 인한 새로운 안전 현안이 제기될 수 있다. PLC를 기반으로 하는 원전 계측제어계통은 안전등급의 보호, 제어 및 감시 기능을 수행하게 되므로, 고신뢰도 소프트웨어 적용등의 안전계통 개발에서 요구하는 요건을 만족해야 한다. 따라서 상용 또는 신규 개발되는 PLC를 사용하여 발전소보호계통을 구현할 경우에 적용 가능한 기술기준 및 계통요건이 필요하다. 본 논문에서는 발전소보호계통에 적용하기 위한 PLC 평가 항목을 개발하고, 각 부분별 평가 항목에 대해 소개한다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2021.11a
• /
• pp.188-189
• /
• 2021

The technology of manufacturing freeform molds with S-LOM based 3D printer has advantages in the production period and the curvature range. However, there is no any support tool about productivity analysis of S-LOM technology because S-LOM technology is early-stage technology. There can be problems about increase of construction time and cost without any decision support tool like productivity analysis models etc. Therefore, in this study, the productivity analysis simulation model for freeform formwork based on S-LOM technology was developed using ARENA software. The process and logic of manufacturing freeform molds can be easily visualized in this model. Futhermore, the resource like labor, equipment and material can be easily optimized with this model. As a result, it can contribute to preventing the increase of construction time and cost in formwork with further productivity analysis.

• International conference on construction engineering and project management
• /
• 2017.10a
• /
• pp.8-13
• /
• 2017

Nuclear power plant (NPP) constructions are large scale projects that are executed for several years, and schedule control utilizing various schedules is a critically important factor. Recently Korea independently developed the Advanced Power Reactor (APR) 1400 and is building nuclear facilities applying this new reactor type. The construction of Shin-Kori NPP (SKN) Unit 3, which adopted the APR1400, was completed and commercial operation has begun, while, SKN 4, Shin-Hanul NPP (SHN) Units 1&2, and SKN 5&6 are currently under construction. Prior to the development of the APR1400, Korea built 24 reactors and accumulated the schedule data of various reactor types which provided the foundation for schedule reduction to be possible. However, as there is no schedule development and review system established based on the standard schedule data (standard activities, durations, etc.) by reactor type, the process for developing the schedule for new builds is low in efficiency consuming much time and manpower. Also all construction data has been accumulated based on schedule activities. But because the connectivity of activities between projects is low, it is difficult to utilize such accumulated data (causes for schedule delay, causes for design changes, etc.) in new build projects. Due to such reasons, issues continue to arise in the process of developing standard schedule activities and a standard schedule for nuclear power plant construction. In order to develop a standard schedule for NPP construction, i) the development of an NPP standard schedule activity list, ii) development of the connection logic of NPP standard schedule activities, iii) development of NPP standard schedule activity resources and duration, and iv) integration of schedule data need to be performed. In this paper, an analysis was made on the coherence of schedule activity descriptions of existing NPPs by applying the probabilistic methodology on activities with low connectivity due to the utilization of the numbering system of four APR1400 reactors (SHN 1&2 and SKN 3&4).This study also describes the method for developing a standard schedule activity list and connectivity measures by extracting same and/or similar schedule activities.

• Korean Journal of Construction Engineering and Management
• /
• v.17 no.2
• /
• pp.99-109
• /
• 2016

The utilization of Building Information Modeling (BIM) has increased in order to enhance the integration of information for management and resources throughout the construction projects. Therefore, various BIM softwares have been used under open BIM environments in the building and plant construction industry. However, it has obstructive factors due to the lack of interoperability. In order to address this problem, this study conducted an interoperability analysis of BIM software focused on user-defined properties for enhanced function and efficiency. Result of the analysis shows that authoring tools have more interoperability problems than viewer tools and simulation tools have. In terms of interoperability, user-defined properties outperforms than those of system basic properties and logic data. Therefore, it was found that functional improvement and workload minimization in BIM can be attained by applying the GBS (an user-defined property for automatic manipulation of BIM proposed by Jung et al. 2013) that enables automatic link between geometric data and non-geometric data. In this respect, this study concludes that the application of user-defined property (e.g. GBS) can be an effective method for information integration throughout construction projects.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.14 no.2
• /
• pp.122-129
• /
• 2014

Effective information gathering and retrieval of the most relevant web documents on the topic of interest is difficult due to the large amount of information that exists in various formats. Current information gathering and retrieval techniques are unable to exploit semantic knowledge within documents in the "big data" environment; therefore, they cannot provide precise answers to specific questions. Existing commercial big data analytic platforms are restricted to a single data type; moreover, different big data analytic platforms are effective at processing different data types. Therefore, the development of a common big data platform that is suitable for efficiently processing various data types is needed. Furthermore, users often possess more than one intelligent device. It is therefore important to find an efficient preference profile construction approach to record the user context and personalized applications. In this way, user needs can be tailored according to the user's dynamic interests by tracking all devices owned by the user.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.11
• /
• pp.1839-1849
• /
• 1989

An optimal variable assignment algorithm is presented as a decomposition method of MVL functions. A given 3-valued combinational logic function is disintegrated into subfunction composed of the function dependant relation, then extracted implicant output elements from subfunctions are assigned to a T-gates. As a circuit implementation tool, a programmable integarated T-gate module is proposed, and the construction procedure of combinational MVL functions is systematized in each step. This method is expected to give properties of the systematic procedure, possibility of T-gate number reduction, unification of module, and flexibility of module composition. Specially variable decomposition method can be pointed out as an approach to solving the limitation problem of the input and output terminal number in VLSI implementations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.25 no.4
• /
• pp.40-45
• /
• 2002

An AS/RS construction cost minimization model under throughput rate requirement constraint has been developed, whose objective function includes S/R machine cost, storage rack cost, and interrace conveyor cost. S/R machine cost is a function of the storage rack height, the unit load weight, and the control logic used by the system, while storage rack cost is a function of the storage rack height, the weight and the volume of the unit load. Since the model is a nonlinear integer programming problem which is very hard to solve exactly with large problem size, a solution procedure is developed to determine the height and the length of the storage rack with a fixed number of S/R machines, while increasing the number of S/R machines one by one to meet the throughput rate requirement.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.12 no.4
• /
• pp.270-276
• /
• 2012

With the increase in amount of data and information available on the web, there have been high demands on personalized information retrieval services to provide context-aware services for the web users. This paper proposes a novel dynamic multi-agent context-awareness user profile construction method based on ontology to incorporate concepts and properties to model the user profile. This method comprehensively considers the frequency and the specific of the concept in one document and its corresponding domain ontology to construct the user profile, based on which, a fuzzy c-means clustering method is adopted to cluster the user's interest domain, and a dynamic update policy is adopted to continuously consider the change of the users' interest. The simulation result shows that along with the gradual perfection of the our user profile, our proposed system is better than traditional semantic based retrieval system in terms of the Recall Ratio and Precision Ratio.