• 제목/요약/키워드: 선언형지식

검색결과 4건 처리시간 0.015초

설계 전문가시스템 : 법용 셸을 이용한 선박구조설계의 지원 (A Disign Expert System : Support of the Ship Structural Design by a General-Purpose Shell)

  • 한순흥;이효섭;이동곤
    • 대한기계학회논문집
    • /
    • 제18권3호
    • /
    • pp.777-784
    • /
    • 1994
  • A design expert system for the ship structural design is developed to support inexperienced designers. To establish the knowledge-base, an expert system development shell, Nexpert, is used. Knowledge is extracted from the rules of a classification society of ships, and also from an existing ship structural program that is being used by ship designers. This knowledge is systematized using the objectoriented concept. The design support system is constructed by adding additional functions which are required for the conventional engineering design work. Added functions are; calculation of longitudinal strength, database of existing ship designs, graphical user interface, and visualization of design results. It is observed that visualizing the relationships among the rules, which are activated to draw a certain design decision, is helpful. The system can easily be updated according to changes of the rule books of ship classification societies.

개인성향 요인이 탄소저감형 교통서비스 잠재선호에 미치는 영향에 관한 연구 (Effect of Attitudinal Factors on Stated Preference of Low-carbon Transportation Services)

  • 이윤희;이경재;추상호
    • 한국ITS학회 논문지
    • /
    • 제22권6호
    • /
    • pp.49-65
    • /
    • 2023
  • 최근 전세계적으로 환경에 대한 관심이 커지고, 국제사회가 '탄소중립'을 선언하면서 '탄소'를 고려한 다양한 수단선택모형 연구가 실시되고 있으나, 탄소에 대한 개인성향을 반영한 연구는 미비한 실정이다. 따라서, 본 연구에서는 탄소저감형 이동수단(전동킥보드 등)을 포함한 대중교통 서비스로 SPT(Sustainable Public Transit)라는 새로운 수단을 제시하고, 수도권 통근자를 대상으로 실시한 SP(Stated Preference)조사를 활용하여 요인분석을 통해 응답자의 탄소에 대한 개인성향을 분석한 후, 다항로짓모형을 활용하여 SPT에 대한 수단선택모형을 구축하였다. 분석 결과, SPT 잠재선호에 영향을 미치는 요인으로 성별, 소득, 개인성향('새로운경로 탐색에 대한 열정', '수단간 환승 선호', '탄소저감지식', '탄소저감실천') 변수가 유의한 것으로 나타났다. 따라서, 본 연구는 수단선택모형 구축시 수단의 속성변수로 탄소배출량을 선정하거나, 탄소저감과 관련한 개인성향 변수를 구축했다는 부분에서 의의가 있다.

21세기 선진형 ICT 수학 교육 방법론 모델 (The educational models using enhanced mathematics ICT in the Korean IT environments)

  • 김덕선;박진영;이상구
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제22권4호
    • /
    • pp.533-543
    • /
    • 2008
  • 싱가포르 교육부와 국제교육기술협회(ISTE)가 공동 주최한 ICT 박람회 2008년 iCTLT의 개막연설에서 싱가포르의 응엥헨 교육부 장관은 "2014년까지 교육환경을 ICT 중심으로 바꿔 학생들이 지식경제 사회에 필요한 핵심경쟁력을 갖출 수 있도록 하겠다."고 선언했다. 싱가포르의 학생당 컴퓨터 보급률은 초등학생 6.5명단 1대, 중 고등학생 4명당 1대 꼴이다. 한국은 초 중 고등학교를 합쳐 5.8명당 1대 꼴이다. 평균은 비슷한 셈이다. 싱가포르는 한국보다 1년 늦은 1997년 교육정보화 사업을 시작했다. 그러나 조만간 한국을 추월할 기세다. 특히 수업 활용도는 현재 한국이 10%대인 반면 싱가포르는 30%대다(중앙일보 2008년 8월24일 6면). 본 소고에서는 앞으로의 한국이 지향할 방향으로, 특히 한국의 우수한 IT환경을 이용한 웹기반ICT 수학교육을 제안한다. 이제 한국은 다른 나라와 대등하게 툴과 콘텐츠를 개발하며 교육과정에 반영하고, 교사와 학생이 실제 교실에서 사용하며 기존의 교과내용은 물론 더욱 복잡한 계산 능력 그리고 시각화를 통한 직관적인 이해를 통하여 실제 사회에서 활용할 과학적 능력을 배양하여야 한다. 본 연구는 이런 과정이 가능한 모델의 하나를 구체적으로 제시한다. 본 연구진은 지난 수십 년간 개발된 다양한 모델을 비교하여 우리에게 최선의 답이 된다고 판단하는 Sage-Math 모델을 제시한다. 이는 웹상에서 언제 어디서나 누구라도 이용가능하고, 언어가 새로운 것이 아니라, 기존의 Mathematica, Maple, MATLAB등 다양한 기존의 언어를 모두 쉽게 손보아 쓸 수 있으며, 위의 상용 소프트웨어의 거의 모든 기능을 무료로 쓸 수 있기 때문이다. 한국형 Sage-Math의 효과적인 개발과 이용은 21세기 한국에서 매우 짧은 시간에 최소의 비용으로 유치원에서 대학과정에 걸쳐 모든 수준의 ICT 수학교육에 큰 영향을 주는 대안이 될 것이다.

  • PDF

규칙기반 한글 자동 프로그램을 위한 프로그램 변형기법 (A Program Transformational Approach for Rule-Based Hangul Automatic Programming)

  • 홍성수;이상락;심재홍
    • 한국정보처리학회논문지
    • /
    • 제1권1호
    • /
    • pp.114-128
    • /
    • 1994
  • 초고급 언어에 의한 자동 프로그래밍은 프로그램의 자료구조 이외에 많은 부분을 시스템이 관장함으로써 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술 어논리, 집합, 사상, 혹은 제안된 자연언어를 사용하기 때문에 초고급 구조에 익숙하 지 않은 프로그래머들이 이를 이용하여 프로그램을 작성하는 경우 상당한 어려움이 따 르고, 이들 초고급언어 구조에 익숙하기까지 많은 시간이 요하게 된다. 왜냐하면 초 고급언어는 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술어 논리, 집합, 사상, 혹은 제한된 자연언어를 사용하기 때문이다. 본 논문에서는 기존의 자동 프로 그램의 어려움을 줄이기 위해서 한글로 구성된 선언적구문, 절차적 구문, aggregate 구문으로 광역언어를 설계하고 구현한다. 본 논문에서는 제안하는 한글 자동 프로그래 밍 시스템(Hangul Automatic Programming)은 입력으로 순수한 한글로 구성되어 있으며 추상 알고리즘(Abstract Algorithm)과 자료형(Data Type)혹은 절차적 구문을 받아서 출력으로는 C 언어 프로그램을 만들어 낸다. 자동 프로그래밍 접근 방식은 프로그램 변형기법과 규칙기반에 바탕을 두고 문제영역은 일반적인 프로그램으로 한정 하였다. 시스템 제어구조는 한글 프로그램을 입력으로 받아서 지식베이스로부터 적절한 규칙 을 선택해서 이것을 변형한 다음 전체 데이타 베이스에 넣는데 이과정을 프로그램이 완성 될 때 까지 반복한다.

  • PDF