• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 품질경영학회지
• /
• 제40권2호
• /
• pp.176-185
• /
• 2012

After a work of Derman and Ross(1997) that considered simple main runs rules and derived ARL (Average Run Length) using Markov chain modeling, $\bar{X}$ control chart based on diverse alternative main and supplementary runs rules that is the most popular control chart for monitoring the mean of a process are proposed. This paper reviews and discusses the-state-of-art researches for these runs rules and classifies according to several properties of runs rules. ARL derivation for a proposed runs rule is also illustrated.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 추계학술대회 논문집 전력기술부문
• /
• pp.17-19
• /
• 2003

Electric arc furnace has consumed plenty of power. Hence electric arc furnace can be expected to use for demand side management. When electric arc furnace use for demand side management, electric arc furnace frequently occur a starting and a stop. Electric arc furnace irregularity change consumption of power. Due to character of time-varing and non-linear, electirc arc furnace has a problem with voltage quality(flicker, harmonics). Producted harmonic in electric art furnace is different any harmonic source because of electric arc furnace peculiar operating. Accordingly, analysis for generated harmonic in electric arc furnace operating is demanded. This paper analyze effect of harmonic by arc furnace operating.

• 한국군사과학기술학회지
• /
• 제13권4호
• /
• pp.612-618
• /
• 2010

In order to successfully manage of the state-of-the-art weapon system R&D program which are under the limited budget and schedule but also has a high level of technical risks, it is gaining weights to use such a scientific program management tool as TPM. Therefore, the purpose of this research is to review the concept of the TPM and its relation among MOE, MOP and TPM, and introduce an application method of TPM mainly focusing on helicopter development program. It has the organized structure, detailed procedure and 282 parameters for performance management through the TPM.

• The Korean journal of internal medicine
• /
• 제34권1호
• /
• pp.11-43
• /
• 2019

Heart failure (HF) is an important cardiovascular disease because of its increasing prevalence, significant morbidity, high mortality, and rapidly expanding health care cost. The number of HF patients is increasing worldwide, and Korea is no exception. There have been marked advances in definition, diagnostic modalities, and treatment of HF over the past four decades. There is continuing effort to improve risk stratification of HF using biomarkers, imaging and genetic testing. Newly developed medications and devices for HF have been widely adopted in clinical practice. Furthermore, definitive treatment for end-stage heart failure including left ventricular assist device and heart transplantation are rapidly evolving as well. This review summarizes the current state-of-the-art management for HF and the emerging diagnostic and therapeutic modalities to improve the outcome of HF patients.

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제21권1호
• /
• pp.6-13
• /
• 2016

Many legislations have been implemented in order to manage the subsurface environment in Korea. However, there was no control tools for managing subsurface environment so effectively. In this study, many laws and regulations were analyzed for extracting Korean subsurface environment management plan. Korean government need to 1) establish the basic paradigm for building the subsurface space, 2) establish the clear subsurface environment management systems, 3) establish the regulations related with subsurface space compensation, 4) prepare the human health and ecosystem related legislations.

• 항공우주의학회지
• /
• 제31권2호
• /
• pp.33-37
• /
• 2021

In the era of the 4th industrial revolution, the aviation industry is also growing remarkably with the development of artificial intelligence and networks, so it is necessary to study a new concept of crew resource management (CRM), which is required in the process of operating state-of-the-art equipment. The automation system, which has been treated only as a tool, is changing its role as a decision-making agent with the development of artificial intelligence, and it is necessary to set clear standards for the role and responsibility in the safety-critical field. We present a new perspective on the automation system in the CRM program through the understanding of the autonomous system. In the future, autonomous system will develop as an agent for human pilots to cooperate, and accordingly, changes in role division and reorganization of regulations are required.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.587-591
• /
• 2005

The case of laboratory-acquired SARS Corona virus infection in Taiwan has revealed a number of weaknesses in management, construction, and oversight of laboratories. Also, with the increased demands for bio-safety laboratory, there is an urgent need to develop a uniform and comprehensive guidance for architects and construction engineers in the preparation of design and construction. This research investigates the key elements for designers, engineers, and potential owners in biosafety laboratory design and construction. It defines key elements and determines major relationships and standards that should be adhered to when developing site layout. In addition to layout planning and design guidance of biosafety laboratory, this research also interviews the perspective of architects and survey the state-of-the-art technology in Taiwan. It represents the portraits by site investigation. The purpose of the research is to provide guideline of design and avoid potential future conflict to ensure the critical continuity of functions.

• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.480-485
• /
• 2005

This paper reviews the literature on safety culture focusing particularly on research carried out from 1998 onwards. The term 'safety culture' is clarified as it is typically applied to organizations, to safety and particularly to construction safety. Some clarifications in terms of levels of aggregation, positive safety culture and safety performance are provided by presenting appropriate empirical evidences and their theoretical developments. Safety culture is a subset of organizational culture that is thought to influence employees' attitudes and behavior in relation to an organization's ongoing health and safety performance. Implications for future research in the area are addressed, as safety culture has in recent years become the focus of much attention in all industries, and in the construction industry in particular.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.41-43
• /
• 2015

Urban Informatics, the application of data science methodologies to the urban development and planning domain, has been increasingly adopted to improve the management and efficiency of cities. This paper introduces state of the art use cases in major cities including New York, London, Seoul and Amsterdam. It also introduces recent advances in using Big Data by multi-lateral institutions for poverty reduction, and startups utilizing open data initiatives to create new value and insights. Preliminary research performed on using Seoul's open data such as building permit data and health code violations are also introduced to demonstrate opportunities in this relatively new but promising area of research.