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

In this Paper, 3 digit-Serial multilier With 3 digit size of 32 is proposed, which has more advantages than the 193bit serial LFSR architecture. We give a design example for the irreducible trinomials $x^{193}$＋ $x^{15＋1}$. In hardware implementations, it is often desirable to use the irreducible trinomial equations. The proposed multiplier is verified with a VHDL description using an elliptic curve addition. The measured results show that the proposed multiplier is 0.3 times smaller than the bit-serial LFSR multiplier..

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 추계학술대회 논문집
• /
• pp.73-77
• /
• 2002

이 논문은 빠른 ASIP(application specific instruction processor) 시뮬레이션을 위한 재적응성을 가진 컴파일드 시뮬레이션 기법에 대해 이야기 한다. 다양한 응용분야에서의 설계 요구사항을 충족시키는 ASIP의 빠른 개발을 위해서, 건전한 설계 방법론 및 고성능의 시뮬레이터가 필요하다. 본 논문에서는 HiX$R^2$라는 ADL(architecture description language)을 이용하여 인스트럭션 수준에서 컴파일드 시뮬레이터를 자동 생성하였다. 컴파일드 시뮬레이션은 시뮬레이션 수행 시 반복되는 인스트럭션 페칭 및 디코딩 부분을 시뮬레이션 런-타임 이전에 미리 수행함으로서 일반적으로 사용되는 인터프리티브 시뮬레이션에 비하여 큰 성능향상을 얻을 수 있다. HiX$R^2$에 기반 한 컴파일드 시뮬레이션은 ARM9 프로세서와 CalmRISC32 프로세서 예제들로 수행하였고, 결과로서 인터프리티브 방식에 비해 150배 이상의 성능향상이 있었다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2004년도 추계학술대회 논문집
• /
• pp.78-85
• /
• 2004

As the complexity of engineering design environment has increased, it is difficult to exchange design data among design support systems. The purpose of this paper is to develop the XML-based Generalized Mechanical Data Exchange Formats(GMDEF) independent of specific mechanical element and improve the interoperability of them using ontology, in order to integrate diverse design data and facilitate communication between design support systems. GMDEF consists of PartDoc and AssemblyDoc. PartDoc represents the information of a single part. AssemblyDoc represents the relation of parts constituting an assembly. GMDEF is validated by GMDEF Schema. GMDEF Schema consists of separated XML Schemas and has flexible architecture to facilitate extension. We apply ontology to GMDEF Schema to share and reuse vocabularies of specific mechanical elements.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2007년도 춘계학술대회
• /
• pp.197-202
• /
• 2007

서비스 지향 아키텍쳐(SOA: Service Oriented Architecture)는 기업의 모든 컴퓨팅 자원을 서비스제공 및 사용체계로 전환하게 함으로써, 복잡하고 다양한 시스템간의 유기적인 결합과 IT 자원의 활용율을 극대화시킬 수 있는 프레임워크이다. SOA 시스템을 구현하기에 가장 적합한 체계로써, 웹 서비스 표준이 제시되고 있는데, 이는 웹 서비스가 서비스 기술, 발견, 활용에 있어 SOA의 기본 사상을 충분히 반영하고 있기 때문이다. 웹 서비스의 현실적 적용을 위해 가장 중요한 요소는 웹 서비스의 품질보장이며, 이를 위해 OASIS 국제표준기구의 WSQM 기술위원회에서는 WSQM(Web Service Quality Model) 스펙을 제시하였다. WSQM은 웹 서비스 품질요소와 품질관계자, 그리고 그들간의 품질행위를 추상적 관점에서 모델링하고 있다. 여기서, 특히 품질요소는 웹 서비스의 품질 상태를 직접 표현한다는 측면에서 가장 중요한 항목이라 할 수 있다. 하지만, WSQM에서는 모델링에 중점을 두고 있으므로, 현실세계에서 웹 서비스 품질요소의 값을 구체적이고, 표준화된 형태로 표현하기 위해서는 웹서비스 품질기술언어와 같은 XML 형태의 정규화된 형태가 제시되어야한다. 본 논문에서는 이를 작성하기 위한 기본 개념과 이를 적용한 웹 서비스 품질기술언어의 구성항목에 대해 설명하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.22-24
• /
• 2002

아키텍쳐 기술 언어(ADL : Architecture Description Language)는 상위 추상화 수준에서의 소프트웨어 시스템의 구조와 행위를 기술하는데 필요한 아키텍쳐 모델 요소들에 대한 직접적인 표현 수단을 제공한다. ADL온 특히 명세 수준의 논리적인 아키텍처를 모델링, 분석하는데 유용하다. 그렇지만 ADL로 기술된 상위 수준의 아키텍쳐 명세가 하위 수준의 구현 시스템으로 어떻게 상세화 되는지 알기가 쉽지 않다. 즉, 상위 수준의 아키텍쳐 명세와 하위 수준의 아키텍쳐 구현 사이에 의미적 차이가 존재한다. 본 논문은 이러한 의미적 차이를 효율적으로 줄일 수 있는 방법을 찾기 위한 일차적인 연구 결과로서, C2 스타일 기반의 ADL로 기술된 아키텍쳐 모델을 Java 구현 코드로 자동 변환하는 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.448-450
• /
• 2005

Acme와 같은 ADL(Architecture Description Language) 들은 컴포넌트 기반 시스템의 아키텍쳐를 정형적으로 명세할 수 있는 장점을 가지고 있다. 하지만 날로 다각화되는 개발 과정 상의 이해관계들을 다 포용하지 못하고, 아키텍쳐에 특화된 별도의 표기 형식을 익혀야 하는 부담이 있어 아키텍쳐를 명세하는 언어로서 정착되지 못하고 있다. 반면 UML(Unified Modeling Language)은 범용 모델링 언어이여 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있어 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡고 있다. 이에 따라 지금까지 UML을 이용하여 아키텍쳐를 모델링하기 위한 연구들이 많이 진행되어 왔다. 특히 UML에서 표현수단이 미흡한 아키텍쳐의 핵심 개념들을 명시적으로 표현할 수 있도록 UML의 확장 메커니즘을 사용하여 UML을 특화하는 연구 결과들이 많이 소개되고 있으나 특화된 영역의 아키텍쳐를 기술하기에는 부족하다. 본 논문에서는 최근에 활발히 개발되고 있는 모바일 애플리케이션의 특징중의 하나인 device의 제약사항을 QoS로 정의하고 UML 확장메커니즘을 이용하여 모바일을 위한 아키텍쳐 모델링 언어 프레임웍을 제시하고 있다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제6권4호
• /
• pp.1082-1095
• /
• 2014

In this paper, a new criterion for the identification of slamming events is formulated. This criterion is based on the analysis of the high-frequency response, expressed in terms of the amidships VBM, which occurs after the slams. For this reason, it is named 'whipping' criterion underlining that is based on the analysis of global effects than on the kinematic description of the impact dynamics that was provided by Ochi criterion. Both the new 'whipping' criterion and the Ochi criterion are presented and compared also with respect to their practical application to the experimental data collected in the seakeeping tests with an elastic segmented model.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 춘계학술대회논문집
• /
• pp.79-84
• /
• 2003

이 논문은 빠른 ASIP(application specific instruction processor) 평가를 위한 재적응성을 가진 컴파일러/시뮬레이터 환경에 대해 이야기한다. ASIP의 성능은 하드웨어 구조뿐만 아니라, 수행되는 응용 소프트웨어에 영향을 받기 때문에, 높은 성능의 ASIP 개발을 위해서는 컴파일러 및 시뮬레이터의 개발이 선행되어야 한다. 그러나 다양한 ASIP 구조에 따라 적합한 고성능의 컴파일러/시뮬레이터를 만드는 일은 매우 시간 소모적인 일이 될 뿐만 아니라, 오류가 발생하기도 쉽다. 본 논문에서는 HiXR2라는 ADL(architecture description language)을 이용하여 명령어 구조를 기술하고 이를 바탕으로 컴파일러와 시뮬레이터를 자동 생성하였다. HiXR2의 재적응성 및 생성된 컴파일러/시뮬레이터의 정확성을 검증하기 위하여 ARM9 프로세서와 CalmRISC32 프로세서 구조를 각각 기술하고, 각각에 대하여 응용프로그램 코드를 컴파일 및 시뮬레이션 하는 예제를 보였다.

• 한국해양공학회지
• /
• 제20권4호
• /
• pp.70-75
• /
• 2006

A numerical procedure is described for estimating the effects of the multi-directional irregular waves on the motion responses and tension variations of the ISSC-TLP. The numerical approach is based on a three-dimensional source distribution method and a spectral analysis technique of directional waves. The spectral description for the linear system of ISSC-TLP in the frequency domain is sufficient to completely define the motion responses and tension variations. This is because both the wave inputs and responses are stationary Gaussian random processes, of which the statistical properties in the amplitude domain are well known. The numerical results for the linear motion responses and tension variations in regular waves are compared with the experimental and numerical ones, which are obtained in the literature. The results of comparison confirmed the validity of the proposed approach.

• Journal of information and communication convergence engineering
• /
• 제4권1호
• /
• pp.23-27
• /
• 2006

The discipline of software performance is very broad; it influences all aspects of the software development lifecycle, including architecture, design, deployment, integration, management, evolution and servicing. Thus, the complexity of software is an important aspect of development and maintenance activities. Much research has been dedicated to defining different software measures that capture what software complexity is. In most cases, the description of complexity is given to humans in forms of numbers. These quantitative measures reflect human-seen complexity with different levels of success. Software complexity growth has been recognized to be beyond human control. In this paper, we have focused our discussion on the increasing software complexity and the issue with the problems being faced in managing this complexity. This increasing complexity in turn affects the software productivity, which is declining with increase in its complexity.