• 대한자기공명의과학회:학술대회논문집
• /
• 대한자기공명의과학회 2001년도 제6차 학술대회 초록집
• /
• pp.107-107
• /
• 2001

목적： 초상자성 nano-particle 조영제의 자기이완효과에 관한 out sphere 기전에 기초하여 각각의 자기장의 세기에서 T1/T2 자기이완율을 나타내는 NMRD profile을 수치적으로 simulation 하는 프로그램을 개발하고자 하였다. 대상 및 방법： 초상자성 nano-particle 조영제의 경우 초상자성 물질을 생체적합성 고분자로 표면 coating하기 때문에 상자성 조영제와는 달리 전적으로 "out sphere"기여도만을 고려하였고 또한 초상자성 물질의 경우 자기적 에너지의 크기가 매우 크기 때문에 상자성 조영제의 기전에서 사용되는 "low field"근사를 사용할 수 없으므로 Brillouin 함수로 표현되는 총자화에 대한 표현을 적용하였다. nano-particle내에 포함된 Fe 원자수에 따른 T1 및 T2 NMRD Profile과 온도에 따른 T1 및 T2 NMRD Profile 그리고 초상자성 nano-particle size에 따른 T1 및 T2 NMR Profile을 PC (CPU=800 Mhz, memory=128 MB) 환경하에서 symbolic computation tool 인 MathCad (MathCad, USA)를 사용하여 구현하였다.

• East Asian mathematical journal
• /
• 제16권2호
• /
• pp.251-266
• /
• 2000

The problem of solution uniqueness to the task of determining unknown parameters of mathematical models from input-output observations is studied. This problem is known as structural identifiability problem. We offer a new approach for testing structural identifiability of linear state space models. The approach compares favorably with numerous methods proposed by other authors for two main reasons. First, it is formulated in obvious mathematical form. Secondly, the method does not involve unfeasible symbolic computations and thus allows to test identifiability of large-scale models. In case of non-identifiability, when there is a set of solutions to the task, we offer a method of computing functions of the unknown parameters which can be determined uniquely from input-output observations and later used as new parameters of the model. Such functions are called parametric functions capable of estimation. To develop the method of computation of these functions we use Lie group transformation theory. Illustrative example is given to demonstrate applicability of presented methods.

• 대한조선학회논문집
• /
• 제33권1호
• /
• pp.161-172
• /
• 1996

최적화기법을 포함한 종래의 전산 프로그램들은 수치적 계산과정과 그 결과에만 중점을 두고 개발되어 왔으며, 설계모델의 개발과 최적화기법의 선택 및 결과의 판단 등은 설계 전문가에 의하여 수행되어 왔다. 반면에 전문가의 경험적지식을 처리하는 지식기반시스템은 기호처리에 중점을 두고 있기 때문에 수치적 계산을 효과적으로 할 수 없다. 본 논문에서는 수치적인 계산결과만을 제공하는 최적화기법의 한계와 기호처리에 중점을 두고 있는 지식기반시스템의 한계를 극복하여, 보다 현실적인 최적설계안을 도출할 수 있는 지식기반 다목적함수 최적설계 시스템을, 최적화기법과 LISP 언어로 개발한 지식기반시스템을 통합하여 구현하고, 이를 LNG선의 최적설계 모델에 적용하여 개발된 시스템의 유용성을 보였다.

• 품질경영학회지
• /
• 제18권2호
• /
• pp.18-24
• /
• 1990

The location of inspection stations is a significant component of production systems. In this paper, a prototype expert system is designed for deciding the optimal location of inspection stations. The production system is defined as a single channel of n serial operation stations. The potential inspection station can be located after any of the operation stations. Nonconforming units are generated from a compound binomial distribution with known parameters at any given operation station. Traditionally Dynamic programming, Zero-one integer programming, or Non-linear programming techniques are used to solve this problem. However a problem with these techniques is that the computation time becomes prohibitively large when t be number of potential inspection stations are fifteen or more. An expert system has the potential to solve this problem using a rule-based system to determine the near optimal location of inspection stations. This prototype expert system is divided into a static database, a dynamic database and a knowledge base. Based on defined production systems, the sophisticated rules are generated by the simulator as a part of the knowledge base. A generate-and-test inference mechanism is utilized to search the solution space by applying appropriate symbolic and quantitative rules based on input data. The goal of the system is to determine the location of inspection stations while minimizing total cost.

• 대한전기학회논문지:전력기술부문A
• /
• 제49권7호
• /
• pp.313-322
• /
• 2000

This paper presents optimal placement of minimal set of Phasor Measurement Units (PMU's) and observability analysis of the network with PMU's. In order to find a observable system, a symbolic method which directly assigns an appropriate symbol for measurement or pseudo-measurement to every entry of node-branch incidence matrix is proposed. It is much simpler and easier to analyze the observability of the network with PMU's than the conventional ones. For the optimal PMU placement problem, two approaches which are based on a modified Simulated-Annealing (SA) method and a Direct Combination method are proposed. Some case studies with IEEE sample system are made to show the performance of the proposed methods are almost alike and more effective than the conventional simulated-annealing method. It is also shown that the Direct Combination method is more effective than the modified simulated-annealing one in the sense of computation burden. The results of this study showed also that the accuracy of power system estimation and system observability can be improved the proposed PMU placements.

• 대한조선학회논문집
• /
• 제42권5호
• /
• pp.534-541
• /
• 2005

Until now, Korean shipyards have accumulated a great amount of data. But they do not have appropriate tools to utilize the data in practical works. Engineering data contains experts' experience and know-how in its own. It is very useful to extract knowledge or information from the accumulated existing data by using data mining technique This paper treats an evolutionary computation based on genetic programming (GP), which can be one of the components to realize data mining. The paper deals with linear models of GP for the regression or approximation problem when given learning samples are not sufficient. The linear model, which is a function of unknown parameters, is built through extracting all possible base functions from the standard GP tree by utilizing the symbolic processing algorithm. In addition to a standard linear model consisting of mathematic functions, one variant form of a linear model, which can be built using low order Taylor series and can be converted into the standard form of a polynomial, is considered in this paper. The suggested model can be utilized as a designing tool to predict design parameters with small accumulated data.

• 한국학교수학회논문집
• /
• 제10권1호
• /
• pp.27-43
• /
• 2007

본 연구의 목적은 이공계 대학생들에게 수학에 대한 동기유발과 수학학습에 도움을 주기 위하여 기반 학습 시스템을 개발하는 것이다. 이를 위하여 Mathematica와 웹 연동을 가능하게 해주는 webMathematica를 사용하여 이공계 대학생을 위한 미적분학습용 웹 콘텐츠 시스템인 MathBooster를 제작하였다. 이공계 대학생을 위한 웹 콘텐츠의 구성은 먼저 미적분의 개념을 그래프와 같은 시각화한 그림을 사용함으로써 흥미와 동기의 유발, 그리고 개념 형성을 위해 요소 지식에 관련된 내용을 수식과 텍스트로 제시하였다. 또한 단계별 풀이과정이 제시되는 예제를 제공하여 개념의 이해를 통한 응용력을 배양하도록 콘텐츠를 제공하였다. 학습자의 이해력을 확인하기 위하여 퀴즈를 제공하였으며 베이지언 네트워크를 이용하여 학습자의 퀴즈 풀이 결과에 따라 해당 콘텐츠에 대한 학습의 이해 정도를 진단하는 기능을 개발하였다. 이공계 수학용 웹 콘텐츠의 형성평가를 위하여 MathBooster에 대한 사용자의 반응, 화면구성의 적절성, 실습하기 모드의 만족도, 퀴즈, 진단결과, 피드백 만족도 등의 네 영역으로 구분하여 설문지를 작성하였다. MathBooster의 실습을 마친 이공계 학생을 대상으로 설문지를 배포하였으며 영역별로 통계 처리한 결과 MathBooster 사용에 대한 높은 만족도를 보여 주었다. 이 결과에 따라 향후 시스템을 수정보완 할 과제를 제시하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권8호
• /
• pp.229-234
• /
• 2020

본 논문은 임베디드 소프트웨어에 대한 Concolic 테스팅을 효과적이고 효율적으로 지원하기 위해 임베디드 타겟(target) 시스템과 호스트(host) 시스템의 분산적이고 동시적으로 테스트 생성을 위한 작업을 수행하는 Concolic 테스팅 도구의 설계와 구현 사례를 소개한다. 소개하는 테스트 케이스 생성 도구는 Concolic 테스팅 과정 중 (1) 임베디드에 종속적인 특성을 갖는 테스트검증 대상 프로그램의 실행 부분은 임베디드 타겟 시스템에서 수행하고, (2) 시스템에 비종속적인 실행 부분인 탐색 전략, 제약식 해법기 실행 과정은 계산성능이 좋은 호스트 시스템에 분산하고, 독립적인 단계를 동시적으로 실행하도록 기존 Concolic 도구를 개선하였다. Arm Cortex A54 아키텍쳐의 임베디드 타겟 시스템과 x86-64 아키텍쳐의 호스트 시스템을 대상으로 본 기법을 구현하여 오픈소스 C 프로그램의 Grep, Busybox Awk, Busybox Ed를 대상으로 실험한 결과, 기존 도구 보다 1.59~2.64배 테스트케이스 생성속도가 향상됨을 확인할 수 있었다.

• Investigative Magnetic Resonance Imaging
• /
• 제7권1호
• /
• pp.39-46
• /
• 2003

목적 : 간(liver)과 림프절 특이성 등의 다기능성을 나타내는 미세 초상자성 산화철 입자(ultrasmall superparamagnetic iron oxide: USP IO)의 자기이완(magnetic relaxation)에 대한 이론적 모델을 제시하고 이러한 이론적 모델에 근거한 미세 초상자성 산화철 입자의 자기장의 세기에 따른 자기 이완시간의 변화를 컴퓨터 모의 실험을 통해 연구하였다. 대상 및 방법 : 초상자성 산화철 입자를 조영제로 사용하기 위해서는 생체적합성 고분자로 축약(encapsulation)시키게 되고 따라서 확산(diffusion) 및 전자스핀의 fluctuation 에 기인하여 발생하는 자유 물분자와 간접 상호작용인 "outsphere " 기전에 근거하여 자기이완모델을 개발하였다. 또한 초상자성체의 경우 자기 모멘트가 상자성 입자에 비해 최소 수백배에서 최대 수만배까지 더 크므로 일반적으로 상자성 조영제의 "out sphere" 기전에서 가정하는 저자장 근사치를 사용할 수 없고 따라서 본 연구에서는 Brillouin함수로 표현되는 총자화에 대한 표현을 적용하여 저자장뿐만 아니라 고자장의 경우까지를 모두 포함하는 "out sphere" 기전에 의한 T1 그리고 T2 이완율에 대한 모델을 개발하였다. 이렇게 개발된 자기이완모델을 사용하여 미세 초상자성 산화철 입자의 자기장의 세기에 따른 자기 이완시간의 변화를 symbolic computation tool 인 MathCad(MathCad, USA)를 사용한 컴퓨터 모의 실험을 통해 조사하였다. 결과 : 미세 초상자성 산화철 입자의 T1, T2 자기이완 특성은 먼저, 저자장 영역 (＜1.0 Mhz)에서는 이론적 모델의 spectral density function에 들어 있는 두 개의 correlation time중 $\tau$$_{s1}$ 중 (T2의 경우 ${\tau}_{S2}$)이 주된 역할을 하는 것을 알 수 있었고 이는 결과적으로 이러한 나노자성체 입자들이 낮은 자기장하에서는 열적으로 야기된 자기모멘트들의 재배열이 주된 역할을 하는 것으로 해석할 수 있다. 한편 고자장 영역에서는 correlation time 중 $\tau$가 주된 역할을 담당하는데는 $\tau$는 나노 입자의 크기와 연관되어 있으며 고자장에서 입자 크기에 따른 T1 이완율(R1)과 T2 이완율(R2)의 차이는 이러한 입자크기의 차이에 의해 발생하는 것으로 해석할 수 있다. 나노입자에 포함된 철 원자수를 변화시키는 경우 철 원자수가 증가 할 수록 R1과 R2가 증가하는 결과를 나타내었다. 한편 온도변화에 따른 T1, T2 자기이완시간의 변화는 정상체온 근처의 제한적인 온도범위내에서 저자장 영역에서의 아주 작은 변화를 제외하고는 큰 차이를 보이지 않았으나 T1에 비해 T2에서 이러한 변화가 상대적으로 더 작게 나타났다. 결론 : 임상적 다기능성을 나타낼 가능성이 많은 것으로 보고되고 있는 미세 초상자성 산화철 입자의 자기이완에 대한 이론적 모델을 초상자성 나노입자의 물리적 특성에 기초하여 제시하였고 이러한 이론적 모델에 근거한 미세 초상자성 산화철 입자의 자기장의 세기에 따른 자기 이완시간의 변화를 컴퓨터 모의 실험을 통해 조사하였다.다.