• Journal of Electrical Engineering and Technology
• /
• 제12권4호
• /
• pp.1417-1426
• /
• 2017

Power system analysis, Non-Convex Economic Dispatch (NED) is considered as an open and demanding optimization problem. Despite the fact that realistic ED problems have non-convex cost functions with equality and inequality constraints, conventional search methods have not been able to effectively find the global answers. Considering the great potential of meta-heuristic optimization techniques, many researchers have started applying these techniques in order to solve NED problems. In this paper, a new and efficient approach is proposed based on imperialist competitive algorithm (ICA). The proposed algorithm which is named multi-operator ICA (MuICA) merges three operators with the original ICA in order to simultaneously avoid the premature convergence and achieve the global optimum answer. In this study, the proposed algorithm has been applied to different test systems and the results have been compared with other optimization methods, tending to study the performance of the MuICA. Simulation results are the confirmation of superior performance of MuICA in solving NED problems.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1998년도 추계학술대회 논문집
• /
• pp.89-92
• /
• 1998

Recently, many organizations have attempted to construct hypermedia systems to expand their working areas to Internet-based virtual work places. For the effective management of the hypermedia application, it is important to develop a technique for managing hypermedia documents, hyperdocuments. This paper employs metadata as it has been conceived as a key approach in document management. Hence, this paper proposes a meta-information system based on metadata, HyDoMIS, for the purpose of hyperdocument manage-ment. This system contains a repository for hyper-documents, which is based on metadata schema and classification. HyDoMIS performs functions such as metadata management, searching and reporting.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 영어어문교육
• /
• 제15권2호
• /
• pp.93-119
• /
• 2009

Internalized Confucian cultural scripts trigger meta-pragmatic thinking in Korean communication. Commonly shared cultural knowledge acts as a powerful constraint upon the behavioral patterns of each participant and this knowledge can be strategically manipulated to avoid confrontations. The strategic use of address reference terms utilizes cultural values as a face-redress mechanism to achieve situation-specific goals. This paper offers a view of Korean address reference terms that rests on four revisions of politeness theory (Brown & Levinson, 1978, 1987). First, the notion of discernment - or 'wakimae' - as a culture-specific mechanism is reanalyzed. Secondly, culture-specific values as another R (ranking of imposition) variable are introduced. Thirdly, a reevaluation of the notion of positive face (respect) is discussed. Finally, the address reference terms in combination with other honorifics by the speaker that can be strategically applied either to threaten or to enhance the face of the hearer is observed. Because Confucianism is embedded in Korean cultural identity, teaching cultural values integrated and their roles in situation-dependent politeness is required in order to understand interactional nature of politeness occurring from particular discourse contexts.

• 기술혁신연구
• /
• 제13권3호
• /
• pp.175-196
• /
• 2005

This Paper examines analytic studies of the evaluation system used for evaluating government-supported R&D Institutes (GSRIs), and designs a new model for analyzing the evaluation system's effectiveness. The analytic models in existing studies use the meta evaluation and balanced scorecard (BSC) models. However, theses studies focused on the structure and elements of the evaluation system for examples, the appropriateness of the elements within the evaluation system and the balance of the evaluation index. Accordingly, the effectiveness of the GSRI evaluation system, that is, the evaluation's influence on GSRI performance improvement was not analyzed. This study uses the institution theory and contingency theory perspectives as related to government organization management to develop an analytical model of GSRI evaluation system effectiveness. The new model proposes an analytical approach for improving the effectiveness of the GSRI evaluation system in an institutionalized environment.

• Structural Engineering and Mechanics
• /
• 제85권6호
• /
• pp.709-716
• /
• 2023

In this paper, the shape factors of cellular meta-material plates (MMPs) having diverse cell arrays have been determined as the first attempt to finally examine their stability and vibrational frequencies. The MMPs are actually constructed from cylindrical or cubic cellular cores and two face sheets. Sandwich-like MMPs with circular and square holes in the face sheets have been selected in such a way that the effective material properties depend on the cellular architectures. For verifying the frequency results, finite element (FE) simulations are done in Abaqus software. Several graphical results have been represented to explore the effects of cellular architectures on vibrational frequencies and dynamic responses of the MMPs. Also, the deflection-frequency and stability curves in the case of forced vibrations have been plotted for diverse cell arrays.

• 한국산학기술학회논문지
• /
• 제17권9호
• /
• pp.308-313
• /
• 2016

사용자의 요구사항 증대와 기술의 발전으로 인해 현대 시스템은 계속해서 복잡해지고 있어 시스템 설계 오류 및 고장 등으로 인한 시스템 운용 중의 사고도 빈번해지고 있다. 특히 사고로 인한 인적 및 물적 피해가 심각할 수 있는 시스템을 안전중시 시스템이라고 부른다. 이러한 시스템에 대해서는 안전성을 확보하기 위한 특별한 노력이 필요한데 이에 부응하여 본 논문에서는 개발 초기 단계부터 안전성을 반영하면서 시스템 설계를 수행할 수 있는 방법을 연구하였다. 특히 안전 메타모델을 활용해서 기능의 고장 탐지를 수행할 수 있는 시스템 설계 방법을 제시하였다. 구체적으로 국제 안전 표준들을 참고하여 안전 데이터를 추출하고, 시스템 모델링 표준 언어인 SysML을 이용하여 안전 데이터 메타모델을 생성한 후, 시스템 설계에서 안전 데이터 메타모델을 효과적으로 활용하는 모델 기반 안전 시스템 설계 방법을 제시하였고, 이를 기반으로 안전요구사항 생성 및 시뮬레이션 방법에 관하여 논의하였다. 마지막으로 사례연구로서 자동차 시스템 설계에서 SysML 기반 모델링 및 시뮬레이션을 통해 기능 고장의 탐지나 안전 요구사항의 검증이 가능한 것을 보여 주었다. 본 연구에서 안전 데이터에 대한 메타모델의 활용을 통해 안전 데이터 및 정보의 구성 및 관리를 효율적으로 수행할 수 있는 것과, 메타모델 기반 시스템 설계와 시뮬레이션을 활용하여 설계 오류를 줄임으로써 요구사항에 맞는 시스템 설계를 할 수 있음을 제시하였다.

• Asian Pacific Journal of Cancer Prevention
• /
• 제13권11호
• /
• pp.5375-5379
• /
• 2012

Introduction: Published studies on the association between Nijmegen breakage syndrome 1(NBS1) gene polymorphisms and breast cancer risk have been inconclusive, and a meta-analysis was therefore performed for clarification. Methods: Eligible articles were identified by a search of MEDLINE and EMBASE bibliographic databases for the period up to March 2012. The presence of between-study heterogeneity was investigated using the chi-square-based Cochran's Q statistic test. When there was statistical heterogeneity, the random effects model was chosen; otherwise, fixed effects estimates were reported as an alternative approach. Results: A total of 11 eligible articles (14 case-control studies) were identified, nine case-control studies were for the 657del5 mutation (7,534 breast cancer cases, 14,034 controls) and five case-control studies were for the I171V mutation (3,273 breast cancer cases, 4,004 controls). Our analysis results indicated that the 657del5 mutation was associated with breast cancer risk (carriers vs. non-carriers: pooled OR =2.63, 95% CI: 1.76-3.93), whereas the I171V mutation was not (carriers vs. non-carriers: pooled OR =1.52, 95% CI: 0.70-3.28). Conclusion: The present meta-analysis suggests that the 657del5 gene mutation in the NBS1 gene plays a role in breast cancer risk, while the I171V mutation does not exert a significant influence.

• Asian Pacific Journal of Cancer Prevention
• /
• 제15권19호
• /
• pp.8361-8366
• /
• 2014

This meta-analysis was performed to assess the implementation effects of clinical pathways in patients with gastrointestinal cancer. A comprehensive search was conducted in the Cochrane Library, PubMed, EMBASE, Web of Science and Chinese Biomedical Literature Database (from inception to May 2014). Selection of studies, assessing risk of bias and extracting data were performed by two reviewers independently. Outcomes were analyzed by fixed-effects and random-effects model meta-analysis and reported as mean difference (MD), standardized mean difference (SMD) and odds ratio (OR) with 95% confidence intervals (CI). The Jadad methodological approach was used to assess the quality of included studies and the meta-analysis was conducted with RevMan 5.1 software. Nine citations (eight trials) involving 642 patients were included. The aggregate results showed that a shorter average length of stay [MD = -4.0; 95% CI (-5.1, -2.8); P < 0.00001] was observed with the clinical pathways as compared with the usual care. A reduction in inpatient expenditure [SMD = -1.5; 95% CI (-2.3, -0.7); P = 0.0001] was also associated with clinical pathways, along with higher patient satisfaction [OR = 4.9; 95% CI (2.2, 10.6); P < 0.0001]. Clinical pathways could improve the quality of care in patients with gastrointestinal cancer, as evidenced by a significant reduction in average length of stay, a decrease in inpatient expenditure and an improvement in patient satisfaction. Therefore, indicators and mechanisms within clinical pathways should be a focus in the future.

• Biotechnology and Bioprocess Engineering:BBE
• /
• 제10권5호
• /
• pp.425-431
• /
• 2005

The systems-level analysis of microbes with myriad of heterologous data generated by omics technologies has been applied to improve our understanding of cellular function and physiology and consequently to enhance production of various bioproducts. At the heart of this revolution resides in silico genome-scale metabolic model, In order to fully exploit the power of genome-scale model, a systematic approach employing user-friendly software is required. Metabolic flux analysis of genome-scale metabolic network is becoming widely employed to quantify the flux distribution and validate model-driven hypotheses. Here we describe the development of an upgraded MetaFluxNet which allows (1) construction of metabolic models connected to metabolic databases, (2) calculation of fluxes by metabolic flux analysis, (3) comparative flux analysis with flux-profile visualization, (4) the use of metabolic flux analysis markup language to enable models to be exchanged efficiently, and (5) the exporting of data from constraints-based flux analysis into various formats. MetaFluxNet also allows cellular physiology to be predicted and strategies for strain improvement to be developed from genome-based information on flux distributions. This integrated software environment promises to enhance our understanding on metabolic network at a whole organism level and to establish novel strategies for improving the properties of organisms for various biotechnological applications.