• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• 한국컴퓨터산업학회논문지
• /
• 제7권5호
• /
• pp.495-502
• /
• 2006

리포팅 시스템은 사용자가 원하는 정보를 정형화된 형식으로 출력할 수 있는 시스템이다. 클라이언트/서버 환경에서는 원격의 사용자는 클라이언트에서 동작하는 컴포넌트를 이용하여 서버의 데이터를 가공, 처리하여 원하는 형식의 문서 양식으로 출력을 할 수 있었으나, 웹 기반의 인트라넷 구축이 보편화되면서 이와 같은 클라이언트/서버 시스템 구조의 리포팅 시스템이 웹 기반의 환경으로 전환되고 있다. 본 연구는 이와 같은 웹 기반의 시스템 환경에서 사용자가 브라우저를 통해 서버에 접속하고, 서버의 데이터베이스를 검색, 처리한 결과를 원하는 형식으로 파일 저장 또는 인쇄 출력할 수 있도록 지원하는 기능이다. 본 연구 결과는 텍스트 및 그래픽 기능을 지원하며, 실시간 데이터 연동 기능이 가지는 컴포넌트를 개발하였으며, 특히, 서버 시스템에 독립적으로 동작하도록 자바를 이용한 표준 인터페이스로 구현하였다. 특히, 망 관리 시스템의 리포팅 컴포넌트로 구현, 적용함으로써 사용자 인터페이스 및 기능을 검증하였다.

• 한국콘텐츠학회논문지
• /
• 제10권10호
• /
• pp.479-493
• /
• 2010

지식기반 환경의 변화와 더불어 이-러닝은 매우 보편화된 교수.학습 방법의 하나가 되었으며, 이와 관련한 여러 연구들이 진행되고 있다. 이-러닝의 주요 연구 분야 중의 하나는 학습자의 다양한 상황들을 반영하여 학습자 개개인의 특징에 맞게 학습내용을 지원하기 위한 적응형 학습 시스템에 관한 연구이다. 이와 관련하여 최근에는 적응적 학습내용을 보다 효과적으로 지원하기 위하여 온톨로지를 기반으로 한 적응형 학습 시스템에 대한 연구들이 활발히 진행되고 있다. 본 논문에서는 FCA의 개념 망을 기반으로 온톨로지의 접근 방법과 목적은 같이하지만, 특정 영역의 학습에 적합한 사용자가 보다 자유롭고 쉽게 자신의 적응형 학습 시스템을 구축하여 사용할 수 있는 적응형 학습 시스템을 설계하여 제안한다. 제안된 시스템은 학습영역에 존재하는 학습객체와 학습개념들 사이의 연관 관계에 따라 이들을 개념 망 구조 안에 자동으로 계층화한다. 또한 학습자의 지식수준, 학습선호도, 학습스타일 및 학습개념의 학습상태에 따라 개념 망 학습구조를 적응적으로 구성하여 제시한다.

• 디지털산업정보학회논문지
• /
• 제14권4호
• /
• pp.35-45
• /
• 2018

Users are sharing many of contents such as text, image, video, and so on in SNS. There are various information as like as personal interesting, opinion, and relationship in social media contents. Therefore, many of recommendation systems or search systems are being developed through analysis of social media contents. In order to extract subject-related topics of social context being collected from social media channels in developing those system, it is necessary to develop ontologies for semantic analysis. However, it is difficult to develop formal ontology because social media contents have the characteristics of non-formal data. Therefore, we develop a social topic system based on semantic and subject correlation. First of all, an extracting system of social topic based on semantic relationship analyzes semantic correlation and then extracts topics expressing semantic information of corresponding social context. Because the possibility of developing formal ontology expressing fully semantic information of various areas is limited, we develop a self-extensible architecture of ontology for semantic correlation. And then, a classifier of social contents and feed back classifies equivalent subject's social contents and feedbacks for extracting social topics according semantic correlation. The result of analyzing social contents and feedbacks extracts subject keyword, and index by measuring the degree of association based on social topic's semantic correlation. Deep Learning is applied into the process of indexing for improving accuracy and performance of mapping analysis of subject's extracting and semantic correlation. We expect that proposed system provides customized contents for users as well as optimized searching results because of analyzing semantic and subject correlation.

• Kyungpook Mathematical Journal
• /
• 제30권1호
• /
• pp.29-35
• /
• 1990

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.337-344
• /
• 2000

본 논문에서는 다중자원(multiple resource)을 사용하는 시스템의 명세와 검증을 위한 프로세스 대수 ACSMR(Algebra of Communicating Shared Multiple Resources)을 정의한다. ACSMR은 프로세스 대수 기반의 정형기법(formal methods)인 ACSR에 다중자원의 개념을 확장한 것이다. 명세와 검증의 예로 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First(EDF)를 멀티프로세서하에서의 시스템의 행동 명세와 다중 포트를 가진 레지스터를 이용한 수퍼스칼라 프로세서의 타이밍 특성과 자원 제한을 묘사하기 위한 명세방법을 제시한다.

• 대한인간공학회지
• /
• 제18권3호
• /
• pp.55-72
• /
• 1999

Evaluation of user interfaces has to be performed in an intuitive and subjective manner by experts especially when the problem comes to the complexity and consistency of sophisticated interface procedures. The manual analysis and evaluation of logical interfaces also tends to be slow and laborious. To make the evaluation more formal and objective, the criteria and the procedure with which the evaluation can proceed must be explicitly prescribed. Furthermore, to make the formal procedure as practical as subjective expert evaluation, the criteria must reflect the user knowledge of the target tasks since the task knowledge plays the role of a basis for users to understand the interface organizations and procedures. This paper describes ESTIM, a support system for task-based evaluation of user interface, that includes the interface evaluation criteria and implies an evaluation procedure. The support system can be used either in an interactive manner by the analyst during the evaluation or in an automatic evaluation mode. It was verified that the result of automatic evaluation by ESTIM matched the results of expert evaluation fairly well.

• 복식
• /
• 제65권4호
• /
• pp.31-44
• /
• 2015

The purpose of this study is to examine introduction and establishment of the police uniform during Japan's early Meiji period, in order to get deeper understanding of the introduction of the modern uniform. The research method included a literature review of laws related to police uniform, which were collected and analyzed. The result shows that the uniform stipulated by Keisi-cho Uniform regulation in 1874 included characteristics of Western uniforms that show the rank of the officers using emblems, such as different cap badges and uniform stripes, while maintaining the same form. Later, the modern uniform system came into form with the addition of a national symbol, building system of formal wear, separating uniforms for different classes, and adding additional uniforms. This illustrates the process of introducing and establishing western-style uniform in the East and can serve as a reference for similar studies.

• 수산해양교육연구
• /
• 제20권3호
• /
• pp.462-472
• /
• 2008

Education is a field that has tried to make use of the advantages of computers since they were introduced to the world. Intelligent Tutoring System and multimedia have become methods of teaching students of Computer Science, Education, Psychology, and Cognitive Science. Until now, they have been designed and produced only on the basis of a very specific domain and format. However, in the education field, most learners ask for integrated service that is practical, realizable, and sensitive to technological change. Therefore, in this study, we would like to present the technological and formal integration model as an ITS model which acknowledges changes in the fields of technology and education. As a technological integration model, the integration model of traditional Symbolic Artificial Intelligence and Artificial Neural Networks was presented. As a formal integration model, three integration models were presented according to (a) the process of learning diagnosis (b) learners' action behaviors (c) intelligence service respectively.