• 한국안전학회지
• /
• 제15권3호
• /
• pp.14-22
• /
• 2000

A numerical analysis has been performed on the two-dimensional rectangular gallium melting problem using the enthalpy method. The major advantage of this method is that the physical domain is discretized with fixed grids without transforming variables and the interface conditions of phase change are accounted for the definition of suitable source terms in the governing equations. But in the fixed method, there is some ambiguity in defining the porosity constant which has no physical interpretation. If the velocity correction is included in the momentum equation, for the appropriate range of porosity constant, the realistic predictions are obtained. The object of the present work is to predict the phase change within the molten steel with thin riser slab using the modified enthalpy-porosity method. The computational procedures for predicting velocity and temperature are based on the finite volume method and the non-staggered grid system. The influence of natural convection on the melting process is considered. A comparison with the experimental results shows that the modified method is better than the previous one.

• 한국군사과학기술학회지
• /
• 제13권5호
• /
• pp.818-823
• /
• 2010

Exploiting models and simulations are encouraged among the defense acquisition society, as now enforced by the Defense Aquisition Program Administration's regulations. They are useful and, sometimes, inevitable especially in an earlier phase of system development. Computer-simulation-based experimentation technique for the system operational performance analysis for a torpedo defense system is introduced in this paper. Problem definition for the torpedo defense system analysis and engineering efforts for models and simulations development are presented here, including defining measures of performance and effectiveness for the torpedo defense system, conceptual modeling for torpedo engagement and defense simulation, design of experimentation, design of simulator and experimentor, and hardware and software implementation of an analysis support tool - a system operations demonstration and experimentation simulator.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.98-101
• /
• 2004

Linear Programming(LP) is the term used for defining a wide range of optimization problems in which the objective function to be minimized or maximized is linear in the unknown variables and the constraints are a combination of linear equalities and inequalities. LP problems occur in many real-life economic situations where profits are to be maximized or costs minimized with constraint limits on resources. While the simplex method introduced in a later reference can be used for hand solution of LP problems, computer use becomes necessary even for a small number of variables. Problems involving diet decisions, transportation, production and manufacturing, product mix, engineering limit analysis in design, airline scheduling, and so on are solved using computers. This technique is called Sequential Linear Programming (SLP). This paper describes LP's problems and solves a LP's problems using the neural networks.

• Kyungpook Mathematical Journal
• /
• 제57권1호
• /
• pp.109-124
• /
• 2017

In this article the Srivastava-Owa-Ruscheweyh fractional derivative operator $\mathcal{L}^{\alpha}_{a,{\lambda}}$ is applied for defining and studying some new subclasses of analytic functions in the unit disk E. Inclusion results, radius problem and other results related to Bernardi integral operator are also discussed. Some applications related to conic domains are given.

• 대한수학회지
• /
• 제58권3호
• /
• pp.723-740
• /
• 2021

Design and maintenance of large span roof structures require an analysis of their static and dynamic behavior depending on the physical parameters defining the structures. Therefore, it is highly desirable to estimate the parameters from observations of the system. In this paper we study the parameter estimation problem for damped shallow arches. We discuss both symmetric and non-symmetric shapes and loads, and provide theoretical and numerical studies of the model behavior. Our study of the behavior of such structures shows that it is greatly affected by the existence of critical parameters. A small change in such parameters causes a significant change in the model behavior. The presence of the critical parameters makes it challenging to obtain good estimation. We overcome this difficulty by presenting the Parameter Estimation Algorithm that identifies the unknown parameters sequentially. It is shown numerically that the algorithm achieves a successful parameter estimation for models defined by arbitrary parameters, including the critical ones.

• International journal of advanced smart convergence
• /
• 제11권2호
• /
• pp.38-43
• /
• 2022

In this study, there are many difficulties in defining and judging creative people because there is no systematic analysis method using accurate standards or numerical values. Analyze and judge whether In the previous study, A study on the application of rule success cases through machine learning algorithm extraction, a case study was conducted to help verify or confirm the psychological personality test and aptitude test. We proposed a solution to a research problem in psychology using machine learning algorithms, Data Mining's Cross Industry Standard Process for Data Mining, and CRISP-DM, which were used in previous studies. After that, this study proposes a solution that helps to judge creative people by applying the feature selection algorithm. In this study, the accuracy was found by using seven feature selection algorithms, and by selecting the feature group classified by the feature selection algorithms, and the result of deriving the classification result with the highest feature obtained through the support vector machine algorithm was obtained.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.933-935
• /
• 2003

Geo-scientifically viable, environmentally suitable, and socially acceptable sanitary landfill sites are very limited in the Kathmandu Valley and is confronted with the burning problem of safe disposal of urban waste. This paper deal with the evaluation and assessment of its interface, following the major criteria defining suitable geological barrier, Cation Exchange Capacity and other necessary physical parameters with the optimum utilization of remotely sense data along with GIS techniques. The study revealed one of the most viable sites at the flat land of natural depression of Taikabu area and has potential to serve all the municipalities of the Kathmandu Valley.

• 정보처리학회논문지A
• /
• 제8A권4호
• /
• pp.391-398
• /
• 2001

대부분의 안전한 운영체제는 주체와 객체에 보안 등급을 부여하여 운영하는 다중등급 정책(MLP：Multi-Level Policy)을 수용하고 있으며, BLP(Bell and LaPadula) 모델은 이 정책을 표현하는 검증된 대표적인 모델이다. 하지만 BLP 모델을 적용한 안전한 운영체제들은 사용자의 보안 등급을 프로세스에 그대로 상속하고 있음을 알 수 있다. 이러한 접근방법의 문제점은 프로세스를 전적으로 신뢰할 수 없다는 것에서 기인한다. 즉, 사용자의 보안 등급과 권한허용 범위를 오류가 내재되어 있거나 의도적으로 수정된 악의적인(malicious) 프로세스에게 그대로 상속할 경우, 시스템 안전성이 파괴될 가능성이 있다. 이는 BLP 모델이 접근 주체를 정의함에 있어서 시스템 사용자와 실제 그 접근을 대행하는 프로세스를 동일시 하도록 단순하게 정의하고 있기 때문이며, 따라서 사용자와 프로세스간 신뢰관계를 모델에 도입함으로써 해결 가능하다. 또한 다중등급 보안 운영체제들은 접근 주체인 프로세스가 접근 객체로서 존재하는 등급화 된 프로그램 실행 시, 새로운 프로세스를 위한 보안 등급을 부여해야 하는데, 접근 주체와 접근 객체의 보안 등급이 다를 경우, 보안 등급 결정 문제가 발생하며 정보보호의 목적에 위배되는 결과가 발생한다. 이에 본 논문에서는 프로세스의 신뢰성을 고려하고, 보안 등급 결정 문제를 해결할 수 있는 확장된 BLP(E-BLP) 보안 모델을 제안하고 리눅스 커널(2.4.7)에 구현한다.

• 대순사상논총
• /
• 제24_1권
• /
• pp.315-349
• /
• 2014

This paper was carried out to bring the researches on Cultivation Practice of Daesoonjinrihoe which have been at a standstill after analyzing the directions of studies on Cultivation Practice and diagnosing its problems, in addition to that, the paper was also conducted in a way of discussing the research directions in the future. This work enables scholars who have interests in Daesoon Thoughts to easily comprehend over the length and breadth of Cultivation Practice of Daesoonjinrihoe as well as help them understand what level of researches regarding Cultivation Practice has been demanded. Furthermore, this paper will be a step-stone for scholars to ponder how and on what perspective they approach a wide variety of studies on Daesoon Thoughts. The problems reflected on the previous researches on Cultivation Practice are summarized as follows: first, except a few researches in general, problem recognition, research target, style, method, and content are not diverged from the frame defined by Jang Byeong-Gil, who set it up in Daesoon Religion and Thought (Daesoon Jonggyo Sasang) in 1989. Proliferating overlapped researches without developing problem awareness is of great concern. And such researching climate has gradually set in. Secondly, there are numerous researches intending to reveal the researcher's forceful attitude implying faith. Thirdly, most of the previous researches neglect to focus on defining the range of researches. Fourthly, when defining concepts, more thorough insight is needed. Lastly, the researches on analysing symbols and attempting signification analysis are relatively few, only to find many errors. To solve these problems, this paper suggests to develop theories which back up Cultivation Practice by researching on the fields of theory of mind-nature(心性), theory of mind-qi(心氣), theory of pain, Religious Ethics, viewpoint of God/gods, and psychology. Secondly, all the symbols and meanings of elements shown in Cultivation Practice need analyzing more elaborately sophisticatedly and more in-depth. In order to fulfil this goal, by adapting the recent trends of historical studies, it is essential to attempt to engraft Cultivation Practice of Daesoonjinrihoe on cultural phenomena, to analyze thick layers of meanings beneath its surface, to interpret differently, utilizing various perspectives such as focusing on the gender problems, and to extract true meanings out of Cultivation Practice by analyzing everyday events which can occur in real cultivation practices. Thirdly, the terms and concepts regarding Cultivation Practice base the principle themselves. Fourthly, by utilizing methodology of comparative studies on religions, the comparative researches on cultivation practice of different religious traditions are also needed. Lastly, the history of aspects on Cultivation Practice such as transition of mantras, processes which have been conducted through proprieties of prayer and training should be collected and classified. In this context, this work is very important since it helps understand the aspects of transition of originality and characteristics in Cultivation Practice of Daesoonjinrihoe according to passage of time.

• 전산구조공학
• /
• 제5권1호
• /
• pp.133-142
• /
• 1992

본 논문은 수식화의 특이성 때문에 구조 최적화 문제에 거의 사용되지 않고 있는 선형 goal programming을 대규모 비선형 구조 최적화에 응용하는 방법을 제시한다. 이 방법은 다기준 최적화의 도구로 사용되는데 그 까닭은 goal programming이 목적함수와 제한조건등을 정의하는데 있어서 발생하는 난점들을 제거해 주기 때문이다. 이 방법은 비선형 goal 최적화 문제들의 해를 얻기 위해서 유한요소해석, 선형 goal programming기법, 그리고 계속적인 선형화 기법을 이용한다. 즉, 대규모 비선형 구조 최적화 문제를 비선형 goal programming형태로 전환시키는 일반적인 수식화 방법을 제시하고, 얻어진 비선형 goal 최적화 문제를 풀기 위한 계속적인 선형화 방법에 대해서도 논의한다. 설계도구로서 이 방법의 유효성을 논증하기 위하여 10, 25 및 200트러스의 사례를 가지고 응력제한조건들의 최소무게 구조 최적화 문제에 대한 해를 모색하며 이를 다른 연구결과와 비교검토한다.