• 정보교육학회논문지
• /
• 제8권4호
• /
• pp.555-562
• /
• 2004

소프트웨어 명세는 비정형, 반 정형, 정형 기법이 존재한다. 이 중 정형 기법은 수학적인 이론을 바탕으로 명세의 모호성, 애매성, 불완전성을 제거하는데 효율적으로 사용되어 왔다. 본 논문에서는 Z 정형명세로부터 EJB의 자바 소스코드 까지의 구현 단계를 제안하였다. 또한, 사례 연구로 Stack을 명세하고 EJB 컴포넌트를 구현하는 단계를 제시하였다. 결론적으로 Z의 명세는 스키마의 분류, 인터페이스의 정의, Post-condition과 Pre-condition의 정의 단계를 거치고 정제를 통해서 EBJ의 인터페이스, 예외 클래스, 메소드 구현에 사용할 수 있음을 보였다.

• 한국과학교육학회지
• /
• 제14권3호
• /
• pp.251-264
• /
• 1994

There are a considerable number of instruments in testing science process skills in Korea as well as America and Europe. However, it has been difficult to find the instruments encompass the wide range of scientific process skills. Most instruments developed and used in Korea were focused on a school level or a few components of scientific process skills. In this study, the researchers examined the whole body of scientific process and identified 10 component skills. Three items for each component process skills were developed and revised by two pilot tests. The final instruments showed moderate difficulty, discrimination index, reliability, and validity. The instrument was also tested the usability by finding differences of students' ability on science process skills by grade levels, sexes, and city size. The results showed that the instrument was proved to be useful to discriminates the differences.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
• /
• pp.525-528
• /
• 2004

최근 인터넷 및 무선 통신기술의 광범위한 보급으로 인해 현장 계측 데이터 등과 같은 중요 데이터를 인터넷을 통해 실시간으로 수신 가능케 하는 다양한 형태의 웹 기반 원격 모니터링 시스템이 설계되고 있다. 이러한 웹 모니터링 시스템은 기본적으로 짧은 주기마다 측정된 데이터를 원격의 서버로 전송하는 것이 바람직하나 과도한 통신비 문제로 인해 효율적인 시스템 운영이 어렵다는 문제점을 갖는다. 따라서 본 연구에서는 측정데이터의 변화를 효율적으로 검출할 수 있는 PCA(Principle Component Analysis) 기법과 데이터 압축에 탁월한 특성을 갖는 wavelet 기법을 융합한 새로운 형태의 웹 기반 원격모니터링용 데이터 전송기법을 제안하고 실제 데이터에 적용하여 봄으로써 제안된 기법의 유용성을 확인하고자 한다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제18권3호
• /
• pp.211-229
• /
• 2009

Recently, trends of information technology development include offerings of service for personalization, intelligence, and convergence. The research suggested a new tour system that tourists can make their tour packages by applying Semantic Web technology. The system includes ontologies and inference rules for offering intelligent and personalized service. Our system called MYT (Make Your Tour-package) was successfully demonstrated by employing realistic scenarios. Current version of the MYT system needs manager's intervention to link and integrate automatically ontology subsystem and Web service. In further study, the MYT will be extended to the system including a component integrating automatically subsystems and a component capturing and processing context data from RFID/USN.

• 한국초전도ㆍ저온공학회논문지
• /
• 제19권2호
• /
• pp.1-8
• /
• 2017

Recently, Research and development activity of HTS (High Temperature Superconducting) power application is very progressive worldwide. Especially, HTS cable system and HTSFCL (HTS Fault current limiter) system are proceeding to practical stages. In such system and equipment, cryogenic cooling system, which makes HTS equipment cooled lower than critical temperature, is one of crucial components. In this article, cryogenic cooling system for HTS application, mainly cable, is reviewed. Cryogenic cooling system can be categorized into conduction cooling system and immersion cooling system. In practical HTS power application area, immersion cooling system with sub-cooled liquid nitrogen is preferred. The immersion cooling system is besides grouped into open cycle system and closed cycle system. Turbo-Brayton refrigerator is a key component for closed cycle system. Those two cooling systems are focused in this article. And, each design and component of the cooling system is explained.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 A
• /
• pp.466-468
• /
• 2002

In order to newly define and specify the performance and the testing method of the high-voltage circuit breaker, IEC 62271-100 was published in May, 2001 and took place of IEC 60056 which had been used since 1987. This new standard intensifies the requirement and the test method of the circuit breaker and also domestic manufacturer makes progress the new product development. And, KERI also goes on the build-up project of short-circuit testing facilities for fulfilling the testing method requirements in new IEC 62271-100. This paper introduce the limiting method of short-circuit making current by controlling the time constant of dc component.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.789-790
• /
• 2008

In this paper, we introduce the multi-target-based auto surveillance algorithm. Multi-target-based surveillance system detects intrusion objects in the specified areas. The proposed algorithm can divide into two parts: i) background generation, ii) object extraction. In this paper, one of the optical flow equation methods for estimation of gradient method used to generate the background [2]. In addition, the objects and back- ground video images that are continually entering the differential extraction.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제2권1호
• /
• pp.70-77
• /
• 2002

This paper describes a design driven approach to drive intelligent test plan generation based on adaptive use case (3,5). Its foundation is an object-oriented software design approach which partitions design schema into design architecture of functional components called “design component”. A use case software development methodology of adaptive use case approach developed in I.I .T is employed which preserves this unit architecture on through to the actual code structure. Based on the partition design schema produced during the design phase of this methodology, a test plan is generated which includes a set of component and scenario based test. A software metric is introduced which produces an ordering of this set to enhance productivity and both promote and capitalize on test case reusability, This paper contains an application that illustrates the proposed approach.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1992년도 추계학술대회 논문집
• /
• pp.325-329
• /
• 1992

The development of automatic production system have required intelligent diagnostic and monitoring function to repair system failure and reduce production loss by the failure. In order to perform accurate functions of intelligent system, inference about total system failure and fault analysis due to each mechanical component failures are required. Also the solution about repair and maintenance can be suggested from these analysis results. Generally, bearing is a essential mechanical component in the machinery. The bearing failure is caused by lubricant system failure, metallurgical defficiency, mechanical condition(vibration overloading misalignment), environmental effect. This study described roller bearing fault train due to stress variation and metallurgical defficiency from lubricant failure by using FTA.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1018-1021
• /
• 2003

A scratch tester was developed to evaluate the adhesive strength at interface between thin film and substrate(silicon wafer). Under force control, the scratch tester can measure the normal and the horizontal forces simultaneously as the probe tip of the equipment approaches to the interface between thin film and substrate of wafer. The capacity of each component of force sensor is 0.1 N ∼ 100 N. In addition, the tester can detect the signal of elastic wave from AE sensor(frequency range of 900 kHz) attached to the probe tip and evaluate the bonding strength of interface. Using the developed scratch tester. the feasibility test was performed to evaluate the adhesive strength of semiconductor wafer.