• Journal of Food Hygiene and Safety
• /
• v.32 no.5
• /
• pp.363-370
• /
• 2017

In this study, we stored frozen shrimp (Litopenaeus vannamei) at $4^{\circ}C$ during 12 days and investigated the effect of chitosan coating with natural preservatives (0.05% carvacrol, 0.05% thymol) on the growth of microorganism (mesophilic bacteria, psychrophilic bacteria, Pseudomonas spp., $H_2S$ producing bacteria) and physiological characteristics (total volatile basic nitrogen and pH) and sensory evaluation (appearance, odor and general acceptance). Chitosan coating with natural antimicrobial compounds (0.05% carvacrol and 0.05% thymol) had inhibited the growth of all the target microorganism and showed the significant antimicrobial activity (p < 0.05) to mesophilic bacteria, psychrophilic bacteria and $H_2S$ producing bacteria until 12 day (the last day of this study). These treated groups had showed the significant difference (p < 0.05) in total volatile basic nitrogen and all the sensory characteristics but not in pH. Therefore, chitosan coating combined with natural antimicrobial compounds (0.05% carvacrol and 0.05% thymol) showed the effective antimicrobial activity on major spoilage microorganism on shrimp and could be used to elongate the shelf life of refrigerated shrimp.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.133-136
• /
• 2000

자바에서 또한 이러한 병행성 프로그램을 지원하기 위한 다양한 언어적 지원과 병행적인 요건을 지원하고 있다. Thread class지원, Synchronized 예약어, 상호협동 관계를 표현하기위한 wait(), notify(), notifyAll() 메서드 , monitor 메커니즘등을 지원하고 있다. 하지만 이는 아주 저 수준의 지원형태이며 여러 가지 문제점을 야기할 수 있다. 이에 대해 병행적 이론의 정수라고 할 수 있는 pi-calculus의 이론과 기법을 도입하여 새로운 시각으로 병행성 프로그래밍에 대한 접근을 하고자 한다. 여기에 실용적으로 많이 사용되고 발전되어온 자바에서 적용하고자 한다. pi-calculus에 기반한 pict를 모델로 하여 pict에서 지원하는 아주 명료한 연산자와 current object를 도입함으로써 보다 표현력과 확장성, 검증성이 뛰어난 고 수준 자바 라이브러리를 설계하고자 한다.

• The Korean Journal of Food And Nutrition
• /
• v.15 no.3
• /
• pp.203-208
• /
• 2002

The physicochemical and sensory properties of Campbell Early and Gerbong juices prepared by various pressing methods were studied. The yields of these juices by mixed method were 83.5% and 87.5%, the highest value of various pressing methods. And soluble solids and amino nitrogens of them decreased as heating temperature increased and was lowest when mixed method was performed. Titratable acidities of Campbell Early juice was 0.86∼1.00%, higher than that of Gerbong juice, 0.60~o.69%. Also the strength of astringent taste and sour taste of Campbell Early and Gerbong juice increased as heating temperature increased, and increased strength of these tastes gave good sensory evaluation to grape juices.

• Food Science and Preservation
• /
• v.20 no.1
• /
• pp.23-29
• /
• 2013

To extend the shelf-life of freshly cut lotus roots, the effect of their heat treatment in water at $50^{\circ}C$ was investigated and compared with that of their treatment using 1 percent ascorbic acid and citric acid during their storage. In addition, consecutive heat and acid treatment was applied to freshly cut lotus roots to determine its synergy effect. The level of molds in the sample that was treated with $50^{\circ}C$ water for 60 minutes was the lowest among the treatments and 3.89 log CFU/g after 12-day storage, whereas the population of the control was 6.81 log CFU/g for the same number of days. During the storage, the surface color of the samples showed higher ${\Delta}E$ values and lower L values than that of the initial sample. The color with the heat treatment hardly changed, unlike in the control. The consecutive treatments with hot water and acid showed less quality loss than the simple heat treatment. The marketable quality was maintained for three days without any treatment, for nine days with the heat treatment, and for 12 days with the consecutive treatments of hot water and acid. The consecutive treatments with hot water and acid, especially with 1 percent citric acid, extended the shelf-life of the freshly cut lotus roots by inhibiting the growth of microorganisms and the browning.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1687-1696
• /
• 1996

Most of the main memory database systems use two-phase locking(2PL)for concurrency control. The 2PL method is preferred over other methods for concurrency control because of its simplicity and common usage. However, conventional concurrency control solution will function poorly when the data are memory resident. In this paper, we propose a new optimistic concurrency control protocol for a main memory database system. In our proposed protocol, transaction conflict information is used in validation phase to improve data conflict resolution decisions. Our experiments show that the proposed protocol performs better than 2PL in terms of throughput for main memory database system enshrinements.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.613-616
• /
• 2000

본 논문에서, 웹브라우져상에서 병행 객체들의 상태 정보 및 정보흐름을 보여주는 분산 병행 객체 모니터링 시스템의 설계에 관하여 기술하였다. 병행 객체는 UNIX의 쓰레드와 같이 CPU에 의해서 스케줄링 되어진다. 또한 모니터링 시스템을 설계해서, 분산환경에서의 병행 객체의 정적 및 동적정보를 수집하여, 웹브라우져상에 이 정보를 표시하고자 한다. 그리고, 설치한 모니터링 시스템을 동적 라이브러리로 구현하고, 기존의 UNIX 또는 SROS상에서 실행되도록 구현할 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.375-377
• /
• 2008

프로그램을 작성할 때 시스템의 성능을 높이기 위해서, 여러 개의 프로세스가 동시에 동작하고 상호작용하는 병행 프로그램을 사용한다. 병행 프로그램에서 프로세스들은 인터리빙 방식으로 동작하는 경우가 많다. 그런데 인터리빙을 잘 못 이해할 경우 프로그램에 오류가 생길 가능성이 높고 이러한 오류는 직관적으로 납득하지 못할 때도 많다. 본 논문에서는 인터리빙이 발생하는 최악의 경우를 소개하고 이를 SMV와 Spin 그리고 LTS-BMC로 정형 분석하는 방법에 대해서 설명한다. 또한 실험을 통해서 우리가 만든 LTS-BMC 도구가 병행 오류 검증에 효과적임을 알 수 있었다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2011.05a
• /
• pp.188.1-188.1
• /
• 2011

0.5 ton/day 용량의 장비를 이용하여 초음파와 고전압 단독 처리에 의한 슬러지 용존화율을 조사하였다. 또한 초음파와 고전압을 병행한 방법에 의한 슬러지 용존화율을 조사하였다. 그 결과 초음파와 고전압을 개별적으로 적용하였을시 나타나는 슬러지 용존화율 보다 이 둘을 병행하여 함께 처리했을 시에 나타나는 슬러지 용존화율에 기대 이상의 상승효과가 있는 것을 알 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.105-108
• /
• 2004

다단계 보안데이터베이스 시스템에서 기본적인 병행수행 제어 기법들은 비밀채널과 교착상태등과 같은 문제들이 발생하였다. 이에 직렬화 순서를 동적으로 재조정함으로서 해결하려는 방안이 있었지만, 알고리즘의 복잡성으로 인해 오버 헤드와 많은 수행시간이 필요하게 되었고, 이에 따라 많은 양의 시스템 자원과 높은 사양의 시스템을 요구하게 되었다. 또한 이러한 방법은 다중 버전을 사용함으로서 추가적인 관리비용이 높게 되었고, 각각의 트랜잭션이 지연 및 재수행이란 불필요한 과정을 반복하게 되었다. 따라서 본 논문에서는 제안한 알고리즘은 데이터베이스의 용도에 맞게 직렬화 순서를 보장하여 스케줄을 관리하는 요청 2단계 로킹기법(Request Two-phase Locking)으로서 이는 2단계 로킹기법의 기본원리에 요청로크를 사용함으로 보다 효율적으로 병행제어를 할 수 있다. 여기서 요청로크는 각각의 트랜잭션 스케줄에 로크획득 및 해제를 병행수행제어의 필요에 따라 유동적으로 할 수 있으며, 읽기로크, 쓰기로크, 요청로크라는 3가지 로킹모드를 통해 대처방안을 마련함으로서, 충돌을 방지하며, 충돌연산의 특성에 따라 직렬화 순서를 동적으로 조정함으로 블록킹을 막는 병행제어를 응용하여 병렬성을 유지한다.