• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2001.11b
• /
• pp.9-14
• /
• 2001

디지털 방송의 등장과 더불어 지상파, 위성, 케이블 등을 통한 다매체 다채널 방송 시청환경에서 시청자가 선택해야 되는 프로그램의 수는 폭발적으로 증가했으며 다양한 시청자의 요구에 부응할 수 있는 시청자 중심의 방송 서비스가 요구되고 있다. 특히 이러한 다채널의 디지털 방송 환경에서는 시청자가 일일이 채널을 바꿔가며 자신이 원하는 프로그램을 찾는 것이 매우 번거롭고 어려워짐에 따라 시청자를 대신하여 시청자의 선호도에 기반한 프로그램을 자동으로 찾아 제시해 줄 수 있는 지능형 프로그램 가이드(intelligent program guide)의 필요성이 대두되었다. 기존의 전자 프로그램 가이드(EPG:Electronic Program Guider)는 단순히 프로그램 관련 정보를 패널별로 정렬된 형태로 사용자 인터페이스를 통해 제시하는 수준에 불과하였다. 본 논문에서는 사용자 선호도 정보에 기반하여 프로그램 정보를 사용자에게 제시하고, 사용자의 프로그램 시청에 대한 액션을 모니터링하여 자동적으로 시청자의 변화하는 선호도를 갱신하는 지능형 프로그램 가이드(IPG:Intelligent Program Guide) 에 대한 연구 결과를 제시한다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.6
• /
• pp.13-18
• /
• 1985

A set of utility programs for automatic generation, minimization and verification of high density PLA layout was developed, which includes equation-to-truth table translator, logic minimizer, PLA product term sorter, file generator for plotting stick diagram, dynamic CMOS PLA layout generator and bipartite row folded CMOS PLA layout generator. Size reduction is performed mainly by logic minimizer and bipartite row folder, and the maximal delay is reduced by sorter. The fOe for automatically generated layout is stored in CIF. Each program was written in Clanguage, and was run on VAX-11/750 (UNIX).

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.1_2
• /
• pp.52-61
• /
• 2006

A crossword puzzle is one of the popular word games around the world in which you work out the answers and write them in the white squares of a pattern of small black and white squares. As the technology of computers develops, some people worked about making and solving crossword puzzle games, which led them to a commercial use. However, almost all of these commercial programs are ones where you do ready-made puzzles with a fixed size because it is very difficult to make puzzles in a certain size, picking up some among a great number of words to fit for them. Furthermore, these programs are only for a very few languages, such as English, French, not for Korean. Accordingly, ore took a look at what should be considered to make an automatic puzzle-generating program for Korean, and in this paper we implemented Korizzle, a system making the puzzles automatically. We introduce the algorithm used for Korizzle and evaluate the its performance.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.1
• /
• pp.114-128
• /
• 1994

It is very difficult for a nonprofessional programmer in Koera to write a program with very High Level Language such as, V,REFINE, GIST, and SETL, because the semantic primitives of these languages are based on predicate calculus, set, mapping, or testricted natural language. And it takes time to be familiar with these language. In this paper, we suggest a method to reduce such difficulties by programming with the declarative, procedural constructs, and aggregate constructs. And we design and implement an experimental knowledge-based automatic programming system. called HAPS(Hangul Automatic Program System). HAPS, whose input is specification such as Hangul abstract algorithm and datatype or Hangul procedural constructs, and whose output is C program. The method of operation is based on rule-based and program transformation technique, and the problem transformation technique. The problem area is general problem. The control structure of HAPS accepts the program specification, transforms this specification according to the proper rule in the rule-base, and stores the transformed program specification on the global data base. HAPS repeats these procedures until the target C program is fully constructed.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.1
• /
• pp.114-124
• /
• 2004

In this paper, we present an automatic C source code generation system for DirectShow based multimedia application programming. In this system, C source code is automatically synthesized from the filter connection graph edited with GraphEdit, a utility tool provided with DirectShow SDK package from Microsoft. In traditional DirectShow programming environments, program design and brief testing steps are usually done with GraphEdit tool just by inserting filters and connecting them properly, while actual implementation of the program should be done separately. The filter connection graph information from GraphEdit is used just as a reference in such the implementation step. Therefore, our system which automatically generates C source code directly from the filter connection graph of GraphEdit seems very useful and many programmers can develop DirectShow based multimedia application programs more effectively and quickly using our system. In addition, our system supports more various media stream control functions for the generated application programs than the existing system such as Wizard which supports limited and fixed number of media control functions only. This feature allows more flexibility in the user interface of the generated source program and makes our system more practical for DirectShow based programming.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.26 no.4
• /
• pp.246-254
• /
• 2006

A computation program has been developed for automatic data processing in the calibration process of gamma survey meter. The automatic processing program has been developed based on Visual Basic. The program has been coded according to steps of calibration procedure. The OLE(object linking an embedding) Excel automation method fur automatic data processing is used in this program, which is a kind of programming technique for the Excel control. The performance test on the basis of reference data has been carried out by using the developed program. In the results of performance test, the values of calibration factors and uncertainties by the developed program were equal to those obtained from the reference data. In addition, It was revealed that the efficiency and precision of working are significantly increased by using the developed program.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.758-761
• /
• 2000

노인인구의 증가로 이에 대한 건강문제와 성인병의 증대 및 바쁜 일상생활로 인하여 본인의 건강상태를 수시로 스스로 확인할 수 있는 방안으로 무선데이터를 이용한 원격진료 시스템에 대한 요구가 크게 일어나고 있다. 이를 위해서 양방향 데이터 전송이 가능한 기기 (예를 들어 무선호출기나 휴대폰을 개량한 기기)를 이용해 실시간으로 혈당치나 혈압 측정치 등 종합적인 건강정보를 전송하고 이를 자동진단프로그램으로 위험여부를 판별해 경고하는 동시에 자신의 주치의에게 통보되는 시스템을 구현하고자 한다. 본 논문에서는 혈당치와 혈압 측정치의 데이터에 대하여 자동진단프로그램을 이용하여 관리도를 자동 생성하고 이를 전 문의사의 지식에 의한 진단프로그램과 연계하여 관리 한계선을 벗어나면 위험을 알리게 되고, 전문가시스템을 도입한 1대 1 대화형으로 자체진단을 하게 하는 인터넷 기반 진단프로그램을 개발하여 고객의 건강상태를 진단하게 한다. 본 연구는 기존의 이동통신기술을 혈압측정기와 결합시켜 의료기관과 연결시키는 데이터 전송기술을 응용하고, 의사가 실제 환자 앞에서 행하는 진료 과정을 원격으로 실시하는 원격진료 시스템의 프로토타입 개발을 목표로 하고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1497-1500
• /
• 2000

본 논문은 한글 고유 명사를 새로 개정된 한글 로마자 표기법에 의해 로마자 표기로 변환하는 시스템의 구성에 대해 기술하였다. 1995년에 문화체육부에서 배포한 프로그램 이후로 현재까지 한글을 로마자 표기로 자동 변환하는 프로그램이 나오지 않았고 이 프로그램 또한 새로 개정된 로마자 표기법이 아닌 예전의 로마자 표기법을 따르는 이유로 본 논문은 새로 개정된 표기법을 따르는 한글 고유명사의 로마자 자동 변환 시스템을 DB를 이용하여 구축하는 방안을 제시하였다. 그 결과 DB를 이용한 한글의 로마자 자동변환시스템은 개발자 측면에서는 프로그램 구현과 정확성 면에서 효과적인 장점을 얻을 수 있으며, 사용자 측면에서는 새로 개정된 개정안을 쉽게 익히고, 사용할 수 있게 한다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.76-81
• /
• 2000

본 논문은 한글 고유 명사를 새로 개정된 한글 로마자 표기법에 의해 로마자 표기로 변환하는 시스템의 구성에 대해 기술하였다. 1995년에 문화체육부에서 배포한 프로그램 이후로 현재까지 한글을 로마자 표기로 자동 변환하는 프로그램이 나오지 않았고 이 프로그램 또한 새로 개정된 로마자 표기법이 아닌 예전의 로마자 표기법을 따르는 이유로 본 논문은 새로 개정된 표기법을 따르는 한글 고유명사의 로마자 자동 변환 시스템을 DB를 이용하여 구축하는 방안을 제시하였다. 그 결과 DB를 이용한 한글의 로마자 자동변환시스템은 개발자 측면에서는 프로그램 구현과 정확성 면에서 효과적인 장점을 얻을 수 있으며, 사용자 측면에서는 새로 개정된 개정안을 쉽게 익히고, 사용할 수 있게 한다.