• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.379-380
• /
• 2007

스테이트 차트에서 (Unified Modeling Language: UML) 상태 기반의 이벤트를 처리하는 실행 상태를 기술하고, 구현과 임베디드 시스템에 적용하는 방안에 대하여 논의하며 퀀텀 플랫폼(quantum platform)을 이용하는데 구성요소인 퀀텀프레임워크 컴포넌트에 대한 부분을 Windows Host 환경에 적용하는 방법에 대해 연구하고 성능평가를 하였다.

• 충청수학회지
• /
• 제24권2호
• /
• pp.337-344
• /
• 2011

We provide another unified proof that $A_{\gamma}(G)$ and $A_{\Delta}(G)$ are Banach algebras for a compact group G, where $A_{\gamma}(G)$ and $A_{\Delta}(G)$ are images of the convolution and the twisted convolution, respectively, on $A(G{\times}G)$. Our new approach heavily depends on analysis of co-multiplication on VN(G), the group von-Neumann algebra of G.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2006년도 춘계 학술발표회 논문집(II)
• /
• pp.197-200
• /
• 2006

The ingress of chloride ions plays a crucial role for service life design of reinforced concrete structures. In view of durability design of concrete structures under marine environment, one of the most essential parameters is the surface chloride content of concrete. However, on the basis of the results of in-situ investigation, this value has been determining in the numerous studies on the durability design of concrete structures. Hence, it is necessary to confirm the range of the surface chloride content in order to establish a unified durability design system of concrete. This study suggests a rational and practical way to calculate the maximum surface chloride content of submerged concrete under marine environment. This approach starts with the calculation of the amount of chloride ingredients in normal sea water. The capillary pore structure is modeled by numerical simulation model HYMOSTRUC and it is assumed to be completely saturated by the salt ingredients of sea water. In order to validate this approach, the total chloride content of the mortar and concrete slim disc specimen was measured after the immersion into the artificial sea water solution. Additionally, the theoretical, the experimental and in-situ investigation results of other researchers are compiled and analyzed. Based on this approach, it will follow to calculate the maximum surface chloride content of concrete at tidal zone, where the environment can be considered as a condition of dry-wetting cycles.

• International Journal of Computer Science & Network Security
• /
• 제21권6호
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제11권4호
• /
• pp.262-271
• /
• 2011

In this work, we present a unified analytical surface potential model, valid for both PD and FD SOI MOSFETs. Our model is based on a simplified one dimensional and purely analytical approach, and builds upon an existing model, proposed by Yu et al. [4], which is one of the most recent compact analytical surface potential models for SOI MOSFETs available in the literature, to improve its accuracy and remove its inconsistencies, thereby adding to its robustness. The model given by Yu et al. [4] fails entirely in modeling the variation of the front surface potential with respect to the changes in the substrate voltage, which has been corrected in our modified model. Also, [4] produces self-inconsistent results due to misinterpretation of the operating mode of an SOI device. The source of this error has been traced in our work and a criterion has been postulated so as to avoid any such error in future. Additionally, a completely new expression relating the front and back surface potentials of an FD SOI film has been proposed in our model, which unlike other models in the literature, takes into account for the first time in analytical one dimensional modeling of SOI MOSFETs, the contribution of the increasing inversion charge concentration in the silicon film, with increasing gate voltage, in the strong inversion region. With this refinement, the maximum percent error of our model in the prediction of the back surface potential of the SOI film amounts to only 3.8% as compared to an error of about 10% produced by the model of Yu et al. [4], both with respect to MEDICI simulation results.

• ETRI Journal
• /
• 제36권5호
• /
• pp.714-720
• /
• 2014

In this paper, we propose the use of data-driven probabilistic utterance-level decision logic to improve Weighted Finite State Transducer (WFST)-based endpoint detection. In general, endpoint detection is dealt with using two cascaded decision processes. The first process is frame-level speech/non-speech classification based on statistical hypothesis testing, and the second process is a heuristic-knowledge-based utterance-level speech boundary decision. To handle these two processes within a unified framework, we propose a WFST-based approach. However, a WFST-based approach has the same limitations as conventional approaches in that the utterance-level decision is based on heuristic knowledge and the decision parameters are tuned sequentially. Therefore, to obtain decision knowledge from a speech corpus and optimize the parameters at the same time, we propose the use of data-driven probabilistic utterance-level decision logic. The proposed method reduces the average detection failure rate by about 14% for various noisy-speech corpora collected for an endpoint detection evaluation.

• Journal of Computing Science and Engineering
• /
• 제6권4호
• /
• pp.267-278
• /
• 2012

The state-of-the-art techniques in multicore timing analysis are limited to analyze multicores with shared instruction caches only. This paper proposes a uniform framework to analyze the worst-case performance for both shared instruction caches and data caches in a multicore platform. Our approach is based on a new concept called address flow graph, which can be used to model both instruction and data accesses for timing analysis. Our experiments, as a proof-of-concept study, indicate that the proposed approach can accurately compute the worst-case performance for real-time threads running on a dual-core processor with a shared L2 cache (either to store instructions or data).

• 대한수학회지
• /
• 제54권1호
• /
• pp.117-139
• /
• 2017

This paper presents a systematic study for theoretical aspects of a unified approach to the abstract relative Fourier transforms over canonical homogeneous spaces of semi-direct product groups with Abelian normal factor. Let H be a locally compact group, K be a locally compact Abelian (LCA) group, and ${\theta}:H{\rightarrow}Aut(K)$ be a continuous homomorphism. Let $G_{\theta}=H{\ltimes}_{\theta}K$ be the semi-direct product of H and K with respect to ${\theta}$ and $G_{\theta}/H$ be the canonical homogeneous space (left coset space) of $G_{\theta}$. We introduce the notions of relative dual homogeneous space and also abstract relative Fourier transform over $G_{\theta}/H$. Then we study theoretical properties of this approach.

• 대한수학회보
• /
• 제46권2호
• /
• pp.209-227
• /
• 2009

We examine a unified approach of calculating the closed form solutions of option price under stochastic volatility models using stochastic calculus and the Fourier inversion formula. In particular, we review and derive the option pricing formulas under Heston and correlated Stein-Stein models using a systematic and comprehensive approach which were derived individually earlier. We compare the empirical performances of the two stochastic volatility models and the Black-Scholes model in pricing KOSPI 200 index options.