• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.501-503
• /
• 2015

Malicious(악의적인) + Code 즉, 악의적인코드를 포함한 소프트웨어라는 의미로 줄여 Malware(Malicious + Software) 라고 불리는 악성코드는 최근 네트워크와 컴퓨터의 급속한 발전에 따라 기하급수적으로 증가하고 있는 추세이다. 폭발적인 증가율 추세를 보이고 있는 악성코드의 위협을 대비하기 위해 악성코드에 대한 분석이 필요한데 그 분석의 종류로는 초기분석, 동적 분석, 정적분석으로 나누고 장, 단점을 정리하였다. 또한 악성코드 대량화에 따른 효율적인 분석과 빠른 의사결정을 위한 악성코드 유사도에 대한 연구를 소개하고 API Call Sequence와 분류된 API를 이용한 악성행위 유사도 판별법을 제시하고 실험하였다.

• Structural Engineering and Mechanics
• /
• v.85 no.4
• /
• pp.545-562
• /
• 2023

In this work, superharmonic and subharmonic resonance of rotating stiffened FGM truncated conical shells exposed to harmonic excitation in a thermal environment is investigated. Utilizing classical shell theory considering Coriolis acceleration and the centrifugal force, the governing equations are extracted. Non-linear model is formulated employing the von Kármán non-linear relations. In this study, to model the stiffener effects the smeared stiffened technique is utilized. The non-linear partial differential equations are discretized into non-linear ordinary differential equations by applying Galerkin's method. The method of multiple scales is utilized to examine the non-linear superharmonic and subharmonic resonances behavior of the conical shells. In this regard, the effects of the rotating speed of the shell on the frequency response plot are investigated. Also, the effects of different semi-vertex angles, force amplitude, volume-fraction index, and temperature variations on the frequency-response graph are examined for different rotating speeds of the stiffened FGM truncated conical shells.

• Journal of Advanced Information Technology and Convergence
• /
• v.9 no.1
• /
• pp.89-102
• /
• 2019

Collagen can be used in building artificial skin replacements for treatment of burns and towards the reconstruction of bone as well as researching cell behavior and cellular interaction. The strength of collagen in connective tissue rests on the characteristics of collagen fibers. 3D confocal imaging of collagen fibers enables the characterization of their spatial distribution as related to their function. However, the image stacks acquired with confocal laser-scanning microscope does not clearly show the collagen architecture in 3D. Therefore, we developed a new method to reconstruct, visualize and characterize collagen fibers from fluorescence confocal images. First, we exploit the tensor voting framework to extract sparse reliable information about collagen structure in a 3D image and therefore denoise and filter the acquired image stack. We then propose to segment the collagen fibers by defining an energy term based on the Hessian matrix. This energy term is minimized by a min cut-max flow algorithm that allows adaptive regularization. We demonstrate the efficacy of our methods by visualizing reconstructed collagen from specific 3D image stack.

• The Journal of Korean Association of Computer Education
• /
• v.9 no.6
• /
• pp.41-51
• /
• 2006

Educators have recognized the usefulness of the e-BBS(electronic-Bulletin Board System) as an asynchronous communication medium for collaborative learning. However, theoretical outcomes to understand the structural analysis of thc e-BBS are not adequate enough. As a consequence, we are left with inadequate supportive tools to understand complex communication phenomena and to assist teachers to guide students to educational purposes. This can cause teachers to have a laissez-faire approach using BBS as a communication medium for education due to the lack of understanding the structural and overall situation. To address this issue, this paper presents a theoretical foundation to help understand the structure of discussion activities via the e-BBS and then presents a computational model, based on the structural analysis, for the behavioral analysis of participants. The formal representation of bi-directional discussion activities is realized by devising two graphs - the reply graph and the connection graph. Various measurements and statistics for the analysis are presented in the paper. To clarify the analysis, we classify the results produced through the analysis of discussion activities and participants' behaviors.

• Journal of Korea Game Society
• /
• v.11 no.2
• /
• pp.3-11
• /
• 2011

A game designer is the initial design of the quest based on narrative. It is important that to predict game character of play experience to establish these static content. This paper deal with player's affective interaction distinguishing among game characters are perform quest-play based on their characteristic status. To achieve this, First of all, previous studies regarding pre-visualization of narrative structure for other visual media are reviewed. Secondly, it is specified that quest-play experience and player's cognitive behavior. At last, these features of status by character were pre-visualized with QUG(Quest Unit Graph), which could be represented differences in precess of quest-play through analysis on world of warcarft game. Previous research is about of numerical balance in terms of character's achievement, whereas this study is meaningful that is proposed that visual model of quest-play interaction focused on narrative structure to predict game designer's architecture of quest experience.

• Journal of the Korean Dietetic Association
• /
• v.12 no.4
• /
• pp.390-403
• /
• 2006

The purposes of this study were to : (a) examine the using pattern of college foodservice and off-campus restaurant and identify the important service quality attributes and levels for conjoint analysis, (b) investigate the demographic factor and the lunch behavior of "S" college's foodservice customer (c) search the optimum moving time to the college foodservice by cumulative graph, (d) identify the relative importance of the service quality attributes and level at college foodservice by conjoint analysis, and (e) provide the basic data for establishing new college foodservice. Questionnaire developed were conducted with 305 daytime students. A total of 284 were usable and the data was analyzed by the SPSS(ver. 11.0) for the descriptive analysis and conjoint analysis. ‘Low price’ was the reason for using college union foodservice, and the advantages of college union the foodservice were reported to be 'speediness', 'low price', 'near distance', 'wide space' and etc in a college. For off-campus restaurant, the using reasons were mentioned 'near distance', 'menu variety', 'kindness', and 'better taste and quality' and the using advantage found out 'inexpensive and enjoyable food with friends', and 'good taste'. An optimum time required for moving to the college foodservice was calculated 9 min by cumulative graph. As the relative important attributes on college foodservice were identified in the order of the ‘price range', the 'time required for the movement' and the 'food taste', and the level were analyzed the location requiring 6~10 minutes for the movement, the price range of 2,100~2,500 won, and the providing tasty foods by conjoint analysis. As "S" college will be established a new college foodsrevice suggested by the this study result, there should be expected the increasing salse and the college student's satisfaction on campus foodservice.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.11
• /
• pp.2059-2071
• /
• 2007

If the correct structure of Web site is known, the information provider can discover users# behavior patterns and characteristics for better services, and users can find useful information easily and exactly. There may be some difficulties, however, to extract the exact structure of Web site because documents one the Web tend to be changed frequently. This paper proposes new method for extracting such Web structure automatically. The method consists of two phases. The first phase extracts the hyperlinks among Web documents, and then constructs a directed graph to represent the structure of Web site. It has limitations, however, to discover the hyperlinks in Flash and Java Applet. The second phase is to find such hidden hyperlinks by using Web access log. It fist extracts the click streams from the access log, and then extract the hidden hyperlinks by comparing with the directed graph. Several experiments have been conducted to evaluate the proposed method.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.13 no.6
• /
• pp.1309-1316
• /
• 2018

Cattle estrus detection system based on Internet of Things is designed and implemented by using Arduino pro-mini, gyroscope, acceleration sensor, bluetooth master and slave module. The implemented system measures cattle's moving and the measured data are transmitted to the computer connected to RX module by bluetooth TX module. They are plotted in 2-dimensional graph on the computer monitor and the number of transition at each sensor axis are calculated from the graph. The detected and gathered data from the system are analyzed by the proposed algorithm to decide which cows are in the estrus or not. The method to apply bluetooth scatternet is shown and the proposed system can be used to increase the success rate of artificial insemination in normal estrus by detecting the cow's behaviors such as the number of jumping. In this paper, the implemented cattle behavior detecting the system(TX module) are strapped on cattle's leg and it measures the cattle behaviors for determining where that a cattle is estrus or not by the proposed algorithm.

• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.407-433
• /
• 2018

In order to analyze textbooks from a discursive approach, the purpose of this study is to structuralize an analytic framework based on previous literature review and apply it to analyzing the meanings and their syntheses developed by words and visual mediators appeared in the definition of graph in first-year middle school textbooks. The discursive approach consists of the communicational approach developed by Sfard(2008) and the systemic functional linguistics developed by Halliday(1985/2004). In this study, ideational meta-functions for ideational meanings and interpersonal meta-functions for interpersonal meanings were employed to analyze the meanings produced by words and visual mediators in textbooks, whereas textual meta-functions for textual meanings were used for analyzing the synthesized relationships between words and visual mediators. Results show that first, density in mathematical discourse was very high and subjects in mathematical activities were ambiguous in the ideational meanings of words, and behavior aspect was more emphasized than thinking aspect in the interpersonal meanings of words which request student participations. In the case of ideational meanings of visual mediators, there was a lack of narrative diagrams, whereas there were qualitative differences in the case of offer. Second, there was a need for promoting a wide range of diverse synthetic relationships between words and visual mediators for developing enriched mathematical meanings through the varying uses like specification, explanation, similarity, and complement. These results are so important that they provide a new analytic framework from a discursive approach to textbook analysis because not only words, but also visual mediators are analyzed as tools for producing meanings in mathematics textbooks and their synthetic relationships are also examined.