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

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.2
• /
• pp.87-94
• /
• 2000

Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

• The Korean Journal of Nuclear Medicine
• /
• v.32 no.3
• /
• pp.225-237
• /
• 1998

Purpose: We investigated the statistical methods to compose the functional brain map of human working memory and the principal factors that have an effect on the methods for localization. Materials and Methods: Repeated PET scans with successive four tasks, which consist of one control and three different activation tasks, were performed on six right-handed normal volunteers for 2 minutes after bolus injections of 925 MBq $H_2^{15}O$ at the intervals of 30 minutes. Image data were analyzed using SPM96 (Statistical Parametric Mapping) implemented with Matlab (Mathworks Inc., U.S.A.). Images from the same subject were spatially registered and were normalized using linear and nonlinear transformation methods. Significant difference between control and each activation state was estimated at every voxel based on the general linear model. Differences of global counts were removed using analysis of covariance (ANCOVA) with global activity as covariate. Using the mean and variance for each condition which was adjusted using ANCOVA, t-statistics was performed on every voxel To interpret the results more easily, t-values were transformed to the standard Gaussian distribution (Z-score). Results: All the subjects carried out the activation and control tests successfully. Average rate of correct answers was 95%. The numbers of activated blobs were 4 for verbal memory I, 9 for verbal memory II, 9 for visual memory, and 6 for conjunctive activation of these three tasks. The verbal working memory activates predominantly left-sided structures, and the visual memory activates the right hemisphere. Conclusion: We conclude that rCBF PET imaging and statistical parametric mapping method were useful in the localization of the brain regions for verbal and visual working memory.

• Investigative Magnetic Resonance Imaging
• /
• v.6 no.1
• /
• pp.28-34
• /
• 2002

Purpose : The minimum stimulus onset asynchronoy(SOAmin) is one of important experimental parameters for an event-related fMRI experiment designed with the stochastic stimulus. In this study, the most efficient SOAmin is explored for the stronger activation in motor and language tasks with the stimulus designed stochastically. Materials and methods : The event-related fMRI during motor and language tasks were obtained in four normal right-handed subjects. EPI-BOLD sequence is used at 1.5Tesla MR system for the acquisition of event-related fMRI. For each task the subjects are responded for the stimulus' with 2, 3, 4, and 6 seconds SOAmin. The obtained images are processed with SPM99, and the p value is set as 0.05 for the significant activation detection. The Z value and the number of activated pixels are compared for each task. Results : For the motor task, the primary and supplementary motor areas are activated, and for the language task the consistent activated signals are detected in the Broca's. The activated signal is to be stronger for the shorter SOAmin for both motor and language tasks. At primary motor area, the activated signals is the strongest for 3 seconds SOAmin and for the supplementary motor area the result with 2 seconds SOAmin shows the strongest activation. And the result of language task shows the strongest activation at the 2 seconds SOAmin. Conclusion : In the event-related fMRI of motor and language tasks with the stochastically designed stimulus, the 2 or 3 seconds SOAmin is efficient for more activated and clustered activation.

• Journal of Korean Clinical Nursing Research
• /
• v.26 no.1
• /
• pp.1-9
• /
• 2020

Purpose: This study was conducted to provide fundamental data on increasing organizational commitment of clinical nurses by verifying the mediation effects of resilience in the correlation between the verbal violence experienced by nurses and their organizational commitment. Methods: Participants were 167 nurses working in 2 university hospitals and 3 general hospitals located in D city Nurse managers were excluded. Data were analyzed using t-test, ANOVA, Pearson's correlation coefficient, and multiple regression analysis based on the three-step mediation effect verification procedures proposed by Baron and Kenny. SPSS 24.0 program was used. The significance of mediation effect was verified by performing the Sobel test. Results: The resilience was confirmed to have a partial mediating effect in the relationship between verbal violence experience and organizational commitment (β=.25, p=.001), and verified by Sobel test (Z=-1.95, p=.026). Conclusion: The results verifiying that verbal violence experience, organizational commitment, and resilience are correlated with each other, and showing that the organizational culture needs to be improved and the hospital environment needs to be changed to decrease verbal violence experiences and increase resilience in order to enhance organizational commitment.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.215-220
• /
• 2021

다중 도메인에 대해 답변 생성 모델이 동작 가능하도록 하는 가장 쉬운 방법은 모든 도메인의 데이터를 순서와 상관없이 한번에 학습하는 것이다. 하지만 이경우, 발화에 상관 없이 지나치게 일반적인 답변을 생성하는 문제가 발생한다. 이에 반해, 도메인을 분리하여 도메인을 순차적으로 학습할 경우 일반적인 답변 생성 문제를 해결할 수 있다. 하지만 이경우 새로운 도메인의 데이터를 학습할 때, 기존에 학습한 도메인에 대한 성능이 저하되는 파괴적 망각 현상이 발생한다. 파괴적 망각 현상을 해결하기 위하여 다양한 지속학습기법이 제안되었으며, 그 중 메모리 리플레이 방법은 새로운 도메인 학습시 기존 도메인의 데이터를 함께 학습하는 방법으로 파괴적 망각 현상을 해결하고자 하였다. 본 논문에서는, 사람의 기억 시스템에 대한 모형인 앳킨슨-쉬프린 기억 모형에서 착안하여 사람이 기억을 저장하는것과 유사한 방법으로 메모리 리플레이 방법의 메모리 관리방법을 제안하였고, 해당 메모리 관리법을 활용하는 메모리 리플레이 방법을 통해 답변 생성 모델의 파괴적 망각 현상을 줄이고자 하였다. 다중 도메인 답변 생성에 대한 데이터셋인 MultiWoZ-2.0를 사용하여 제안 모델을 학습 및 평가하였고, 제안 모델이 다중 도메인 답변 생성 모델의 파괴적 망각 현상을 감소시킴을 확인하였다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1246-1256
• /
• 1998

MIB(Management Information Base), one of the key components of network management system, is a conceptual repository for the information of the various managed objects. MIB stores and manages all the structural and operational data of each managed resources. Therefore, MIB should be protected properly from inadvertant user access or malicious attacks. International standard ISO/IEC 10164-9 describes several managed object classes for the enforcement of MIB security. Those managed object classes described access control rules for security policy. But the exact authorization procedures using those newly added managed object classes are not presented. In this paper, we divide managed object classes into two groups, explicit and implicit ones, and describe the access authorization procedure in Z specification language. Using Z as a description method for both authorization procedure and GDMO's action part, the behaviour of each managed object class and access authorization procedure is more precisely and formally defined than those of natural language form.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Language and Information
• /
• v.14 no.1
• /
• pp.113-144
• /
• 2010

The primary goal of this paper is to find a feasible way to answer the question: Does the similarity in meaning between verbs relate to the similarity in their subcategorization? In order to answer this question in a rather concrete way on the basis of a large set of English verbs, this study made use of various language resources, tools, and statistical methodologies. We first compiled a list of 678 verbs that were selected from the most and second most frequent word lists from the Colins Cobuild English Dictionary, which also appeared in WordNet 3.0. We calculated similarity measures between all the pairs of the words based on the 'jcn' algorithm (Jiang and Conrath, 1997) implemented in the WordNet::Similarity module (Pedersen, Patwardhan, and Michelizzi, 2004). The clustering process followed, first building similarity matrices out of the similarity measure values, next drawing dendrograms on the basis of the matricies, then finally getting 177 meaningful clusters (covering 437 verbs) that passed a certain level set by z-score. The subcategorization frames and their frequency values were taken from the ICE-GB. In order to calculate the Selectional Preference Strength (SPS) of the relationship between a verb and its subcategorizations, we relied on the Kullback-Leibler Divergence model (Resnik, 1996). The SPS values of the verbs in the same cluster were compared with each other, which served to give the statistical values that indicate how much the SPS values overlap between the subcategorization frames of the verbs. Our final analysis shows that the degree of overlap, or the relationship between semantic similarity and the subcategorization frames of the verbs in English, is equally spread out from the 'very strongly related' to the 'very weakly related'. Some semantically similar verbs share a lot in terms of their subcategorization frames, and some others indicate an average degree of strength in the relationship, while the others, though still semantically similar, tend to share little in their subcategorization frames.