• Journal of Internet Computing and Services
• /
• v.9 no.6
• /
• pp.49-62
• /
• 2008

AV (Atomic Vulnerability) is a conceptual definition representing a vulnerability in a systematic way, AVs are defined with respect to its type, location, and result. It is important information for meaning based vulnerability analysis method. Therefore the existing vulnerability can be expressed using multiple AVs, CVE (common vulnerability exposures) which is the most well-known vulnerability information describes the vulnerability exploiting mechanism using natural language. Therefore, for the AV-based analysis, it is necessary to search specific keyword from CVE's description and classify it using keyword and determination method. This paper introduces software design and implementation result, which can be used for atomic vulnerability analysis. The contribution of this work is in design and implementation of software which converts informal vulnerability description into formal AV based vulnerability definition.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• English Language & Literature Teaching
• /
• v.15 no.2
• /
• pp.225-243
• /
• 2009

This study investigates the use of different speech act of apology strategies between male and female EFL college students by comparing the components of intensity, stylistic competence, and semantic formulas. The data was collected from 37 participants who were studying freshmen English reading course at the Department of English Education of C University in Seoul. Most students were English majors taking pre-teacher course of teaching English for secondary school students. The participants were divided into two gender groups of male and female. The discourse completion test (DCT) which was revised from the speech act of apology by Olshtain and Cohen (1990) was provided with the participants after the researcher explained the speech act of apology in ten situations. The speech act of apology depends on situation variables: social solidarity, severity of offense, and social status. The results show that in the preference of intensity, male and female have almost the similar ratio in high (female: 24.7%, male 24%) and low intensity (female: 75.3%, male: 76%). In the use of stylistic competence, male group (21%) expresses more diversely formal features than female group (12%), while female (87%) use more informal features than male (66%). Most of participants show a limitation in the use of speaking four types of semantic formulas: expression of apology (APOL), acknowledgment of responsibility (RESP), offer of repair (REPR), and promise of forbearance (FORB). As nonnative speakers, the participants cannot conduct the semantic formula in some situations regardless of the tasks provided. The results suggest that English teachers should recognize pragmatic variations in which students feel difficulty in appropriate speaking strategies on apology. This study also contributes to teaching learners the strategies and speaking patterns in the course of various apology situations.

• Journal of the Institute of Convergence Signal Processing
• /
• v.20 no.1
• /
• pp.31-36
• /
• 2019

A chatbot is an important area of mobile service, which understands informal data of a user as a conversational form and provides a customized service information for user. However, there is still a lack of a service way to fully understand the user's natural language typed query dialogue. Therefore, in this paper, we extract meaningful words, such a region, a food category, and a restaurant name from user's dialogue sentences for recommending a restaurant. and by comparing the extracted words against the contents of the knowledge database that is built from the hashtag for recommending a restaurant in SNS, and provides user target information having statistically much the word-similarity. In order to evaluate the performance of the restaurant recommendation chatbot system implemented in this paper, we measured the accessibility of various user query information by constructing a web-based mobile environment. As a results by comparing a previous similar system, our chabot is reduced by 37.2% and 73.3% with respect to the touch-count and the cutaway-count respectively.

• Journal of Advanced Navigation Technology
• /
• v.25 no.5
• /
• pp.344-356
• /
• 2021

In the field of civil aviation in Korea, inappropriate crew resources management(CRM) constantly occurs between captains and first officers during flight. Therefore, the active role of first officers is emphasized in pilot training for CRM, threat & error management(TEM), safety management system(SMS), fatigue risk management system(FRMS), and training in simulators. Thus, it is urgent for captains to change their transformational leadership to emotional leadership, advantages of which include horizontal interpersonal relationship, open-mindedness, leading by example, considerateness, mutual respect, and using informal language. For the direction to improve 'the cockpit culture' in civil aviation, the key idea of the current thesis paper is the influence of captains' transformational and emotional leadership on the emotions of first officers.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of the Korean association of regional geographers
• /
• v.6 no.1
• /
• pp.29-49
• /
• 2000

The purposes of this study are to identify the characteristics of inner-city industrial community and to analyse the subsistence mode of small manufacturing enterprises in the industrial community in Taegu Metropolitan area. The case study area, Nowon 1. 2-ga dong, is the typical inner city industrial community, adjacent to old industrial complex, which was recently transformed from semi -industrial to semi-residential zoning district. Now there are many old one story housing, newly constructed multi stories housing and many small factories of metal and machinery products. The conflicts of between residents and small business owners are not serious but latent. The subsistence mode of small manufacturing enterprises in this area is characterized as the network production system. The main attributes of this mode are local integration, horizontal subcontracting and strong industrial linkages in production processes and transactions. These transactions are mainly made by face-to-face contacts. The small business owners' local social networks are seen as series of units which are interconnected through various types of social and business relations. They exchange business information as using social networks. In addition, the majority of them join local social clubs with their local business counterpartners. Finally, the locational advantages of inner-city industrial community are production network, different industrial linkages and characteristic industrial milieu such as social solidarity, informal labor market and incubator effects. But these advantages are being challenged from the contradiction between capital and laned property and the urban gentrification policy. Accordingly, there should be positive redevelopment policy considering the subsistence mode of small business in these areas.

• Journal of The Korean Association For Science Education
• /
• v.31 no.2
• /
• pp.198-209
• /
• 2011

In this study, pre-service science teachers' reflective thinking in their journal writing was investigated. To do this, the authors used pre-service science teachers' journal writing abilities, wherein they not only reported data and result formally, but also wrote their feelings and reflections about an inquiry-based physics experiment they performed. Pre-service science teachers' writings were decomposed into sentences and each sentence was analyzed into a framework with 4 dimensions: knowledge, procedure, orientation and attitude. Reflective thinking in knowledge dimension included reflection on what they know before the experiment, what they still do not know and what they learned from the experiment. Reflective thinking in procedure dimension included recalls of experiences about general experimental procedures and specific experimental skill. Reflective thinking in orientation dimension included their views about the nature of science and science teaching and learning, and reflective thinking in attitude dimension consisted of interests, motives and values about the experiment they performed. While there were some variations in frequency distribution of reflective thinking by the topic of experiments, pre-service science teachers' reflective thinking in journal writings revealed their metacognition on their knowledge and learning, epistemological belief about science and science learning, and affective domain related to experiment. This study can infer that such kind of writing with 'their own language' in an informal way followed by formal 'scientific' reports in a scientific experiment has a significance not only as a mediator representing reflective thinking but also as an instructional activity to facilitate reflective thinking in science learning and teaching.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.3
• /
• pp.245-251
• /
• 2020

From the perspectives of grammaticalization and corpus, the purpose of this study is to examine the motivation of the emergence of the split infinitives in American English and to discuss the justification of the split infinitives based on the corpus empirical data such as COHA and COCA. The formerly ungrammatical split infinitives in the form of [to + adverb + verb] are now definitely grammatical forms in Present Day English (PDE). The corpus-based data confirms the legitimacy of the split infinitives with the empirical reasons like clarifying sentences (i.e., disambiguation) or strongly focused readings. In addition, the split infinitives are natural consequences caused by the grammaticalization of an infinitival particle to and most crucially by the loss of verb movement. When verb movement to T position does not occur in infinitival clauses, the word order results in [to + AdvP + V], thus forming the split infinitives. The split infinitives are no longer a matter of discussion and will continue to increase in both formal and informal contexts as being definitely grammatical forms.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.3
• /
• pp.789-806
• /
• 2010

As calls for more attention toward social minority group increases in our society recently, in the field of mathematics education more attention toward an issue about mathematics underachievers is being amplified. Thus, the present study is to examine the effects of teaching method considering students' cognitive characteristics on mathematical underachievers' problem solving and mathematical disposition. For this study, 10 fifth graders identified as mathematical underachievers based on the results of the national level diagnosis assessment and school based assessment were voluntarily selected from an elementary school in Seoul. The results of this study found out the fact that students participating in this program improved in terms of an ability both to solve problems in various ways and to explain an process of problem solving using spoken or written language and drawings. In addition, learning environment respecting students' own mathematical ideas seems to positively influence students' attitudes toward mathematics learning and mathematical dispositions. Furthermore, this study pointed out that mathematical underachievers tend to have difficulty in expressing their own mathematical thinking by reason of linguistic limitation. Finally, the findings of this study imply that for effective teaching of mathematics underachievers, these students' own informal experience and knowledge about mathematics as well as their characteristics regarding learning difficulties should be strongly considered.