• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.415-418
• /
• 2002

상태 불변식은 도달 가능한 모든 상태에서 항상 만족되는 식이다. 이는 복잡한 시스템의 이해와 분석에 활용될 뿐만 아니라 시스템의 안전성, 일관성, 완전성 검사에 사용된다. 이와 같은 이유로, 상태 불변식의 추론은 폭 넓게 연구되었다. 기존의 연구에서는 시스템의 가능한 모든 상태를 고려하여 상태 불변식을 생성했다. 이러한 방법으로 생성된 상태 불변식은 매우 복잡하며 사용자가 이를 이해하고 활용하기가 어렵다. 본 연구에서는 두 가지 투영 방법을 통해 단순화된 상태 불변식을 생성한다. 첫째, 지정 범위를 통한 투영으로 고려해야 할 상태들을 줄인다. 둘째, 해당 범위에서 사용된 명제들로 상태 불변식을 투영하여 최소 부정 불변식을 찾고 이를 제거한다. 그 결과 사용자의 관심을 특정 범위와 명제에 집중시킬 수 있었으며 단순화된 상태 불변식을 통해 사용자의 이해와 활용도를 높일 수 있었다.

• 대한화학회지
• /
• 제56권2호
• /
• pp.207-211
• /
• 2012

강체구형입자에 대한 Carnahan-Starling식과 인력 포텐셜을 갖는 격자 모델을 이용하여 새로운 2-매개변수 상태식을 유도하였다. 이 식을 이용하여 압축인자를 계산하고 Nelson-Obert 압축인자도표와 비교하여 보았다. 그 결과 이 식은 Redlich-Kwong식과 평균적으로 비슷한 정도로 실험적인 압축인자도표와 일치한다는 것을 알 수 있다. 그런데 새 상태식에서 나타나는 매개변수와 항들은 Redlich-Kwong equation의 경우보다 분명한 물리적 의미를 갖고 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

• 정보보호학회논문지
• /
• 제23권3호
• /
• pp.395-404
• /
• 2013

패턴 정합 알고리듬은 침입 탐지 및 방지 시스템의 성능을 좌우하는 중요한 기능 요소로서 일반적으로 정규 표현식(Regualr Expressions)을 사용해 패턴을 표현한다. 공격 패턴이 복잡해지고 다양해짐에 따라, 정규 표현식 또한 복잡해지고 그 수가 증가하고 있으며 이로 인해, 패턴 매칭 알고리듬에서 정규 표현식을 인식하기 위해 사용된 결정적 유한 오토마타(Deterministic Finite Automata)를 구성하는 상태가 폭발적으로 증가(states blowup)하고 있다. 이러한 상태의 폭발적 증가 문제를 해결하고 메모리 효율적인 자료 구조를 구현하기 위해 많은 연구가 이루어졌다. 대부분의 연구 결과들에서는 하나의 정규 표현식을 변환한 결정적 유한 오토마톤(Automaton) 내 상태의 수를 감소시키기 위한 효과적인 방안들을 제안하였다. 하지만, 이들 연구 결과는 단일 패턴 내 상태의 수만을 감소시킬 뿐 패턴의 수에 따라 증가하는 상태의 수를 감소시키지 못하는 한계점을 가지고 있다. 본 논문에서는 이를 해결하기 위해 정규 표현식으로 구성된 유한 오토마타(Automata) 상의 상태 병합을 통한 상태 감소 방안을 제안한다. 이는 동일한 입력 문자를 가지는 상태를 병합함으로써 유한 오토마타 상의 상태의 수를 감소시켜, 기존 결정적 유한 오토마타에 비해 평균 40.0%의 메모리 감소 효과를 나타낸다.

• 한국식생활문화학회지
• /
• 제10권5호
• /
• pp.435-442
• /
• 1995

도시지역(대구, 구미, 영천, 창원)에 거주하는 직장남성 420명을 대상으로 식생활에 영향을 주는 요인들과 식습관에 대하여 조사하였다. 인구통계학적 변인들과 식습관의 관계에서 직업(p<0.001)과 연령(p<0.01)이 높은 유의성을 나타내었다. 전문직, 관리직, 판매직 등의 직업은 식습관이 "좋다"라는 반응이 많이 나타났으나 사무직에서 "나쁘다"라는 반응이 많이 나타났다. 연령에 있어서 청년층보다 장년층이 식습관에 대한 관심도가 높았으며 주거형태, 배우자의 직업 유무, 월수입도 상당한 영향을 미치는 것으로 나타났다. 식생활 태도 및 건강상태를 나타내는 변인들과 식습관과의 연관성은 하루 평균 식사횟수, 평소 운동상태, 수면상태, 피로감과 생활리듬, 식사 후 소화상태, 건강상태 등에서 상호 높은 유의성(p<0.001)을 나타내어 식생활 태도와 건강상태가 식습관에 깊은 영향을 준다는 것을 알 수 있었다.

• 한국전산구조공학회논문집
• /
• 제26권3호
• /
• pp.183-189
• /
• 2013

본 논문에서는 불확실성을 확률변수로 가정하고 구조물의 파손기준을 한계상태식(Limit State Equation)으로 정의하였다. 한계상태식을 Fleishman의 3차 다항식으로 근사하고 이론적인 확률 모멘트(Moments)를 계산하였다. Fleishman은 표준정규 분포 확률변수에 대해서만 3차 다항식을 제시하였으나, 본 논문에서는 이를 확장하여 베타, 감마, 균일 분포 등 다양한 확률 변수에 적용하였다. 확률 모멘트를 계산하기 위해서 누률(Cumulants)과 정규화된 한계상태식을 활용하였으며, 피어슨 시스템(Pearson System)을 통해 한계상태식의 확률분포를 근사하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권7호
• /
• pp.356-371
• /
• 2001

본 논문에서는 비동기식 상위수준합성기 제작의 일환으로 효율적인 비동기식 제어부의 자동생성에 관한 방법을 제안한다. 제안된 방법은 목적시스템의 사양으로써 주어진 제어데이터흐름그래프로부터 일련의 체계적인 변환과정을 통하여, 제어부를 구성할 제어회로들에 대응하는 계층적으로 분할된 비동기식 유한상태기들의 집합을 유도한다. 유도된 비동기식 유한상태기들은 현존하는 비동기식 제어회로 합성기를 통하여 해저드 없는 비동기식 제어회로들로 합성되며, 이들은 상호간에 4단계 핸드셰이킹에 기반한 신호교환을 통하여 동작하면서 전체 시스템을 제어하는 계층적으로 분할된 비동기식 제어부를 구성한다. 획득한 제어부는 계층.분산적이며, 면적, 성능 및 합성시간의 측면에서 기존방식을 통하여 생성한 제어부에 비해 우월하다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2008년도 추계학술대회 논문집
• /
• pp.140-142
• /
• 2008

본 논문에서는 새로운 공유결합 인덕터를 이용한 비대칭 입력전압형 하프브릿지 컨버터를 제안하고 그 정상상태 해석결과를 보고한 것이다. 제안된 컨버터는 반도체 스위치와 주요 소자를 이상적으로 가정하여 내부손실을 무시한 등가회로를 유도하였고 등가회로로부터 스위치의 상태에 따른 상태별 등가회로로부터 주요 소자에 대한 특성식을 나타내었고 최종적으로는 컨버터의 정상상태 특성식을 유도하였으며 특성식의 타당성을 확인하기 위해서 시험회로를 구성하였고 그 결과 제안 회로방식의 정상상태 해석결과를 검증할 수 있었다.

• 디지털융복합연구
• /
• 제13권6호
• /
• pp.287-296
• /
• 2015

본 연구는 경기도 일부 지역의 여중생 273명을 대상으로 식행동, 생활습관과 주관적 신체건강상태와의 관계를 조사하여 다음과 같은 결과를 얻었다. 학생의 주관적 신체건강상태에 따라 적당한 식사량섭취(F=6.378, p=.002), 편식정도(F=3.542, p=.030), 영양소 섭취(F=6.780, p=.001), 생활습관(F=4.291, p=.015)은 집단 간 차이가 있는 것으로 나타났다. 연구대상자의 주관적 신체건강상태, 식행동, 생활습관의 상관분석결과 적당한 식사량을 섭취하고 영양소를 충분히 섭취할수록 주관적 신체건강상태가 좋았으며, 편식을 할수록 주관적 신체건강상태가 좋지 않은 것으로 나타났다(p<0.05) 이상의 연구결과에서 급속한 성장기에 해당되는 청소년시기에 올바른 식행동과 생활습관 형성을 위한, 식품과 건강분야의 융복합 컨텐츠 개발을 통한 융복합 교육이 체계적이고 지속적으로 이루어져야 할 것으로 생각된다.

• 월간양계
• /
• 제34권11호통권397호
• /
• pp.101-106
• /
• 2002

1980년대 산란 농가의 케이지는 대부분 A형이 주를 이루었으며, 1990년대에는 정부의 시설자금 지원이 본격화되면서 자동화$\cdot$대형화의 조류를 타고 외국산 직립식 케이지가 국내에 보급되기 시작하였다. 초기 직립식 케이지 설치로 평당 사육수수 증가가 가능했지만 자동화에 대한 지식 부족으로 질병과 생산성이 떨어지는 역효과도 있었다. 10년 이상 직립식 케이지에 적응하다 보니 노하우가 축적되어 대형 농장 위주로 직립식 케이지 설치가 증가하였고, 관리면에서도 안정을 보여주고 있다. 그러나 IMF이후 외국산 케이지를 설치하는 농가도 줄어들었고, 설상가상으로 정부의 시설자금 지원도 중단된 상태여서 외국산 케이지 보급이 소강상태를 보이다 최근에 와서 다시 설치가 증가하고 있다. 이와 관련하여 국내에 보급된 케이지 관리실태와 A/S현황을 알아보았다.