• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• 월간 기계설비
• /
• 통권276호
• /
• pp.56-62
• /
• 2013

정부는 건설현장에서 발생하는 다양한 형태의 불공정 관행을 개선하고 공정한 건설환경을 조성하기 위해 지난 6월 14일 '건설산업 불공정 거래관행 개선방안'을 발표했다. 개선방안은 하도급계약의 공정성을 높이기 위해 불공정 하도급계약을 무효화하고 발주자가 하도급계약을 의무적으로 점검토록 했다. 또한 건설하도급 외상매출채권 담보대출로 인한 하도급업체의 피해를 줄이기 위해 보험 보증 등을 통한 보호를 강화하는 방안도 담겼다. 이와함께 주계약자 공동도급 발주공사를 적극 발굴하여 원 하도급업체 간 수평적 협력관계 정착을 유도키로 했다. 정부의 이같은 개선방안은 그동안 대한설비건설협회가 정홍원 국무총리를 비롯하여 서승환 국토부 장관 등 관계부처와의 간담회와 관계요로에 수시로 건의한 결과 정부가 이를 적극 수용하여 마련된 것이다. 이로써 설비건설업계는 공공공사 분리발주 법제화와 함께 적극 추진하였던 주계약자 공동도급 활성화, 불공정하도급 관련 제도의 대폭적인 개선으로 경영환경이 크게 개선될 것으로 기대된다. 대한설비건설협회 김경회 총괄본부장은 "협회의 건의사항이 대폭 반영된 만큼 개선방안이 실효를 거둘 수 있도록 더욱 노력할 계획"이라고 밝혔다.

• 한국막학회:학술대회논문집
• /
• 한국막학회 1995년도 제3회 심포지움 (분리막 연구의 최신동향)
• /
• pp.23-38
• /
• 1995

고분자막에 의한 기체분리는 심냉분리법, 흡수법, 흡착법등에 비하여 에너지가 절약되며 장치가 간결하고 운전비용이 낮은 이점 때문에 여러가지 기체혼합물에 대하여 여러가지 목적으로 응용되기에 이르렀다. O$_{2}$/N$_{2}$ 분리막으로 요구되는 기본특성은 1) 높은 O$_{2}$ 투과성 2) 높은 O$_{2}$ 선택성 3) 막 형성에 충분한 기계적 강도 4) 열, 화학적으로 안정성이 있어야 한다. 그런데 투과계수 P$_{O_(2)}$와 투과선택도 P$_{O_(2)}$/P$_{N_(2)}$ 관계 Fig.2 에서 보는 바와 샅이 대체로 투과선택성은 상반관계에 있어서 polyimide는 높은 선택성을 나타내고 기계적 강도가 좋고 높은 열에 대하여 안정하기 때문에 일단 막재료로 양호한 조건을 갖추고 있으나 투과계수가 크지 않아 선택도를 크게 감소시키지 않으면서 투과계수를 향성시키려는 노력이 경주되고 있다. 따라서 polyimide의 화학구조와 투과계수, 투과선택도의 관계를 고찰하는 것은 대단히 중요하다. 특히 최근에는 polyimide의 화학구조를 계통적으로 변화 시켜가면서 구조와 투과특성을 고찰한 연구가 많으며, 이러한 연구를 총망라하여 화학구조와 투과특성을 고찰한 훌륭한 총설들이 발표되어왔다. Fig.3에는 지금까지 연구된 중요한 polyimide를 형성하는 dianhydride와 diamine의 구조식을 표시하였으며 이들 구조의 변화에 의하여 기체투과계수와 투과선택도가 어떤 영향을 받는지 고찰하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.567-570
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.571-574
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2007년도 학술발표회 논문집
• /
• pp.1864-1869
• /
• 2007

국내 수문자료의 경우 지금까지 자료의 정확성과 관련하여 많은 지적이 있어왔다. 이와 관련하여 정부에서는 유량자료의 정확도를 높이고 전국의 수자원 정보를 파악하기 위하여 유량측정 정확도 향상을 위한 연구에 지원하였으며, 수문관측 매뉴얼을 작성하였고, 각 홍수통제소의 유량측정 과제지시어의 측정 기준 강화를 통해 유량측정의 정확도를 높이기 위해 많은 노력을 하였다. 2003년부터 2006년까지 자료를 바탕으로 유량측정 검증시스템의 적용 결과에 따른 유량측정성과, 수위-유량관계곡선 및 유량자료의 개선된 결과를 소개하고자 한다. 유량측정 검증시스템은 유량측정 기준 강화에 따른 유량측정 성과 개선 파악 및 각각 유량측정성과의 기본특성 검토, 이상치 여부 판별 및 평가 등 유량측정성과의 검증, 개선된 방법론에 따른 수위-유량관계곡선의 작성, 환산된 유량자료의 평가 및 평가 결과 개선이 필요한 경우 수위-유량관계곡선을 반복 재작성하는 과정으로 이루어진다. 또한 해당지점의 향후 유량측정시 보완 사항을 파악함으로써 장기 수문관측의 정확도를 높이는 시스템을 구축하는 것이 기본이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.228-232
• /
• 2007

정보화 시대에 방대한 양의 정보에서 필요한 정보를 효율적으로 찾아내는 것은 그 무엇보다도 중요하다. 이를 위해 많은 검색 엔진이 효율적인 검색 결과 제공을 위해 노력하고 있지만 그 인터페이스의 문제로 인하여 사용자가 검색결과를 효율적으로 받아들이기 어려우며 또한 원하는 정보를 검색하기 위해서는 일정 수준 이상의 검색 능력을 필요로 한다. 이 논문에서는 기존의 검색 엔진의 인터페이스 변경을 통하여 시각적인 연관성 정보를 제공하며 이를 통해 사용자가 검색 능력에 구애받지 않고 정확한 답을 얻을 수 있도록 유도한다. 또한 이 과정에서 기존의 키워드 추출 알고리즘의 문제점을 발견하여 이를 단어간의 수식 관계를 이용하여 해결하였다. 또한 단어간의 수식 관계를 이용하여 효율적으로 문서간의 연관성을 생성할 수 있는 알고리즘을 제시하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2007년도 제19회 한글 및 한국어 정보처리 학술대회
• /
• pp.250-253
• /
• 2007

본 논문에서는 현재 검색 엔진의 랭킹 방식의 문제점과 인터페이스의 문제점을 해결하기 위하여 노력하였다. 기존의 페이지간 링크와 같은 부가적 정보를 이용한 인기도 기반 랭킹의 문제점을 단어간의 수식 관계를 이용한 의미 기반 랭킹 알고리즘의 제시를 통해 해결하였다. 또한 검색어와 연관된 단어를 수식 관계를 이용하 계산, 시각화하여 제공함으로써 사용자가 잘못된 검색어로 검색을 시작하였더라도 항상 올바른 검색 결과를 얻을 수 있도록 도왔으며 각 검색 결과와 함께 원문을 요약해 제공함으로써 검색 결과를 일일이 클릭해 보지 않고도 내용을 쉽게 유추할 수 있도록 도왔다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1995년도 종합학술발표회논문집
• /
• pp.69-78
• /
• 1995

다단계 보안을 지원하는 데이타베이스 시스템은 상이한 보안 등급을 갖는 데이타와 상이한 접근 권한을 갖는 사용자를 동시에 지원하는 데이타베이스 시스템이다. 본 논문에서는 다단계 보안 관계 데이타베이스 관리 시스템을 구현하기 위하여 주요 시스템 설계 전략을 분석하고, 이를 기초로 정보보안베이스 분할 및 계층화, 균형 보증 방식에 의한 보안 커널 구성, 다단계 보안 기반으로써의 뷰의 사용 등을 설계 전략으로 채택한다. 계층 구조에 의한 다단계 보안 데이타베이스 시스템의 설계는 기존 보안기술의 사용을 가능하게 하여 최소한의 개발 노력으로 시스템을 구현할 수 있도록 한다. 최상위 계층의 다단계 질의 처리기는 사용자에 의한 다단계 릴레이션의 정의 및 다단계 질의어의 처리를 위한 전처리기로 써 표준 관계 데이타베이스 관리 시스템과의 인터페이스를 담당한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.136-138
• /
• 2002

관계형 OLAP 시스템에서는 다차원 분석에 사용될 데이터를 하나의 사실과 여러 개의 차원 테이블로 구성된 스타 스키마로 표현한다. 사실 테이블은 측정치의 속성을 포함하며, 차원 테이블들은 이러한 사실 테이블에서 중심으로 뻗어져 나온 형태로써, 측정치에 대한 정보를 제공한다. 방대한 크기의 OLTP 소스 데이타베이스로부터 사실과 차원 테이블로 구성된 스타 스키마 설계하기 위해서는 풍부한 경험과 많은 시간을 필요로 한다. 따라서 스타 스키마를 효과적으로 설계하기 위한 체계적인 설계 방법이 필요하다. 본 논문에서는 소스 데이터베이스들에 대한 개념적 모델인 ER 도형을 이용하여 여러 개의 사실 엔터티를 추출하는 알고리즘과 이를 통해 자동적으로 스타 스키마를 설계하는 알고리즘을 제시하였다. 스타 스키마가 하나의 사실 테이블에 여러 개의 차원 테이블이 M:1의 관계로 연결되었다는 성질을 활용하여, 이 방법에서는 EH 도형이 연결된 위상 구조를 이용하여 각 엔터티에 연결된 M:1 관계의 개수에 근거하여 사실과 차원을 추출하는 방법을 제시하였다. 본 논문에는 이러한 방법을 통해 데이터 웨어하우스의 스타 스키마들 자동적으로 쉽게 설계하여 소요되는 시간과 노력을 줄일 수 있도록 하였다.