• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.371-378
• /
• 2002

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.

• 한국컴퓨터정보학회논문지
• /
• 제7권1호
• /
• pp.1-7
• /
• 2002

최근에 컴포넌트에 기반한 소프트웨어 개발이 대학과 산업체의 중요 연구 대상이 되었다. 컴포넌트는 컴포넌트 저장소에 저장되는데 컴포넌트의 효율적인 검색은 컴포넌트에 기반한 소프트웨어 개발에 매우 중요하다. 이 논문에서 컴포넌트의 효율적인 검색을 위하여 새로운 가중치 함수를 사용한 신경 접속 행렬을 제안한다. 또한 부정 검색을 위한 신경 접속 행렬을 구하는 새로운 알고리즘을 제안하고 이를 증명한다. 마지막으로 논리 연산자를 사용한 질의에 대하여 효율적으로 행렬을 연산하는 과정을 제안한다.

• 조명전기설비학회논문지
• /
• 제12권1호
• /
• pp.85-92
• /
• 1998

본 논문에서는 페트리 네트로 記述된 제어 사양을 접속 행렬로 해석한 후, 그 결과를 근거로 병렬 시퀸스의 수행이 가능한 순차 시스템 제어기(Sequential System Controller)를 설계하였다. 순차 시스템 제어기는 입력 처리부, 그리고 점화 처리부와 토큰 제어기로 구성된 페트리 네트 제어기로 구성된다. 입력 처리부에서는 입력 신호를 선택하여 점화 처리부로 전달하며, 점화 처리부는 토큰 운전기의 토큰 상태에 따라서 입력된 신호의 점화 여부를 판단하게 된다. 제안된 제어기는 제어 사양의 변경시 접속 행렬을 저장한 롬의 내용 변경만으로 제어기의 변경이 가능하고, 페트리 네트 제어기의 모듈화가 가능하여 기능의 확장이 용이하므로 자동창고 시스템, 반송 시스템, 및 승강기 시스템과 같은 순차 시스템 제어기의 개발 및 실현을 용이하게 할 수 있다.

• 대한교통학회지
• /
• 제25권4호
• /
• pp.79-87
• /
• 2007

도시고속도로의 인터체인지는 대규모의 유출교통량과 인접교차로의 잦은 지정체로 인하여 교통운영상 많은 문제점을 내포하는 지점으로 알려져 있다. 도시부 고속도로의 인터체인지에서 분류된 유출교통류는 가장 가까운 인접 신호교차로의 운영상태 및 교통량상태에 의해서 영향을 받게 된다. 이러한 인접교차로의 영향으로는 인접가로의 대기행렬이 유출연결로의 가로접속부까지 형성되었을 경우, 유출교통량이 인접가로로 진입하지 못하고 유출연결로상에 대기행렬을 형성하여 정체가 심해지면 고속도로 본선에까지 영향을 미치게 된다. 이러한 문제로 인해 유출연결로와 접속되는 인접가로의 위치가 주변 교차로의 교통류 상태에 중요한 변수로 작용하게 되는데 현재 설계기준으로는 이러한 영향까지 고려한 기준을 제시하지 못하고 있는 실정이다. 본 연구는 인접교차로의 운영에 대한 영향을 고려하여 인접교차로에서 유출연결로까지의 간격을 구하는 모형식을 개발하고자 한다. 인접교차로로 인해 유출연결로의 교통류에 영향을 미치는 변수로는 유효녹색비(g/C), v/c비(교통량 대 용량비), 가로차로수와 유출연결로교통량이 선정되었다. 이러한 변수들에 대한 영향을 반영하고자 시뮬레이션 프로그램(VISSIM)을 이용하여 도로망을 구축하고 변수들의 다양한 조건을 반영한 시나리오를 작성하였다. 각 시나리오별로 구성된 교통, 도로, 신호조건을 반영한 인접가로의 대기행렬길이를 시뮬레이션하여 결정하고, 이러한 대기행렬길이가 인접교차로와 유출연결로 접속부와의 간격을 결정하는 중요한 기준치로 사용되었다. 시뮬레이션 분석결과, 시나리오별로 다양한 대기행렬길이가 산정되었고 사용된 변수와 대기행렬길이를 이용하여 회귀모형식을 개발하였다. 개발된 회귀모형식은 인터체인지의 계획 및 설계시 인접교차로와의 관계를 고려하여 유출연결로의 위치를 결정하는 설계기준에 반영할 수 있을 것이고, 이로 인해 향후 인터체인지 주변의 교차로 운영과 고속도로 본선 교통류의 효율적 관리에 기여할 것으로 기대된다.

• 전자공학회논문지CI
• /
• 제48권4호
• /
• pp.27-34
• /
• 2011

본 논문에서는 멀티미디어 콘텐츠 보호에 대한 반공모 코드를 위한 동적 멀티미디어 핑거프린팅 코드를 설계하는 알고리즘을 제안한다. 기존의 반공모 코드(ACC: Anti-Collusion Code)를 위한 멀티미디어 핑거프린팅 코드는 BIBD(Balanced Incomplete Block Design)의 접속행렬을 보수행렬로 변환하여 k를 k+1로 증대시키는 수리적 방법으로 설계되었다. 그리고 보수행렬의 코드벡터를 사용자에게 핑거프린팅 코드로 부여하고, 콘텐츠에 삽입하였다. 제안된 알고리즘에서는 사용자가 구매하는 콘텐츠로부터 특징점을 추출하고, 이를 기반으로 동적으로 핑거프린팅 코드를 설계할 수 있도록 BIBD의 v와 k+1 조건을 만족하는 반공모 코드의 후보성 코드를 코드북(Codebook)에 구축하고 ${\lambda}+1$ 조건을 만족하는 행렬(이하, Rhee행렬이라 함.)을 생성한다. 실험을 통하여 콘텐츠의 특징점 기반으로 생성된 Rhee행렬의 코드벡터는 v비트의 유의수준 ($1-{\alpha}$)에서 신뢰구간에 k가 존재하며, Rhee행렬의 각 행과 행, 열과 열 사이의 유클리디안 거리가 BIBD 기반의 보수행렬과 그래프 기반의 보수행렬과 같은 k값이 산출되었다. 더욱이 Rhee행렬의 첫 행과 첫 열은 생성과정에서 초기 점화벡터로 콘텐츠 포렌식 마크 정보가 되며, 이와 관계가 있는 나머지 코드벡터들과의 관계성이 코드북에 기록되어 있기 때문에, 공모된 코드를 추적할 때 원 핑거프린팅 코드의 상관관계 계수를 구할 필요 없이 코드북의 탐색으로 공모자를 추적이 용이하다. 따라서 본 논문에서 생성된 Rhee행렬은 수리적으로 생성된 BIBD 기반의 행렬보다 ACC로서 강인성과 충실도가 우수하다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1999년도 제11회 한글 및 한국어 정보처리 학술대회 및 제1회 형태소 분석기 및 품사태거 평가 워크숍
• /
• pp.173-178
• /
• 1999

본 논문의 명사추출기는 정보검색시스템을 위한 색인어 추출기로 좌우접속정보를 이용한 형태소해석을 통하여 얻어진 형태소들 중에서 명사를 추출한다. 본 형태소해석기는 형태소해석을 위한 언어지식과 어절 분리 엔진을 분리하여 수정과 확장이 용이하게 하였다. 사용한 언어지식은 좌우접속정보로서 한 어절을 이루는 형태소들의 품사간의 접속여부를 행렬로 표현한 것이다. 어절 분리 엔진은 사전을 참조하여 한 어절에서 최장일치법에 의해 형태소를 분리하고 좌우접속정보를 참조하여 형태소 분리가 올바른지를 판단한다. 형태소들의 품사분류는 표준 태그셋을 기반으로 음절 정보를 추가하여 확장하였다. 형태소를 해석한 결과 미등록어가 발생하였을 때 미등록어에서 명사를 추정하는 모듈이 없기 때문에 재현율은 좋지 않았다.

• 대한토목학회논문집
• /
• 제43권2호
• /
• pp.219-230
• /
• 2023

도시의 토지이용은 지속적으로 고도화, 광역화 추세로 도로와 접한 주변 토지들은 다양한 용도의 시설물 건설과 함께 진출입부 접속도 증가하고 있다. 그러나 구체적인 진출입부 설치 기준이 없는 상황에서 부적절한 접속위치와 접속형태, 그리고 운영방식은 기존 가로 및 교차로의 교통 서비스수준을 악화시키고 있다. 이에 본 연구는 도시부 보조간선도로와 집산도로에 접속되는 진출입부의 교통상의 영향 최소화를 위해 첫째, 진출입부와 접한 도로·교통 환경을 고려하여 상·하류부 교차로의 대기행렬 길이와 진출입부에서 교차로간 차로변경에 필요한 소요길이를 재정립하여 기존 상·하류 교차로 사이에서 물리적으로 접속 가능한 진출입부 접속위치 및 접속형태 결정 기준을 제시하였다. 둘째, 진출입부 접속형태(신호교차로, 단순접속교차로)에 따른 좌회전차로와 가·감속차로의 교통시설 설치 비용과 진출입부 설치 전·후의 교통 비용의 차이인 부(-)의 사회적 비용을 통해 사업지 임계유발량을 산정한 후 주변 교차로 서비스수준과의 관계로부터 진출입부 운영방식을 정량적으로 결정할 수 있음을 제시하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.815-820
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문에서는 EMFG의 동작 해석 알고리즘을 개선하여 시간 트랜지션이 존재하는 EMFG의 동작을 분석하고자 한다. 이를 통해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(하)
• /
• pp.565-569
• /
• 2002

본 논문에서는 방향그래프의 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하는 과정을 EMFG를 이용하여 수학적으로 해석하였다. 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하기 위해 방향그래프를 EMFG로 변환하는 방법과 접속행렬을 이용한 EMFG의 수학적 해석[10]을 적용한 최단 경로 알고리듬을 제안한다. 제안된 알고리듬을 시스템에 적용하여 알고리듬이 올바르게 동작하는 것을 확인하였으며, 방향그래프를 EMFG로 변환하여 해석하면 최단 시간 및 최단 경로를 파악하는 시스템의 분석 및 설계가 용이하여 시스템의 성능향상에 도움이 될 것으로 기대된다.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2004년도 하계학술발표 논문집
• /
• pp.172-172
• /
• 2004