RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • 논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구

        윤문환(Mun Hwan Yun),조근식(Geun Sik Jo) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2

        논리 언어 (Logic Programming Language)는 다양한 문제해결(problem solving) 분야에서 그 능력을 발휘해 왔다. 그러나 많은 응용분야에서 심볼릭(Symbolic)외의 수식의 문제와 같은 영역에 있어서도 논리 언어의 적용을 시도하고 있다. 특히 그래픽 계산에 대한 논리 언어의 요구가 증가 하고 있는데, 이와같은 생각은 수학적 논리 표현의 곤란으로 한계를 나타냈다. 이러한 어려움을 해결하기 위해 새로운 언어가 필요하게 되었다. 이와같은 언어를 제약논리 프로그래밍 언어라고 한다. 이러한 제약논리 프로그래밍언어(Constraint Logic programming)에서는 논리언어(Logic programming Languseg)에서 처리가 어려운 수치제약 조건(Numerical Constraints)의 해결을 위해 심플렉스 법을 많이 사용하여 제약해결기(Constraints Solver)를 구성한다. 그러나 논리 언어 환경하에서는 제약조건이 동적으로 입력되므로 기존의 선형계획(Linear Programming)에서 사용하는 심플렉스 법을 그대로 사용하기가 어렵다. 따라서 본 논문에서는 심플렉스 알고리즘을 변형 시켜 제약해결기를 구현하였고 또한 이 해결기를 사용하여 논리언어에서의 해결이 어려운 최적화 문제를 해결하고 효율적인 최적화방법을 제시하였다.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼