• 한국식품과학회지
• /
• 제27권4호
• /
• pp.618-624
• /
• 1995

우리나라에서 식품중 농약잔류 허용기준의 적합성을 평가하고 Codex 기준의 수용 가능성을 검토하기 위하여 허용기준치와 한국인의 식품계수 만을 적용한 농약성분의 이론적 최대섭취량을 계산한 다음 ADI 값과 비교하였다. 국내에서 허용기준이 설정된 105개 농약성분의 ADI 대비율은 대부분이 80% 이하 수준을 유지하고 있으나 ADI를 초과하는 농약은 13개 성분이었다. 한편 Codex 기준이 있는 82개 농약성분에서 ADI를 초과하는 농약은 20개 성분에 이르고 있다. 한국기준 또는 Codex 기준에서 ADI를 초과하는 22개 성분에 대해서는 그 원인을 지적하였으며 안전마진 확보를 위한 대책이 마련되어야 할 것이다.

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.127-142
• /
• 2008

수학의 역사에서는 이미 발견되어 논증된 정리를 새로운 방법으로 공략함으로써 그 정리의 깊은 의미를 드러내는 작업의 기록을 쉽게 찾을 수 있다. 이 연구는 직관적으로 비교적 이해하기 쉬운 소재인 수형도를 대상으로 하여, 꼭지점의 집합이 결정되었을 때 수형도의 개수를 결정하여 주는 케일리 공식(Cayley formula)의 증명에 대한 서로 다른 네 가지 접근방법을 소개하는 것을 목적으로 한다. 네 가지 증명은 수형도의 성질로부터 유도된 재귀적 관계식을 이용한 케일리의 증명에서부터 특정한 수학적 대상과 수형도 사이의 일대일대응 관계에 주목하는 나머지 세 가지 증명으로 이루어진다. 특히, 마지막 증명은 순수한 수학적 작업이 다른 분야에 강력한 도구를 제공하는 전형적인 예를 보여준다.

• 한국통신학회논문지
• /
• 제16권11호
• /
• pp.1201-1209
• /
• 1991

일반적으로 기존의 추적 알고리즘은 표적의 수에 따른 계산량의 기하학적 증가로 실시간 처리 등 실제 응용에 커다란 제한이 되고 있다. 따라서, 본 논문에서는 고밀도 상호 연결 구조와 대규모 병렬 처리로 실시간 처리가 가능한 새로운 신경회로망 이동 표적 추적 시스템에 대한 이론적 분석과 실험을 하였다. 분석 결과, 신경회로망 알고리즘을 이용한 추적 시스템은 표적 정보의 병력 및 집적 연산이 가능하여 표적이 증가한 경우에도 계산량이 크게 증가하지 않고, 학습을 통한 추적의 최적화가 가능하며, 표적의 여러 이동 정보가 상호 연결 강도에 저장되어 다량의 정합 필터 효과를 가질 수 있으므로 신경회로망을 이용한 새로운 표적 추적 시스템의 실시간 응용 가능성을 제시하였다.

• Nuclear Engineering and Technology
• /
• 제3권4호
• /
• pp.185-197
• /
• 1971

1950년대의 미국 General Atomic사에서 열출력 100 kw로 설계, 제작하여 1962년 3월에 건조완료한 TRIGA Mark-II원자로는 1969년 7월에 250 kw로 출력 증강되었으나 방사선차폐는 보강되지 않았다. 본 논문에서의 계산에 의하면 출력 증강후 현재의 차폐물로도 중성자에 대하여는 확실히 안전하지만 Gamma선에 대해서는 위험하다는 것이 판명되었다. 원자로의 구조와 출입인 및 실험종사자들의 위치로 보아 차폐물의 안전도 검토는 수평방향에 한하였고, 또 정확을 기하기 위하여 중성자와 Gamma선의 투과문제를 나누어 검토하였다. 이를 근거로 하여 이론적인 측면에서 본 콘크리트의 보강을 요하는 두께도 산출하였다.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 2004년도 춘계 학술발표회 논문집
• /
• pp.171-176
• /
• 2004

열처리로에 적용되는 소형 축열식 복사관 버너시스템에 사용될 축열기를 설계하고 그 성능을 평가하였다. 좁은 튜브간 간격을 갖는 U형 복사관에 축열기를 적용하기 위하여 상하단 단면적이 다른 축열기를 설계, 적용하였다. 구형축열체를 사용하는 2만kcal/hr급 축열기 설계에는 기존에 개발된 축열기 해석코드를 이용하였다. 실제 시스템에 적용하여 축열기 전후단의 온도 및 압력을 실시간으로 측정하였다. 그 결과를 축열기 해석코드로부터 얻은 배가스의 배출온도와 공기의 예열온도를 비교하였다. 이론적으로 예상된 성능은 80%의 온도효율과 70%의 배열회수율이 얻어졌으나, 실험적 결과로부터는 온도효율이 80%, 배열회수율이69％가 얻어졌다. 가장 큰 성능 차이는 배가스의 배출온도였는데, 이는 실제 시스템에서 열손실에 의한 축열기로의 배가스 유입온도 하락과 실제 운전에서의 공기/배가스 유량의 증가에 의해 기인된다고 판단된다.

• 대한기계학회논문집
• /
• 제16권8호
• /
• pp.1429-1437
• /
• 1992

본 연구에서는 이완형 물성방정식을 바탕으로 하며 프와송 비가 일정하다는 가정을 하지 않는다. 또한 점탄성 지배방정식에 변분원리를 적용하고 유도되어진 식 에 유한요소해법을 사용하여 시스템 기본해석을 위한 연립방정식을 유도한다. 이와 함께 점탄성 물성함수의 유도 및 응력계산을 위한 공식화 과정도 설명한다. 제시된 방법론의 타당성 및 정확성을 보이기 위해서 평면응력 및 평면변형 문제의 변위 및 응력을 수치해석하여 이론해와 비교 검토하며, 아울러 시간증분의 변화와 Gauss poi- nts수가 수치정확도에 끼치는 영향을 조사한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권10호
• /
• pp.4703-4723
• /
• 2016

The verification of data integrity is an urgent topic in remote data storage environments with the wide deployment of cloud data storage services. Many traditional verification algorithms focus on the block-oriented verification to resolve the dispute of dynamic data integrity between the data owners and the storage service providers. However, these algorithms scarcely pay attention to the data verification charge and the users' verification experience. The users more concern about the availability of accessed files rather than data blocks. Moreover, the data verification charge limits the number of checked data in each verification. Therefore, we propose a mixed verification protocol to verify the data integrity, which rapidly locates the corrupted files by the file-oriented verification, and then identifies the corrupted blocks in these files by the block-oriented verification. Theoretical analysis and simulation results demonstrate that the protocol reduces the cost of the metadata computation and transmission relative to the traditional block-oriented verification at the expense of little cost of additional file-oriented metadata computation and storage at the data owner. Both the opportunity of data extracted and the scope of suspicious data are optimized to improve the verification efficiency under the same verification cost.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권7호
• /
• pp.2339-2355
• /
• 2021

In this paper, a joint probabilistic data association algorithm based on loss function (LJPDA) is proposed so that the computation load and accuracy of the multi-target tracking algorithm can be guaranteed simultaneously. Firstly, data association is divided in to three cases based on the relationship among validation gates and the number of measurements in the overlapping area for validation gates. Also the contribution coefficient is employed for evaluating the contribution of a measurement to a target, and the loss function, which reflects the cost of the new proposed data association algorithm, is defined. Moreover, the equation set of optimal contribution coefficient is given by minimizing the loss function, and the optimal contribution coefficient can be attained by using the Newton-Raphson method. In this way, the weighted value of each target can be achieved, and the data association among measurements and tracks can be realized. Finally, we compare performances of LJPDA proposed and joint probabilistic data association (JPDA) algorithm via numerical simulations, and much attention is paid on real-time performance and estimation error. Theoretical analysis and experimental results reveal that the LJPDA algorithm proposed exhibits small estimation error and low computation complexity.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권9호
• /
• pp.3194-3210
• /
• 2022

Wall obstruction is the main factor leading to the non-line of sight (NLoS) error of indoor localization based on received signal strength indicator (RSSI). Modeling and correcting the path loss of the signals through the wall will improve the accuracy of RSSI localization. Based on electromagnetic wave propagation theory, the reflection and transmission process of wireless signals propagation through the wall is analyzed. The path loss of signals through wall is deduced based on power loss and RSSI definition, and the theoretical model of path loss of signals through wall is proposed. In view of electromagnetic characteristic parameters of the theoretical model usually cannot be accurately obtained, the statistical model of NLoS error caused by the signals through the wall is presented based on the log-distance path loss model to solve the parameters. Combining the statistical model and theoretical model, a hybrid model of path loss of signals through wall is proposed. Based on the empirical values of electromagnetic characteristic parameters of the concrete wall, the effect of each electromagnetic characteristic parameters on path loss is analyzed, and the theoretical model of regional path loss of signals through the wall is established. The statistical model and hybrid model of regional path loss of signals through wall are established by RSSI observation experiments, respectively. The hybrid model can solve the problem of path loss when the material of wall is unknown. The results show that the hybrid model can better express the actual trend of the regional path loss and maintain the pass loss continuity of adjacent areas. The validity of the hybrid model is verified by inverse computation of the RSSI of the extended region, and the calculated RSSI is basically consistent with the measured RSSI. The hybrid model can be used to forecast regional path loss of signals through the wall.

• 대한기계학회논문집B
• /
• 제37권5호
• /
• pp.441-448
• /
• 2013

본 논문에서는 조밀한 계수행렬로 인해 경계요소 개수의 증가에 따른 계산 시간의 급격한 증가때문에 대규모 문제를 쉽게 다룰 수 없는 기존 BEM 문제를 획기적으로 개선하는 새로운 BEM 해법인 FM-BEM을 소개한다. 단순한 2차원 정상상태 열전도문제를 통해서 FM-BEM과 기존 BEM의 계산시간과 정확도에 대한 해석 결과를 제시하였으며, 이로부터 FM-BEM 해법이 기존 BEM과 유사한 정확도를 유지하면서도 계산 속도를 획기적으로 높인다는 결과를 확인하였다. 결과적으로 본 연구에서는 FM-BEM의 적용 이론 및 관련 실행 알고리즘들을 고찰하고 이를 통해서 FM-BEM의 효용성을 검증하였으며, 향후 다양한 공학적 문제로의 적용 범위를 확대하고자 한다.