• 대한전자공학회논문지
• /
• 제24권2호
• /
• pp.338-346
• /
• 1987

This paper describes a method for verifying whether a given geometrical layout correcdtly reflects the original logic level description. The logic description extracted from layout data was directly compadred with the original logic diagram generated at logic level design stage where the logic diagram is represented as a weighted multi-place graph. The comparison is based on graph isomorphism and error messages(error categories and locations)are invoked if any difference is found between the two logic descriptions. An efficient partitioning algorithm which consists of two steps, candidate selection and equal weight partitioning procedure, enables the entire verification process to occur in O(n log n) time.

• 전자공학회논문지B
• /
• 제31B권7호
• /
• pp.9-15
• /
• 1994

This paper proposes a image compression algorithm which stores and transmites image data efficiently. The proposed compression algorithm modify enhances compression rate by modified ZIG-ZAG Scanning in JPEG standard algorithm which is based on 2D-DCT. And the up-compatible method of proposed algorithm can solve compatible problem with JPEG that is cased by modified ZIG-ZAG Scanning. And this paper presentes a block diagram of hardware for real-time processing.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2004년도 봄 학술발표회 논문집
• /
• pp.333-340
• /
• 2004

This paper deals with geometric nonlinear analyses using a new meshfree technique which improves the numerical integration accuracy. The new method called the Petrov-Galerkin natural element method (PGNEM) is based on the Voronoi diagram and the Delaunay triangulation which is based on the same concept used for conventional natural element method called the Bubnov-Galerkin natural element method (BGNEM). But, unlike BGNEM, the test shape function is differently chosen from the trial shape function. In the linear static analysis, it is ensured that the numerical integration error of the PGNEM is remarkably reduced. In this paper, the PGNEM is applied to large deformation problems, and the accuracy of the proposed numerical technique is verified through the several examples.

• 전기학회논문지
• /
• 제57권3호
• /
• pp.354-362
• /
• 2008

This paper presents the new method of power system transient stability simulation, which combines the desirable features of both the time domain technique based on OOP(Object-oriented Programming) and the direct method of transient stability analysis using detailed generator model. OOP is an alternative to overcome the problems associated with the development, maintenance and update of large software by electrical utilities. Several papers have already evaluated this approach for power system applications in areas such as load flow, security assessment and graphical interface. This paper applied the object-oriented approach to the problem of power system dynamics simulation. The modeling method is that each block of dynamic system block diagram is implemented as an object and connected each other. In the transient energy method, the detailed synchronous generator model is so-called two-axis model. For the excitation model, IEEE type1 model is used. The developed mothed was successfully applied to New England Test System.

• 한국의사학회지
• /
• 제30권2호
• /
• pp.101-118
• /
• 2017

Purpose : This paper explores the extent to which ZangFu diagrams made after Northern Song Dynasty were influenced by ZangFu diagrams made before Northern Song Dynasty, and how diagrams of the whole body and heart originated from MingTangZangFuTu and affected each other when quoted in books published after Northern Song Dynasty. Method : The author used four form factors including heart shape, internal curved lines, cylinder-like structures above heart, and wuzangxi (五臟系) which resembles a lotus flower which has not yet bloomed, to analyze and compare different ZangFu diagrams before and after the Northern Song Dynasty. Results : Two form factors, the shape of heart and wuzangxi, are described in ZangFu diagrams before Northern Song, and may have influenced ZangFu diagrams after Northern Song. However, the other two form factors (internal curved lines and cylinder-like structures above the heart) did not influence ZangFu diagrams after Northern Song. All form factors of heart found in WuCangLiuFuZhiTu (within the whole body) and diagram of heart in ZhenJiuJuYing (鍼灸聚英) were most similar, but the two paintings became less similar as they were cited in several books. With the exception of the form factor with structures above heart, the three other form factors are almost identical between two paintings produced after Northern Song dynasty, as displayed in the same book. Conclusion : ZangFu diagrams of the heart produced after Northern Song Dynasty, were not completely based on ZangFu diagrams made before Northern Song Dynasty. Diagrams of whole body and those of the heart were changed, while influencing each other after Northern Song.

• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1588-1595
• /
• 2019

본 논문에서는 UML 다이어그램에 대응되는 코드 생성을 위하여 요구되는 정보를 저장하기 위한 레포지토리를 구축하는 방법을 제시한다. 객체 지향 프로그래밍에서는 객체 간의 상호 작용이 핵심이므로, UML 다이어그램들 중에서 클래스 다이어그램과 시퀀스 다이어그램에 대해서 논의를 전개한다. 클래스 다어어그램을 기반으로 실행 시간에 객체가 상호 동작하는 절차를 보이는 시퀀스 다이어그램으로부터 상응하는 코드를 생성하게 되며, 이를 위해서는 코드생성에 필요한 정보를 추출하여 정보 저장소인 레포지토리를 구축하여야 한다. 따라서 본 논문에서는 시퀀스 다이어그램의 메시지 유형을 다섯 개로 분류하고 이들로부터 각각의 레포지토리를 구성하기 위하여 필요한 항목과 그 값에 대한 정보를 추출하여 구조적으로 정보를 저장하는 방법을 제시한다. 시퀀스 다이어그램은 이들 메시지들로 구성되므로, 각 메시지에 대한 구조화된 레포지토리를 순차적으로 수집하여 최종적인 레포지토리를 구성한다.

• 한국공작기계학회논문집
• /
• 제11권1호
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• Journal of Electrical Engineering and information Science
• /
• 제2권5호
• /
• pp.1-8
• /
• 1997

The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.

• 센서학회지
• /
• 제29권5호
• /
• pp.336-341
• /
• 2020

The deflection and null balance methods are used for precision force measurement in the precision industry. Since both methods are based on deformation, the performance of the load cell mechanism is important. In this study, the design variables were obtained via the free body diagram of a lever-linked Roberval mechanism (combined with a flexible hinge link and a Roberval mechanism), and the design characteristics were analyzed according to the weight method. Based on the design characteristics, the optimal design was conducted according to the weight method and FEM was used to verify its reliability.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 Proceeding
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.