• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 오토저널
• /
• 제6권1호
• /
• pp.21-26
• /
• 1984

내연기관은 일찍이 군용과 특수용도는 물론, 최근 서민생활에 직결되어 널리 사용되고 있으며, 일상생활의 필수기계가 되어 놀랄만한 수의 엔진이 생산, 사용되기에 이르렀다. 그러나 한편으 로는 그것을 사용함으로서 사람들에게 해를 준다는 문제가 발생하였다. 특히 주위 사람들의 건 강을 해칠 우려가 있는 유해성분을 포함한 가스의 배출, 또는 소음의 발생이 큰 사회적 문제가 되어 그 방지대책이 종래의 성능향상에 대신하여 지상명제로서 연구 개발되고 있다. 이에 대한 대책은 일반적으로 엔진의 가격과 성능을 희생시키는 것은 불가피하지만, 그것은 최근 세계적인 위기로 불리는 에너지와 기타 자원의 절약과 상용할 수 없으므로 이러한 공해와 자원이 양 립할 수 있는 방향으로의 새로운 내연기관 연구가 강력하게 요망되고 있는 것이 현상태이다. 엔진이 인체에 해를 줄 가능성이 있다는 것은 이전부터 알고 있던 바이다. 예를 들면 좁은 실 내나 터널중에서 운전하면 많은 량의 산소를 소비하기 때문에 단시간에 산소가 부족하게 될 뿐만 아니라, 일산화탄소 함유량이 많은 배기를 배출하게 되어 인체에 중대한 해를 준다. 그러나 이와 비슷한 일이 전도시적인 문제가 되어 법규제가 된 것은 최근의 일이고, 배출가스에 대하여서는 미구에 의하여 약 10년 전부터 자동차의 배기규제가 계획되어 금일 진행중이다. 또 소음에 대 하여서는 오히려 극히 초근부터 법규제화가 진행되고 있으나 어느 쪽도 사회의 요구를 완전히 만족시킬만한 대책기술은 용이하지 않다.

• 인문언어
• /
• 제1권1호
• /
• pp.67-76
• /
• 2001

현대사회는 인문학을 향하여 양면성을 보이고 있다고 생각된다. 한편으로는 현대 사회에 드리워진 어두운 모습을 보면서 인문학이 어떤 희망을 보여주어야 한다고 기대하면서, 다른 한편으로는 현대사회가 이미 돌이킬 수 없을 정도로 다원화되고 양화되고 사물화되어 버린 현실에 대해 인문학이 무엇을 제공할 수 있을까라는 의문을 품는 것이다. 소위 '인문학의 위기'라는 것은 사회가 인문학에 대해 가지는 양면성 안에 배태되어 있다고 보인다. $\ulcorner$표현인문학$\lrcorner$(생각의 나무, 2000년, 421면)의 공동 저자들(박이문, 유종호, 김치수, 김주연, 정덕애, 이규성, 최성만)은 사회의 양면성을 이중성으로 간주하지 않는다. 오히려 이 양면성을 심각한 과제로 인식하여 그 기대와 의문을 인문학이 성취하고 풀어야 하는 반성의 계기로 선택한다. 이 책은 그러한 과제를 향한 하나의 서설이다. 하나의 가능한 방향을 나타내고자 한 것이다. 공동 저자의 한 사람으로 이 책의 개요를 네 개의 명제로 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.479-482
• /
• 2009

급변하는 경영 환경에서 기업의 목표나 정책목적을 실현하기 위해 많은 기업들이 비즈니스 프로세스의 중요성을 인식하게 되면서 비즈니스 프로세스 관리에 대한 관심이 높아졌다. 이러한 비즈니스 프로세스를 관리하기 위해 일반적으로 모델링 작업을 수행하게 되는데 모델링 작업 시 예기치 못한 여러 가지 이상 현상을 포함 될 수 있다. 본 논문에서는 본 연구자가 발표한 선행 논문을 바탕으로 기존의 이상 현상 검출 기법 중 그래프 축소 기법을 확장하여 모델링 단계에서 정의된 비즈니스 프로세스 모델의 구조적 이상 현상을 검출하고 명제 논리학을 이용하여 이의 타당성을 증명하였다.

• 통상정보연구
• /
• 제1권1호
• /
• pp.131-156
• /
• 1999

최근의 통상환경중 "Logistics" 혁명을 통한 컨테이너 운송의 신속화, 인터넷혁명을 통한 전자상거래 활성화는 EDI, EC등을 통해 "Paperless trade"가 실현을 앞당기고 있다. 본 논고는 이러한 물류혁명과 인터넷 정보기술의 발달로 대두되는 문제중 기존의 종이서류로서의 운송서류를 전자식 운송서류로 대체하는데 따른 문제점과 이의 활성화 방안에 대해서 살펴보고자 한다. 인터넷 전자거래가 활성화되어지면 기존의 종이서류들은 전자메시지로 대체될 것으로 여겨진다. 이에 따라 전자계약서, 전자송장, 전자보험증권, 전자선하증권 등이 출현할 것이지만 이중 무엇보다도 전자식 운송서류중 유통성 운송서류의 전자화는 그간 전자화의 핵심부문으로 여겨서 상당한 중요성을 두어왔다. 현재 이용되는 유통성 운송서류는 그간 선하증권의 지연도착문제와 이에 따른 추가 경비의 소요, 또한 선하증권 발급에 따른 부대경비의 과다소비, 종이서류로서의 선하증권의 위조에 따른 사기문제 등에 제기되어 졌고 이에 따라 선취화물보상장 등의 현실적 대안이 제시되었지만 이 또한 여러 문제점을 야기시켜왔다. 전자식 운송서류는 이러한 문제점을 다소 해소할 수 있는 방안으로 알려져 왔다. 전자거래가 활성활 될 미래에는 운송서류의 전자화는 필연적으로 대두되게 될 것이고, 이러한 전자화에 있어 해상운송장의 사용은 바람직한 모델로 여겨지고 있다. 그렇지만 전매가 잦은 산업에 있어 해상운송장은 자체의 유통성의 미비로 인해 그 사용에 문제점이 있고, 실제 상관행에서 많은 이점을 가진 선하증권의 발행 욕구를 충족시켜 줄 수 있어야 할 것이다. 본 논고에서는 전자식 운송서류의 활성화 방안으로 첫째, 전자식 운송서류에 관한 법률정비가 필요할 것으로 여겨지며 둘째, 유통성 전자식 운송서류에 있어 관리기관의 안정성이 확보되어야 할 것으로 여겨지며 셋째, UCP에서 전자식 운송서류에 관한 조항이 삽입되어져야 할것으로 여겨지며 넷째, 여러 측면에서 우위성을 지닌 전자무역거래의 활성화는 점차적으로 운송서류의 전자화를 활성화시키는데 반드시 필요한 명제로 등장할 것으로 여겨진다.

• 동의생리병리학회지
• /
• 제33권6호
• /
• pp.303-310
• /
• 2019

In order to search for the causes of having difficulty with the scientification task of the Korean medicine, the definition and conception of science were reviewed first and then formalization of reasoning scheme and a practical method of scientification were proposed. Science in its definition is meant by foundation of method and system for production of scientific knowledge not by knowledge of science itself. The formation of science is composed of complex processes including not only scientific knowledge but also politicosocial output containing activity of scientist society, spreading of social value and intercommunication. The production of scientific knowledge of Korean medicine is begun from logicality of the differential diagnosis and treatment theory through abductive verification of analogical inference by yinyang and 5 phase theory. For the commensurability between the various heterogenic theories within Korean medicine, the scientific activity of collecting, compiling, analyzing, distributing, and discussing the significant knowledge gained through abductive verification in the experiment and clinical process should be formed broadly. Based on these knowledge database, organization of scientist society with Korean medicine, life science, medical engineering, social expansion and generalization of pattern conception, and then social propagation and contribution for national health should be driven forward.

• 한국기술혁신학회:학술대회논문집
• /
• 한국기술혁신학회 2017년도 추계학술대회 논문집
• /
• pp.1533-1549
• /
• 2017

정부 R&D성과의 질적 수준을 제고하고 중장기 국가 재정사업의 효율성을 높이기 위한 각 연구 기관의 시도들이 있어 왔다. 연구사업의 발굴, 기획 및 수행에 있어 효과적인 정부 R&D 예산의 배분, 우선순위를 도출, 기술개발 전략 수립을 하는 것이 매우 중요해지고 있다. 정부 재정사업인 국가 R&D사업은 국가 기간산업을 활성화하고 경제발전을 수반할 수 있는 중요한 모멘텀으로서의 역할을 하고 있다. 또한, 국가 R&D사업의 한 축인 거대과학은 최첨단 기술의 개발과 미래성장동력의 발굴이라는 대명제로 그 중요성이 강조되고 있다. 거대과학 연구는 그 분야의 특수성으로 인해 대학의 과학자, 공공 연구기관의 연구원, 기업의 엔지니어가 함께 참여하여야 하고 대규모 국가 예산을 동원하는 과학 연구 사업이다. 이는 대규모 예산을 기반으로 하고 있기에 집중적 투자가 수반된다면 단기적으로 기초과학의 발전을 이뤄낼 수 있다. 이것은 산업발전에 밑거름이 되어 그 분야 자체로 하나의 산업생태계를 구성하고 요소 기술들의 응용으로 파생기술이 전파된다면 새로운 신산업 창출 등 국가산업에 많은 혜택을 줄 수 있다. 하지만 많은 인력과 대규모 투자 그리고 중장기 프로젝트라는 특성으로 인해 실패 가능성도 높아 전략적 선택 및 추진이 필요하다. 따라서 본 논문에서는 거대과학의 기술개발전략의 수립을 위하여 중이온 입자가속기 핵심부품 국산화 전략수립 사례를 중심으로 효율적인 R&D추진 방안을 도출해보고자 한다. 또한, 논문, 특허를 기반으로 한 3P분석을 통하여 중이온 가속기 핵심부품의 국산화 전략을 제안하고, 추진 우선순위 및 전략을 제시하고자 한다.

• 만화애니메이션 연구
• /
• 통권43호
• /
• pp.211-230
• /
• 2016

만화는 '연속된 칸의 배열'이라는 명제에서, 이 연구는 출발한다. 연속된 두 칸 이상의 이미지가 연결되어 어떻게 이야기를 전달하는 지, 앞 칸과 뒤 칸의 연결 관계는 어떠한 지 등에 관한 연구에서 비롯된다. 우리나라 만화는 웹툰의 시대를 지나가고 있다. 과거 출판만화 시대의 단행본이나 잡지를 거쳐, 온라인이나 모바일에 게재되는 만화를 즐기는 시대로 이미 접어들었다. 웹툰 또한 연속된 칸의 배열로 구성된다. 단지 그 방향과 모양, 길이 등이 출판만화와 다른 점을 보인다. 이에 연구자는 연속된 두 칸의 연결관계를 다시 한 번 규명하려 한다. 특히 한 화 혹은 한 에피소드에서 칸의 연결에 관한 연구를 넘어서, 연재되는 두 화로 확장시켜 앞 화의 마지막 칸과 다음 화의 첫 칸의 연결 관계가 어떠한 지 살펴본다. 이 연구에서는 포털사이트 네이버와 다음에 연재하는 웹툰 100여 작품을 분석하였다. 특히 작품의 1화 마지막 칸과 2화 첫 칸을 분석하였다. 첫 화를 분석한 이유는 독자를 사로잡는 가장 큰 비중을 차지하는 것이 연재 첫 화라는 전제에서 시작한다. 분석의 최대 관심은 두 칸이 연결성 측면에서 '연결'인가 또는 '단절'인가를 분석하였다. 또한 2016년 현재 대표적인 모바일만화 플랫폼 레진코믹스와 탑툰의 작품을 20여 편 분석하여 웹툰과 모바일만화에서 칸 연결의 차이점을 찾아보았다. 연재만화의 한 화의 마지막 칸은 그 화를 정리하는 기능과 동시에 다음 화에 대한 궁금증을 불러일으키게 하는 역할을 갖는다. 또한 다음 화의 첫 칸은 전 화의 이야기를 이어가는 임무를 부여받는다. 이러한 이유로 이 두 칸은 적어도 대개 일주일이라는 시공간적 간극을 연결시켜야 한다. 첫 칸이 전 화의 이야기를 떠 올리게 하는 것이 쉬운 연결 기술일 것이다. 하지만 그렇지 않은 경우도 존재한다. 이것은 온전한 작가의 몫으로, 작가는 어느 지점에서 한 화를 마무리하고 다음 화로 넘어갈지 고민한다. 따라서 이 연구는 연재되는 만화의 시공간적인 간극을 칸이 어떻게 연결하는 지에 관한 유형을 통계로 제시함으로서 칸 연출의 연구 범위를 칸과 칸의 연결에서 에피소드와 에피소드의 연결로 확장시키는 효과를 가질 것으로 기대한다. 또한 기술적으로나 만화 연출 상으로 두 화를 어떻게 연결하는 지에 관한 고민을 다소 해결할 것으로 기대된다.

• 한국철도학회논문집
• /
• 제11권6호
• /
• pp.562-568
• /
• 2008

현대의 물류는 파렛트를 활용한 일관운송체계로 변화하고 있다. 더불어 포장용기의 적재율과 타 수송수단과의 정합성을 높이려는 노력도 병행되고 있다. 이와 같은 일련의 추세는 물류의 효율화를 통한 물류비 절감이라는 명제에 기반을 둔다. 파렛트를 이용한 일관수송에서 기본이 되는 것은 포장의 단위이다. 개별 포장의 크기와 형태가 포장용기의 적재율을 최대화시키도록 하는 것이 관건이기 때문이다. 또한 포장용기는 이차적으로 수송수단의 적재함이나 보관시설 등 연관된 물류활용에 영향을 미치기 때문에 포장의 단위가 미치는 파급의 범위는 넓다. 본 연구의 목적은 포장모듈 표준화 사업의 효과를 평가하는 척도(MOE)를 선정하고 이를 반영한 평가모형을 개발하는데 있다. 선행연구의 사례와 타 학문분야의 계량화 방법 등을 토대로 포장모듈의 표준화가 물류산업에 미치는 영향을 파악하고 이를 계량화하는 방안을 제시한다. 연구의 방법론적 측면에서 볼 때 물류활동 부문별로 나타나는 포장모듈 표준화의 효과를 어떠한 방법으로 계량화하고 가중치를 두어 하나의 대표값으로 추출하느냐가 관건이 된다.

• 헤리티지:역사와 과학
• /
• 제52권2호
• /
• pp.172-195
• /
• 2019

고암 이응노(1904~1989)의 회화 전개에서 1960년대의 파리 시절은 미술가로서 가장 전위적인 방식으로 매체의 실험 및 혁신을 이룬 시기로 평가받는다. 그리고 파리로 건너가기 직전에 개최된 이응노의 ${\ll}$도불${\gg}$전(1958. 3)은 이응노가 앵포르멜 미술을 처음 수용할 때의 회화 양상을 확인할 수 있다는 점에서 주목받아왔다. 이를 주목한 이응노 관련 연구는 1958년의 작품들을 앵포르멜과 추상표현주의의 영향으로 해석하는 관점과 이응노가 문인화로 처음 화업을 시작했다는 점에 초점을 맞추어 문인화의 사의(寫意) 정신의 발현으로 보는 관점으로 크게 구분할 수 있다. 본고는 앵포르멜과 추상표현주의를 통칭할 수 있는 '추상회화'에 대한 이응노의 인식을 확인하는 것을 목표로 하였다. 이를 해결하기 위해서는 당시 이응노의 회화론을 되짚어보는 것이 필요하기에 이응노가 회화를 처음 학습했던 해강 김규진 문하와 일본 유학 시절의 회화론을 먼저 살펴보았다. 이응노는 매너리즘에 빠진 문인화풍에서 벗어나기 위해 자연을 깊이 관조하는 것을 회화 제작의 첫 번째 원칙으로 삼았다. 그의 이러한 사생론은 1950년대까지 지속되었다. 그리고 그는 '추상(抽象)'을 서양 미술사조의 '추상회화'라는 고유 개념이 아니라 일본 유학 시절 이후 강화된 사생론에 따라 '(자연에서) 형상을 추출하다'라는 사전적 의미로 이해했을 가능성이 크다. 이응노 본인도 추상회화의 근간에는 자연의 형태가 있다고 밝힌 바가 있다. 즉 추상적인 회화와 '추상회화'는 다른 개념이기에 이를 구분하여 당시 이응노의 회화를 분석할 필요가 있다. 마지막으로 이응노의 1950년대 추상회화를 문인화의 사의(寫意) 정신이 발현된 것으로 해석하는 관점에 의문을 제기하였다. 전통 문인화론을 현대의 이응노에게 직접 연결하는 것은 오히려 이응노 회화의 개성을 가리게 하고 전통서화와 현대회화의 구분을 모호하게 만들 수 있다. 또한 이응노는 회화 제작에서 사의를 강조하긴 했지만 이는 대명제로서의 언사(言辭)였을 가능성이 높다. 왜냐하면 정작 1950년대에 제작한 작품들은 <자화상>(1956)처럼 이응노가 스스로 '북화(북종화)'라고 규정했던 회화 양식이 주를 이루기 때문이다. 이러한 양상은 문인화의 대명제로서의 '사의'와 '사의적 화법'을 구분해서 바라볼 필요가 있다는 점의 근거가 된다. 따라서 당시 그의 회화는 사의의 발현, 전통 문인화의 계승이라는 측면으로 보기보다 사의적 화법을 구사한 이응노식 추상회화라는 관점에서 새로운 해석을 필요로 한다.