• 한국산학기술학회논문지
• /
• 제4권2호
• /
• pp.87-95
• /
• 2003

Dynamic Programming Matching (DPM)은 순차적으로 구성된 문제를 수학적으로 최적화 시키는 기술로서 패턴인시 분야에서 다년간 중요한 역할을 해왔다. 서명인식을 위한 대부분의 실제적 적용에서는 Sakoe and Chiba [9]의 실제구현 버전이 기반이 되어 왔는데, 일반적으로 slope constraint p = 0의 방법이 적용되어 왔다. 이 논문에서는 이 경우에는 전진탐색에 의한 휴리스틱한 방법을 적용한 MDPM이 상당한 처리시간의 단축 뿐만 아니라 약간의 인식능력 향상을 가질 수 있음을 보여준다.

• 정보처리학회논문지B
• /
• 제10B권4호
• /
• pp.451-458
• /
• 2003

Dynamic Programming Matching(DPM)은 순차적으로 구성된 문제를 수학적으로 최적화 시키는 기술로서 패턴인식 분야에서 다년간 중요한 역할을 해왔다. 서명인식을 위한 대부분의 실제적 적용에서는 Sakoe and Chiba [9]의 실제구현 버전이 기반이 되어 왔는데, 일반적으로 slope constraint p = 0의 방법이 적용되어 왔다. 이 논문에서는 이 경우에는 전진탐색에 의한 휴리스틱한 방법을 적용한 MDPM이 상당한 처리 시간의 단축 뿐만 아니라 약간의 인식능력 향상을 가질 수 있음을 보여준다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• 한국항공우주학회지
• /
• 제44권3호
• /
• pp.274-280
• /
• 2016

2015년 발사예정인 우주기반기술 검증용 큐브위성 STEP Cube Lab.의 주요 탑재체인 열선절단방식 힌지구동형 구속분리장치는 높은 체결력 및 저충격 구현의 장점으로 초소형위성 전개구조물의 구속/분리에 적용이 용이하며, 기존 나일론선 절단방식의 낮은 체결력 및 복수구조물 적용에 따른 시스템 복잡화의 단점을 극복가능하다. 본 논문에서는 인증모델 검증시험이 완료된 구속분리장치의 궤도검증 임무수행을 목적으로 체결력 검증 및 전개 확인 신호 획득이 가능한 비행모델을 설계/제작하였으며, 탑재체 레벨에서의 발사 및 궤도환경 검증시험을 수행하여 설계 유효성을 입증하였다.

• 음성과학
• /
• 제10권2호
• /
• pp.35-43
• /
• 2003

General speaker verification systems improve their recognition performances by normalizing log likelihood ratio, using a speaker model and its background speaker model that are required to be verified. So these systems rely heavily on the availability of much speaker independent databases for background speaker model design. This constraint, however, may be a burden in practical and portable devices such as palm-top computers or wireless handsets which place a premium on computations and memory. In this paper, new approach for the GMM-based background model design used in portable speaker verification system is presented when the enrollment data is available. This approach is to modify three parameters of GMM speaker model such as mixture weights, means and covariances along with reduced mixture order. According to the experiment on a 20 speaker population from YOHO database, we found that this method had a promise of effective use in a portable speaker verification system.

• 시스템엔지니어링워크숍
• /
• 통권6호
• /
• pp.126-129
• /
• 2005

Systems engineering requirement verification model developmetn for High Speed Railway systems in progress is a national large system development program that is not only large-size and complex but also multi-disciplinary in nature. For the High Speed Railway TEP development, verification requirements that could verify system function, performance, and constraint, should be derived from SSS(system Segment specification). Hereafter, this could be referred to as verification requirements. System engineering process establishes traceability between verification requirements and system requirements. These tasks could be accomplished by the schema. using computer-aided Systems Engineering tool(CORE), High Speed Railway program can become a database and other system related to High Speed Railway program will be developed effectively and efficiently.

• 경영과정보연구
• /
• 제35권1호
• /
• pp.69-84
• /
• 2016

본 연구는 목적인 소비자의 구전제약요인과 구전과의 관계를 여가제약 이론을 바탕으로 구전제약요인들과 이에 대한 협상노력이 몰입과 구전의도와 관계를 살펴보기 위한 연구모형을 설정하였으며, 변수들 간의 관계를 실증적으로 검증하였으며, 연구결과를 요약하면 다음과 같다. 가설을 검증한 결과 2개의 가설(가설 1, 가설 5)을 제외하고 모든 가설이 채택되었다. 이에 대한 구체적인 결과는 다음과 같다. 첫 번째, 내재적제약이 구전제약 요인이 구전제약 협상노력에 미치는 영향을 살펴보면 다음과 같다. 대인적제약과 구조적제약은 구전제약 협상노력에 정(+)의 영향을 미치고 있으며, 내재적 제약의 경우 음(-)의 영향을 미치는 것으로 나타나 가설검증에서는 기각하였지만, 통계적으로는 유의한 것으로 나타났다. 두 번째, 구전제약 협상노력과 몰입 그리고 구전과의 구조적인 관계를 살펴보면 다음과 같다. 구전제약 협상노력은 몰입에 정(+)의 영향을 미치고 있지만, 구전에는 통계적으로 유의하지 않는 것으로 나타났다. 마지막으로 몰입은 구전에 정(+)의 영향을 미치는 것으로 나타나 매개역할을 하고 있음을 알 수 있다. 본 연구의 결과는 구전제약요인과 소비자의 몰입과 구전에 대한 종합적인 이해와 함께 중요한 이론적, 실무적 시사점을 제공할 것으로 기대된다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.911-915
• /
• 2014

Pyrotechnic devices are widely used for space appendages. However, a cube satellite requirements do not permit the use of explosive pyrotechnic device. A nichrome burn wire release has typically been used for holding and release of deployable appendages of the cube satellite due to its simplicity and low cost. However, relatively low mechanical constraint force and system complexity for application of multi-deployable systems are disadvantages of the conventional mechanism. To overcome these drawbacks, we have developed a segmented nut type holding and release mechanism based on the nichrome burn wire release. The great advantages of the mechanism are much lower shock level and larger constraint force than the conventional mechanism using pyro. Flight model for on-orbit verification was developed and verified through release function test, vibration test and thermal vacuum test.