• 한국식품위생안전성학회지
• /
• 제18권4호
• /
• pp.202-210
• /
• 2003

두부는 양질의 단백질을 주성분으로 한 대중 식품으로 소비량이 계속 증가하고 있다. 두부는 변질 발생 가능성이 높은 고위험 식품에 해당되지만, 두부제조업체는 82.4%가 종업원 5인 이하 소규모로 체계적인 식품안전관리를 기대하기 어려운 실정이다. HACC(Hazard Analysis Critical Control Point : 위해요소 중점관리제도)는 식품안전성과 비용절감을 ㅎ율적으로 확보할 수 있는 체계적, 지속적인 공정관리 방법이다. 본 연구는 두부제조업체의 실정에 맞는 HACCP시스템을 개발하여 적용하고 그 성과를 확인함으로써 두부 HACCP 시스템의 일반적 모델을 확정하고 다른 중소업체 및 대기업으로 이를 확산시키려고 시행하였다. 규모별 4개 두부제조업체를 대상으로 판 두부와 포장 판 두부의 HACCP 계획을 Codex의 HACCP 적용 지침에 따라 현장 실부자와 협력하여 수립하였다. HACCP 팀 편성, HACCP 범위 및 목적의 설정, 제품 기술 및 사용자 의도의 결정, 공정도 작성 및 현장 검증, 위해 분석 및 예방책 식별, CCP(중요관리점)의 식별, CL(관리할계기준) 설정, CCP 모니터링 시스템 수립, 개선조치 설정, 검증절차 수립, 기록 및 문서화의 순서로 HACCP 계획을 작성하였다. 공정 중 CCP는 선별 공정, 냉각 공정, 열처리 공정(판 두부는 제외)으로 결정하였고, 각각의 HACCP 계획에 따라 관리하였다. 제정된 HACCP시스템을 3개월간 시행한 후 그 성과를 HACCP 적용 이전과 이후의 미생물 검사를 통하여 확인하였다. 검사결과 HACCP 적용 이전의 판두부 플라스틱 상자, 포장재, 완제품의 일반 세균수가 HACCP 적용 이후에 크게 감소되었다.(P<0.1) 두부제조업체의 실정에 맞는 HACCP 시스템을 적용함으로써 위생관리 및 식품안정성 확보에 큰 성과가 있음이 확인되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)