• Title/Summary/Keyword: 선언형지식

Search Result 5, Processing Time 0.086 seconds

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

  • 한순흥;이효섭;이동곤
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.18 no.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.

A Library for Object-to-Graph Mapping with Annotations in Java

  • Ji-Woong Choi
    • Journal of the Korea Society of Computer and Information
    • /
    • v.29 no.10
    • /
    • pp.219-228
    • /
    • 2024
  • In this paper, we propose a method for constructing RDF knowledge graphs from objects in OOP. RML mapping has been the de-facto way of generating RDF graphs from heterogeneous data. However, the input to an RML mapping is limited to the data in files or databases. Our new RML implementation, designed to overcome the limit, has two differences compared to existing RML implementations. First, our implementation provides a new way to specify mapping rules in the form of special comments known as annotations in the source code. It is because existing works do not provide a means to refer to specific program elements to which the mapping rules will be applied. Second, our work provides mapping engine as a library, whereas the engines in existing studies runs in an independent process. Therefore, our mapping engine can be easily embedded in other applications to access in-memory objects to be mapped. In this system paper, we describe the proposed system in detail and present the results of RML test cases execution to confirm the usefulness of the system.

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

  • Yoonhee Lee;Gyeongjae Lee;Sangho Choo
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.22 no.6
    • /
    • pp.49-65
    • /
    • 2023
  • In response to the growing global concern for the environment, the international community has recently committed to achieving 'carbon neutrality.' As a result, numerous studies have been conducted on mode choice models that include carbon emissions as a variable. However, few studies have established a correlation between individual preferences and carbon emissions. In this study, a new mode of transportation named sustainable public transit (SPT), incorporating carbon-reducing transport options like electric scooters, is proposed. Analyzing the individual preferences of commuters on carbon emissions through factor analysis, a stated preference (SP) survey was conducted. A mode choice model for SPT was constructed using multinomial logit models. The results of the analysis showed that gender, income, and specific preferences, such as a passion for exploring new routes, a preference for intermodal transfers, knowledge of carbon reduction, and carbon reduction practices, significantly influence latent preferences for SPT. Therefore, this study is significant as it considers carbon emissions as an attribute variable during the construction of mode choice models and reflects the individual preference variables associated with carbon reduction.

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

  • Kim, Duk-Sun;Park, Jin-Young;Lee, Sang-Gu
    • Communications of Mathematical Education
    • /
    • v.22 no.4
    • /
    • pp.533-543
    • /
    • 2008
  • Recently, many advanced countries have used original ICT tools in their educational courses. But Korea didn't have any effective origin ICT tools in our mathematical education, compared with other countries which have developed various tools, for examples, Web-Mathematica and HP Calculator. Although we have the advanced IT environment, the educational environments in mathematics using ICT seems to be not promising. In this paper, we suggest a new mathematics education tools in ICT and the internet environments in Korea, and a teaching and studyingmodel for the teachers, students and classrooms. It is based on the Sage-Math and RPG. Sage-Math which is the software based on the web and RPG(Random Problem Generator) will give a good answer for the future of Korean mathematics ICT education.

  • PDF

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

  • Hong, Seong-Su;Lee, Sang-Rak;Sim, Jae-Hong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.1 no.1
    • /
    • pp.114-128
    • /
    • 1994
  • It is very difficult for a nonprofessional programmer in Koera to write a program with very High Level Language such as, V,REFINE, GIST, and SETL, because the semantic primitives of these languages are based on predicate calculus, set, mapping, or testricted natural language. And it takes time to be familiar with these language. In this paper, we suggest a method to reduce such difficulties by programming with the declarative, procedural constructs, and aggregate constructs. And we design and implement an experimental knowledge-based automatic programming system. called HAPS(Hangul Automatic Program System). HAPS, whose input is specification such as Hangul abstract algorithm and datatype or Hangul procedural constructs, and whose output is C program. The method of operation is based on rule-based and program transformation technique, and the problem transformation technique. The problem area is general problem. The control structure of HAPS accepts the program specification, transforms this specification according to the proper rule in the rule-base, and stores the transformed program specification on the global data base. HAPS repeats these procedures until the target C program is fully constructed.

  • PDF