• 한국동물위생학회지
• /
• 제33권4호
• /
• pp.387-392
• /
• 2010

This experiment was conducted to investigate the effect of fermented spent mushroom substrate (FSMS) on growth performance, blood profile, intestinal microflora and ammonia gas production of feces in broiler chickens. A total of three hundred sixty, 1-day-old male broiler chicks (Ross) were randomly divided into 3 groups with 6 replicates of 20 birds each. The treatments were control (free FSMS), 15% FSMS (basal diet with 15% FSMS) and 30% FSMS (basal diet with 30% FSMS). The final body weight and body weight gains were slightly improved in 30% FSMS than control (P<0.05). Feed intake and feed conversion were significantly improved as compared to those of the control groups. The Leukocytes of blood serum in FSMS groups were significantly decreased as compared to those of control groups. There are no significant differences among the groups in the contents of albumin (ALB), total cholesterol (TCHO), glucose (GLU), aspartate aminotransferase (AST) and alanine aminotransferase (ALT) in blood serum. The content of total glucose (TG) in 30% FSMS containing dietary groups was significantly decreased as compared to that of the control groups. The content of HDLC in 30% FSMS containing dietary groups was significantly increased as compared to that of the control group. The number of lactobacillus in the intestinal microflora were significantly increased in chicks fed FSMS groups. The ammonia gas production in FSMS groups was siginificantly decreased as compard to that the control groups. These results indicated that dietary FSMS exerted growth performance for feeding broiler.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권7_8호
• /
• pp.642-648
• /
• 2003

본 연구에서는 유한 상태 기계들 간의 동치 여부를 검증하고자 한다. 즉 모든 입력에 대하여 유한 상태 기계의 반응이 항상 동일한지를 판정하고자 한다. 만약 두 개의 유한 상태 기계가 동치라고 판정된다면, 복잡한 유한 상태 기계는 단순한 기계로 대치될 수 있다. 또한 명세와 구현이 모두 유한 상태 기계로 표현된 경우, 동치 검사를 이용해서 구현이 명세를 만족하는지 결정할 수 있다. 본 논문에서는 이와 같은 유한 상태 기계의 동치 검사를 모델 검사 기법으로 다음과 같이 해결한다. 주어진 유한 상태 기계${M_A}와 {M_R}$를 조합하여 모델 $M = {M_A} {\times} {M_\beta}$을 구축하고, 검사할 동치 조건을 시제 논리식 ${\Phi}$로 기술한다. 만일 모델이 시제 논리식을 만족한다면$(M={\Phi})$ 두 기계는 동치이다. 그렇지 않다면 두 기계는 비동치이며 그 이유를 설명하는 반례를 제공한다. 전 과정이 자동화되었으며, 여러 개의 사례 연구에 적용한 결과 만족할 만한 결과를 얻었다.

• 품질경영학회지
• /
• 제33권3호
• /
• pp.41-46
• /
• 2005

The production, processing, sale and service of food materials are not subject to attainment via a single country. In accordance with internationalization of the world, issues related to food safety have emerged as critical international concerns and they are closely associated with the health and interest of domestic consumers, producers, manufacturers, and distributors. As a third party certification standards, ISO 22000 is in progress International Organization for Standardization(ISO) and the Draft International Standard(DIS) has already been presented on December 2004. The purpose of this study is to analyze the international standards, guidelines and legislation in regard of Food Safety Management System(FSMS) including ISO 9001, Hazard Analysis Critical Control Point(HACCP) and Product Liability(PL) so as to present Korean-model Food Safety Management System requirements and system establishment model.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권1호
• /
• pp.26-35
• /
• 2005

일반적으로 디지털 시스템에서 시스템의 제어부 설계를 위해 FSM이 많이 사용된다. FSM은 제어흐름(Control Flow)으로부터 생성된 상태 다이어그램에 기반하여 구현된다. 설계자는 상태 다이어그램을 이용하여, HDL로 FSM을 설계하고 검증한다. FSM의 상태의 수가 증가할수록, FSM을 검증하거나 변경하는 작업은 매우 복잡해지고 오류가 많이 발생하며 많은 시간을 필요로 한다. 따라서 본 논문에서는 레지스터 전송 수준에서 제어흐름중심으로 하드웨어를 기술하는 언어인 Cycle-C를 제안한다. Cycle-C는 제어 흐름에 시간 정보를 더하여 FSM을 기술한다. Cycle-C로 표현된 FSM은 합성 가능한 VHDL 코드로 자동으로 변환된다. 실험에서는, 인터페이스 회로들에 대한 FSM을 비교 예제로 삼았다. Cycle-C를 이용한 설계와 설계자가 직접 RTL VHDL로 설계한 것은 비슷한 면적을 보였다. Cycle-C를 이용하면 설계자가 직접 기술한 RTL VHDL 행수의 약 10～50%만으로 동일한 동작에 대한 기술을 할 수 있었다.

• 한국화재소방학회지
• /
• 제1권3호
• /
• pp.12-19
• /
• 2000

• 식품저장과 가공산업
• /
• 제16권2호
• /
• pp.10-23
• /
• 2017

최근 햄버거 병을 시작으로 살충제 계란파동, E형간염 소시지까지, 급증한 식품안전 사고는 국민식품소비를 위축시키고 막연한 공포감 조성으로 올바른 식품섭취를 유지할 수 없도록 한다. 국민소득 증가와 더불어 식품의 안전성에 대한 소비자의 관심이 높아지고 있으며, 소비자는 보다 안전한 먹거리를 공급해줄 것을 요구하고 있다. 이에 대한 대응책을 마련하고자 정부와 식품업계, 학계 등은 고심하고 있다. 본 연구는 4차산업혁명에 발맞추어 식품안전분야에 ICT기술을 활용한 생산에서 소비자까지의 식품공급망의 안전관리를 체계화하는 FSMS(Food Safety Management System)을 구성해보고 그를 통한 식품의 안전도를 시험분석을 통해 효과를 검증하는 것이 목적이다. 본 연구는 FSMS의 기술요소인 빅데이터, 온습도IoT센서 등을 Pilot Test하고 FSMS 도입전과 도입후의 검체를 체품하여 공인식품시험검사기관에서 검체의 미생물수 분석을 통해 최종적으로 FSMS의 도입효과와 모형도를 제시하였다.

• 한국항행학회논문지
• /
• 제15권3호
• /
• pp.364-371
• /
• 2011

P2P 분산 모바일 네트워크 환경에서 스트리밍 미디어 서비스의 QoS는 혼잡, 지연, 간섭 등과 같은 오버헤드에 많은 영향을 받는다. 미디어 객체의 중요도는 시간에 따라 변하기 때문이다. 본 논문에서는 이러한 문제를 해결하기 위하여 새로운 퍼지 유사도 기반의 멀티-레벨 스트리밍 기법 FSMS+를 제안하며, 제안된 기법은 오버헤드로 인하여 발생되는 스트리밍 서비스의 성능 저하를 최소화한다. 이를 위해서 퍼지 유사도 기반의 적합도 기법을 적용하며, 이것은 오버헤드가 최소인 스트리밍 미디어 객체를 동적으로 스트림할 수 있게 한다. 시뮬레이션 결과 제안된 기법은 거리 기반 기법, 디스크 캐싱 기법, 그리고 프리픽스 기법과 비교할 때 재전송율, 혼잡 제어율, 그리고 지연율의 성능이 보다 우수함을 보인다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.377-388
• /
• 2001

하나의 시험 스위티를 가지고 다중 계층 프로토콜 시험대상(Implementation Under Test: IUT)을 시험하는 방안이 제안되었다[1] 기존 방법과 비교하여 이방법은 상위 프로토콜에 적용하는 단일 계층 시험 방법과 하위 프로토콜에 적용하는 내포 시험 방법을 조합하여 적용함으로써 다중 계층 프로토콜 시험 대상을 시험한다. 그러나 논문[1]은 접근 방법만 제시하였을뿐 어떻게 시험 경우를 자동으로 도출할 것인지에 대해서는 고려하지 않고 있다. 본 논문은 논문[1]에 기초하여 다중 계층 프로토콜 시험 경우 자동 생성알고리즘을 제안한다. 이를 위해 시험대상 프로토콜을 두 개의 FSM으로 정의하고 두 FSM에 대하여 pre-execution 과 carried-by 로 구성되는 트랜지션의 수행 관계를 정의한다. 제안한 알고리즘을 구현하여 간략화한 TCP/IP와 B-ISDN Signaling/Service Specific Connection Oriented Protocol (SSCOP)에 적용한다. 본논문의 다중 계층 프로토콜 시험방법은 프로토콜 사이의 인터페이스가 개방되지 않은 경우에도 시험이 가능하며 기존 시험방법에 비해서 적은 시험 경우로 동이한 커버리지를 갖는다

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제4권1호
• /
• pp.7-11
• /
• 2004

This paper proposes a new immunotronic approach for the fault detection in hardware. The suggested method is, inspired by biology and its implementation is based on genetic algorithm. Tolerance conditions in the immunotronic system for fault detection correspond to the antibodies in the biological immune system. A novel algorithm of generating tolerance conditions is suggested based on the principle of the antibody diversity and GA optimization is employed to select mature tolerance conditions in immunotronic fault detection system. The suggested method is applied to the fault detection for MCNC benchmark FSMs (finite state machines) and its effectiveness is demonstrated by the computer simulation.

• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.