• 전자공학회논문지C
• /
• 제36C권5호
• /
• pp.1-12
• /
• 1999

본 논문에서는 스위치-레벨 회로의 검증(verification)을 위해서 이진 결정 다이어그램(BDD : Binary Decision Diagram)을 구현하는 새로운 알고리즘을 제안한다. 스위치-레벨에서 기능(function)들은 스위치들의 직$\cdot$병렬 연결에 의해서 결정되며, 결과 논리 값은 논리 '0'과 '1'뿐만 아니라, 초기 상태, 고 임피던스와 불안정 상태를 가진다. 따라서, 본 논문에서는 "스위치-레벨 이진 결정 다이어그램(SLBDD : Switch- Level Bianary Decision Diagram)"으로 정의한 비 사이클 그래프(acyclic graph)들을 사용해서 스위치-레벨 회로의 가능들을 표현하도록 BDD를 확장하였다. 그러나, 그래프의 기능적 표현을 최악의 경우 입력 변수들의 수에 지수 함수적이 되므로, 결정 다이어그램의 변수 순서(ordering)는 그래프 크기에 주된 역할을 하게된다. 따라서, 패스-트랜지스터와 도미노-논리가 존재하는 사전에 충전하는 회로(Precharging circuitry)에서 그래프 크기에서의 효율성을 위한 입력 순서 알고리즘을 제안한다. 그리고, 실험 결과는 여러 가지 벤치-마크 회로에서 여러 번의 실험을 통해서 제안된 알고리즘이 스위치-레벨에서의 기능적 시뮬레이션, 전력 측정과 결점 시뮬레이션에 적용될 수 있을 만큼 충분히 효율적임을 보여준다.율적임을 보여준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.217-220
• /
• 2011

LTL Synthesis와 그래프 커버리지를 이용하여 시스템의 요구사항으로 속성을 추출하여 GUI 의 테스트경로 생성에 대하여 설명한다. LTL Synthesis 는 GR formula 라는 특수한 형태를 사용하여 시스템의 상태, 환경으로부터의 입력 정보와 시스템의 행위, 상위 수준의 작업의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고 기대되는 작업이 실현 가능하면 오토마타를 생성한다. 이렇게 생성된 오토마타에 그래프 커버리지를 이용하여 실험 가능한 GUI 테스트 경로를 생성하여 시스템을 검사한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.58-60
• /
• 2001

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2005년도 춘계학술대회 학술발표 논문집 제15권 제1호
• /
• pp.349-352
• /
• 2005

이 논문에서는 분산된 생물학의 대사 네트워크들이 있을 때, 이를 통합하지 않은 상태에서 경로검색을 하는 분산 알고리즘을 제안한다. 대사 네트워크는 여러 데이터베이스에 존재하며 서로 중복되는 데이터를 가지고 있다. 제안한 방법은 네트워크 사이의 중첩이 있는 부분을 하이퍼 노드로 하고, 네트워크 자체는 하이퍼 에지로 하는 추상 하이퍼 그래프를 만들어서, 이를 이용한 상위수준의 경로를 구축한다. 각 네트워크내의 중첩된 영역간의 경로를 미리 계산해 둔 다음, 상위수준의 경로에 기반하여 분산된 대사네트워크 간에 존재하는 경로를 검색한다. 추상 하이퍼 그래프는 데이터베이스를 하이퍼 노드로 하는 것에 대한 경로탐색을 한 다음, 그 경로에 따라 데이터베이스 내에 존재하는 대사경로를 탐색한다. 이때 존재하는 대사경로가 많기 때문에 각각의 대사경로를 하이퍼 노드로 하는 추상 하이퍼 그래프를 만들어 경로를 탐색하고 나서 그 하위 노드에 대해 경로탐색을 한다. 이는 분산된 네트워크를 통합할 저장 공간 및 탐색시간을 줄일 수 있다는 장점이 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권2호
• /
• pp.125-136
• /
• 2008

동일한 함수 그래프를 접근하는 방법은 다양하다. 물리 교과에서는 중력상태에서 물체의 운동으로 포물선을 정의하고 있으며 수학 교과에서는 수식을 이용한 이차함수로 포물선을 정의한다 본 연구에서는 교육과정에 나타나는 함수 그래프를 국소적이며 내재적인 거북 행동의 관점에서 접근하고 분석한다. 또한 교육과정에 나타나지 않지만 수학사에서 중요한 의미를 가지는 몇몇 곡선에 대하여 같은 방법으로 곡선을 구성하고자 한다. 그리고 pre-calculus의 관점에서 고등학생의 지식을 바탕으로 곡선의 길이와 넓이를 구하는 수학화 활동을 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(C)
• /
• pp.104-106
• /
• 2012

다양한 그래프 문제들은 대부분 NP-완전 문제로, 그 중 하나인 독립집합을 구하는 문제 또한 최적의 알고리즘이 존재하지 않는다. 따라서 규모가 큰 대용량 그래프 데이터로 독립집합 문제를 처리하기 위해서는 많은 시간과 비용이 소요된다. 이를 효율적으로 해결하기 위해 분산 환경에서 그래프 처리에 적합한 모델인 Pregel을 이용하여 독립집합 문제를 푼다. 이를 위해 정점 사이의 메시지 전달에 따른 정점 상태 변환 방법을 이용하여 분산 병렬 환경에 알맞은 알고리즘을 제안한다.

• 한국식품영양과학회지
• /
• 제29권6호
• /
• pp.1177-1184
• /
• 2000

본 연구는 영양분야의 전문 웹사이트로서 인터넷 상에서 이용할 수 있는 영양평가 시스템을 개발하기 위하여 수행되었다. 프로그램의 구성은 표준체중 및 열량필요량 자료, 식품 및 음식의 영양소 함량, 영양소별 20순위 식품, 식사섭취자료, 한국인 영양권장량 자료 등을 데이터베이스로 하여 사용자의 신체계측치와 활동정도에 따른 비만도 및 열량필요량의 분석과 섭취한 음식에 대하여 영양섭취상태를 평가받고 영양소별 함유량이 높은 식품과 음식에 대한 열량 및 영양소의 정보를 제공받을 수 있도록 웹 페이지 형식으로 만들어졌으며, 사용자는 인터넷 사이트로 들어가 자신의 이름, 성별, 나이, 키, 체중 및 활동정도를 입력함으로서 자신의 체중범위, 표준체중, 체격지수, 비만도, 기초대사량, 1일 열량필요량 및 이들의 섭취열량과의 과부족을 비교 평가한 자료를 얻을수 있으며, 만약 사용자가 비만이라면 체중을 감소하기 위한 1일 열량필요량도 얻을 수 있다. 또한 사용자는 음식입력 항목을 선택하여 날짜별, 식사별로 자신이 하루동안 섭취한 음식 및 섭취량 등을 입력하고 영양섭취상태를 클릭하면 식사섭취상태의 진단과 평가를 받을 수 있다. 즉 열량과 각 영양소에 대한 하루의 섭취량 및 아침, 점심, 저녁 및 간식의 섭취량이 분석되어지며 이들중 권장량이 정해진 영양소는 다시 사용자의 섭취량에 대한 권장량광의 비율을 그래프로 나타냄으로서 섭취된 영양소의 과부족을 쉽게 평가받을 수 있다. 지방질 역시 구성지방산과 콜레스테롤의 섭취 상태가 분석되어 이들의 표준섭취비율과 비교해 제시됨으로서 그릇된 섭취형태를 평가받을 수 있다. 이 밖에 식사별 열량영양소 구성비가 표준섭취비율과 비교 평가되어 그래프로 나타나며 급원식품에 대한 영양소 정보를 줄 수 있는 식품군별 영양소 섭취상태와 동식물성 식품 섭취상태도 평가되어진다. 따라서 본 프로그램은 인터넷을 이용하여 누구라도 자신의 영양섭취상태를 평가받고 과부족이 되기 쉬운 영양소의 급원 식품과 음식에 대한 영양정보도 제공받을 수 있도록 할 뿐 아니라 식이요법을 필요로 하는 질환의 영양상담을 위한 기본 프로그램으로 활용될 수 있도록 하는데 그 의의가 있다.

• 한국통신학회논문지
• /
• 제13권5호
• /
• pp.379-389
• /
• 1988

본 논문에서는 통신방의 2-상태 스취칭 실패함수를 구하기 위한 알고리즘과 단섭간 신뢰도 계성방법을 제시하였다. 통신망을 그래프로 모형화하고, 이 그래프에 대한 일련의 행열변환을 함으로서 모든 통신통로를 차단하는 최초컷-\ulcornerV 행열을 구하였으며 최소 컷-\ulcornerV행열로부터 2-상태 스위칭 실패함수를 구하였다. 또한 2-상태 스위칭 실패함수에 확률변수를 대응시켜 통신망의 단점간 신뢰도를 계정하였다. 제안된 알고리즘을 설명하기 위하여 몇가지 예를 보였으며 복잡하고 규모가 큰 망에 대한 단점간 신뢰도를 계정하기 위해서 전산기 프로그램을 제시하였다.

• 한국지능시스템학회논문지
• /
• 제23권2호
• /
• pp.133-138
• /
• 2013

본 논문은 연속시간에서의 타카키-수게노 퍼지모델 기반 다개체 시스템의 상태일치를 위한 제어기 설계 기법을 제안한다. 그래프 이론을 통해 각 개체간의 정보를 교환하는 네트워크를 표현한다. 제어기 설계 조건은 선형 행렬 부등식의 형태로 유도되며, 수치적 예제를 통해 제안된 방법의 효율성을 증명한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권1호
• /
• pp.9-23
• /
• 1999

병렬 그래프 감축 모델에 있어서 투기적 연산(speculative evaluation)모델은 병렬성을 증가시키지만 불필요한 연산으로 인해 자원을 낭비할 수 있다. 투기적 태스크가 람다 연산식을 WHNF(Weak Head Normal Form)로 감축할 때, 대치과정은 그래프를 증가시킬 수 있고, 많은 복사과정을 요구할 수 있다. 이러한 투기적 태스크는 나중에 불필요한 연산이 될 수있고 이 경우 이러한 투기적 태스크에서 발생한 다른 모든 투기적 태스크들을 종료해야 하는 부담이 있다. 또한 불필요하게 된 복사과정으로 인한 기억 공간을 재사용이 가능한 상태로 만들어 주어야 한다. 본 논문은 WHNF 또는 HNF 로 감축할 대 발생할수 있는 불필요한 대치과정으로 인한 오버헤드를 줄이기 위해 대치과정이 지연된 람다 연산식 형태 (DSF : Deferred Substitution Form)를 제안한다. 이 형태는 대치과정을 필수적 태스크(mandatory task)가 수행될 때 까지 지연시키기 위한 람다 연산식 형태이다. 대치과정이 지연된 람다 연산식 형태로의 감축을 수행하는 투기적 태스크에서 , 대치과정이 존재하지 않기 때문에 그래프의 크기가 증가하지 않고 또한 복사과정을 요구하지 않는다. 따라서 연산식에 대한 대치과정이 지연된 람다 연산식 형태로의 감축이 불필요하게 된 경우 부담이 줄어들게 된다. 아울러 병렬성을 증가시키기 위한 연산모델을 제안한다.