• 한국전자거래학회지
• /
• 제7권3호
• /
• pp.21-48
• /
• 2002

ebXML is the international technical framework specification that enables Internet-based B2B electronic business using XML, It was standardized by UN/CEFACT and OASIS on May 2001. Registry and Repository is the core of ebXML. It supports registry services which is composed of object management service and object query management service. The object management service manages the object's life cycle and the object query management service provides a mechanism to approach metadata of stored objects. Up to now, implementations of ebXML Registry object query management system don't support full functions of the specification completely. We implemented all the functions of ebXML Registry Service Specification vl.0. This system supports Browse ＆ Drilldown Query, Filter Query, SQL Query, and Object Retrieval Query services. And it also supports Content-based Query service which is not specified in the ebXML RS specification. The Content-based Query service is a repository service which makes it possible In pose content based queries of repository items and which will be specified on the RS specification v2.0.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제7권2호
• /
• pp.34-39
• /
• 2002

본 논문은 컴포넌트 명세서 구문구조를 XML 기반으로 모델링 하였다. 즉, 컴포넌트 명세서 구문구조를 XML 문서형 정의(DTD) 문법에 맞도록 컴포넌트 명세서 DTD를 제안하였으며, DTD 구조에 유효한 컴포넌트 명세서 XML 문서 예를 제시하였다. 그리고 XML기반 컴포넌트 명세서 문서를 편리하게 생성, 관리할 수 있는 지원도구의 기본 아키텍쳐를 설계하였다.

• 한국산업정보학회논문지
• /
• 제13권3호
• /
• pp.31-37
• /
• 2008

MPEG 4 Part 20 LASeR (ISO/IEC 14496 20) is a specification designed to deliver rich media services in a mobile environment. The specification is an emerging standard that can replace the MPEG 4 BIFS specification designed to deliver PC based heavyweight media contents. The specification describes the representation of scene information in a resource constrained mobile environment. Unlike the BIFS standard designed to deliver heavyweight rich media, the LASeR specification has a restricted description that conforms to the SVG Tiny 1.2 specification. Also, the specification has an advantage of allowing for the efficient conversion of one graphics format to another. In this paper, we present the design and the implementation of a LASeR authoring system that allows for fast and efficient creation of interactive rich media contents in a mobile environment. The Gill interface of the authoring system presented in this paper allows users, who do not have prior knowledge of the scene description language, to conveniently create contents and store the produced scenes using the internal list data structure. The system allows users to navigate scene objects internally stored and to create LASeR XML files in the structured XML format.

• 한국정보시스템학회지:정보시스템연구
• /
• 제31권1호
• /
• pp.271-287
• /
• 2022

Purpose This research aims to study the changes in recruitment needed for the growth and survival of companies in the rapidly changing industry. In particular, we built a real company's worklist accounting for the rapidly advancing data-driven digital transformation, and presented the capabilities and conditions required for work. Design/methodology/approach we selected 37 jobs based on NCS to develop the employment search requirements by analyzing the business characteristics and work capabilities of the industry and company. The business specification indicators were converted into a matrix through the TF-IDF process, and the NMF algorithm is used to extract the features of each document. Also, the cosine distance measurement method is utilized to determine the similarity of the job specification conditions. Findings Companies tended to prefer "IT competency," which is a specification related to computer use and certification, and "experience competency," which is a specification for experience and internship. In addition, 'foreign language competency' was additionally preferred depending on the job. This analysis and development of job requirements would not only help companies to find the talents but also be useful for the jobseekers to easily decide the priority of their specification activities.

• Steel and Composite Structures
• /
• 제5권2_3호
• /
• pp.103-126
• /
• 2005

This paper describes the theoretical background and underlying principles behind the American Institute of Steel Construction Load and Resistance Factor Design (AISC LRFD) Specification for the analysis and stability design of steel frames. Various analysis procedures that can take into consideration the effects of member instability, frame instability, member-frame interaction, geometric imperfections, and inelasticity are reviewed. Design approaches by which these factors can be incorporated in the design of steel moment frames are addressed. Current specification guidelines for member and frame design in the U.S. are summarized. Examples are given to illustrate the validity of the design equations. Some future directions for the analysis and stability design of steel frames are discussed.

• Steel and Composite Structures
• /
• 제7권3호
• /
• pp.201-217
• /
• 2007

Two combinatorial optimization algorithms, tabu search and simulated annealing, are presented for the minimum-weight design of geometrically non-linear steel plane frames. The design algorithms obtain minimum weight frames by selecting suitable sections from a standard set of steel sections such as American Institute of Steel Construction (AISC) wide-flange (W) shapes. Stress constraints of AISC Load and Resistance Factor Design (LRFD) specification, maximum and interstorey drift constraints and size constraints for columns were imposed on frames. The stress constraints of AISC Allowable Stress Design (ASD) were also mounted in the two algorithms. The comparisons between AISC-LRFD and AISC-ASD specifications were also made while tabu search and simulated annealing were used separately. The algorithms were applied to the optimum design of three frame structures. The designs obtained using tabu search were compared to those where simulated annealing was considered. The comparisons showed that the tabu search algorithm yielded better designs with AISC-LRFD code specification.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.45-55
• /
• 2008

내장형시스템의 복잡도 증가로 인하여 내장형 소프트웨어의 자동생성 및 하드웨어-소프트웨어 통합설계 방법론등이 크게 이슈화되고 있다. 자동화된 설계 방법론에 있어서 공통적인 요구사항은 시스템 설계를 효과적으로 모호성 없이 기술 할 수 있도록 정형화된 설계 언어를 제공하는 것과 설계 언어로 부터 자동으로 원하는 소프트웨어 코드를 생성하는 방법의 개발이다. 본 논문에서는 시스템 기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제 uC/OS-II에서 수행될 임베디드 C코드를 자동으로 생성하는 자동화된 방법론을 제시한다. 연구 개발된 자동 내장형 C코드 생성기는 하드웨어-소프트웨어 통합설계환경에서 소프트웨어 설계의 한 축으로 이용될 수 있으며 SDL 시뮬레이터나 검증기를 통하여 개발하고자 하는 code의 기능을 초기 모델 수준에서 평가하고 검증 할 수 있다.

• 한국정보통신학회논문지
• /
• 제20권4호
• /
• pp.739-746
• /
• 2016

철도 안전사고 예방을 목표로 하는 실시간 철도 안전관제 시스템에서는 DDS (Data Distribution Service) 표준 기술 기반의 데이터 전송 방안을 적용함으로 기존 현장의 안전검지장치로부터 발생한 데이터를 통합 및 관리하고 있다. 본 논문에서는 수많은 현장 데이터 중 일반철도 현장에서 발생한 신호설비 데이터 규격 설계를 소개하고 있다. 신호설비 데이터의 DDS 전송을 위하여 기존 표준 규격인 KRS SG 0062를 모델링하고, DDS 데이터 전송 단위인 Topic 설계 및 데이터 변환 방안을 제시하고, 데이터 성격 별로 네트워크 제어 QoS 정책 설계를 제시하고 있다. 또한 실제 현장 데이터를 분석하여 설계된 규격이 현장에 적용 가능한지를 확인해 보았다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1989년도 하계종합학술대회 논문집
• /
• pp.121-124
• /
• 1989

In this thesis, a decomposed LQG/LTR controller is designed for an undersea vehicle. The modellig error which results from decomposition of the original model is considered to the design specification for maintaining the robust stability. The LQG/LTR controller designed with new specification is simulated.