• 한국정보과학회논문지:시스템및이론
• /
• 제27권6호
• /
• pp.599-607
• /
• 2000

본 논문에서는 유한페트리넷의 도달가능성에 대한 효율적인 분석방법을 제안한다. 일반적으로 도달가능성 분석은 유한페트리넷의 동적 성질에 관한 연구에 있어서 가장 근본이 되는 분석중의 하나이다. 그러나 일반적인 유한페트리넷의 경우, 도달가능성 분석은 분석시간과 요구되는 메모리 양의 측면에서 지수승의 복잡도를 요구하게 되며 많은 경우 상태공간폭발 문제를 야기할 수 있다. 이에 본 논문에서는 유한페트리넷의 분석을 위한 중간모델인 언폴딩(unfolding)상에서 장소(place)간의 구조관계 분석을 통하여 시간 및 메모리의 측면에서 효율적으로 도달가능성 분석을 수행하는 방법을 제안한다. 제안된 방법은 구조적 제약 없이 모든 종류의 유한페트리넷에 적용 가능하다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2004년도 추계학술대회 및 정기총회
• /
• pp.13-16
• /
• 2004

This paper deals with a one-searcher multi-target search problem where targets with different detection priorities move in Markov processes in each discrete time over a given space search area, and the total number of search time intervals is fixed. A limited search resource is available in each search time interval and an exponential detection function is assumed. The searcher can obtain a target detection award, if detected, which represents the detection priority of target and is non-increasing with time. The objective is to establish the optimal search plan which allocates the search resource effort over the search areas in each time interval in order to maximize the total detection award. In the analysis, the given problem is decomposed into intervalwise individual search problems each being treated as a single stationary target problem for each time interval. An associated iterative procedure is derived to solve a sequence of stationary target problems. The computational results show that the proposed algorithm guarantees optimality.

• 한국경영과학회지
• /
• 제31권1호
• /
• pp.15-24
• /
• 2006

In simulation input modeling, it is important to identify a probability distribution to represent the input process of interest. In this paper, an appropriate sample size is determined for parameter estimation associated with some typical probability distributions frequently encountered in simulation input modeling. For this purpose, a statistical measure is proposed to evaluate the effect of sample size on the precision as well as the accuracy related to the parameter estimation, square rooted mean square error to parameter ratio. Based on this evaluation measure, this sample size effect can be not only analyzed dimensionlessly against parameter's unit but also scaled regardless of parameter's magnitude. In the Monte Carlo simulation experiments, three continuous and one discrete probability distributions are investigated such as ; 1) exponential ; 2) gamma ; 3) normal ; and 4) poisson. The parameter's magnitudes tested are designed in order to represent distinct skewness respectively. Results show that ; 1) the evaluation measure drastically improves until the sample size approaches around 200 ; 2) up to the sample size about 400, the improvement continues but becomes ineffective ; and 3) plots of the evaluation measure have a similar plateau pattern beyond the sample size of 400. A case study with real datasets presents for verifying the experimental results.

• 대한전자공학회논문지TC
• /
• 제49권8호
• /
• pp.25-32
• /
• 2012

본 논문에서는 고속 시변 채널 OFDM을 위한 저복잡도 LS(Least Squares) 채널 예측의 성능 개선 방안을 제안한다. 저복잡도 LS 채널 예측을 위해 사용하는 CE-BEM(Complex Exponential-Basis Expansion Model) 채널 모델의 경우 채널 모델 자체의 문제점으로 인하여 채널 예측 성능 저하가 발생한다. 본 논문에서는 우선 시간 영역 윈도우를 이용하여 데이터 심볼에 의한 ICI(Interchannel Interference)의 영향을 제거한다. LS 채널 예측 결과에서 샘플을 취하여 윈도우의 영향을 제거한 후 특성이 채널 변화의 표현에 적합한 DPSS(Discrete Prolate Spheroidal Sequences)를 기저함수(basis function)로 하는 보간 (interpolation) 방식으로 채널 응답을 복원하여 CE-BEM의 문제점을 해결한다. 컴퓨터 모의실험을 통한 성능 확인 결과 제안된 채널 예측 방식은 기존의 방식과 비교하여 특히 고속 시변 채널에서 우수한 성능 개선 효과를 보여주며, 선택된 기저함수의 형태뿐만 아니라 기저함수의 개수의 설정이 성능을 크게 좌우하는 또 다른 요소임을 확인하였다.

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

본 논문에서는 사전연산이 가능한 세션 키 쌍을 이용하여, 최소의 정보만을 노출하여 키 교환이 가능한 변형된 Diffie-Hellman 키 교환 프로토콜을 보인다. 기존 Diffie-Hellman 및 Diffie-Hellman 기반 기법들의 보안성인 이산대수문제를 변형하여 생성원이 노출되지 않도록 설계함으로써 전송되는 암호문에 대한 공격으로부터 향상된 보안성을 가진다. 제안하는 기법에 실제 값을 적용하여 알고리즘의 동작을 증명하고 기반이 되는 기존 알고리즘과의 수행시간과 안전성을 비교 분석하여, 키 교환 시점 연산량을 유지하며 두 기반 알고리즘 시간복잡도의 곱 이상으로 알고리즘의 안전성이 향상되었음을 보였다. 제안하는 알고리즘을 기반으로 보안성이 향상된 키 교환 환경을 제공할 수 있을 것으로 기대된다.

• 한국항공우주학회지
• /
• 제33권1호
• /
• pp.26-32
• /
• 2005

본 연구에서는 반응표면법에 다항함수, 지수함수, 로그함수등을 적용한 다양한 회귀함수를 이용하여 최적화를 수행하였다. 이를 검증하기 위해 트러스 구조와 하니콤 복합재 플랫폼에 대하여 응력 및 고유진동수를 고려하여 최적설계를 수행하였다. 근사함수를 효과적이고 용이하게 하는 방법을 실험계획법이라 하는데 중심합성법, 요인설계법, 회전계획법, 심플렉스법 등이 있으며, 본 연구에서는 중심합성법을 이용하여 반응표면을 생성하였다. 이를 위하여 구조해석 코드로 MSC/NASTRAN을 사용하였으며 최적설계 프로그램은 중심합성법을 기반으로 하여 다양한 회귀모델에 의한 반응표면을 적용하여 작성하였다. 또한 이 결과를 기존의 도함수를 이용한 최적화 기법이나 유전자알고리즘을 이용한 최적화 결과와 비교하여 반응표면법의 설계상의 장점 및 반응표면 생성 시 다양한 회귀모델에의 사용에 대한 신뢰성을 확인하였다.

• Asian-Australasian Journal of Animal Sciences
• /
• 제22권3호
• /
• pp.356-364
• /
• 2009

The current ruminant feeding models require parameterization of the digestion kinetics of carbohydrate fractions in feed ingredients to estimate the supply of nutrients from a ration. Using an automated gas production technique, statistically welldefined digestion rate of carbohydrate, including soluble carbohydrate, can be estimated in a relatively easy way. In this study, the gas production during in vitro fermentation was measured and recorded by an automated gas production system to investigate degradation kinetics of carbohydrate fractions of a wide range of ruminant feeds: corn silage, rice straw, corn, soybean hull, soybean meal, and cell mass from lysine production (CMLP). The gas production from un-fractionated, ethanol insoluble residue and neutral detergent insoluble residue of the feed samples were obtained. The gas profiles of carbohydrate fractions on the basis of the carbohydrate scheme of the Cornell Net Carbohydrate and Protein System (A, B1, B2, B3 and C) were generated using a subtraction approach. After the gas profiles were plotted with time, a curve was fitted with a single-pool exponential equation with a discrete lag to obtain kinetic parameters that can be used as inputs for modern nutritional models. The fractional degradation rate constants (Kd) of corn silage were 11.6, 25.7, 14.8 and 0.8%/h for un-fractioned, A, B1 and B2 fractions, respectively. The values were statistically well estimated, assessed by high t-value (>12.9). The Kd of carbohydrate fractions in rice straw were 4.8, 21.1, 5.7 and 0.5%/h for un-fractioned, A, B1 and B2 fractions, respectively. Although the Kd of B2 fraction was poorly defined with a t-value of 4.4, the Kd of the other fractions showed tvalues higher than 21.9. The un-fractioned corn showed the highest Kd (18.2%/h) among the feeds tested, and the Kd of A plus B1 fraction was 18.7%/h. Soybean hull had a Kd of 6.0, 29.0, 3.8 and 13.8%/h for un-fractioned, A, B1 and B2, respectively. The large Kd of fraction B2 indicated that NDF in soybean hull was easily degradable. The t-values were higher than 20 except for the B1 fraction (5.7). The estimated Kd of soybean meal was 9.6, 24.3, 5.0%/h for un-fractioned, A and B1 fractions, respectively. A small amount of gas (5.6 ml at 48 ho of incubation) was produced from fermentation of CMLP which contained little carbohydrate. In summary, the automated gas production system was satisfactory for the estimation of well defined (t-value >12) kinetic parameters and Kd of soluble carbohydrate fractions of various feedstuffs that supply mainly carbohydrate. The subtraction approach, however, should be applied with caution for some concentrates, especially those which contain a high level of crude protein since nitrogen-containing compounds can interfere with gas production.