• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Journal of Korean Home Economics Education Association
• /
• v.30 no.3
• /
• pp.175-193
• /
• 2018

The course of home economics education is the one that fosters the ability to solve life problems. The life problem is permanent involving the individual, family, and society in overall. Thus, this study was to compose a class which applied the backward design model suggested by Wiggins and McTighe focusing on the usability of it in the educational filed of the home science to overcome the limitation of the education in the filed based on that critical mind. Therefore, this study developed the teaching·learning plan applying the backward design model to the 'Food and Nutrition' unit of the home economics education. It is expected that the unit and the teaching plan are used as materials for the class on the dietary life unit which is meaningful for learners in the educational field of the home economics education.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.18-30
• /
• 2000

기존 워크플로우 시스템은 비즈니스 프로세스 내의 정보와 제어의 흐름 수행에 있어서 중앙 집중적인 워크플로우 엔진이 전체 실행의 모든 부분을 담당하고 있다. 이러한 워크플로우 시스템이 갖는 성능, 확장성 등 구조적 제약의 단점을 극복하기 위하여 워크플로우 엔진의 분산, 이동 에이전트의 적용, 웹 기반 등 다양한 연구가 진행되고 있다. 본 논문에서는 단위 업무 스케쥴링 기능과 관련된 정보를 분산된 형태로 참가자에게 일임하여 워크플로우 엔진 부하를 줄이고, 프로세스 인스턴스 단위의 이동 에이전트를 적용하여 비동기적 특성을 이용한 성능 및 확장성의 향상을 제공하는 워크플로우 시스템의 설계 및 구현을 소개한다. 또한 제안한 시스템을 위하여 각 참가자별 스케쥴링 정보를 WfMC의 프로세스 정의 표준 언어인 WPDL로부터 추출하여 프로세스 테이블로 구성하는 방법을 제안한다.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.8
• /
• pp.819-828
• /
• 2004

Recently, while research for the ubiquitous networking and ubiqutous computing is gone with activity, RFID(Radio Frequency IDentification) that recognize movement of things and take position advantage of RFID echnology in ubiquitous environment are required. In this paper, we propose and design a system that can taking customer's position in large size mart and analyzing customer's shopping movement to manage customer and merchandise of most suitable.

• Journal of Energy Engineering
• /
• v.9 no.4
• /
• pp.358-365
• /
• 2000

본 연구에서는 수직 단일관에서의 재관수(reflux) 응축 현상에서 증기유량이 역류제한치보다 큰 경우에 발생하는 다양한 유동 패턴을 예측하고, 그 동적 특성을 해석하기 위한 모델을 개발하였다. 특히 L/D가 큰 재관수 응축기에서 발생하는 충전 방출 모드에서의 동적 특성을 예측하는 것이 목표이다. 응축기의 내부를 액체와 증기의 두 영역으로 나누어 질량, 에너지, 운동량 보존에 입각한 본 모델은, 형성된 물기둥의 진동시 갈래질 경계(bifurcation boundary)와 진동주기를 예측할 수 있다. 이 모델은 McMaster 대학에서 수행한 실험결과와 비교한 결과 양호한 예측을 했고, 튜브 직경변화 효과를 잘 묘사하였다. 이러한 단순 모델은 재관수 응축기의 설계시에 설계변수를 도출하는데 사용될 수 있고, 인위적으로 부여한 압력펄스를 이용하여 재관수 응축기의 운전영역을 개선하는데 기초로 활용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.552-554
• /
• 2000

기존 워크플로우 시스템은 비즈니스 프로세스 내의 정보와 제어의 흐름 수행에 있어서 중앙 집중적인 워크플로우 엔진이 전체 실행의 모든 부분을 담당하고 있다. 이러한 워크플로우 시스템이 갖는 성능, 확장성 등 구조적 제약의 단점을 극복하기 위하여 워크플로우 엔진의 분산, 이동 에이전트의 적용, 웹 기반 등 다양한 연구가 진행되고 있다. 본 논문에서는 단위 업무 스케쥴링 기능과 관련된 정보를 분산된 형태로 참가자에게 일임하여 워크플로우 엔진 부하를 줄이고, 프로세스 인스턴스 단위의 이동 에이전트를 적용하여 비동기적 특성을 이용한 성능 및 확장성의 향상을 제공하는 워크플로우 시스템의 설계를 제안한다. 또한 제안한 시스템을 위하여 각 참가자별 스케쥴링 정보를 WfMC의 프로세스 정의 표준 언어인 WPDL로부터 추출하는 방법을 제안한다.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.6 no.1
• /
• pp.11-19
• /
• 1994

An optimal design for Gifford-McMahon/Joule-Thomson(GM-JT) refrigerators was performed by a numerical method. The design goal was to meet the cooling requirement for MRI systems, which was 3 Watt at 4 K. A general cycle analysis program was written to calculate the cooling capacity of the GM-JT refrigerators for the givenstage GM refrigerator. The program was executed for a specific refrigerator with various design parameters. The optimal values for the maximum cooling were found for the sizes of the heat exchangers, the mass flow rate of helium, and the compression pressure.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.1279-1282
• /
• 2005

본 논문은 초고속 전송을 위해 설계된 HCOC(High Capacity Orthogonal Code) 기술을 적용한 Multi-Code Spread Spectrum System에서 발생할 수 있는 PAPR(Peck to Average power Ratio) 문제해결을 위한 연구이다. H(HCOC)MC-SS 시스템의 PAPR 감소를 위해 기본적인 SLM(Selected Mapping) 기법을 적용하였으며, 또한 SLM 기법의 단점인 많은 계산량 감소를 위해 Recursive 방법을 적용한 Recursive SLM HMC-SS 시스템을 제안하였다. 컴퓨터 시뮬레이션을 통해 제안하는 시스템을 검증하였으며, 또한 초고속 전송을 위한 16 QAM-SS 시스템과 $4{\times}4$ HMC-SS 시스템의 성능을 비교 분석하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.2
• /
• pp.146-154
• /
• 1989

A new design method for matching GaAs FET amplifiers using DC block consisting of non-symmetrical two-microstrip line is presented. The non-symmetrical DC block has not only the function of DC block, but the function of impedance matching. Because of the above merits the non-symmetrical DC block can be used for MIC anc MMIC. The measured frequency responses exhibit a symmetrical characteristics at the center frequency, 4(GHz).

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2016.11a
• /
• pp.98-99
• /
• 2016

최근 초고화질 해상도(UHD) 영상 서비스에 따른 기존의 비디오 압축 기술인 H.264/AVC 대비 두 배 이상의 압축 성능을 가지는 HEVC(High-Efficiency Video Codec)의 표준화가 완료되었다. 그러나 높은 압축 효과를 얻기 위하여 복잡한 연산이 필요한 기법들이 많이 도입되어 HEVC의 부호화 복잡도는 H.264/AVC보다 크게 증가되었다. 이에 본 논문은 HEVC의 복잡도를 줄이기 위한 정보로 입력 영상에 장면 전환 프레임을 전처리 과정을 통하여 검출하였다. 검출된 정보는 참조 픽쳐 리스트를 구성하는데 사용하여 HEVC 부호화기의 계산 복잡도의 큰 비중을 차지하는 ME(Motion Estimation)와 MC(Motion Compensation)의 횟수를 줄이도록 설계하였다.