• 한국정보과학회논문지:시스템및이론
• /
• 제37권4호
• /
• pp.205-214
• /
• 2010

BPEL은 웹 서비스와 상호작용하는 워크플로우 언어의 표준으로서 다양한 응용에서 사용되고 있다. 하지만 특정 응용에서는 BPEL에 없는 추가적인 기능이 요구되어 적용하기 어렵다. 본 논문은 관점지향(aspect-oriented) 프로그래밍 기법을 이용하여 BPEL 엔진에 새로운 기능을 추가할 수 있는 시스템을 보인다. BPEL에 새로운 기능을 동적으로 추가하기 위해 새로운 기능을 기술할 수 있는 JWX 문서를 정의하고, 이를 BPEL에 적용하기 위한 관점지향 프로그래밍 기법의 시스템을 제안한다. JWX 문서는 BPEL 문서에 새로운 기능을 추가하기 위하여 자바 프로그램을 기술할 수 있는 XML 기반의 문서이다. 관점지향 프로그래밍 기법은 핵심적인 요구사항과 부가적인 요구사항 사이의 낮은 결합도를 보장하고 있으므로 기존의 프로그램을 수정하지 않고 기능을 추가할 수 있다. 또한 본 시스템은 B2J라는 BPEL 엔진을 관점지향 프로그래밍 기법을 통해 확장하여, 자바 프로그램과 JWX 문서의 새로운 기능 프로그램을 직조하고 실행시킨다. 이 방법을 이용하면, B2J가 제공하는 BPEL의 기능은 그대로 사용하면서 새로운 기능만 개발하여 적은 노력과 비용으로 기능이 추가된 BPEL 엔진을 개발할 수 있다. 본 시스템은 현재 BPEL이 제공하고 있지 않은 조건을 처리할 수 있는 규칙엔진을 BPEL에 추가하거나, 상황인지 환경에 사용할 수 있는 BPEL 워크플로우 시스템을 연구하는데 이용할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국기계가공학회지
• /
• 제14권2호
• /
• pp.127-133
• /
• 2015

In this study, an analytical model was developed for one-dimensional finite element analysis (1D FEA) of a spindle system of machine tools and then implemented to automate the FEA as a tool. FEA, with its vibration characteristics such as natural frequencies and modes, was performed using the universal FEA software ANSYS. VBA of EXCEL was used to provide the programming environment for its implementation. This enabled graphic user interfaces (GUIs) to be developed to allow interactions of users with the tool and, in addition, an EXCEL spreadsheet to be linked with the tool for data arrangement. The language of ANSYS was used to develop a code to perform the FEA. It generates an analytical model of the spindle system based on the information at the GUIs and subsequently performs the FEA based on the model. Automation helps identify the near-optimal design of the spindle system with minimum time and efforts.

• 한국항해학회지
• /
• 제24권3호
• /
• pp.167-176
• /
• 2000

The -advent of electronic navigation equipment and trustworthy computer which provides people with convenience made the management system by one-man bridge operation or the least people who are needed possible through the integration of communication network with various navigation equipment and related institution. One of the most needed ultra-modem navigation device for a mate, ECDIS is a core equipment for navigation in ENS that notifies peril to mate as well as supervises all tasks in hydrographical chart, voyage planning, course monitoring and voyage recording. We should make coast and ocean voyage planning first, for the secure navigation which is considering the course circumstances and next, for the reduction of voyage dates in economical aspect. There needs a thoughtful consideration about the feature of the ship itself and the course with weather condition in taking up the course and also we have to take into accounts about appropriate distance between ships. Considering the essential conditions of ECDIS the indispensable device in the future, it was developed the basic principle for voyage planning algorithm for officer and programmed to real implementation available. In this paper including most of the requirements in ECDIS performance standard I mentioned about such a basic and a core Principle with real application by using the Visual C++ programming language. The voyage plan includes the function that indicate and modifies all the way points in the course from department port to arrival port with erasing the wrong way points. Also, it provides in a document form that shows ETA at glance in average speed sailing.

• 한국경영과학회지
• /
• 제24권4호
• /
• pp.157-170
• /
• 1999

The web-based groupware systems hold many possibilities for system developers and users. Especially, web-based group collaborative systems are emerging as enterprise-wide information systems. Since data in group collaborative systems are apt to be shared among multiple concurrent users and modified simutaneously by them, the web-based group collaborative systems must support synchronous collaboration in order to provide users with synchronized and consistent views of shared data. However, current web technologies have limitations in supporting this, largely because the existing Hypertext Transfer Protocol(HTTP) is unidirectional and does not allow web servers to send messages to their web browsers without first receiving requests from them. This paper proposes an active web server that can overcome such limitations and facilitate synchronous collaboration in web-based group collaborative systems. To accomplish such goals, the active web server manages dependency relationships beween shared data and web browsers referencing them and actively propagates changing details of the shared data to all web browsers referencing them. And, this paper examines usefulness and effectiveness of the active web server to apply it to the ball-bearing design example of concurrent engineering design systems. The prototype system of the active web server is developed on a commercial Object-oriented Database Management System(0DBMS) called OBJECTSTERE using the C++ programming language.

• 컴퓨터교육학회논문지
• /
• 제13권3호
• /
• pp.25-34
• /
• 2010

본 연구는 2007년 개정 교육과정에 의해 개발된 중학교 정보 교과서를 비교 분석하고, 이를 토대로 교과서 개선 방안을 제시하였다. 교과서는 체제와 내용의 두 가지 준거를 고려하여 분석되었으며, 수집된 자료의 분석은 내용 분석법(content analysis)을 사용하였다. 분석 결과, 교과서 체제는 전체 구성, 영역별 비중, 내용 전개 구조, 평가 유형에서 차이를 보였으며, 교과서 내용은 각 교과서가 다루는 개념, 프로그래밍 언어의 종류에서 차이를 보였다. 교과서 비교 분석의 결과를 토대로 여섯 가지의 정보 교과서 개선 방안을 제시하였으며, 이는 향후 정보 교과서 개발 시에 도움이 될 것으로 기대된다.

• 한국통신학회논문지
• /
• 제18권3호
• /
• pp.425-438
• /
• 1993

기존의 논리 프로그램을 병렬로 실행하는 방법들은 병렬화의 제약이 되었던 공유 변수들의 생산변수-사용변수의 의존관계로 인해 서술적인 표현력이 강한 논리 언어에 잠재된 병렬성을 살리지 못했다. 이 논문에서는 공유 변수의 의존 관계를 제거하기 위해 논리 프로그램의 실행을 증명 나무의 생성 단계와 사실을 처리하는 두 단계로 분리하는 방법을 제시한다. 첫단계에서는 변수마다 유일한 번호를 붙여 증명 나무에 생성되는 연구들을 변수 수열로 차별화하고, 사실 처리시 각 변수의 값을 차별화된 변수로 구하여 증명 나무의 성공 여부를 확인할 수 있다. 따라서, 생산 변수가 값을 생산한 후 사용 변수가 있는 술어의 처리가 가능했던 기존의 병렬 처리 방식보다 더 높은 병렬성을 이룰 수 있다.

• 천문학회지
• /
• 제29권spc1호
• /
• pp.395-396
• /
• 1996

We developed a telescope control system called ASTROS for the VST1 and VST2, which are specially designed radio telescopes to make a survey and have a 60-cm main dish. ASTROS is designed on the distributed intelligence concept and structurized programming. The hardware of the system is composed of several intelligent devices connected with de facto standard interfaces and main control unit is PC. The program is coded in the C language and its structure is object oriented in order to make easy to replace the component devices. ASTROS is now running on two twin telescopes, VST1 and VST2. VST1 is installed at Nobeyama in Japan and VST2 is installed at La Silla in Chile. They are making a galactic plane survey in CO (J=2-1) with 9 arcmin beam semi-automatically.

• 한국철도학회논문집
• /
• 제3권3호
• /
• pp.147-153
• /
• 2000

The train control and monitoring system (TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train system. This system replaces a lot of hard-wired relays and minimizes the necessary vehicle wiring thus increasing the reliability of the train. It is also one of more important equipment on vehicle to implement much higher safety and reliability train system. We studied a software design technique of TCMS using a CASE tool that is a kind of safety critical software engineering tool (SCADE). This tool has mainly four functions such as the graphical editor, the document maker, tile automatically code generator, and the test simulator. The several functions of TCMS are implemented in this software easily programmed using a functional block diagram and a graphic programming language. We applied to automatically generated TCMS modules on the SCADE each functional block for the Standard type EMU in Korea. We performed the combination test using TCMS simulator and the running test in Seoul subway 7 Line. We proved that this technique is more useful for the software design of TCMS in urban transit

• 한국정밀공학회지
• /
• 제19권3호
• /
• pp.131-136
• /
• 2002

A design system of dies for hot extrusion of structural shapes such as Z's, L's, T's, U's and H's from aluminium alloys was developed in this study. The developed design system of dies is based of estimated die design rule system. The design rules for die design are obtained from the handbooks, plasticity theories and relevant references. The environment of the system is AutoCAD and AutoLISP, the graphic programming language was used for the configuration of the system. This system includes five major modules such as section shape design module, die opening number module, die opening layout module, die correction module and die bearing design module that are used to determine design variables. This system would be used to design of dies for hot extrusion from aluminum alloys and widely used in manufacturing course.