• 한국지능시스템학회논문지
• /
• 제17권5호
• /
• pp.626-631
• /
• 2007

인간의 계속적인 도움 없이 거칠고 변화하며 구조화되지 않은 환경에서 원하는 작업을 수행하는 자율주행 로봇은 확실하거나 불확실한 주변 환경을 극복하는 능력을 지녀야 한다. 이를 위해서는 센서로부터 얻어진 불확실한 정보를 바탕으로 유용한 결론을 도출하는 알고리즘이 요구된다. 본 논문에서는 지식의 표현 및 처리에 유용한 방법으로 주목을 받고 있는 온톨로지에 기반한 자율주행 로봇의 자율주행 알고리즘을 제안하고 이의 타당성을 컴퓨터 모의실험을 통해 보인다.

• 논리연구
• /
• 제22권1호
• /
• pp.43-86
• /
• 2019

1차 이론인 ZFC는 뢰벤하임-스콜렘 정리(이하 'LST')에 의해 그것이 일관적이라면(모형($M_1$)이 존재한다면) 그것은 이행적인 열거가능한 모형($M_2$)을 갖는다. 이러한 사실에 의해 '스콜렘 역설'이라 불리는 역설적 상황이 발생한다. 스콜렘의 전형적인 해소 방식에 따라, 이것은 어렵지 않게 해소될 수 있지만 그 과정에서 우리는 집합 개념에 대한 모형 상대성을 받아들여야 한다. 이것은 예를 들어 는 집합론적 개념의 의미가 모형에 따라 다르게 주어지는 상황을 발생시킨다. 문제는 다음이다. 이 경우에 PN이 열거불가능하다는 사실을 나타내는 ZFC의 문장 '¬denu(PN)'이 그 두 모형에서, 진리 값의 측면에서, 똑같이 참이 되기 때문에 ZFC에서는 <¬denu> 개념에 대한 차이를 구분할 수 없는 구분불가능성 문제가 발생한다. 혹은 어떤 것이 의도하는 의미인지 결정할 수 없는 미결정성 문제가 발생한다. 나는 먼저, 이러한 문제가 어떤 성격의 문제인지에 대한 구체적인 분석을 제시할 것이다. 그리고 이러한 문제에 대해서 ZFC를 지지하는 입장에서 할 수 있는 세 가지 방식의 대답을 제시할 것이다. 첫 째로, ZFC에서 모형론을 형식화할 수 있음을 이용하여 모형 상대적으로 다르게 주어질 수 있는 <¬denu> 개념이 ZFC에서도 '거의' 구분될 수 있다는 논변을 제시할 것이다. 두 번째로, <¬denu> 개념의 상대성(구분불가능성)에서 핵심적인 역할을 하는 양화사에 대한 의미론적 고려를 통해 <¬denu>이 본질적으로 혹은 자연스럽게 맥락 의존적으로 의미가 변할 수 있는 것임을 보일 것이다. 그래서 <¬denu> 개념의 모형 상대적인 의미 변화는 ZFC가 책임을 져야할 문제가 아니라 언어 외적인 자연스러운 현상이라는 논증을 제시할 것이다. 세 번째로, 문제의 출발점이었던 비표준 모형이 사실은 <¬denu> 개념의 구조적 내용을 예화 할 수 있어서 그것이 단지 문제적 요소가 아니라 의미론적으로 중요한 역할을 할 수 있음을 논증할 것이다. 이러한 논변들을 통해서 나는 비표준 모형과 관련하여 ZFC에 대해서 발생하는 것처럼 보이는 위의 구분불가능성(혹은 미결정성) 문제가 심각한 것이 아님을 논증할 것이다.

• 대한전자공학회논문지SD
• /
• 제39권11호
• /
• pp.14-23
• /
• 2002

본 논문에서는 SOVA(Soft Output Viterbi Algorithm)를 이용한 터보 복호기의 최적화된 설계를 위하여 두 가지 방법을 적용하고 검증하였다. 첫 번째 방법은 생존 경로를 찾기 위한 역추적9trace back) 회로와 2단 SOVA의 가중치 인자(weighting factor)를 찾기 위한 2단 역추적 회로를 동시에 적용시키는 것이다. 이 방법을 적용할 경우 두 단계의 기능을 동시에 수행하도록 하여 레지스터 교환 방식 혹은 역추적 회로만을 적용한 SOVA 디코더보다 속도와 면적의 효율성을 높일 수 있다. 두 번째 방법은 비례 축소 인자만을 적용한 SOVA 디코더보다 속도와 면적의 효율성을 높일 수 있다. 두 번째 방법은 비례 축소 인자(scalling factor)를 적용하여 디코더의 수행 시 발생된 왜곡을 보상하는 것이다. 이 방법을 부호율 1/3, 256 비트의 프레임 사이즈를 가지는 8-state SOVA 디코더에 적용하여 0.25에서 0.33사이의 비례 축소 인자 값을 얻을 수 있었다. 이에 따라 10E-4의 BER(에러율)에서 비례 축소인자가 없는 시스템에 비해 2dB의 SNR(신호 대 잡음비) 성능 향상이 있었다. 이렇게 제시된 방법을 바탕으로 Xillinx XCV 1000E FPGA를 이용하여 검증한 결과 256비트 프레임 사이즈의 경우 최대 33.6MHz 주파수에서 동작하였으며, 845 클럭의 지연속도를 가지고 175K개의 케이트 수를 가지는 단일 칩으로 동작을 검증하였다.

• Journal of Korea Trade
• /
• 제27권3호
• /
• pp.65-86
• /
• 2023

Purpose - As globalization progresses, complexity also increases, and various factors that threaten port functions are emerging. Accordingly, the demand for port security to prevent the crisis and resilience that quickly recovers its original function after the crisis is also increasing in port operations. However, few studies have examined how to ensure the port security and how the resilience affects operation performance of port and sustainability performance as well. So the study aims to find out how port security affects port resilience and port operational performance, and consequently, this two factors affect socioeconomic and environmental sustainability performance respectively and synthetically. Design/methodology - Confirmatory Factor Analysis (CFA) was first performed to determine the validity of the factors of model and hypothesis test was performed using Structural Equation Model (SEM) to analyze the Port Performance Model, which show the perception logic among port security level, port resilience, operation performance, and sustainability performance. In order to empirically analyze this model, total 264 respondents from port security operators, shipping companies in South Korea were surveyed. Findings - As result of SEM, First, port security level positively affected the resilience (H1) and cargo operational performance (H2) but not in both of the sustainability performances (H3, H4). Second, resilience positively affected only cargo operational performance (H5) and socio-economic sustainability performance (H7). Last, cargo operation performance positively affects the both of sustainability performances (H8, H9). Originality/value - It was confirmed that port security could improve cargo operational performance through ensuring port resilience and eventually increase the socio-economic sustainability. Therefore the study implies that careful integration and management of port security, port resilience, and sustainability are required, along with compromise on sustainable development goals in the social, economic, and environmental area among all stakeholders.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제11권4호
• /
• pp.217-222
• /
• 2011

Genetic algorithms are one of the most important methods used to solve the Traveling Salesman Problem. Therefore, many researchers have tried to improve the Genetic Algorithm by using different methods and operations in order to find the optimal solution within reasonable time. This paper intends to find a new approach that adopts an improved genetic algorithm to solve the Traveling Salesman Problem, and compare with the well known heuristic method, namely, Kohonen Self-Organizing Map by using different data sets of symmetric TSP from TSPLIB. In order to improve the search process for the optimal solution, the proposed approach consists of three strategies: two separate tour segments sets, the improved crossover operator, and the improved mutation operator. The two separate tour segments sets are construction heuristic which produces tour of the first generation with low cost. The improved crossover operator finds the candidate fine tour segments in parents and preserves them for descendants. The mutation operator is an operator which can optimize a chromosome with mutation successfully by altering the mutation probability dynamically. The two improved operators can be used to avoid the premature convergence. Simulation experiments are executed to investigate the quality of the solution and convergence speed by using a representative set of test problems taken from TSPLIB. The results of a comparison between the new approach using the improved genetic algorithm and the Kohonen Self-Organizing Map show that the new approach yields better results for problems up to 200 cities.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.478-482
• /
• 2002

Recently, the demand for the optical cable is rapidly glowing because the number of internet user increases and high speed internet data transmission is required. To meet this demand, it is necessary to have a sufficient manufacturing capability for mass and high-quality production. But the present optical cable winding system has some serious problems such that the optical cable of radius (6 mm -40 mm) is often piled up and collapsed usually at the edge of the bobbin in the process of the cable winding. It is often necessary to have an additional operator in order to adjust the cable, which causes the productivity decrease. In order to improve a performance of cable winding system which deals with relatively thick cable( radius : 6 mm -40 mm ), we developed a new guiding system for a high-speed self-align cable winding. First of all, the winding mechanism was analyzed. Synchronization logics for the motions of winding, traversing, and the guiding were created and implemented by using the PLC and guiding system controller in a prototype cable winding system manufactured in the CILS( Computer Integrated Large scale System ) lab. An experimental verification was carried out to validate the logic. Results showed that the winding system with the developed guiding system outperformed in reducing pile-up and collapse in the high-speed winding(up to 300 mm/s) compared with the system without the guiding system.

• 한국언론정보학보
• /
• 제56권
• /
• pp.7-25
• /
• 2011

이 연구는 한국 사회에서 신문이 방송을 겸영함으로써 여론 다양성에 위기를 불러온다는 전망과, 정반대로 여론 독과점 해소에 기여한다는 주장이 학계에서 대립하며 소통이 막혀있는 현실에 주목하고 과학적 접근을 통해 학문적 토론을 점화하는 데 목적이 있다. 신문과 방송 겸영에 따른 여론 다양성 문제를 과학적으로 분석하기 위해 실제로 방송을 겸영할 조선일보, 중앙일보, 동아일보가 사실에 근거해 여론을 형성해왔는지 '신방 겸영론'을 중심으로 분석했다. 이어 세 신문사가 신방겸영을 주장한 논리적 근거로 제시한 규제 완화와 경제 살리기, 일자리 늘리기 보도들에서 다양한 관점이 드러났는지, 아니면 특정 프레임(frame)이 지배적이었는지 실증적으로 탐색했다. 이어 세 신문사 방송이 자리할 객관적 조건이 한국 공론장(public sphere)의 여론독과점과 어떤 관련성이 있는지 여론조사와 설문조사를 근거 자료로 분석했다. 과학적 분석 결과 '조중동 방송'은 여론 독과점을 심화시킬 수밖에 없다고 전망한 이 논문은 그렇지 않다고 판단하는 연구자들과 학문적 토론을 기대하고 있다.

• 영어영문학
• /
• 제55권1호
• /
• pp.153-176
• /
• 2009

This paper attempts an allegorical reading of female sexuality in Henry James' The Aspern Papers, wherein the narrator reveals his obsession with the love letters of the dead poet, Jeffrey Aspern. Not only the old papers, but does he also fetishize female protagonists in order to maintain his belief in the "great poet." Discussing such fetishistic elements in the novella is in order firstly to reveal the self-splitting logic of phallocentric language, and secondly to analyze the limitation of such language, which resonates with the Freudian construction of female sexuality as critically presented by Irigary. The first part of this study explains the binary structure of The Aspern Papers crystalized in the symbolic courtship in the Bordereaus' garden. It also represents the psychological mindset of the narrator/protagonist: symbolically located "outside," the narrator describes the two Bordereaus as being closed "inside" in a dark mansion, concealing the precious papers from him and the public. In other words, the women are nothing but the obstacle for the self-elected agent, the narrator, from the publication of the language and ideas of the "great man". The women are associated with secrecy and surreptitiousness, while the man with transparency and the truth. Second part of this paper mimics this In/Out binary as a means to reveal insufficiency, if not impropriety, of the predominant discourse of female sexuality constructed and controlled from the male perspective. Employing Irigary's argument, this paper reads the female characters as allegory for female sexual organs, which explains the narrator's inevitable failure. That is, female sexuality is something that cannot be articulated by the intruding language of a masculine subject. since the female sex as such is not only plural but also harmonious and self-contained,

• 한국지능시스템학회논문지
• /
• 제24권4호
• /
• pp.372-378
• /
• 2014

방사선 의료영상의 잡음은 화질을 떨어트리며, 진단의 정확성을 낮추는 원인이 된다. 특별히 환자보호를 목적으로 방사선 피폭량을 줄인 저선량 의료영상은 잡음 수준이 높아 잡음 제거 기술이 더욱 중요하다. 본 논문에서는 다양한 해상도에서 경계선 특징을 보존하며 잡음을 효과적으로 제거하는 잡음제거 방법을 제안한다. 제안된 방법에서는 영상을 여러 개의 해상도의 피라미드 영상으로 분해하고, 각각의 분해된 영상으로 부터 퍼지 규칙기반 경계선 검출기를 통하여 안정된 경계 신뢰도 맵을 얻는다. 이들 다해상도 영상의 경계 신뢰도 맵은 유도 필터의 파라메터를 적응적으로 결정하며, 이를 이용하여 해당 영상의 경계를 보전하며 잡음을 제거한다. 이렇게 잡음이 제거된 다해상도 영상은 보간법을 통하여 확장되고 합성되어 결과영상을 얻는다. 제안된 방법은 미디언 필터, 양방향 필터, 유도 필터 등과 비교하여 경계선을 잘 보존하며, 잡음제거 능력이 우수함을 실험을 통해 확인하였다.

• 시큐리티연구
• /
• 제17호
• /
• pp.33-51
• /
• 2008

일반적 사전적 의미에 의하면, 경호는 "경계하고 보호함"을 뜻하는 것으로, 이는 불의의 침입이나 다양한 사건 사고로부터 경계하여 경호대상자의 신변을 보호하는 것을 의미한다. 이러한 개념정의에서도 볼 수 있듯이 경호는 모두 위해행위로부터 보호하고자 하는 행위라고 할 수 있다. 경호위해행위는 본질적으로 형법상의 범죄행위의 개념 범주에서 논의되어질 수 있는 것이다. 형법상 행위를 본질로 하는 이러한 위해행위를 오늘날 주목되어지고 있는 뇌신경과학과 인지심리학에 기반을 둔 인지과학이라는 학문영역의 관점에서 재조명 해보고, 이러한 경호위해행위에 대한 분석을 과학적 예방적 사회안전 대책을 수립하기 위한 기초로서 삼고자 한다. 이를 위해 먼저 범죄행위를 그 본질로 하는 경호위해행위에 대해 경호학적 관점과 형법적 관점에서 검토고자 한다. 다음으로 경호위해행위도 인간행위의 한 형태이므로 이를 인지과학적 관점에서 분석하기에 앞서 인지과학이 행위에 대해 어떻게 이해하고 있는가를 소개하고자 한다. 마지막으로 이러한 행위에 대한 인지과학적 관점에 의해 경호위해행위를 분석하면서, 과학적 안전대책 수립을 위한 인지과학적 분석의 필요성을 논하고자 한다.