• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 한국건설관리학회논문집
• /
• 제2권3호
• /
• pp.92-100
• /
• 2001

건설공사의 계약문서에는 설계도면, 공사시방서 등이 포함된다. 그러나 공사시방서의 경우 분서의 중요성만큼 활용되지 못하고 있다. 그 이유는 시발정보가 설계도면과 재료마감표등 다른 건축정보들과 관련되어 찾을 수 있게 되어있지 않아 활용도가 떨어진다. 따라서 다른 정보와 연관되어 질 수 있는 통합모델이 필요하고 이러한 통합모델을 바탕으로한 DB가 구축되어 져야 설계 및 시공, 유지관리시에 그 활용성이 증대된다. 이러한 통합모델의 구현은 부위를 사용함으로서, 설계도를 작성하고 그리고 부위 정보에 자재정보, 법규정보, 시방정보의 속성이 들어가 있다면 견적을 낼 수 있고 많은 정보를 참조할 수 있어 설계의 질이 향상될 것이다. 또한 유지관리시에도 설계정보에 법규, 자재정보, 시방정보가 들어가 있기 때문에 수선유지 및 하자보수등에 유용하게 사용된다. 설계단계에서부터 만들어진 시방정보 DB는 설계의 수정과 공사의 수정에 맞게 update 되어 져야 한다. 또한 시공현장이나 감리시에도 참고를 하기 위해서는 시방서가 web을 이용한 문서화가 되어 어디서든지 참조할 수 있는 환경이 되어 져야만 한다. 따라서 본 연구에서는 시방정보 구조화를 위한 부위분류 체계글 제시하고, 이를 바탕으로 하여 건축시방정보를 DB화하며, DB를 상호 참조할 수 있는 인터넷 환경에서의 시방정보의 검색 빛 작성이 가능하도록 하였다. 이 시스템을 활용하여 공사시방서출 작성, 참조함으로써 공사시방서의 활용의 향상이 기대되려 이를 통해 건설공사의 클레임 방지와 설계, 시공, 유지관리의 품질 향상이 기대된다. 또 발주기관, 설계용역업체, 공사현장 등의 실무에서 더욱 편리하게 정보를 활용할 수 있을 것으로 사료된다.

• 한국컴퓨터정보학회논문지
• /
• 제24권12호
• /
• pp.85-92
• /
• 2019

기업들은 소셜 미디어로부터 특정 주제 및 자사 제품에 대한 다수의 사용자들의 의견을 수집하고 분석하여 사용자 집단이나 소비 트렌드를 식별할 수 있고, 이를 기반으로 미래 예측 및 마케팅 등의 다양한 목적으로 활용하고 있다. 따라서 현재 소셜 미디어 분석 도구들이 네트워크 통계 분석을 통해 기업의 소셜 미디어 마케팅의 성과를 측정하기 위한 수단으로 사용되고 있다. 그러나 이러한 도구들은 방대한 양의 소셜 미디어 데이터를 수집하고 이를 분석하기 위해 고가의 컴퓨팅 자원 및 네트워크 자원을 소모하고, 복잡한 소프트웨어 플랫폼 구축 및 운용에 따른 비용 부담과 많은 운영 노하우를 필요로 한다. 그 결과 중소기업이나 개인 사업자의 경우는 이러한 소셜 미디어 데이터를 효율적으로 활용하지 못하는 어려움이 있다. 따라서 본 논문에서는 중소기업이나 개인 컴퓨터에서도 운영이 가능한 소셜 미디어 데이터 수집 및 분석 시스템 개발에 필요한 프레임워크 설계와 제시된 프레임워크 설계에 대한 완전성이나 일관성을 검증하기 위한 정형 명세 기법을 제시한다. 또한 정형명세 기법으로 Z 언어를 통해 명세한 결과를 Z-EVES Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 검증한다.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1243-1256
• /
• 1997

객체 모델링을 통해 초기에 사용자의 요구를 보다 명확하게 정의할 수 있고 그 결과를 바탕으로 보다 완전한 프로그램을 얻을 수 있으나, 모델 자체만으로 사용자 요구 사항과의 부합 여부를 쉽게 판단할 수 없다. 본 연구에서는 사용자와 교류 수단으로의 객체 모델링과 검증이 가능한 형식 명세의 통합을 통해 이해하기 쉽고 구축하기도 쉬우며 검증할수 있는 모델을 얻을 수 있게 하였다. 구축한 객체 모델을 구현 이전에 시각적 실행 환경에서 미리 검증해 보므로써 개발 초기에 보다 정확한 모델을 얻을 수 있게 한다. 이를 위해 본 연구에서는 OOSA(Object-Oriented System Analysis) 방법론 으로 구축한 실행 지원 환경을 통해 객체 모델의 프로토파이핑 과정을 수행할 수 있게 지원한다.

• 응용통계연구
• /
• 제14권2호
• /
• pp.379-391
• /
• 2001

본 연구에서는 관심거리가 되고 있는 마코프인쇄 몬테칼로(Markov Chain Monte Carlo, MCMC)방법에 근거한 공간 확률난수 (spatial random variate)생성법과 깁스표본추출법(Gibbs sampling)에 의한 베이지안 분석 방법에 대한 기술적 사항들에 관하여 검토하였다. 먼저 기본적인 확률난수 생성법과 관련된 사항을 살펴보고, 다음으로 조건부명시법(conditional specification)을 이용한 공간 확률난수 생성법을 예를 들어 살펴보기로한다. 다음으로는 이렇게 생성된 공간자료를 분석하기 위하여 깁스표본추출법을 이용한 베이지안 사후분포를 구하는 방법을 살펴보았다.

• 품질경영학회지
• /
• 제29권1호
• /
• pp.101-112
• /
• 2001

In supply chain, the quality level of assembly factory depends on the quality levels of suppliers and it is very important to integrate efforts improving the quality levels between producer and suppliers, In this paper, we consider an integrated determination problem of quality specification levels of suppliers. The cost model is developed and the optimal policy under a specific model assumption is obtained. A numerical example is studied.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.137-140
• /
• 2000

In this paper, we have proposed an efficient test generation method for asynchronous circuits. The test generation is based on specification level, especially on Signal Transition Graph(STG)〔1〕 which is a kind of specification method for asynchronous circuits. To conduct a high-level test generation, we have defined a high-level fault model, called single State Transition Fault(STF) model on STG and proposed a test generation algorithm for STF model. The effectiveness of the proposed fault model and its test generation algorithm is shown by experimental results on a set of benchmarks given in the form of STG. Experimental results show that the generated test for the proposed fault model achieves high fault coverage over single input stuck-at fault model with low cost. We have also proposed extended STF model with additional gate-level information to achieve higher fault coverage in cost of longer execution time.

• 한국IT서비스학회지
• /
• 제1권1호
• /
• pp.119-139
• /
• 2002

It is noteworthy that IMT -2000 communication network based on All-HP/AIN(Advanced Intelligent Network) should accomodate current and future wire/wireless AIN service easily through integration and gearing AIN construction elements. In this paper. Intelligent Farmer model(I-Farmer Model) and methodology are suggested in order to solve the several problems including standardization on implementation of Q3 interface in Telecommunication Management Network(TMN) agents which is caused by heterogeneous platform environment and future maintenance. Also this paper proposes ITI algorithm transforming the system which is designed by I-Farmer model to Interface Specification Model(ISM) applying the I-Farmer model. In addition to ITI algorithm. we suggest NTS(Node to SIB) algorithm converting entity node and ILB/OLB component in agent system designed by the I-Farmer model to SIB of AIN GFP(Global Functional Plane) and to ASIB for application program.

• 대한음성학회지:말소리
• /
• 제55권
• /
• pp.77-91
• /
• 2005

In this paper, we propose an XML based meta-data specification for industrial speech databases. Building speech databases is very time-consuming and expensive. Recently, by the government supports, huge amount of speech corpus has been collected as speech databases. However, the formats and meta-data for speech databases are different depending on the constructing institutions. In order to advance the reusability and portability of speech databases, a standard representation scheme should be adopted by all speech database construction institutions. ETRI proposed a XML based annotation scheme [51 for speech databases, but the scheme has too simple and flat modeling structure, and may cause duplicated information. In order to overcome such disadvantages in this previous scheme, we first define the speech database more formally and then identify object appearing in speech databases. We then design the data model for speech databases in an object-oriented way. Based on the designed data model, we develop the meta-data specification for industrial speech databases.

• 한국시뮬레이션학회논문지
• /
• 제8권4호
• /
• pp.137-154
• /
• 1999

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.