http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
形式言語, TURING MACHINE과 有限自動과의 關係
金吉俊 광주대학교 1987 광주개방대학 논문집 Vol.4 No.-
A characteristics of automaton theory was investigated according to the turing machines and automaton theory which used as tools for important theory of Computer design. We add the proper Conditions to the turing machines, and we can define the Various formal languages. Moreover, we Can define the natural langunge. as use the clarateristics and principles of the tools and Study the compiler of the natural language.
김길준 聖潔大學校 情報産業技術硏究所 1998 情報産業技術論叢 Vol.3 No.-
A Method of formal form description and prototyping is a useful means to make need for form of coincidence high Quality. These are able to descript unformal form as user's considering. In this paper, in the sentence of natural language with a powerfulclue, we descript about method to construct formal form in concern on a specific property and the method by computer is not to complete a goal of automatic, Structured design technique method, Jackson method, object of Booch ware object oriental design method.
객체 지향 개발을 위한 OMT 동적 모델 개선에 관한 연구
안익수,노환주,김길준 聖潔大學校 情報産業技術硏究所 1997 情報産業技術論叢 Vol.2 No.-
Statecharts is usually used as the specification model for dynamic model and reactive system, Statecharts is a superior computation model, but aspect of data is expressed by global variables and side effects to them, so the readability is lower when we describe larger systems in Statecharts. Moreover state structure in Statecharts is less relevancy to structure of object model. In this paper we propose the specification model OMT++. In OMT++, dynamic model is described with the structure of object model, which have more relevancy to structure of object model and more locality caused by making each object have state transition diagram and data. We show the prosperity of OMT++ through examples, and compare with Statecharts, and give operational semantics of OMT++.
분산 객체 컴퓨팅 환경에서 객체 그룹 구현에 관한 연구
김길준,이주석,송기범,김충원,이준 조선대학교 전자정보통신연구소 2002 電子情報通信硏究所論文誌 Vol.5 No.1
CORBA, which is a standard base of distributed object in distributed computing environment, suggests the method for clearly creating the demand for object defined on OMG and receiving it. Although CORBA appeared as the standard of distributed object and has played an important role in operating distributed object between different computer systems, distributed object computing has such fundamental problem as great demand by many clients an3 Server and the overload of network. CORBA is middle-ware technology to develop one distributed application program by connecting separately-developed distributed object in various platforms which are connected in, open communication network. With expansion of distributed application software scale and complex interface between distributed objects, this study defines object as group in the concept of aggregate in order to control efficiently and to be controlled as group by grouping multi-arranged object and suggests group object model in the side of controller for efficient control of distributed object.
Program 설계를 위한 CAD System에 관한 고찰
金吉俊,李俊 광주대학교 산업기술연구소 1992 論文集 Vol.1 No.-
본 논문에서는 software 설계 CAD System이 지녀야 할 구조, 기능에 대하여 고찰하였다. 이러한 프로그램 설계 CAD 시스템은 노하우로 가려져 있어 아직 완전히 공개되지 않은 실정이며 앞으로 인공지능 분야에서 더욱 연구되어야 한다. This paper summairzes configuration and functions which isrequired in software design CAD system. As know-how of technique forthose systems is hiding, in the feature we must study more such a technique in the AI.
김길준,최수철 광주대학교 1990 論文集 Vol.7 No.-
We represent the way about storage and retrival of software components to reusable after making a module. Spacially, in this paper, we study the way about the retrival using the restricted natual langusge to reduce difficulty of usage of users. The result of this, restriction of grammer for interface between computer and man using natural language is vary larg, but problem of translation speed was not occur and individual differentia about retrival operation between users was absorbed.
주해종,안익수,김길준 聖潔大學校 自然科學硏究所 1996 自然科學硏究 Vol.1 No.-
기업간 전자문서교환이라고 불리우는 EDI(Electronic Data Interchange)는 90년대에 들어서면서 모든 부문에 걸쳐서 주목 받고 있으며, 여러 국제 표준화 기구들이 EDI에 관련된 각종표준 제정에 노력하고 있다. 특히, 무역, 유통, 운송 등 각 분야에서 EDI 시스템의 도입이 필수적인 현 시점에서 정보 전송시의 정보 보호가 가장 중요한 문제로 대두되고 있다. 본 논문에서는 개방형 시스템에 적합한 개방 EDI 보안 구조 모델을 제시하였고 EDI위협 요소에 대한 보안 서비스중 몇 가지를 선정하여 그 기법을 분석하여 구현하였다.