• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2000년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Spring
• /
• pp.55-62
• /
• 2000

In constructing a synthetic seismogram using ray-tracing method a suite of ray-code is required to obtain a realistic seismogram which is similar to the actual seismogram or earthquake record under consideration. An infinite number of rays exist for any arbitrarily located source and receiver. One select only a finite number of such rays in computing a synthetic seismogram so their selection becomes important to the validity of the seismogram being generated. Missing certain important rays or an inappropriate selection of ray-codes in tracing rays may result in wrong interpretation of the earthquake record or seismogram. Automatic ray-code generation will eliminate such problems. In this study we have developed an efficient algorithm, with which one can generate systemastically all the ray-codes connecting source and receiver arbitrarily located. The result of this work will helpful in analysing multiple reflections in seismic data processing as well as simulating Lg wave and multiply reflected or converted phases in earthquake study.

• ETRI Journal
• /
• 제46권1호
• /
• pp.106-117
• /
• 2024

Large language models (LLMs) have revolutionized various applications in natural language processing and exhibited proficiency in generating programming code. We propose a framework for evaluating the code generation ability of LLMs and introduce a new metric, pass-ratio@n, which captures the granularity of accuracy according to the pass rate of test cases. The framework is intended to be fully automatic to handle the repetitive work involved in generating prompts, conducting inferences, and executing the generated codes. A preliminary evaluation focusing on the prompt detail, problem publication date, and difficulty level demonstrates the successful integration of our framework with the LeetCode coding platform and highlights the applicability of the pass-ratio@n metric.

• 정보처리학회논문지A
• /
• 제14A권1호
• /
• pp.31-38
• /
• 2007

주어진 입력 프로그램과 의미적으로 동등하면서 좀 더 효율적인 코드로 바꾸는 것을 코드 최적화라 하며, 이런 과정은 코드 최적화기예 의해 수행된다. 본 논문에서는 코드 최적화기를 자동적으로 생성하는 도구인 코트 최적화긴 생성기를 설계하고 구현하였다. 즉 패턴 형식에 대한 표현을 입력으로 받아 기술된 형태의 최적화 코드를 찾아내는 DFA 패턴 매칭을 위한 코드 최적화기를 자동적으로 생성하는 것이다. DFA 패턴 매칭은 패턴들의 정규화 과정을 통해 패턴 검색 시 발생하는 중복 비교를 제거하여, 패턴 형태의 단순화 및 구조를 개선함으로 비용이 적게든다. DFA 패턴 매칭을 위한 코드 최적화기의 자동적 생성은 다양한 형태의 중간코드로 바뀌더라도 해당하는 코트 최적화기를 만들어야 하는 수고를 덜어줌으로써 코드 최적화에 대한 정형화(formalism)를 할 수 있다. 또한, DFA로 구성되어 최적화를 하기 때문에 최적화 속도가 빠르고, 코드 최적화기를 만드는데 필요한 시간과 비용을 절약할 수 있는 장점을 가진다.

• 전기학회논문지
• /
• 제57권9호
• /
• pp.1516-1521
• /
• 2008

Recently, distribution load analysis using AMR (Automatic Meter Reading) data is researched in electric utilities. Load analysis method based on AMR system generates the typical load profile using load data of AMR customers, estimates the load profile of non-AMR customers, and analyzes the peak load and load profile of the distribution circuits and sectors per every 15 minutes/hour/day/week/month. Typical load profile is generated by the algorithm calculating the average amount of power consumption of each groups having similar load patterns. Traditional customer clustering mechanism uses only contract type code as a key. This mechanism has low accuracy because many customers having same contract code have different load patterns. In this research, We propose a customer clustring mechanism using k-means algorithm with contract type code and AMR data.

• 정보보호학회논문지
• /
• 제14권6호
• /
• pp.47-56
• /
• 2004

본 논문에서 다루는 보안 정형 명세를 지원하는 도구인 SPEAR II와 IFAD VDM-SL Toolbox의 추요 기능과 사용자 환경 및 동작 모듈, 코드 생성 과정을 비교하고, 보안 소프트웨어 개발을 위한 두 도구의 성능적 측면을 살펴 본 후 용이한 개발을 제공해주는 도구로부터의 보안 소프트웨어 개발 방안을 제시한다. 본 논문에서 제시하는 보안 프로토콜 코드 생성 도구 기능 비교는 정형 명세 기법을 이용한 소프트웨어 개발 방법에서 정형 명세를 통한 보다 안전한 보안 소프트웨어를 개발하는 방향을 제시한다. 이러한 방향 제시를 통하여 보다 안전한 보안 소프트웨어 개발을 이룰 수 있다.

• Journal of Power Electronics
• /
• 제11권2호
• /
• pp.113-119
• /
• 2011

This paper presents a DSP based direct digital control design and implementation for a high power boost converter. A single loop and dual loop voltage control are digitally implemented and compared. The real time workshop (RTW) is used for automatic real-time code generation. Experimental results of a 20 kW boost converter based on the TMS320F2808 DSP during reference voltage changes, input voltage changes, and load disturbances are presented. The results show that the dual loop control achieves better steady state and transient performance than the single loop control. In addition, the experimental results validate the effectiveness of using the RTW for automatic code generation to speed up the system implementation.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.970-974
• /
• 1993

This paper is concerned with an automatic generation of BOM (Bill Of Material) for a bicycle frame set using a knowledge based system. The major components module system includes : (1) Part information retrieval in CAD drawing, (2) BOM code generation rule, and (3) Database interface. The knowledge based system includes a rule base and a fact base. The fact base consists of basic, variant, and optional components of the standard BOMs of frame sets. The rule contains rules for generating new BOM code in case that the specified is not in the database. The system was implemented on a SUN workstation under Open Windows environments. AutoCAD for CAD drawing was also used.

• Structural Engineering and Mechanics
• /
• 제30권4호
• /
• pp.387-402
• /
• 2008

The Integrated Force Method (IFM) has been developed in recent years for the analysis of civil, mechanical and aerospace engineering structures. In this method all independent or internal forces are treated as unknown variables which are calculated by simultaneously imposing equations of equilibrium and compatibility conditions. The solution by IFM needs the computation of element equilibrium and flexibility matrices from the assumed displacement, stress-resultant fields and material properties. This paper presents a general purpose code for the automatic generation of element equilibrium and flexibility matrices for plate bending elements using the Integrated Force Method. Kirchhoff and the Mindlin-Reissner plate theories have been employed in the code. Paper illustrates development of element equilibrium and flexibility matrices for the Mindlin-Reissner theory based four node quadrilateral plate bending element using the Integrated Force Method.

• 한국CDE학회논문집
• /
• 제14권1호
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

• 중소기업융합학회논문지
• /
• 제2권1호
• /
• pp.33-40
• /
• 2012

최근에 임베디드 환경은 하드웨어의 비약적인 발전과 다양한 전자 제품에서의 소프트웨어 제어로 인하여 소프트웨어 분야에서 많은 변화를 겪고 있다. 이러한 환경적 변화로 인한 요구사항의 증가는 임베디드 소프트웨어의 복잡도를 높여왔고 이는 기존 개발방법의 한계를 보여주었다. 모델 기반의 개발방법은 이미 오래전 제기되었던 범용 소프트웨어 개발에서 발생했던 한계의 해결을 위하여 제시되고 지금까지 사용되어온 방법으로서 임베디드 환경에 닥친 한계의 극복을 위한 대안 중 하나로 꼽히고 있다. 이 논문에서는 이 모델 기반 개발 방법론을 임베디드 소프트웨어 적용하기 위한 모델 기반의 다이어그램 편집기와 이로부터 작성된 모델을 이용하여 자동적으로 코드를 생성하는 코드 자동생성기를 제안한다. 모델 정의에 사용된 다이어그램 편집기는 GMF를 이용하여 구현하며, 코드 자동생성기에는 임베디드 환경의 특징인 제한된 메모리와 동시적 병행성 문제를 해결하기 위한 코드 생성 기법을 추가한다. 아울러 생성된 코드의 검증을 위하여 기존의 코드를 대체하여 수행하는 방법을 사용한다.