• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1996.06a
• /
• pp.788-792
• /
• 1996

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.492-495
• /
• 2009

본 논문에서는 유한대판법(Finite Strip Method, FSM)을 이용하여 복합재료로 구성된 박판구조물의 좌굴해석을 수행하였다. 유한대판법에서의 변위장은 정현곡선으로 구성된 X방향 성분과 여현곡선의 Y방향 성분으로 구성되어 있는 면내성분, 면외성분으로 횡방향으로 3차 다항식과 보 진동함수를 사용하여 구성되었다. 각 적층판의 강성을 두께방향으로 적분하여 전체 강성을 구하고 최소 포텐셜 에너지 이론을 사용하여 구한 평형방정식에 대입하여 전체 강성행렬을 구하였다. 자유도의 감소로 인한 해석시간의 단축, 입력자료 작성 및 출력이 쉬운 점들이 유한대판법을 이용한 좌굴해석의 장점이다.

• Journal of Magnetics
• /
• v.15 no.2
• /
• pp.74-77
• /
• 2010

This paper deals with optimum design criteria for maximum torque density & minimum torque ripple of a Flux Switching Motor (FSM) using response surface methodology (RSM) & finite element method (FEM). The focus of this paper is to find a design solution through the comparison of torque density and torque ripple which vary with rotor shape. And then, a central composite design (CCD) mixed resolution was introduced and analysis of variance (ANOVA) was conducted to determine the significance of the fitted regression model. The proposed procedure allows one to define the rotor dimensions, starting from an existing motor or a preliminary design.

• Journal of Korea Port Economic Association
• /
• v.20 no.1
• /
• pp.141-151
• /
• 2004

Although the small and medium ports are actually competing with various strategies, the definition and structural understanding of small and medium ports are not known very much. Therefore this study has launched from this fact, and has the objective of obtaining the structural model for increasing shippers' attraction of small and medium ports. The process began by abstracting the components that composed the success factors through recent research, and grouping it by FA(Factor Analysis) method. Also, by using the FSM(Fuzzy Structural Modeling) method to understand the structure of the grouped components, and the structural model for increasing shippers' attraction of small and medium ports was able to obtain as the result. When analyzing the obtained structural model, easiness of shipment, connection to hubport and efficiency of hinterland network came out to be the most important component groups.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.2
• /
• pp.125-132
• /
• 2005

Internet website is widely used as strategic mean for making profits as well as corporate advertisement. Therefore, website becomes necessary to evaluate for improving the efficiency of the website. Especially companies construct the website with different purposes, so applying the universal web evaluation model is inefficient. Also existing research about website evaluation model don't consider about the dependence of each evaluation factor. In this paper, we propose the developing methodology of website evaluation model considering the dependence of evaluation factors. This developing methodology use FSM and the inference algorithm using levelized FCM.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1059-1060
• /
• 2011

This paper deals with optimum design criteria for maximum torque density & minimum torque ripple of Flux Switching Motor (FSM) using RSM & FEM. The focus of this paper is to find a design solution through the comparison of torque density and torque ripple according to rotor shape variations. And then, a central composite design(CCD) mixed resolution is introduced, and analysis of variance (ANOVA) is conducted to determine the significance of the fitted regression model.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.3
• /
• pp.549-554
• /
• 2010

This paper deals with optimum design criteria for maximum torque density & minimum torque ripple of Flux Switching Motor (FSM) using RSM & FEM. The focus of this paper is to find a design solution through the comparison of torque density and torque ripple according to rotor shape variations. And then, a central composite design(CCD) mixed resolution is introduced, and analysis of variance (ANOVA) is conducted to determine the significance of the fitted regression model.

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.537-540
• /
• 2003

본 논문에서는 터보 디코더에 사용되는 MAP 알고리즘의 저전력 구조를 제안한다. 터보 디코더 알고리즘 중 하나인 MAP 알고리즘은 많은 메모리 사이즈와 복잡한 연산량을 가진다. 본 논문에서는 메모리 사이즈를 줄이기 위하여 두 번의 상태 천이(branch metric) 과정을 하나로 통합 계산하는 방식을 제안하였다. 제안된 방식으로 구한 상태 천이 값을 이용해서 FSM(Forward State Metric)값을 구하면 BM(branch metric)값이 다음 상태의 FSM에 포함되어지므로 APP(A Posteriori Probability)를 계산할 때 BM부분이 빠져 LLR(Log Likelihood Ratio)의 연산량을 줄일 수 있다. 실험결과 기존의 MAP 알고리즘과 동일 성능을 가지면서 MAP 알고리즘을 개선한 Pietrobon 알고리즘을 log-MAP 알고리즘에 적용하여 LLR 연산량을 비교했을 때 덧셈 연산을 반으로 줄일 수 있음을 확인하였다.

• Food preservation and processing industry
• /
• v.16 no.2
• /
• pp.10-23
• /
• 2017

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