• 한국정보통신학회논문지
• /
• 제14권10호
• /
• pp.2310-2316
• /
• 2010

이 논문에서는 형식 검증(formal verification)의 한 분야인 모델 검증(model checking)에 재타이밍(retiming) 기법을 적용하는 방법에서 대해 연구하였다. 재타이밍은 주어진 회로의 레지스터들을 재배치함으로써, 입출력 동작을 바꾸지 않으면서 전이 관계(transition relation)을 변환할 수 있는 기법이다. 이러한 재타이밍을 이용하면 모델 검증을 더 효율적으로 수행하도록 회로를 바꿀 수 있다. 이 논문에서는, 레지스터의 개수와 전이 관계의 특성을 반영한 cost 함수를 제안하고, 재타이밍으로 얻을 수 있는 회로 구조들을 효율적으로 탐색하는 heuristic annealing 알고리즘을 개발한다. 제안된 방법이 모델 검증의 성능을 향상시킬 수 있음을 실험 결과를 통해 보여주었다.

• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.13-26
• /
• 2001

본 논문은 계층 구조적이고 모듈화 된 모델링 및 시뮬레이션 프레임워크를 이용한 네트워크 보안 모델링과 시뮬레이션 기법의 연구를 주목적으로 한다. 최근, Howard와 Amroso는 사이버 공격, 방어 및 결과에 대한 원인-결과 모델을 개발하였다. 또한, Cohen은 원인-결과 모델을 이용하여 단순한 네트워크 보안 시뮬레이션 방법론을 제안한 바 있으나, 복잡한 네트워크 보안과 모델과 모델 기반의 사이버 공격에 대한 시뮬레이션은 불가능한 실정이다. 따라서, 본 논문에서 는 인공지능의 기호적 형식론과 시뮬레이션의 동역학적 형식론을 체계적이고 통합한 System Entity Structure/Model Base(SES/MB)을 통하여 계층 구조적이고 모듈화 된 네트워크 보안 모델링 및 시뮬레이션 방법론을 제안하고 사이버 공격 시나리오를 이용한 사례연구를 통하여 타당성을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.400-402
• /
• 2005

소프트웨어 개발의 본질은 매우 복잡하다. 이는 서로 맞물려 돌아가도록 여러 컨셉들을 명세화하고 설계하여 검증해야 하기 때문이다. 또한 문제영역에 들어맞도록 개발해내도 여전히 실세계 엔티티(entities)간의 관계를 정의해 줘야 하고, 예외적인 상황을 식별해야 하며, 각각의 상태 변화를 예측해야 하기 때문에 여전히 복잡한 행위일 수밖에 없다. 이와 같은 복잡도를 낮추기 위해 비주얼한 기호형태에 기반을 둔 개발에 도움을 받을 수 있다. 그러나 개발의 중심에 인간이 있다는 데에는 변함이 없어야 한다. 또한 기계가 아닌 좀 더 인간적이고, 자동화가 아닌 실제적인 창작의 주체로서 개발자들을 '인간'이라는 사회적 대상으로서 초점을 둘 필요가 있다. 본 논문의 목적은 개발자간의 의사소통과 자유로운 창작활동을 위한 설계법을 인문사회영역에서 접근함으로서 개발자간에 '이해'의 폭을 증대시키기 위한 객체의 관계와 설계에 대한 재 정립이다. 이를위해 소프트웨어 개발상의 요소의 선택과 관계의 표현에 대해 기존의 기호체계에만 의존하지 않고 인간의 언어구조에 기반을 둔 구문체계에 상응하는 방식을 사용하는 것으로 구문기반의 관계의 성립과 그것을 지배하는 원리를 수립한다.

• 한국콘텐츠학회논문지
• /
• 제5권2호
• /
• pp.137-145
• /
• 2005

본 연구는 3D캐릭터 개발에 효율성을 높이고, 보다 인간의 표정에 가까운 캐릭터표정을 제작하기 위하여 실시되었다. 각 연령층별, 성별, 직위 등의 계층으로 각 감정영역을 데이터화하여 하나의 시스템으로 연동되어진다면 애니메이션, 만화, 연기 및 다양한 영상 엔터테인먼트산업과 이에 필요한 인력양성에 고무적인 반향을 일으킬 수 있을 것으로 사료된다. 이에 그 기반연구로 실시된 선행 연구를 바탕으로 이번 연구에서는 연구영역 중 1개 계층 8대 감정영역에 대한 표본연구로 진행하였다. 이로써 인간의 감정과 표현 간에는 일련의 연계성이 존재하며, 특히 표정에서 나타나는 비언어적 감성기호들을 범주화할 수 있다는 가정을 증명할 수 있었다. 그러나 인간의 풍부한 감정은 하나의 자극에 대한 단일감정보다는 다수 또는 지속자극에 대한 복합기호로서 표출되므로 이에 대한 통제는 많은 어려움이 있고, 본 연구에서 제시한 연구 모델은 각 영역별, 척도별 단일 감정에 대한 내용만을 다루기 위해 실험환경을 일부 조작하였다. 본 연구의 결과는 다양한 미디어제작에 필요한 가상캐릭터의 표정, 의인화 등을 위한 주요한 데이터로 활용가능하며, 향후 연구에서는 더 많은 표본에 대한 폭넓은 데이터베이스 구축과 상대적 비교검증이 이루어져야한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 추계공동학술대회
• /
• pp.502-511
• /
• 2002

컴퓨터의 기술적 발전은 사회 여러 분야에 막대한 영향을 끼쳤다. 그중 악보인식분야에도 커다란 영향을 주었다. 그러나, On-line 상에서 그린 악보를 실시간으로 정형화된 악보형태로 변환하는 처리에 대한 연구가 미흡하여 이에 대한 연구가 필요하다. 본 논문에서는 실시간으로 악보를 인식하고, 사용자의 편의를 도모하기 위해 DP(Dynamic Programming) 매칭 법을 이용한 On-Line 악보인식에 관한 방법을 제안하였다. 본 연구에서는 실시간으로 입력되는 악상기호를 인식하기 위해, 가장 유효한 정보인 악상 기호내의 방향, x, y 좌표를 이용하여 벡터형태로 추출한 후 음표와 비음 표(쉼표, 기타기호)의 두개의 그룹으로 나누어진 표준패턴과의 DP매칭을 통해 인식한다. 먼저 tablet을 통해 실시간으로 악상 기호를 입력할 때 생기는 x, y좌표를 이용하여, 펜의 움직임에 대한 16방향 부호화를 수행한다. 음표와 비 음표를 구분하기 위한 시간을 줄이고자 16방향 부호화를 적용하지 않고 사사분면부호화를 적용한다. 음표를 약식으로 그릴 경우 음표 머리에 해당하는 부분의 좌표는 삼사분면에 분포하고, 폐곡선의 음표일 경우에는 좌표가 사사분면에 고르게 나타난다. 폐곡선을 제외한 음표의 머리는 폐곡선과 같은 조건이면서 입력받은 y좌표 값들 중에서 최소 값과 최대 값을 구한 다음 2로 나눈 값을 지나는 y좌표의 개수가 임의의 임계값 이상이면 음표로 판단한다. 위 조건을 만족하지 않을 경우 비 음표로 취급한다. 음표와 비 음표를 결정한 다음, 입력패턴과 표준패턴과의 DP매칭을 통하여 벌점을 구한다. 그리고 경로탐색을 통해 벌점에 대한 각각의 합계를 구해 최소 값을 악상기호로 인식하였다. 실험결과, 표준패턴을 음표와 비음표의 두개의 그룹으로 나누어 인식함으로써 DP 매칭의 처리 속도를 개선시켰고, 국소적인 변형이 있는 패턴과 특징의 수가 다른 패턴의 경우에도 좋은 인식률을 얻었다.리되고 이원화된 코드체계와 데이터 형태의 이질화를 통일하는 방법으로 데이터웨어하우스 시스템을 제시하였다. 결국 병원에서 데이터웨어하우스 시스템의 구축은 임상, 연구, 교육의 유기적 순환관계를 정립하여 지식의 순환적 고리인 수집, 공유, 확산, 재창출을 지속적 유지할 수 있는 인프라를 구축해 준다. 반면 상이한 정보들간의 충돌과 이에 따른 해석의 오류로 잘못된 의사결정을 위한 정보를 제공할 수 있고 기초정보의 접근 및 추출의 유용성에 의해서 정보유출에 대한 문제가 한계점으로 나타났다.로세스 개선을 위해서 무엇을 정말로 필요로 하는지를 밝힘으로써, 한국 소프트웨어 산업의 현실적인 특수성을 고려한 소프트웨어 프로세스 평가와 개선 모델의 개발을 위한 기초적인 자료를 제공할 것으로 예상된다. 또한, 본 연구 결과는, 우리나라 소프트웨어 조직들이 실제로 무엇을 필요로 하는지를 밝힘으로써, 우리나라의 소프트웨어 산업을 육성하기 위한 실효성 있는 정책 입안을 위한 기초 자료를 제공할 것으로 예상된다.를 검증하려고 한다. 협력체계 확립, ${\circled}3$ 전문인력 확보 및 인력구성 조정, 그리고 ${\circled}4$ 방문보건사업의 강화 등이다., 대사(代謝)와 관계(關係)있음을 시사(示唆)해 주고 있다.ble nutrient (TDN) was highest in booting stage (59.7%); however no significant difference was found among other stages. The concentrations of Ca and P were not different among mature stages. According to these results, the yellow ripe period is appropriate to harvest the whole crop rice for forage considering

• 한국게임학회 논문지
• /
• 제9권1호
• /
• pp.63-74
• /
• 2009

본 논문은 게임성 평가 모델 설계를 기반으로 온라인 게임성 평가 시스템 설계 및 구현을 중점적으로 연구하였다. 온라인 게임성 평가 시스템이란 평가 요소를 정의한 모델 설계를 통하여 온라인상에서 게임을 실시간으로 평가하는 시스템을 의미한다. 게임성 평가 시스템은 사용성 평가(Heuristic Evaluation) 기법을 활용하여 기술적 요소, 관리적 요소, 사회적 요소, 경쟁력 요소의 4부분으로 평가를 실시하였다. 게임성 평가의 객관성과 타당성 검증을 위하여 초급자, 중급자, 전문가 세 분류를 통하여 평가를 실시하여 신뢰도를 높였으며, 게임성 평가 포럼을 개최하여 다양한 계층의 의견을 수렴하였다.

• 대한화학회지
• /
• 제67권1호
• /
• pp.42-53
• /
• 2023

본 연구는 화학교과 내용 맥락 하에서 모델링 실천을 통해 드러난 메타모델링 지식 구성요소별 인식수준을 진단함으로써 메타모델링 지식과 통합된 모델링 실천 프로그램 구성을 위한 기초자료를 얻고자 하였다. A 과학 영재학교 2학년 재학생 16명을 대상으로 화학 교사가 변칙현상이 포함된 탐구기반 모델링을 진행하였으며, 모델의 가변성, 모델의 다중성, 모델링 과정 등 메타모델링 지식 구성요소별 인식수준을 분석하기 위하여 학생이 기록한 탐구노트와 연구자가 기록한 관찰노트를 분석에 활용하였다. 인식수준은 0단계부터 3단계까지 분류하였다. 분석 결과, 메타모델링 지식의 구성요소 중 모델링 과정에 대한 인식수준이 가장 높았으며 모델의 다중성 다음으로 모델의 가변성에 대한 인식수준이 가장 낮은 것으로 나타났다. 모델 가변성에 대한 낮은 인식수준의 원인은 학생들이 개념모델을 객관적 사실로 인식하는 것과 관련이 깊고, 모델 다중성에 대한 낮은 인식수준의 원인은 주어진 현상에 대해 오직 하나의 올바른 모델이 존재한다는 신념과 관련이 있다. 학생들은 개념모델을 화학기호와 같은 상징적 모델을 이용하여 정교화하였으나 모델링 전 과정에 영향을 주는 자료해석의 중요성에 대한 인식이 부족하였다. 모델의 본성을 명시적으로 안내할 수 있는 사전활동의 도입하고, 자료해석의 중요성을 구체적 예시를 통해 안내할 필요가 있다. 다른 관점에서 제안된 모델의 수용 가능성을 고려하고 검증하는 훈련이 모델링 실천 프로그램을 통해 이루어져야 한다.

• 대한기계학회논문집A
• /
• 제36권4호
• /
• pp.437-442
• /
• 2012

본 논문에서는 효율적인 다물체 시스템의 동역학 해석을 위해 조인트 좌표계 기반의 부분시스템 합성방법을 위한 내재적 적분기법을 개발하였다. 부분시스템 합성방법의 내재적 적분기법을 검증하기 위해, 동일 구조를 갖는 6 개의 독립적인 현가 부분시스템으로 이루어진 무인 로봇 차량에 적용하였다. 내재적 적분기법의 복잡한 시스템 자코비언을 효율적으로 생성하기 위해 기호연산법을 도입하였다. 제안한 방법의 검증을 위해 험지주행 시뮬레이션을 수행하였으며, 일반적인 내재적 적분기법 모델과 그 결과를 비교하였다. 또한 효율성을 확인하기 위해 해석 시간을 비교하였다.

• 한국식품영양과학회지
• /
• 제35권5호
• /
• pp.641-648
• /
• 2006

본 연구는 함초가루를 이용한 설기떡을 개발하기 위하여 재료의 최적 혼합비율을 찾는데 목적이 있다. 설기떡의 품질에 가장 영향을 미치는 수분, 함초가루, 설탕첨가율을 독립 변수로 설정하였고, 예비실험을 거쳐 수분 $13{\sim}18%$, 함초가루 $2{\sim}6%$, 설탕 $8{\sim}13%$의 범위에서 혼합물 실험계획법(mixture design) 중 D-optimal design을 이용하여 최적 재료 혼합비율을 찾고자 하였다. 각 설정된 범위를 입력하였을 때 10개의 실험점이 형성되었고, 4개의 반복점이 선택되어 실험점은 모두 14개가 설정되었다. 각 조건별 실험결과를 모델링화 하여 F-test를 통해 유의성을 검증한 결과 색도의 명도, 적색도, 황색도, 텍스쳐의 검성과 씹힘성, 관능검사 항목인 맛과 부드러운 정도는 linear 모델로 결정되었고, 텍스쳐의 경도, 관능검사의 색, 냄새, 촉촉한 정도, 전반적인 기호도는 quadratic 모델로 결정되었다. 모델의 적합성을 분석한 결과 모든 항목에서 probability가 모두 0.05% 이내에서 유의성을 보여 모델로서 적합함이 인정되었다. 반응표면과 trace plot의 결과 수분과 설탕첨가율이 높을수록, 함초가루 첨가량율이 낮을수록 명도는 높고, 적색도와 황색도는 낮았다. 텍스쳐의 경우 함초 첨가율이 증가할수록 경도, 검성, 씹힘성이 증가하여 함초가루의 첨가율이 높을 경우 설기떡의 부드러움을 저하하는 원인이 되었다. 관능검사 결과에서도 수분, 함초가루, 설탕을 많이 첨가할 경우에는 오히려 낮은 점수를 받았고, 특히 수분과 함초가루에 의하여 많은 영향을 받았다. 함초가루를 첨가한 설기떡의 최적 재료 혼합비율은 수치 최적화에서는 수분 15.2%, 함초가루 3.0%, 설탕 9.8%이었고, 모형적 최적화에서는 desirability가 0.620에 해당하는 수분 15.2%, 함초가루 3.1%, 설탕 9.7%로 수치 최적화점과 유사하게 나타났다.

• 한국식품영양과학회지
• /
• 제37권4호
• /
• pp.497-504
• /
• 2008

본 연구는 새로운 드레싱을 개발하기 위하여 복분자를 이용한 샐러드드레싱을 만들었을 때 최적의 혼합비를 찾기 위하여 혼합물 실험계획법(mixture design) 중 D-optimal design을 이용하였다. 샐러드드레싱의 품질에 가장 영향을 미치는 복분자즙, 기름, 식초의 첨가율을 독립변수로 설정하였고, 범위는 예비실험을 거쳐 각각 $15.70\sim47.10%$, $23.50\sim39.20%$, $3.90\sim19.60%$로 하였다. 실험 결과를 모델링하여 유의성을 검증한 결과, 점도, 적색도, 황색도, 총색차, 유화안정성과 관능검사 항목 중 색이 linear 모델로, 명도와 관능검사 항목 중 냄새, 맛과 전반적인 기호도는 quadratic 모델로 결정되었다. 모델의 적합성을 분석한 결과 모든 항목에서 probability가 모두 0.05% 이내에서 유의성을 보여 모델로서 적합함이 인정되었다. 복분자즙을 이용한 샐러드드레싱의 최적 재료 혼합비율은 수치 최적화에서는 복분자즙 36.02%, 기름 26.48%, 식초 12.00%이었고, 모형적 최적화에서는 desirability가 0.577에 해당하는 복분자즙 36.00%, 기름 26.44%, 식초 12.06%로 수치 최적화 점과 거의 일치하는 수치를 보였다. 이는 드레싱을 만들 때 복분자의 활용 가능성을 제시하여 새로운 드레싱 제품 개발의 기초자료를 제공하고, 새로운 것을 추구하는 소비자들의 욕구를 충족시킬 수 있을 것으로 기대된다.