• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권1호
• /
• pp.106-106
• /
• 1999

When we design real-time software target system is analyzed and then we structure sequential executive modules into concurrent tasks. As a result of the analysis, control flow and dataflow diagram based on the RTSA notation is produced. This diagram is structured into concurrenttasks under the condition that performance problem is not serious. The criteria structuring concurrenttasks are introduced as Concurrent Design Approach for Real-Time System(CODARTS) by Gomaa.But structuring concurrent tasks using the criteria of CODARTS is somewhat difficult because thecriteria are dependent on designer's experience. CODARTS is an wide-range and abstractmethodology. As a result, the design can be inconsistent and peoples can understand it differently Inthis paper, we restructure the CODARTS methodology, propose a revised CODARTS structure andrepresent the task structuring steps for this new framework to overcome the understanding andinconsistency problems. The revised CODARTS framework and task structuring steps can be used toautomate the design of real time concurrent software systems. Finally, we show an example of taskstructuring in revised CODARTS framework.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2009년도 제21회 한글 및 한국어 정보처리 학술대회
• /
• pp.160-164
• /
• 2009

최근 인터넷 및 컴퓨터의 사용이 활발해짐에 따라 문서의 디지털화가 빠르게 진행되고 있다. 이런 변화에 따라 수학식이 많이 사용되는 과학, 공학, 수학 등의 분야와 관련된 문서들을 검색해야할 필요성이 늘어가고 있다. 그러나 현재 일반 검색엔진은 텍스트 검색만을 제공하며 별도의 수학식 검색은 제공하지 않는다. 따라서 본 논문에서는 수학식 검색이 가능하도록 수학식의 색인 방법 및 랭킹 방법을 제안한다. 제안하는 색인 방법은 MathML로 입력되는 수학식을 후위 표기법과 일반 색인 방법의 두 가지로 색인하며, 언어모델을 사용하여 질의에 적합한 수학식을 랭킹한다. 일반 검색 엔진의 성능과 비교하기 위하여 2-포아송 모델과 제안 모델을 비교하였으며, 그 결과 제안 모델의 성능이 더 우수함을 보였다.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• 전자공학회논문지A
• /
• 제33A권3호
• /
• pp.28-37
• /
• 1996

Syntax notation one (ASN.1) defined by ITU-T and ISO, is a formal abstrct specification language which has been widely used in international standards specifiation to inteconnect distributed open systems. It si necessary to have well defined encoder/decoder modules which taranslate ASN.1 datum to BER octets stream to interconnect distributed open systems. In this paper, we designed and implemented a new ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which atutomatically translates and ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which automatically translates an ASN.1 specification into C-language BER encoders and decoders with simple and neat I/F for the defined ASN.1 data types, and enhanced BER (basic encoding rules)encoding/decoding libraries, called HY(hanyang)BER library, and useful utility functions. And this paper discusses HYASNC compiler, HY BER runtime library's design and implementation principles, and also evaluates the perfomrance of HY BER library and the interoperability with other ASN.1 compilers.

• 한국정보처리학회논문지
• /
• 제7권5S호
• /
• pp.1629-1637
• /
• 2000

With wide spending the Internet and Web techniques, we have recognized the necessary and commercial-value of electronic commerce system. Electronic commerce(EC) means the whole economical activities based on electronic medium. Both scalability and flexibility are fundamental attributes of EC system and interoperability among heterogeneous systems must be supported. So, for successful a developing of EC system, it is necessary to apply the CBD (Component Based Development) based on component assembling and customization. In this paper, we propose the method for identifying and specifying the components to construct the component based electronic commerce system. To do, we define the component/system architecture specified on EC domain, identified and classified the EC components with hierarchy relationship. Also, we suggested the specification notation and some examples.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1497-1500
• /
• 2000

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1777-1780
• /
• 2003

HTML의 사용상의 한계로 인해 등장한 XML은 현재 여러 분야에서 다양하게 사용되고 있다. XML 모델링 이란 어플리케이션과 사용자가 요구하는 정보를 가지고 미래에 요구되는 변화에도 충분히 대응할 수 있는 유연한 XML문서를 제작하는 과정이다. 이에 따라 XML 문서를 모델링 하기 위한 방법들이 나오게 되었으며 좀더 정확하고 유연한 XML 문서의 제작을 위한 모델링기법이 요구되고 있다. 본 연구에서는 현재의 모델링언어 중 보편적으로 사용되고 있는 UML(Unified Modeling Language)표기법을 이용하여 XML을 모델링 하는 기존의 모델링기법을 소개하고 기존의 방법이 가지고 있는 어트리뷰트와 엘리먼트의 식별, 네임스페이스표기 등 문제점을 파악한 후 문제점들을 개선한 XML 모델링기법을 제안하였다. 기존에 모델링기법에서 표현하지 못하였던 어트리뷰트(Attribute)와 앨리먼트(Element)를 구별하였고 네임스페이스(Namespace)의 표기를 나타내었다.

• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.927-934
• /
• 2009

본 논문에서는 UML CASE 도구 프레임워크 구축에 이용할 수 있는 공통성 및 가변성 분석 기법을 제안하고자 한다. 공통성 및 가변성 분석은 동일 도메인에서 어플리케이션 특성에 따라 변할 수 있는 영역과 변하지 않는 영역을 구분함으로써 확장과 재사용성을 향상시킬 수 있는 방법이다. 공통성 및 가변성 분석 기법으로 클래스에 기반한 분류기법을 제안하였으며, 이를 명시적으로 나타낼 수 있는 표기법을 제시하였다. 또한 분석 기법을 바탕으로 프레임워크를 구현하였으며, 결함 제거 효율성을 이용해 분석 기법의 검증을 수행하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 A
• /
• pp.471-473
• /
• 1999

Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signaling which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in computer based control system. In this paper, the GRAFCET(GRAphe Fonctionnel do Commande Etape/Transition) language is used as a analysis and verification tool for safety-critical interlocking logic. The general description for Grafcet notation are provided and the general modeling for interlocking logic is presented.

• Transactions on Electrical and Electronic Materials
• /
• 제10권6호
• /
• pp.212-216
• /
• 2009

The spatial distribution of the optogalvanic (OG) signal in argon at the 801.489 nm ($1s_5-2p_8$ transition at the metastable level in Paschen notation) was investigated in the radial direction of a hollow cathode discharge tube. The results of this experiment showed that the OG signal amplitude decreases in accordance with the following two conditions; first, the level of discharge current and second, the distance from the cathode dark space. These results can be quantified by analyzing the electron density profile along the discharge regions, which can directly influence the collisional ionization induced by electron impact.