• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• Journal of Korean Library and Information Science Society
• /
• v.41 no.2
• /
• pp.107-126
• /
• 2010

Education is an intentional and planned change process for achieving the objective. Thus, an educational objects sets is very important in elementary and secondary instructional practice. Bloom created the original taxonomy of the cognitive, affective, psychomotor domain for categorizing level of abstraction of questions that commonly occur in educational settings in 1956. During the 1990, Anderson & Krathwohl, Marzano led a new educational taxonomy which met for the purpose of updating the Bloom's taxonomy, hoping to add relevance for 21st century teaching and learning. The educational taxonomy with information literacy process is relationship. The purpose of this study is restructure of information literacy process based on educational object taxonomy.

• Journal of Korean Library and Information Science Society
• /
• v.50 no.1
• /
• pp.273-291
• /
• 2019

This study aims to extend fundamental categories from Clause 11, "facet analysis" in International Standards for thesaurus(ISO 25964-1) by analyzing fundamental categories of Clause 11 and concept and their scope in a thesaurus of Clause 5. For to do this, the fundamental categories were established by adjusting partially and adding mental entities explicitly referencing the highest concepts(YAMATO which is the upper ontology of Mizoguchi, and ISO 2788) and existing fundamental categories(PMEST, FRBR group 3 entities, 13 categories in CRG). Also, established fundamental categories were reorganized and structured based on concreteness/abstraction of PMEST in Ranganathan and independence/dependence of YAMATO in Mizoguchi. And the upper categories were divided into independent and dependent entities. Under these entities 28 criteria are included in the independent ones and 2 criteria in the dependent ones. In the further study, the result of this study can be expected to reuse and refer as controlled vocabulary in the field like classification, taxonomies and thesauri where expected to utilize fundamental categories and as the high-level concept when constructing an ontology for information retrieval.

• KIISE Transactions on Computing Practices
• /
• v.24 no.3
• /
• pp.113-121
• /
• 2018

Position encoding is a method of applying weights according to position of words that appear in a sentence. Pointer networks is a deep learning model that outputs corresponding index with an input sequence. This model can be applied to coreference resolution using attribute. However, the pointer networks has a problem in that its performance is degraded when the length of input sequence is long. To solve this problem, we proposed two contributions to resolve the coreference. First, we applied position encoding and dynamic position encoding to pointer networks. Second, we stack deeply layers of encoder to make high-level abstraction. As results, the position encoding based stacked pointer networks model proposed in this paper had a CoNLL F1 performance of 71.78%, which was improved by 6.01% compared to vanilla pointer networks.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1071-1078
• /
• 2005

Use case modeling is a widely used technique for functional requirements analysis of business system but it is difficult to identify a use cases at the right level and use case specifications are too long and confusing. It is also hard to determine a functional decomposition Phases·s of use cases. Therefore customer doesn't understand the use cases. This paper is defining concept of the Information Structure Modeling(ISM) and analyzing business system for the customer's perspective. ISM is an efficient mechanism for analyzing user requirements and for Identifying objects in a business system using Attribute Structure Diagram which is a major tool of the ISM that describes user event. This paper is also to show how the classes are classified and derived as event-asset-transaction type in ISM. It provides a user-friendly approach to visually representing business model.

• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.153-156
• /
• 2000

This paper presents a SOC design methodology using the newly-emerging SystemC. The suggested methodology firstly uses SystemC to define blocks from the previously-developed system level algorithm with internal behavior and interface being separated and validate such a described blocks' functionality when integrated. Next, the partitioning between software and hardware is considered. With software, the interface to hardware is described cycle-accurate and the other internal behavior in conventional ways. With hardware, I/O transactions are refined gradually in several abstraction levels and internal behavior described on a function basis. Once hardware and software have been completed functionally, system performance analysis is performed on the built model with assumed performance factors and influences such decisions regressively as on optimum algorithm selection, partitioning and etc. The analysis then gives constraint information when hardware description undergoes scheduling and fixed-point trans- formation with the help of automatic translation tools or manually. The methodology enables C/C++ program developers and VHDL/Verilog users to migrate quickly to a co-design & co-verification environment and is suitable for SoC development at a low cost.

• Journal of KIISE:Software and Applications
• /
• v.33 no.9
• /
• pp.751-775
• /
• 2006

In this paper, we suggested an avatar control technique using the high-level behavior. We separated behaviors into three levels according to level of abstraction and defined layered scripts. Layered scripts provide the user with the control over the avatar behaviors at the abstract level and the reusability of scripts. As the 3D environment gets complicated, the number of required avatar behaviors increases accordingly and thus controlling the avatar-object behaviors gets even more challenging. To solve this problem, we embed avatar behaviors into each environment object, which informs how the avatar can interact with the object. Even with a large number of environment objects, our system can manage avatar-object interactions in an object-oriented manner Finally, we suggest an easy-to-use user interface technique that allows the user to control avatars based on context menus. Using the avatar behavior information that is embedded into the object, the system can analyze the object state and filter the behaviors. As a result, context menu shows the behaviors that the avatar can do. In this paper, we made the virtual presentation environment and applied our model to the system. In this paper, we suggested the technique that we controling an the avatar control technique using the high-level behavior. We separated behaviors into three levels byaccording to level of abstract levelion and defined multi-levellayered script. Multi-leveILayered script offers that the user can control avatar behavior at the abstract level and reuses script easily. We suggested object models for avatar-object interaction. Because, TtThe 3D environment is getting more complicated very quickly, so that the numberss of avatar behaviors are getting more variableincreased. Therefore, controlling avatar-object behavior is getting complex and difficultWe need tough processing for handling avatar-object interaction. To solve this problem, we suggested object models that embedded avatar behaviors into object for avatar-object interaction. insert embedded ail avatar behaviors into object. Even though the numbers of objects areis large bigger, it can manage avatar-object interactions by very efficientlyobject-oriented manner. Finally Wewe suggested context menu for ease ordering. User can control avatar throughusing not avatar but the object-oriented interfaces. To do this, Oobject model is suggested by analyzeing object state and filtering the behavior, behavior and context menu shows the behaviors that avatar can do. The user doesn't care about the object or avatar state through the related object.

• Journal of Educational Research in Mathematics
• /
• v.17 no.1
• /
• pp.33-50
• /
• 2007

Positive attitude toward mathematics is gaining bigger recognition as an important contributing factor to mathematical ability. As a strategy for strengthening affective domain and betterment of mathematics teaching and loaming, classifying students by their causes for liking or disliking mathematics can be an effective way In this study the author tried to devise methods to classify students by their types of math disliking and investigate correlations between mathematical achievements and these math-disliking types from a sample group of 8th graders. To identify the types of reasons why 8th graders dislike mathematics, a questionnaire with 30 items was made firstly. Then by applying the 'Factor analysis' of SPSS, the 30 items were divided into five partitions. Through abstraction of each partition, five math-disliking types, 'Competences', 'Basics', 'Confidences', 'Usefulness', and 'Teachers' were defined. They are expected to help teachers for describing each student's tendency of math-disliking. Further, correlation coefficients between mathematical achievements and each of the five math-disliking type were investigated against 4 groups which were made from sample group by the discrimination of gender and two levels (high and low) of mathematical achievements in cognitive area. As results, the following facts were found. (i) The trends of correlations between cognitive achievement and the five math disliking types were different across the 4 groups at statistically meaningful degrees. (ii) Most of the male students who had math-disliking types were proved to be in the low achievement level. But for the female students, only 50% of students who had math-disliking types were in the low achievement level. (iii) Compared to male students, higher portion of female students had math-disliking types despite their high achievement in cognitive area.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.3
• /
• pp.541-550
• /
• 2014

This paper describes a multi-scale user interaction based tiled display visualization system using multiple input devices for monitoring and analyzing Geostationary Ocean Color Imager (GOCI) observation satellite imagery. This system provides multi-touch screen, Kinect motion sensing, and moblie interface for multiple users to control the satellite imagery either in front of the tiled display screen or far away from a distance to view marine environmental or climate changes around Korean peninsular more effectively. Due to a large amount of memory required for loading high-resolution GOCI satellite images, we employed the multi-level image load technique where the image was divided into small tiled images in order to reduce the load on the system and to be operated smoothly by user manipulation. This system performs the abstraction of common input information from multi-user Kinect motion and gestures, multi-touch points and mobile interaction information to enable a variety of user interactions for any tiled display application. In addition, the unit of time corresponding to the selected date of the satellite images are sequentially displayed on the screen and multiple users can zoom-in/out, move the imagery and select buttons to trigger functions.

• Korean Journal of Biological Psychiatry
• /
• v.8 no.2
• /
• pp.258-265
• /
• 2001

Objectives : Chronic alcohol consumption has been known to result in various neurocognitive deficits. Many neuropsychological studies revealed that the major disturbances occurred in the executive function, learning and short-term memory, visuospatial performance function, perceptuo-motor skills, and abstraction and problem solving abilities. This study was done to identify which cognitive areas might be mainly affected. Methods : The cognitive disturbance was evaluated using the Korean Version of the Mini Mental State Examination(MMSEK) and the 7 Minute Screen(7MS) in male inpatients with alcohol dependence(N=3 : as well as in age and education level matched healthy male controls(N=30). Four individual tests of the 7MS were consisted of the Benton Temporal Orientation Test, the Enhanced Cued Recall, the Clock Drawing and the Category Fluency. Results : 1) The average scores of four individual test of the 7MS for the alcoholics were $2.77{\pm}4.38$ for the Benton Temporal Orientation Test, $13.90{\pm}2.02$ for the Memory Test(the Cued Recall $6.77{\pm}1.94$, the Uncued Recall $7.10{\pm}2.45$), $5.84{\pm}1.86$ for the Clock Drawing, and $12.58{\pm}3.29$ for the Category Fluency. Except the Benton Temporal Orientation Test, there were statistically significant differences between test scores of alcoholics and those of controls(p<0.01). 2) The alcoholics who had MMSE-K score <24 were 9.68%. The average(${\pm}S.D.$) score of the MMSE-K for the patient group($27.23{\pm}2.62$) was significantly(p<0.001) lower than that of the healthy controls($29.20{\pm}1.24$). There were no statistically significant differences between four individual test scores of the 7MS of alcoholics with the MMSE-K score <24(N=3) and those of alcoholics with the MMSE-K score ${\geq}24$(N=28). 3) Four individual test scores of the 7MS seemed to have statistically significant association with such variables as MMSE-K, duration of alcohol drinking, blood magnesium concentration, liver function and thyroid function. Conclusion : Mild deficits of cognitive areas such as orientation, memory, visuospatial abilities and verbal fluency could be found in alcohol dependence.