• Journal of Internet Computing and Services
• /
• v.10 no.5
• /
• pp.153-163
• /
• 2009

It is necessary to identify the use cases of the supplier systems in order to define new service using their functions. Current use case modeling techniques, however, do not represent the external use cases clearly, because the external system is represented only by an actor. This ambiguity of the modeling technique declines the comprehensiveness of the model, and does not limit the scope of the target system explicitly. In this paper, we propose the extended use case modeling technique for service-oriented computing. This modeling technique enables the definition of external use cases and components. They are used to limit the boundary of the target system, and the relationship between them are modeled by the realization of external use cases. The proposed technique uses UML stereotype extension mechanism. so the compatibility with current use case modeling technique is preserved.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.252-263
• /
• 2010

The needs of low-power embedded software are being increased. Along with the needs, the studies to predict the power consumption of embedded software are also being increased. Although existing studies for power analysis have been performed in source code-based, these code-based analysis have some shortages of long analysis time and much feedback efforts. Recently some studies of power analysis based on software models are prompted. This paper describes on the model-based approach using UML diagrams in embedded software development process. Specially we focus on the extension of OMG's MARTE Profile to support model-based analysis. The MARTE extension gives the possibility of power analysis using just UML diagrams without any other analysis model in embedded software development.

• The Journal of the Korea Contents Association
• /
• v.20 no.5
• /
• pp.1-10
• /
• 2020

In this paper, we propose a new pornographic content detection scheme using bi-directional relationships between neighboring auditory signals in order to accurately detect sound-centered obscene contents that are rapidly spreading via the Internet. To capture the bi-directional relationships between neighboring signals, we design a multilayered bi-directional dilated-causal convolution network by stacking several dilated-causal convolution blocks each of which performs bi-directional dilated-causal convolution operations. To verify the performance of the proposed scheme, we compare its accuracy to those of the previous two schemes each of which uses simple auditory feature vectors with a support vector machine and uses only the forward relationships in audio signals by a previous stack of dilated-causal convolution layers. As the results, the proposed scheme produces an accuracy of up to 84.38% that is superior performance up to 25.80% than other two comparison schemes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.709-711
• /
• 2003

본 논문은 확장 블록(extension Block) 개념을 사용하여 분산 장비들에 대한 중앙 집중적인 제어 모델을 제시한다. 이런 확장 블록은 OPC와 XML 기술을 사용하여 상위 레벨에서의 추상화를 기법을 사용하여 모델링 함으로써, OPC의 기반 기술인 COM(Common Object Model) 기술과 언어 중립적인 XML 기술이 가지는 이점을 충분히 활용할 수 있는 구조로 디자인 되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.202-204
• /
• 2000

최근 인터넷 상에서 동영상을 비롯하여 다양한 멀티미디어 서비스가 제공되고 있는 추세이다. 이러한 서비스를 제공하기 위해 스트림 서비스 기술과 분산 객체 기술의 접목이 시도되고 있고, 다양한 스트림 서비스 관리 모델과 이를 지원하기 위한 프로토콜에 대한 많은 연구가 진행되고 있다. 그러나, 기존에 제시된 관리 모델들은 스트림 전송의 서비스 질(QoS)에 대한 지원이 미흡한 실정이다. 또한, QoS에 관련된 기능들이 특정 응용 서비스의 부속 모듈에 개발됨에 따라, 확장이나 재사용하지 못하는 문제점을 갖고 있다. 따라서, 본 논문에서는 분산 객체 기술의 표준인 CORBA를 기반으로 확장 및 재사용이 용이하고 스트림을 지원하기 위한 QoS 지원 통합 모델을 제시하고자 한다. 제안된 모델은 사용자 모듈, QoS 관리 모듈 및 스트림 객체의 세가지 컴포넌트로 구성되며, QoS 관리 모듈은 자원 모니터링, 협약과 자원 적응 기법을 제공하여 QoS를 향상시키고, 사용자 모듈과 스트림 객체간의 상호 연동(interaction)을 지원토록 하였다.

• The KIPS Transactions:PartB
• /
• v.19B no.1
• /
• pp.37-42
• /
• 2012

The pseudo relevance feedback suggests that frequent words at the top documents are related to initial query. However, the main drawback associated with the term frequency method is the fact that it relies on feature independence, and disregards any dependencies that may exist between words in the text. In this paper, we propose query expansion based on word graph using term proximity. It supplements term frequency method. On TREC WT10g test collection, experimental results in MAP(Mean Average Precision) show that the proposed method achieved 6.4% improvement over language model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1981-1984
• /
• 2003

본 논문에서는 보안 운영체제를 구현함에 있어서, 보다 진보적인 형태의 접근통제를 시행하기 위한 새로운 접근통제 기법에 대하여 설명한다. 새로운 접근통제 기법은 역할 기반 접근통제 기법(RBAC)을 확장하여 구성한다. 또한, 개념의 정확한 표현 및 논리의 정확성 확인을 위하여 정형 기법을 이용, 접근통제 모델을 기술하고 분석한 결과에 대하여 설명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.11a
• /
• pp.104-106
• /
• 2021

도시의 인구 밀집도가 증가함에 따라 도시의 단위 면적당 건물 밀집도 역시 증가하고 있으며, 이에 도시 화재는 대규모 화재로 발전할 가능성이 높다. 도시 내 대규모 화재로 인한 인명 및 경제적인 피해를 최소화하기 위해 시뮬레이션 기반의 화재 대응 방안들이 널리 연구되고 있으며, 최근에는 시뮬레이션에서 효과적인 화재 대응 방안을 탐색하기 위해 강화학습 기술을 활용하는 연구들이 소개되고 있다. 그러나, 시뮬레이션의 규모가 커지는 경우, 상태 정보 및 화재 대응을 위한 행위 공간의 크기가 증가함으로 인해 강화학습의 복잡도가 증가하며, 이에 따라 학습 확장성이 저하되는 문제가 발생한다. 본 논문에서는 시뮬레이션 규모 증가 시 강화학습의 학습 확장성을 유지하기 위해, 화재 상황 정보와 재난 대응을 위한 행위 공간을 변환하는 기법을 제안한다. 실험 결과를 통해 기존에 강화학습 모델의 학습이 어려웠던 대규모 도시 재난시뮬레이션에서 본 기법을 적용한 강화학습 모델은 학습 수행이 가능하였으며, 화재 피해가 없는 상황의 적합도를 100%로 하고, 이것 대비 99.2%의 화재 대응 적합도를 달성했다.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.43 no.1 s.307
• /
• pp.45-54
• /
• 2006

This paper proposed color matching technique, including display characterization, chromatic adaptation model, and gamut mapping and extension, to generate consistent colors for the same input signal in each display device. It is necessary to characterize the relationship between input and output colors for display device, to apply chromatic adaptation model considering the difference of reference white, and to compensate for the gamut which display devices can represent for reproducing consistent colors on DTV display devices. In this paper, 9 channel-independent GOG model, which is improved from conventional 3 channel GOG(gain, offset gamma) model, is used to consider channel interaction and enhance the modeling accuracy. Then, the input images have to be adjusted to compensate for the limited gamut of each display device. We proposed the gamut mapping and extension method, preserving lightness and hue of an original image and enhancing the saturation of an original image in xy chromaticity diagram. Since the hmm visual system is more sensitive to lightness and hue, these values are maintained as the values of input signal, and the enhancement of saturation is changed to the ratio of input and output gamut. Also the xy chromaticity diagram is effective to reduce the complexity of establishing gamut boundary and the process of reproducing moving-pictures in DTV display devices. As a result, reproducing accurate colors can be implemented when the proposed method is applied to LCD and PDP display devices

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.773-783
• /
• 2004

This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.