This study was conducted to assess the effects of the removal of pesticide residues and microorganisms from yuja (Citrus junos Sieb ex Tanaka) using a surface-washing system, under the following washing conditions: 0.11, 0.42, and 0.73 m/s spray rotation speeds; 0.6, 0.9, and 1.2 MPa water pressure and 0.046, 0.092, and 0.138 m/s conveying speeds. Tap-water treatment was used as the control. The washing efficiency when using squid ink was highly correlated with the conveying speed and the spray rotation speed. In addition, the highest washing efficiency was achieved when the water pressure was 0.9 MPa. The microorganisms were reduced to 0.40 log CFU/g for the tap-water treatment, and all the treatments, except those at the conveying speed of 0.138 m/s and the spray rotation speed of 0.11 rpm (6.07 log CFU/g), produced higher removal efficiencies compared with the tap-water treatment. Reductions of 2.20 and 2.05 log CFU/g were achieved at the spray rotation speeds of 0.42 and 0.73, respectively. The largest reductions were observed when the conveying speed was 0.046 m/s. Higher pesticide residue removal efficiency values were obtained at slower conveying speeds and higher spray rotation speeds. Higher than 50% removal efficiency was achieved when the spray rotation speed was 0.046 m/s for spirodichlofen, deltamethrin, benomyl, thiophanate-methyl, and acequinocyl. Especially, the removal efficiency for benomyl and thiophanate-methyl was more than 90%. It can thus be concluded that the pesticide residues in yuja can be effectively reduced by washing the latter with a less-than-0.092-m/s conveying speed and a higher-than-0.42-m/s spray rotation speed.
SPIN은 소프트웨어 정확성 검사에 널리 사용되는 모델 검증 도구이다. 특히 C 코드로 작성된 소프트웨어를 효율적으로 검사하기 위해서 SPIN의 입력 언어인 Promela 모델에 C 코드를 끼워 넣는 기능이 버전 4.0 이상에서 지원되고 있다. 본 논문에서는 이러한 기능을 마방진 풀이에 적용하였다. 그 결과, Promela 모델만을 사용해서 마방진을 풀이한 것보다도 모델에 C 코드를 끼워 넣은 후에 추상화한 것이 메모리 사용 및 처리시간에서 월등했다. 메모리와 시간과 같은 객관적인 성능 향상과 더불어서, 비록 주관적이기는 하지만 이러한 사례 연구는 모델 검증 도구 및 추상화 학습에도 유용함을 경험했다.
일반적으로 자바 언어는 보안에 강한 언어라고 알려져 있으나 정확하지 못한 구문의 사용과 보안 가이드라인을 위반하는 코딩의 경우 내부의 중요한 정보를 외부로 유출하는 등 심각한 취약점에 노출될 수 있다. 이러한 취약점을 방지하기 위하여 많은 보안 프로그래밍 가이드라인들이 제시되고 있지만 자동검사와 연관된 구체적인 보안 취약점 규칙을 다루기보다는 프로그램 아키텍쳐와 설계 단계의 고려사항, 입력값의 확인 등과 같은 일반적인 사항들에 대하여 다루고 있기 때문에 코드에 대한 보안 취약점 검사는 주로 프로그램의 최종 단계에서 고비용의 작업으로 인식되고 있다. 본 논문에서는 자연어로 기술된 가이드라인으로부터 자동 검사 가능한 보안 취약점 규칙들을 추출하고 이 규칙들을 기존 정적분석 도구인 PMD의 RuleSet에 적용하여 개발 후반부에 수행되는 고비용의 취약점 검사를 초기코딩 단계에서부터 자동화, 반복화 함으로써 저비용으로 수행할 수 있도록 하였다.
With development of electrical power system, the DC distribution system has been considered as a promising technology to be used in the future smart distribution system. Among the various components comprising the DC distribution system, the bi-directional DC/DC converter is one of the most important equipment to interconnect between main power system and various renewable resources such as photovoltaic power generation, wind power generation, and electrical vehicles. In this paper, a bi-directional DC/DC converter based on three-phases interleaved method which is effective to reduce ripple of input current and output voltage is modeled using ElectroMagnetic Transient Program(EMTP), and the verification of modeled bi-directional DC/DC converter is conducted.
모델 체킹은 오류를 찾아내기 위한 검증 기술중의 하나로서 하드웨어 검증, 소프트웨어 검증, 프로토콜 검증등에 적용되어 왔다. 현재 많은 연구 그룹들이 모델 체킹을 이용해서 프로그램 소스 코드를 직접 검증하려는 시도를 진행중이다. 유한 상태만을 다루는 현재의 모델 체킹 기술로는 프로그램 소스 코드를 직접 검증하기 힘들다. 왜냐하면 프로그램은 무한 상태를 갖고 있기 때문이다. 이를 해결하기 위한 기술 중에 하나가 술어 추상화이다. 술어 추상화를 통해서 무한 상태 공간을 유한 상태 공간으로 축소할 수 있다. 현재까지 개발된 술어 추상화 기반의 모델 체킹 도구로는 SLAM, BLAST, MAGIC 등이 있다. 이들 도구는 C 언어와 같은 절차적 프로그램의 검증만을 지원하는 반면에, 자바 언어와 같은 객체지향 프로그램의 검증은 지원하지 않는다. 본 논문에서는 술어 추상화를 자바 프로그램에 적용하여 추상화된 이진 프로그램을 구한 후, SMV를 이용해서 이진 프로그램을 검증하는 방법을 제안한다.
양질의 소프트웨어와 보수가 용이한 소프트웨어를 개발하기 위해 소프트웨어 생명주기 각 단계에서 중간제품을 분석하고, 소프트웨어 비용과 품질에 영향을 미치는 요인을 측정할 수 있는 정량적인 방법과 이것을 효율적으로 이용할 수 있는 품질평가 도구의 필요성이 절실히 요구되고 있다. 본 연구에서는 소프트웨어의 품질을 정량적으로 평가할 수 있는 품질평가 도구인 ESCORT(Evaluation System of C/C++ ORiented qualiTy)의 일부분인 객체지향 품질 평가에 대한 부품을 설계하고 구현하였다. 제안된 객체지향 부품은 C++ 프로그램을 클래스 내부의 강도를 평가하는 부분과 클래스 계층의 결합도를 평가하는 결합도로 구분하여 제시하고, 객체지향 메트릭스를 이용하여 정적해석을 함으로써 프로그램 개발중의 모듈평가 및 프로그램 개발후의 시험평가 부분과 시스템의 유지보수를 위한 개선평가의 활동을 가능하도록 하였다. 본 도구는 소프트웨어의 품질을 정량적으로 평가하고, 이를 바탕으로 유지보수성을 증대시켜 소프트웨어의 생산성 향상을 극대화하는 것이 목적이다.
【The purpose of this study is to find the optimal conditions of PCM slurry manufacturing equipment for saving the marketing cost and keeping the original quality of products. In addition, the characteristics of the movable container for shipping or distributing products is analysed. The major results are as follows. 1. PCM thermal storage system is designed with the conditions of temperature( $-5{\sim}10^{\circ}C$ ), cold chain time(30 minutes), and one time usage(50 liter). This system includes tank, freezer, circulating pump, cycle type heat exchanger, swelling tank, equipment of supplying PCM supplying unit includes cold tank, cycle type heat exchanger, suction unit and control equipments, etc. 2. After ability test of PCM thermal storage system, it shows that the required freezing time of PCM thermal storage system is less than one of the previous system. The reason is that churn (top and bottom) and compulsion circulation are occurred simultaneously and unit cooler type method is better than chiller type method. 3. By the experiment of transportation latent heat container, it is decided that the best container is $K_1$ with latent heat temperature( $0{\sim}5^{\circ}C$ ) and density(0.15%). However, for $K_l\;and\;K_2$ , it is necessary more studies on latent heat thermal conditions and conditions of making method.】
트리는 폭넓게 사용되는 자료구조이다. 지금까지, 평면상에 트리를 그리는 알고리즘들이 많이 개발되었다. 그러나 트리의 깊이가 증가할수록 요구되는 폭이 지수승으로 증가하는 단점이 있다. 이러한 문제를 극복하기 위하여 3 차원상의 원추트리가 개발되었다. 그러나 원추들의 겹침현상이 발생되는 단점이 있다. 본 논문에서는, 원추들을 겹치지 않게 배치하는 기법과 원추의 반경을 최대화 하기 위한 트리 재구성기법등을 제시한다. 이러한 기법을 유닉스의 디렉토리 구조 시각화에 적용한다.
'%3e%3cg id='b'%3e%3cpath id='a' stroke='%23000' stroke-width='2' d='M-6-25H6m-12 3H6m-12 3H6'/%3e%3cuse xlink:href='%23a' y='44'/%3e%3c/g%3e%3cpath stroke='%23fff' d='M0 17v10'/%3e%3ccircle r='12' fill='%23cd2e3a'/%3e%3cpath fill='%230047a0' d='M0-12A6 6 0 0 0 0 0a6 6 0 0 1 0 12 12 12 0 0 1 0-24z'/%3e%3c/g%3e%3cg transform='rotate(-123.69)'%3e%3cuse xlink:href='%23b'/%3e%3cpath stroke='%23fff' d='M0-23.5v3M0 17v3.5m0 3v3'/%3e%3c/g%3e%3c/svg%3e)