• 대한교통학회지
• /
• 제34권6호
• /
• pp.570-579
• /
• 2016

Stepwise 환승계수(이하 STC)는 환승회수 증가에 따라 환승비용을 실제보다 많게 인식하도록 한다. 통행시간과 최소환승회수 정보를 제공하는 것은 이러한 경향을 감안하는 취지이다. STC가 포함된 경로탐색문제는 비가산성비용을 포함하며 최적조건의 비성립으로 경로열거가 요구된다. 따라서 대중교통망에서 STC를 고려하는 경로탐색에 대한 이론적 검토를 통해서 경로탐색의 실패를 우회하는 방안이 요구된다. 본 연구는 STC가 포함되는 대중교통망에서 확률적 통행배정모형에 대하여 검토한다. 비가산성 경로문제를 완화하는 방안으로 유입링크기반 전체경로삭제기법을 활용하는 방안을 제안한다. 전체경로삭제기법은 출발지에서 도착지까지 서로 상이한 경로의 구성된 가능경로집합을 구축하기 용이하다. STC를 반영한 경로기반 Logit 모형을 대중교통통행배정기법으로 구축한다.

• 한국ITS학회 논문지
• /
• 제18권5호
• /
• pp.91-99
• /
• 2019

기존의 Node-to-Node기반 최적경로탐색은 기점노드에서 모든 종점노드도착조건이 성립되는 가정으로 구축되었다. 최근 적응적 경로탐색의 등장으로 Node-to-Node 경로탐색은 최적해를 도출하지 못하는 한계가 존재한다. 따라서 교통정보를 링크에서 실시간 반영하기 위한 Node-to-Link(또는 Link-to-Node; NL) 문제에 필요성이 대두되고 있다. 본 연구는 Node-to-Link의 최적 해법을 구축하는 방안으로서 링크표지와 비가산성경로비용이 존재하는 네트워크를 가정한다. 링크표지는 회전페널티가 존재하는 교차지점에서 네트워크의 원형을 유지하게 한다. 비가산성경로비용의 포함은 최적경로를 도출하기 위해서 M-유사경로의 열거를 필요로 한다. 본 연구는 진입링크기반 네트워크 변형기법에서 링크표지를 통하여 루프를 통제하며 최종링크까지 최적해를 보장하기 위한 방향삭제와 회전금지를 제안하였다. 사례연구를 통해 제안된 방법이 경험적 최적해를 도출하는 것으로 파악되었다. 향후 대규모 네트워크에서 검증작업의 필요성을 언급하며 마무리 하였다.

• 정보관리학회지
• /
• 제19권4호
• /
• pp.214-231
• /
• 2002

본 연구는 디지털참고정보서비스의 최근 개발 동향을 고찰한 것이다. 디지털참고정보서비스와 관련한 국내외 선행 연구를 개관하였고 기술 개발로 인한 새로운 서비스 패러다임을 설명하였다. 그리고 웹 상의 참고정보서비스로서 도서관이 제공하는 것, 출판사에 의한 것, 전문가에 의한 것, 그리고 이용자 직접 탐색 등을 간략하게 열거하였다. 최근의 추세는 협력 모델이 주목을 받고 있으므로 Collaborative Digital Reference Service(CDRS)와 같은 디지털참고정보서비스 협력을 중점적으로 소개하였다. 도서관 전문직들은 디지털 환경에 적합한 참고정보서비스 협력에 관심을 가지고 그 필요성을 분석해야 할 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제26권2호
• /
• pp.79-88
• /
• 2021

기관은 모든 인적, 물적 자원을 비즈니스 경쟁력으로 변환하기 위한 노력과 디지털 지식정보화 환경의 대응에 따라 ERP(Enterprise Resource Planning)을 도입 하였고 여러 성공 요인으로 열거된 요인 중에는 인적자원관리가 존재 한다. 하지만 ERP의 인적자원관리 모듈은 기능적 인사관리 역할에 머물러 있다. 인적자원을 어떻게 활용할 것인가는 인재를 탐색하고 인식하는 것으로 출발하는 것으로 시작한다. 제안한 API Gateway 기법은 ERP의 인적자원관리 모듈의 확장의 가능성을 시작으로 첫 번째, 블록체인 네트워크를 활용해 인적자원의 공유와 탐색을 위한 API의 설계와 구현을 하였고 두 번째로 정보의 위변조 방지를 위해 API와 같이 동작하는 스마트 컨트랙트(Smart Contract)를 함께 설계 및 구현 하였다. 제안한 기법은 인적자원을 적극적으로 활용할 수 있는 도구로 사용할 수 있을 뿐만 아니라 빅 데이터 기술을 활용하기 위한 완벽한 자원이 될 것이다.

• 한국항행학회논문지
• /
• 제25권4호
• /
• pp.293-298
• /
• 2021

일반적으로 유도무기의 탐색기와 유도조종장치는 유도탄의 상태를 나타내기 위해 표적, 탐색, 인지, 포착정보를 처리하여 유도무기의 운용 및 제어를 담당하는 역할을 한다. 유도에 필요한 신호는 시선 변화율 신호, 시각 신호, 종말 단계 동체 지향 신호이며, 발사 통제에 필요한 신호는 표적, 감지 신호가 필요하다. 최근 유도탄의 복잡하고 처리하기 어려운 유도탄 신호를 실시간으로 처리하기 위해 유도탄의 데이터 처리 속도를 높여야 한다. 본 연구는 PLINQ(Parallel Language-Integrated Query)의 병렬 알고리즘 방법 중 스톱앤고와 역 열거형 알고리즘을 적용한 후 유도탄 점검 프로그램을 이용하여 실시간으로 유도탄 필요 신호 데이터 처리속도를 비교 후 처리결과를 나타내었다. 도출된 데이터 처리결과 기준으로 다중코어 처리방식과 단독코어 처리방식 CPU(Central Processing Unit) 처리속도 비교, CPU 코어 이용률을 비교하고 병렬처리 알고리즘 적용 시 유도탄 데이터 처리에 효과적 방법을 제안한다.

• 한국균학회지
• /
• 제27권1호통권88호
• /
• pp.68-72
• /
• 1999

1997년 1월부터 12월까지 12개월 동안우리나라의 중부와 남부의 전역을 통하여 민주름버섯류의 분포가 다양한 국내 산림지역을 중심으로 도합 35회 에 걸쳐 계룡산, 북한산, 설악산, 소백산, 속리산, 오대산, 치악산 국립공원, 강천산 군립공원, 모악산 도립공원, 공릉 및 마니산 국민관광지, 내량리 및 광덕산 일반지역, 적목리, 명지산, 수락산, 왕산, 봉화산 경기도 일대, 그리고 관악산, 대모산, 서삼릉, 서오릉 일대의 서울시 근교를 위시한 우리나라의 전역을 중심으로 정기적인 균류 탐색과 채집을 실시하여 550점의 표본을 채집하고 이들 균류의 국내 분포상을 조사하면서 국내 민주름버섯류의 미기록종과 고유종의 발굴을 수행하였다. 동정된 균류중 2속 4종은 국내 미기록균류로 확인되었으며, 해당 미기록속을 열거하면 Meruliopsis(기준종=M. taxicola, 가죽아교버섯속, 신칭)와 Pseudomerulius(기준종=P. aureus; 주름버점버섯속, 신칭)이며, 해당 미기록종을 열거하면 고약버섯과의 Phanerochaete calotricha(깃털유색고약버섯, 신칭)와 Phanerochaete chrysorhiza(침유색고약버섯, 신칭), 아교버섯과의 Meruliopsis corium(흰가죽아교버섯, 신칭), 및 버짐버섯과적 Pseudomerulius aureus(주름버짐버섯, 신칭)이다. 1994년 정학성은 한국산 목재부후균류의 분포상에 대한 연구 제 2보를 통하여 국내 목재부후균류의 민주름버섯류를 98속 217종 1변종으로 확인한바 있으며, 이어 1995년도에 게재한 한국산 민주름버섯목의 분류학적 연구 제 I보에서 발표한 2속 7종 미기록균류와 1996년도에 게재한 제 II보에서 발표한 1속 6종 미기록균류 및 제 III보에서 발표한 1속 6종 미기록균류와 함께 본 연구에서 확인된 2속 4종 미기록균류를 합산하면 한국산 목재부후 민주름버섯류는 도합 17과 104속 240종 1변종으로 집계되었다. 이들 미기록종 균류는 내량리 , 대모산, 및 왕산에서 채집되었으며, 이들중 깃털유색고약버섯과 침유색고약버섯은 미확인 활엽수, 흰가죽아교버섯은 산벚나무, 및 주름버짐버섯은 소나무에서 발견되었다. 군위 지역은 과거의 균류조사 기록의 부재와 지방 산업으로 인한 공해에도 불구하고 지역특유의 균류 분포상을 지닌 것으로 보이며, 서울과 서울근교는 정학성(1996)의 제 III보에서 지적한 바와 같이 다양하고 특이한 균류 분포상을 지니고 있는 점으로 미루어 군위 지역과 서울을 위시한 서울 근교 일대는 산업 공해와 관련하여 민주름버섯류의 분포상 연구에 매우 적합한 지역으로 판단된다.

• 공학교육연구
• /
• 제12권2호
• /
• pp.83-88
• /
• 2009

본 논문은 저학년을 위한 공학설계입문 과목에서 레고 Mindstorm NXT를 이용하여 설계 실습교육을 효과적으로 하는 방안을 제안하고 적용 사례를 분석하였다. 공학설계입문 과목의 특성상 전공 지식을 요구하지 않으면서도 설계에 대한 다양한 경험을 제공해야 하면서 동시에 저학년들의 전공에 대한 흥미를 끌어내야 한다는 어려움이 있다. 본 연구 결과에 따르면, 레고의 Mindstorm NXT가 이러한 문제의 한가지 좋은 대안이 될 수 있다. LEGO Mindstormd NXT를 입문설계 수업에 사용했을 경우, 학생들의 설계에 대한 흥미 유발과 설계의 다양한 측면에 대한 경험이 충분히 가능하다. 즉, 설계의 목적설정, 설계 제약조건 찾기, 설계물의 기능 열거, 설계 공간의 탐색, 예비설계 수행 등의 설계 각 과정에 대한 경험을 제공할 수 있다. 또한, 본고에서는 레고를 공학설계 입문 과목에서 도입할 경우 사용할 만한 무선조정 축구 로봇, 라인 트레이서, 청소기 로봇 등의 프로젝트 목록을 제시하였다.

• 대한토목학회논문집
• /
• 제28권5D호
• /
• pp.649-654
• /
• 2008

비가산경로비용(Non Additive Path Cost)에서 경로를 구성하는 링크통행비용의 합이 경로통행비용과 일치하지 않는다. 비가산성 비용의 적지 않은 사례가 교통부문에 존재하고 있으나 교통망 균형모형은 대부분 가산경로비용 가정에 의존하고 있다. 이 경우 교통망모형은 경로에 속해있는 링크의 통행비용에 선형적으로 증가한다는 경우에 한정된다. 비가산경로비용 대표적인 예로서 특정지역을 출입하는 통행료 체계를 들 수 있다. 이 체계는 차량이 진입(Entry)하면서 인식되고 진출(Exit)하면서 통행료가 정산되므로 링크의 요금이 경로에 선형적으로 반영되지 않는다. 본 연구는 지역기반 통행료 부과체계를 중심으로 새로운 Wordrop 균형모형을 제안한다. 제안된 모형은 비가산경로비용을 가산경로비용으로 전환되기 위해 이진표식변수를 도입한다. 제안된 모형은 경로를 열거하지 않고, 기존의 최적경로탐색기법과 비선형알고리즘이 적용이 가능하며, 수식과 해법에서 네트워크의 변형이 요구되지 않는다는 측면에서 기존에 제안된 모형보다 일반화되었다고 할 수 있다. 증명과 사례연구를 통하여 모형을 검증한다.

• 과학교육연구지
• /
• 제33권2호
• /
• pp.271-289
• /
• 2009

이 연구는 생물학자와 과학영재의 실험설계활동에서 나타나는 과정요소와 특성을 분석한 것이다. 연구대상으로 동물행동생태를 전공한 생물학자 4명과 과학영재 생물반 학생 32명을 선정하였고, 연구를 위해 주어진 과제는 Fowler(1990)의 DCT이다. 그들의 실험설계활동과 관련된 모든 자료를 수집하였고, 이 자료를 분석하기 위한 분석틀을 개발하였다. 분석 결과, 첫째, 생물학자와 과학영재의 실험설계활동에서 나타난 과정요소는 문제 확인, 준비물 열거, 실험대상에 대한 고려, 변인 탐색, 변인 소거, 변인 선택, 변인 조작 방법 계획, 환경적 변인 통제 계획, 생물적 변인 통제 계획, 관찰 측정 방법 계획, 자료 수집 계획, 자료 해석 계획, 실험의 반복 계획, 측정의 반복 계획, 안전 수칙으로 총 15가지가 있다. 생물학자는 특정한 과정요소에 집중하는 반면, 과학영재는 정형화된 과정요소를 나타냈다. 둘째, 생물학자와 과학영재의 실험설계활동에서 나타난 특성을 종합하면 다음과 같다: 1) 생물학자와 과학영재 모두 영역특수적인 과정기술이 포함된 과정요소를 나타냈다. 2) 생물학자는 특정한 과정을 반복적으로 점검하면서 정교하게 실험을 설계하는 반면, 과학영재는 피상적으로 실험을 설계한다. 3) 생물학자는 영역특수적인 기술과 노하우를 가지고 있으나, 과학영재는 그렇지 않다. 이러한 결과는 과학영재의 실험설계활동 교육 프로그램은 생물학자들이 집중하는 과정요소를 중심으로 구성하고, 정교한 실험 설계를 할 수 있도록 피드백을 제공하고, 생물학자의 과정기술이나 노하우를 학습할 수 있는 형태로 개발되어야 함을 시사한다.

• 철학연구
• /
• 제139권
• /
• pp.1-21
• /
• 2016

문장 서술의 일관성이나 진 위를 신속 정확히 파악하기 위해서 컴퓨터의 힘을 빌릴 수 있다. 따라서 문장논리의 컴퓨터프로세싱으로 문장 전체 서술의 일관성이나 진 위를 신속 정확히 파악하기 위한 연구가 있을 만하다. 이런 필요에 따라 본 연구에서는 컴퓨터프로세싱과정을 기획하고, 그 프로세싱에 필요한 테이블을 작성하고, 그리고 5개 논리규칙의 테이블을 우선 개발하여 활성화해본다. 그래서 차후 연구에서 10개의 기본추론규칙과 11개의 파생추론규칙 각각의 테이블을 개발하고, 그 다음 개발된 테이블들을 활성화하여 구축한 DB 위에 서버 프로그래밍 JSP와 클라이언트 프로그래밍 JAVA를 이용하여 문장논리규칙을 프로세싱하는 토대를 마련한다. 2장에서 프로세싱과정의 기획은 먼저 논리연산테이블을 탐색해서 논리규칙과 추론규칙을 공식으로 구분하고, 공식에 사용할 조합을 구분해서 순번으로 열거하는 작업을 하도록 하여, 변수 테이블, 논리기호 테이블, 입력처리 테이블을 작성한다. 그래서 차후 연구에서 주어부와 술어부를 활성화한 DB 위에 서버 프로그래밍 JSP와 클라이언트 프로그래밍 JAVA를 이용하여 문장의 참 거짓을 판명하도록 준비한다. 3장에서는 2장에서 작성 준비한 테이블을 참고해서 문장논리를 위해 명제적 계산, 문장논리 계산 혹은 진술논리 계산에 사용되는 5개의 논리규칙 즉, 이중부정규칙, 드모르간규칙, 교환규칙, 결합규칙 그리고 분배규칙 모두의 테이블을 개발하고, 마지막 4장에서는 개발한 테이블의 활성화로 DB 구축과 더불어 논리규칙 프로세싱하는 단계까지 이론적 구상을 해본다.