• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• Journal of the Korea Society for Simulation
• /
• v.17 no.2
• /
• pp.21-29
• /
• 2008

The High Level Architecture(HLA) specifies a framework for interoperation between heterogeneous simulators, and Run-Time Infrastructure(RTI) is a implementation of the HLA Interface Specification. The Data Distribution Management(DDM) services, one category of IEEE 1516 HLA/RTI management services, control filters for data transmission and reception of data volume among simulators. In this paper, we propose design concept of DDM and show its implementation for light-weighted RTI. The design concept of DDM is to minimize total amount of message that each federate and a federation process generate using the rate of RTI service execution. The design of our proposed DDM follows that a data transfer mechanism is differently applied as the rate of RTI service execution. A federate usually publishes or subscribes data when it starts. The federate constantly updates the data and modifies associated regions while it continues to advance its simulation time. Therefore, the proposed DDM design provides fast update or region modification in exchange of complex publish and subscribe services. We describe how to process the proposed DDM in IEEE 1516 HLA/RTI and experiment variable scenarios while modifying region, changing overlap ratio, and increasing data volume.

• Speech Sciences
• /
• v.1
• /
• pp.153-200
• /
• 1997

In languages such as Japanese, it is very common to observe that short peripheral vowel are completely voiceless when surrounded by voiceless consonants. This phenomenon has been known as Montreal French, Shanghai Chinese, Greek, and Korean. Traditionally this phenomenon has been described as a phonological rule that either categorically deletes the vowel or changes the [+voice] feature of the vowel to [-voice]. This analysis was supported by Sawashima (1971) and Hirose (1971)'s observation that there are two distinct EMG patterns for voiced and devoiced vowel in Japanese. Close examination of the phonetic evidence based on acoustic data, however, shows that these phonological characterizations are not tenable (Jun & Beckman 1993, 1994). In this paper, we examined the vowel devoicing phenomenon in Korean using data from ENG fiberscopic and acoustic recorders of 100 sentences produced by one Korean speaker. The results show that there is variability in the 'degree of devoicing' in both acoustic and EMG signals, and in the patterns of glottal closing and opening across different devoiced tokens. There seems to be no categorical difference between devoiced and voiced tokens, for either EMG activity events or glottal patterns. All of these observations support the notion that vowel devoicing in Korean can not be described as the result of the application of a phonological rule. Rather, devoicing seems to be a highly variable 'phonetic' process, a more or less subtle variation in the specification of such phonetic metrics as degree and timing of glottal opening, or of associated subglottal pressure or intra-oral airflow associated with concurrent tone and stricture specifications. Some of token-pair comparisons are amenable to an explanation in terms of gestural overlap and undershoot. However, the effect of gestural timing on vocal fold state seems to be a highly nonlinear function of the interaction among specifications for the relative timing of glottal adduction and abduction gestures, of the amplitudes of the overlapped gestures, of aerodynamic conditions created by concurrent oral tonal gestures, and so on. In summary, to understand devoicing, it will be necessary to examine its effect on phonetic representation of events in many parts of the vocal tracts, and at many stages of the speech chain between the motor intent and the acoustic signal that reaches the hearer's ear.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.3_4
• /
• pp.390-401
• /
• 2002

This study was to evaluate the fitness and the suitability of size specification of the ready made jacket for women by analysing pattern size and space between skin and clothing using 3D scanner. The results were as follows: 1. Pattern B had the lowest score and the feeling of wearing was significantly different among the given patterns even though all jacket size specification were the same. 2. Ease amount was different between each brand even though the jacket size specification was the same due to the different pattern grading rules. And increasing grading amounts were bigger in horizontal direction rather than in vertical direction. 3. We could obtain accurate a 3 dimensional figure, using 3D scanner which was very useful and more accurate than 2 dimensional data using photography method. 4. Analyzing the average space between skin and clothing of each pattern, there was no significant difference in the average space between skin and clothing among all patterns except waist part of B88 size. And analyzing the average space between skin and clothing of each measured body parts by each size, there existed a significant difference in the interscye, abdomen and hip parts.

• The KIPS Transactions:PartB
• /
• v.18B no.5
• /
• pp.265-270
• /
• 2011

In this paper, we propose a method for intensity correction using binarization-based region segmentation in 3D stereoscopic images. In the proposed method, 3D stereoscopic right image is segmented using binarizarion. Small regions in the segmented image are eliminated. For each region in right image, a corresponding region in left image is decided through region matching using correlation coefficient. When region-based matching, in order to prevent overlap between regions, we remove a portion of the area closed to the region boundary using morphological filter. The intensity correction in left and right image can be performed through histogram specification between the corresponding regions. Simulation results show the proposed method has the smallest matching error than the conventional method when we generate the right image from the left image using block based motion compensation.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.617-628
• /
• 1995

본 논문에서는 상용화된 이 기종 CAD/CAM 시스템간의 CAD 데이타 교환기능을 가지는 IGES Translator 시스템의 구조를 제안한다. 제품생산의 여러 단계에서 CAD/CAM의 사용이 보편화되어감에 따라 상용 CAD/CAM 시스템들은 응용분야에 맞는 특수한 도구로 사용되는 경향이 생겨났다. 예를 들어, ALIAS는 주로 스타일링 디자인에, I-DEAS와 PRO/ENGINEER는 엔지니어링 디자인에, EUCLID는 금형 디자인에, 그리고 OMEGA와 Z-MASTER는 NC 공구경로생성에 주로 사용되고 있다. CAD 데이타 교환을 위해 제안된 중립파일형식(Neutral File Format)중에서, IGES(Initial Graphics Exchange Specification)는 대부분의 상용 CAD/CAM 시스템에서 지원을 하고 있으며 가장 널리 쓰이는 파일형식이다. 그런데, IGES를 통한 CAD 데이타 교환은 다음과 같은 문제점들을 가지고 있다. 즉, patch의 사라짐, 경계곡선의 왜곡, patch의 overlap 또는 gap, trimming error, 곡면각의 꺾임각도 등이 그것이다. 이 논문의 목적은 이러한 문제점들을 해결할 수 있는 범용 IGES Translator를 개발하는데 있다. 이 논문의 주요한 기여 내용은 다음과 같다. 1) 주요 상용 CAD/CAM 시스템의 IGES Interface 기능의 비교 분석, 2) 주요 상용 IGES Translator의 기능 분석, 3) 사용자의 기능적 요구사항의 분석, 4) 사용자 관점 및 시스템 관점에서의 IGES Translator의 구조 제안, 5) Prototype IGES Translator의 개발 및 테스트 결과 제시.

• The Journal of the Korea Contents Association
• /
• v.1 no.1
• /
• pp.59-67
• /
• 2001

A new intelligent home appliance is being appeared with overlap of telecommunication and home appliance technology. In this kind of product the user interface especially on screen display(OSD) and remote controller, holds a key post and is critical factor of performance and usability. In spite of this importance, the user interface is designed by circurt engineer from a viewpoint of engineering on the basis of his experience and unsophisticated insight. Therefore this study clarifies a user- centered design process of OSD from the designer's viewpoint on the basis of development case and gives a guideline for each stage in consideration of characteristic features that the user interface design of OSD is highly enfluenced by hardware specification and restricted by remote controller as input device.

• The KIPS Transactions:PartB
• /
• v.18B no.1
• /
• pp.29-38
• /
• 2011

In order to derive domain-independent heuristics from the specification of a planning problem, it is required to relax the given problem and then solve the relaxed one. In this paper, we present a new planning graph, Merged Planning Graph(MPG), and GD heuristics for solving contingent planning problems with both uncertainty about the initial state and non-deterministic action effects. The merged planning graph is an extended one to be applied to the contingent planning problems from the relaxed planning graph, which is a common means to get effective heuristics for solving the classical planning problems. In order to get heuristics for solving the contingent planning problems with sensing actions and non-deterministic actions, the new graph utilizes additionally the effect-merge relaxations of these actions as well as the traditional delete relaxations. Proceeding parallel to the forward expansion of the merged planning graph, the computation of GD heuristic excludes the unnecessary redundant cost from estimating the minimal reachability cost to achieve the overall set of goals by analyzing interdependencies among goals or subgoals. Therefore, GD heuristics have the advantage that they usually require less computation time than the overlap heuristics, but are more informative than the max and the additive heuristics. In this paper, we explain the experimental analysis to show the accuracy and the search efficiency of the GD heuristics.