• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.891-900
• /
• 2000

A Visual development framework for embedded system is presented based on virtual prototyping. Embedded systems often are used in life critical situation, where reliability is very important. Time_to_market, correctness, user_friendly_design are another features required for embedded system design. However, embedded systems are today designed with an ad hoc approach that is heavily based on earlier experience with similar products. We believe that new design paradigm is needed and it should be based on the use of formal model and visual system to describe the behavior of the system at a high level abstraction. Virtual prototyping has all the required features. It has the following advantages; correct design, clear interface definition, idea experimentation, increased communication. In this paper, we describe the design and implementation of VIP/Sim(Virtual Prototyping Simulator), a visionary development framework for embedded system design. New feature such as state polymorphism is augmented to the de_facto standard formal language, statechart, for enhanced dynamic modeling. Actual design experience with VIP/Sim is also discussed.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1738-1748
• /
• 1999

최근의 시뮬레이션 도구들은 새로 발표된 여러 가지 3차원 구현 기술들을 접목하여 제한된 2차원 화면 속에서 3차원 요소들을 효율적으로 구현 시켜 나가고 있는 추세이다. 본 논문에서는 이러한 현재의 기술적 상황에 기초를 둔 경관 시뮬레이션 도구를 구현하였으며, 자연과의 조화를 통한 인간의 보다 향상된 생활환경을 구상하여 설계할 수 있도록 고려하였다. 응용된 기술로는 인터넷을 기반으로 하는 가상현실구현에 대한 3차원상의 표준으로 주목받고 있는 VRML(Virtual Reality Modeling Language)과 자비를 연계한 EAI(External Authoring Interface)를 적용하였다.

• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3523-3529
• /
• 1999

본 논문에서는 메소드를 기본 단위로 하는 객체 지향 소프트웨어의 개선된 선택적 회귀 테스팅 방법을 제안한다. 테스팅 방법은 세 단계로 구성하였다. UML 표기법을 이용하여 변경 전 프로그램과 변경 후 프로그램의 객체 관계 그래프와 클래스 의존 그래프(Class Dependency Graph)를 정의한 후, 의존 그래프의 노드 비교를 통하여 변경된 노드와 변경에 의하여 영향을 받는 노드들을 찾는다. 변경 전 테스트케이스 테이블에서 변경된 노드와 변경에 의해 영향을 받는 노드들을 통과하는 테스트케이스를 선택하여 회귀 테스팅을 위한 테스트케이스 집합을 구성한다. 제안한 테스팅 방법을 사용함으로써 테스트해야할 테스트케이스 수가 줄어들고, 변경 전 프로그램의 테스트케이스를 재사용 함으로써 테스팅의 시간과 비용을 절감할 수 있다.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 2005년도 추계 학술대회 발표논문집
• /
• pp.215-218
• /
• 2005

This paper reports the current status of development of the Korean speech recognition platform (ECHOS). We implement new modules including ETSI feature extraction, backward search with trigram, and utterance verification. The ETSI feature extraction module is implemented by converting the public software to an object-oriented program. We show that trigram language modeling in the backward search pass reduces the word error rate from 23.5% to 22% on a large vocabulary continuous speech recognition task. We confirm the utterance verification module by examining word graphs with confidence score.

• 한국콘텐츠학회논문지
• /
• 제9권6호
• /
• pp.45-52
• /
• 2009

최근 제조업에서 제품 설계를 지원하는 디지털 전문가 시스템을 개발하는 사례가 일어나고 있다. 이 시스템은 제조업에서 엔지니어가 프로세스를 통제하고, 생산관리와 시스템 관리 등을 위하여 사용되고 있다. 본 논문에서는 전문가 시스템을 구축하기 위한 온톨로지 기반의 추론 엔진 개발에 대하여 논한다. 전문가 시스템은 한국어를 지원하고 다양한 기능을 가지며, 그래픽한 온톨로지 맵 인터페이스와 퍼지 룰 기능 정의 등의 기능을 갖도록 하였다. 또한, 온톨로지 맵 구축과 온톨로지 기반의 퍼지 추론 방법에 대하여 지식을 표현하는 방법에 대하여 설명한다.

• The Journal of Asian Finance, Economics and Business
• /
• 제6권1호
• /
• pp.273-280
• /
• 2019

Many studies have shown that job performance and leadership are important in our society. In addition, to improve the quality of work or to improve the work efficiency is still a lot of challenges for each leader. In Vietnam, there are few specific studies on the impact of leadership styles on employee engagement such as: transformational leadership styles, business leadership styles and leadership styles. In the field of higher education, the fewer studies on these issues. A study is conducted to test the impact of leadership styles on the engagement of cadres, lecturers and staff at public universities in Vietnam. Using adjustment techniques, inspecting the scales and theoretical models representing the relationship among the influential factors. The research is based on a sample of 309 cadres, lecturers and staff currently working in universities in Vietnam and used Structural Equation Modeling (SEM) to test the relationships among the variables. The study results show that the scales of the variables: transformational leadership, transactional leadership, laissez faire leadership, job satisfaction and organizational engagement attain the validity and reliability in the research. The study results also show transformational leadership, transactional leadership and laissez faire leadership are directly and indirectly affected by job satisfaction and organizational commitment.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1567-1570
• /
• 2012

기존 연구에서는 순차적, 상태, 엑티브 다이어그램 기반의 테스트케이스 추출을 초점을 두고 있다. 하지만 현재 최신의 모델링 언어인 UML2.4.1(Unified Modeling Language) 기반으로 한 테스트케이스 추출 메커니즘은 없다. 그래서 본 논문은 UML2.4.1 기반에 기존의 원인-결과 다이어그램의 접목을 통해 테스트케이스 추출 메커니즘을 제안 한다. 이를 위해 UML2.4.1 의 메시지-순차적 다이어그램에 ECA Rule(Event Condition Action)기법을 적용하고, 제안한 접목 알고리즘을 통해 확장된 메시지-순차적 다이어그램을 원인-결과 다이어그램과 접목한 후, 결정 테이블화로 테스트케이스를 발생한다. 이러한 절차를 통해 모델링 기반에서 테스트케이스 추출 가이드가 제공된다. 본 논문에서는 복잡한 메시지-순차적 다이어그램을 통해 테스트케이스 발생 사례연구로서 자동차 와이퍼 시스템을 적용한다.

• 한국BIM학회 논문집
• /
• 제11권3호
• /
• pp.12-21
• /
• 2021

Existing real estate markets are monopolized because they are capital intensive and have information asymmetry. However, with the advent of the Fourth Industrial Revolution, technology is converging in various industries based on information technology (IT), and the real estate market is also developing a new field called "PropTech". According to this trend, new PropTech technologies are emerging in various real estate services sectors in Korea, but the electronic contract system, which accounts for the largest portion of the real estate industry, is still cited as a complex identification process and long processing time. Therefore, in this paper, we propose an improvement plan for the current electronic contract system through the introduction of blockchain technology, which is drawing attention with the development of PropTech, and explore the possibility of introduction by producing an experimental model of blockchain-applied electronic contract system in a programming language.

• International Journal of Computer Science & Network Security
• /
• 제21권8호
• /
• pp.105-110
• /
• 2021

The article presents the idea that in the conditions of modernization of higher professional education, there is an obvious contradiction between the practical need of higher education for a scientifically grounded theory and methodology of distance learning for students and the lack of the necessary didactic and content-methodological guidelines for its implementation. In theoretical research and applied development, as a rule, the technocratic approach prevails. The emphasis is on the technical capabilities of modern computers and telecommunications. Productively, from a pedagogical point of view, this contradiction can be resolved on the basis of modeling distance learning management for students, developing and implementing a corporate information educational environment in universities, increasing the effectiveness of the methodology of pedagogical interaction between students and teachers during the implementation of distance learning.

• 인터넷정보학회논문지
• /
• 제20권2호
• /
• pp.69-76
• /
• 2019

Recent Enterprise System has component driven real-time distributed architecture (RDA) and this kind of architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on. Microsoft's .NET platform supports RDA and is able to implement services including before mentioned time restriction and security service by only specifying attribute code and maximizing advantages of OMG's Model Driven Architecture (MDA). In this study, a method to automatically generate an extended model of essential elements in an enterprise-system-based RDA as well as the platform specific model (PSM) for Microsoft's .NET platform are proposed. To realize these ideas, the functionalities that should be considered in enterprise system development are specified and defined in a meta-model and an extended UML profile. In addition, after defining the UML profile for .NET specification, these are developed and applied as plug-ins of the open source MDA tool, and extended models are automatically generated using this tool. Accordingly, by using the proposed specification technology, the profile and tools can easily and quickly generate a reusable extended model even without detailed coding-level information about the functionalities considered in the .NET platform and RDA.