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

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

• 콘크리트학회지
• /
• 제20권6호
• /
• pp.28-35
• /
• 2008

700미터 이상의 높이와 160층 이상으로 설계된 버즈두바이가 완공되면 버즈두바이는 인간이 건축한 건축물 중에서 최고높이의 건축물이 될 것이다. 바람의 동적효과를 완화하고 제어시키는 것이 가장 중요한 설계요소중의 하나이며, 설계초기의 공기역학적 형상과 풍공학에 대한 고려가 이러한 주상복합건물의 건축적 형상 및 디자인에 있어 큰 역할을 하는 반면, 건물의 구조시스템을 위한 재료 선택 또한 디자인의 중요한 요소이고 그 다음으로 세부적인 재료기술에 대한 평가 및 기술자 수급이 요구되어진다. 콘크리트는 콘크리트의 강도, 강성, 감쇠, 잉여력, 형틀성, 내화성, 시공성, 원가 등을 고려하여 선정된다. 이 논문은 콘크리트를 활용한 구조시스템을 적용하면서의 설계적으로 도전되었던 부분과 버즈두바이의 콘크리트공사의 초기계획에 대해 집중적으로 다룰 것이다.

• Industrial Engineering and Management Systems
• /
• 제11권3호
• /
• pp.233-240
• /
• 2012

The implementation of business process management (BPM) systems in large number of business organizations transforms BPM system into such a level of maturity and tends to collect large repositories of business process (BP) models. This issue encourages BP flexibility that leads to a large number of process variants derived from the same model, but differing in structure, to be stored in the large repositories of BP models. Therefore, the repositories may include thousands of activities and related business objects with variation of requirements and quality of service. It is a common practice to customize processes from reference processes or templates in order to reduce the time and effort required to design and deploy processes on all levels. In order to address redundancy and underutilization problems, a generic process model, called as reference BP, is absolutely necessary to cover the best of process variants. This study aims to develop multiple-objective business process genetic algorithm (MOBPGA) to find a set of non-dominated (Pareto) solutions of business reference model to enhance conventional approach which considered only a single objective on creating BP reference model by using proximity score measurement. A mixed-integer linear program is constructed to evaluate performance of the proposed MOBPGA on small-scale problems by using standard measures for multiple-objective techniques. The results will show the viability of applying MOBPGA in terms of simultaneously maximizing proximity score measurement, minimizing total duration, and total costs of the selected reference model.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.869-882
• /
• 2004

본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된 방법을 사례분석에 적용한 결과 제안된 방안이 요구사항의 중복관계 및 불일치를 도출할 수 있을 뿐만 아니라 다중 사용자관점의 부분적인 요구사항들을 일관성을 갖는 통합된 요구사항 모델로 전환함으로써 소프트웨어의 행위와 기능을 명확하게 규명할 수 있음을 보여 주었다. 제안된 방안을 통하여 개발 초기단계의 유스케이스 모델링에 있어서 요구사항 불일치 도출능력을 강화할 수 있으며, 고객만족을 위해 사용자와 개발자간의 의사소통을 촉진할 수 있다.

• Journal of Power Electronics
• /
• 제15권1호
• /
• pp.146-159
• /
• 2015

Since the power capacity needed for the propulsion of large ships is very large, a multiphase AC induction propulsion mode is generally adopted to meet the higher requirements of reliability, redundancy and maintainability. This paper gives a detailed description of the development of a 20MW fifteen-phase PWM driver for advanced fifteen-phase propulsion induction motors with a special third-harmonic injection in terms of the main circuit hardware, control system design, experiments, etc. The adoption of the modular design method for the main circuit hardware design can make the enclosed mechanical structure simple and maintainable. It can also avoid the larger switch stresses caused by the multiple turn on of the IGBTs in conventional large-capacity converter systems. The use of the distributed controller design method based on a high-speed fiber-optic ring net for the control system can overcome such disadvantages as the poor reliability and long maintenance times arising from the conventional centralized controller which is designed according to point-to-point communication. Finally, the performance of the 20MW PWM driver is verified by experimentation on a new fifteen-phase induction propulsion motor.

• 한국멀티미디어학회논문지
• /
• 제5권4호
• /
• pp.361-371
• /
• 2002

GIS에 있어 효율적인 액세스 기법은 가장 중요한 요구사항 중 하나이다. 레벨별로 상세화된 공간 데이터를 사용하게 되면 한번에 모든 데이터를 검색할 필요가 없어 효율적인 공간 데이터 검색이 가능해진다 데이터 검색을 위한 기존의 공간 인덱싱 기법은 이러한 레벨별로 상세화된 공간 데이터를 효율적으로 다루지 못한다. 이를 위해 레벨별로 상세화된 공간 데이터를 위한 공간 인덱싱 기법이 알려졌다. 그러나 이 기법들은 단순화와 선택 연산자를 거친 몇 가지 종류의 레벨별로 상세화된 데이터만을 지원한다는 문제점을 가진다 이러한 문제점들을 해결하고자 본 논문에서는 모든 종류의 레벨별로 상세화된 공간 데이터를 지원하면서 검객이 효율적으로 이루어지는 새로운 공간 인덱싱 기법을 제안한다. 제안된 기법은 레벨별로 각각의 인덱스 구조가 한 개의 인덱스 구조로 통합된다. 실험 결과는 제안된 기법이 데이터 중복이 발생하지 않으면서도 검색 성능이 우수함을 보인다.

• 한국항공우주학회지
• /
• 제47권2호
• /
• pp.153-160
• /
• 2019

항공기용 전기식 구동장치는 유압식 구동장치에 비해 소형/경량화에 유리하고, 힌지라인 형태의 구동장치는 공기저항이 작고 스텔스 등의 특수 목적에 적합한 특징을 가지고 있다. 본 논문에서는 10,000 lbf-in급 힌지라인 이중화 전기식 구동장치의 동작성능시험을 위한 시스템 설계 내용을 기술하였다. 영구자석전동기의 자속 기준 제어와 이중화 구동기의 torque fighting을 고려한 제어기를 설계하고, 구동장치 시스템 모델을 수립하여 성능 시뮬레이션을 수행하였다. 성능시험을 수행하여 시뮬레이션 결과와 비교하였으며 목표성능 만족여부를 확인하였다.

• 한국수산과학회지
• /
• 제55권2호
• /
• pp.154-170
• /
• 2022

The zooplankton composition, abundance, community structure, and species diversity in the major commercial fishery species spawning grounds in the southern coast of Korea were investigated in this study. A total of 80 taxa were sampled, with the mean abundance range of 5,612-11,720 ind. m^-3 and the mean biomass range of 41.6-1,086.8 mg m^-3. The dominant species were Paracalanus copepodites, Paracalanus parvus s. l., Oithona copepodites, Paracalanus nauplii, Noctiluca scintillans, Oithona similis, and Ditrichocorycaeus affinis. The species diversity indices were highest in August, suggesting that diversity is influenced by neritic and oceanic warm-water species. A cluster analysis with non-metric multidimensional scaling (nMDS) revealed three groups of zooplankton communities. The April and May samples clustered into Group A, having the highest mean total zooplankton abundance and lowest species diversity, consisting mainly of temperate species located in the middle region of the southern coast of Korea. Cluster Group B was from the early summer season (June) and contained the highest species diversity with some oceanic and neritic zooplankton species. Cluster Group C from the summer season (July and August) mainly comprised P. parvus s. l. and O. similis. The redundancy analysis (RDA) indicated that abundance is positively correlated with salinity, and chlorophyll-a concentrations.

• 한국발생생물학회지:발생과생식
• /
• 제26권1호
• /
• pp.23-36
• /
• 2022

Pharyngeal pouches, a series of outgrowths of the pharyngeal endoderm, are a key epithelial structure governing facial skeleton development in vertebrates. Pouch formation is achieved through collective cell migration and rearrangement of pouch-forming cells controlled by actin cytoskeleton dynamics. While essential transcription factors and signaling molecules have been identified in pouch formation, regulators of actin cytoskeleton dynamics have not been reported yet in any vertebrates. Cofilin1-like (Cfl1l) is a fish-specific member of the Actin-depolymerizing factor (ADF)/Cofilin family, a critical regulator of actin cytoskeleton dynamics in eukaryotic cells. Here, we report the expression and function of cfl1l in pouch development in zebrafish. We first showed that fish cfl1l might be an ortholog of vertebrate adf, based on phylogenetic analysis of vertebrate adf and cfl genes. During pouch formation, cfl1l was expressed sequentially in the developing pouches but not in the posterior cell mass in which future pouch-forming cells are present. However, pouches, as well as facial cartilages whose development is dependent upon pouch formation, were unaffected by loss-of-function mutations in cfl1l. Although it could not be completely ruled out a possibility of a genetic redundancy of Cfl1l with other Cfls, our results suggest that the cfl1l expression in the developing pouches might be dispensable for regulating actin cytoskeleton dynamics in pouch-forming cells.

• Steel and Composite Structures
• /
• 제41권5호
• /
• pp.663-679
• /
• 2021

To elucidate the differences in the collapse behavior between a single-story beam-column assembly and multi-story frame, two 1/3-scale two-bay composite frames, including a single-story composite beam-column assembly and a three-story composite sub-frame, were designed and quasi-statically tested. The load-displacement responses, failure modes, and internal force development of the two frames were analyzed and compared in detail. Furthermore, the resistance mechanisms of the two specimens were explored, and the respective contributions of different load-resisting mechanisms to the total resistances were quantitatively separated to gain deeper insights. The experimental tests indicated that Vierendeel action was present in the two-dimensional multi-story frames, which led to an uneven internal force distribution among the three stories. The collapse resistance of TSDWA-3S in the flexural stage was not significantly increased by the structural redundancy provided by the additional story, as compared to that of TSDWA-1S. Although the development of the load response was similar in the two specimens at flexural stage, the collapse mechanisms of the multi-story composite frame were much more complicated than those of the single-story beam-column assembly, and the combined action between stories was critical in determining the internal force redistribution and rebalancing of the remaining structure.