• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.3
• /
• pp.141-149
• /
• 2008

Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of 'from top to bottom' way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the ${\lambda}$-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the ${\lambda}$-calculus.

• The Korean Journal of Cytopathology
• /
• v.6 no.1
• /
• pp.18-26
• /
• 1995

In order to compare cytologic findings ol breast carcinoma in fine needle aspiration cytology (FANC) with histologic findings and prognostic factors including histologic grading, lymph node metastasis and stage, 79 cases of infiltrating ductal carcinoma diagnosed by FANC and confirmed by histology were analysed. We especially attempted to col relate nuclear grade, cellularity and smear pattern with histologic grade, type, status of lymph node metastasis and stage. The results are as fellows. 1. High nuclear grade was correlated with high histologic grade, lymph node metastasis and advanced stage. 2. Individual cell pattern was more frequently identified in high histologic grade and scirrhous or solid-tubular type than in low histolgic grade and papillotubular type. 3. Cellularity increased with higher histologic grade and lymph node metastsis. However cellularity was low in scirrhous type. 4. There is no relationship between nuclear grade and histologic type, between smear pattern and lymph node metastasis or stage, and between cellularity and stage. These results suggest that cytologic findings of breast carcinoma such as nuclear grade, cellularity and smear pattern are indicative of histologic findings in relation to histolgic grade and type. Especially, nuclear grade of FANC may yield valuable prognostic information.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.2
• /
• pp.127-136
• /
• 2008

This paper proposes the efficient system for automatic design of FSS(Frequency Selective Surface) with periodic pattern and frequency characteristics specified by operator. The proposed system derives optimal design parameters through tool for analysis of FSS with arbitrary pattern, DB(Data Base) implemented from limited simulation and measurement data of FSS, and GA(Genetic Algorithm) for optimizing design parameters. FSS analysis tool consists of two analysis tools. One is the simulator for analysis of monolayer FSS that using moment method, another is the tool with approximated analysis method of FSS with dielectric layer. Given pattern configuration and characteristics specified by operators, the DB system searches the best matching FSS, and provides initial genes to GA from the searched parameters, which drastically reduces running time of GA for finding the FSS design parameters. In this paper, the proposed design system is verified through simulation and measurement about FSS with various patterns.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.26 no.3_4
• /
• pp.402-411
• /
• 2002

The objective of this study was to investigate sensibility images of Korean traditional motifs cognized by college students in U.S.A. The subjects consisted of 217 male and 351 female undergraduate students. The experimental materials used in this study were 48 stimuli and questionnaires, composed of 7-point semantic differential scales of 15 bipolar adjectives. Twelve motifs selected from 3 groups of Korean motifs were used as motif stimuli. Twelve repeated patterns were constructed from them to be applied on a CAD-simulated dress. The data were analyzed by factor analysis, ANOVA, Duncan's multiple range test. The major finding were as follows: 1. Four dimensions were emerged accounting for the dimensional structure of the images of Korean traditional motifs. These dimensions were ‘quality’, ‘simplicity’, ‘cheerfulnees’, and ‘modernity’. Among them, ‘quality’and ‘simplicity’were the major dimensions. 2. Category, interpretation type, composition type, and application object had significant effects on the images of above-mentioned dimensions. The interpretation type had a significant effect on ‘quality’image, the composition type on ‘cheerful’image, and the application object on ‘modernity’image.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.4
• /
• pp.148-159
• /
• 2005

We propose a technique for finding the worst case response time (WCRT) of a DMA request that is needed in the schedulability analysis of a whole real-time system. The technique consists of three steps. In the first step, we find the worst case bus usage pattern of each CPU task. Then in the second step, we combine the worst case bus usage pattern of CPU tasks to construct the worst case bus usage pattern of the CPU. This second step considers not only the bus requests made by CPU tasks individually but also those due to preemptions among the CPU tasks. finally, in the third step, we use the worst case bus usage pattern of the CPU to derive the WCRT of DMA requests assuming the fixed-priority bus arbitration protocol. Experimental results show that overestimation of the DMA response time by the proposed technique is within $20\%$ for most DMA request sizes and that the percentage overestimation decreases as the DMA request size increases.

• The KIPS Transactions:PartD
• /
• v.16D no.5
• /
• pp.683-690
• /
• 2009

Social Networks which is composed of network with an individual in the center in a web support mutual-understanding of information by searching user profile and forming new link. Therefore, if we apply the Social Network which consists of web users who have similar immanent information to web search, we can improve efficiency of web search and satisfaction of web user about search results. In this paper, first, we make a Social Network using web users linked directly or indirectly. Next, we calculate Similarity among web users using their immanent information according to topics, and then reconstruct Social Network based on varying Similarity according to topics. Last, we compare Similarity with Search Pattern. As a result of this test, we can confirm a result that among users who have high relationship index, that is, who have strong link strength according to personal attributes have similar search pattern. If such fact is applied to search algorithm, it can be possible to improve search efficiency and reliability in personalized and social search.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.5
• /
• pp.103-117
• /
• 2009

In MANET(Mobile Ad-Hoc Network), providing security to routing has been a significant issue recently. Existing studies, however, focused on either of secure routing or packet itself where malicious operations occur. In this paper, we propose SRPPnT(A Secure Routing Protocol in MANET based on Malicious Pattern of Node and Trust Level) that consider both malicious behavior on packet and secure routing. SRPPnT is identify the node where malicious activities occur for a specific time to compose trust levels for each node, and then to set up a routing path according to the trust level obtained. Therefore, SRPPnT is able to make efficient countermeasures against malicious operations. SRPPnT is based on AODV(Ad-Hoc On-Demand Distance Vector Routing). The proposed SRPPnT, from results of the NS-2 network simulation. shows a more prompt and accurate finding of malicious nodes than previous protocols did, under the condition of decreased load of networks and route more securely.

• Education of Primary School Mathematics
• /
• v.24 no.4
• /
• pp.189-202
• /
• 2021

The teacher's questions presented in the problem-solving situation stimulate students' mathematical thinking and lead them to find a solution to the given problem situation. In this research, the types and functions of questions presented in chapters of Pattern area of the 2015 revised elementary school mathematics textbooks were compared and analyzed by grade cluster. Through this, it was attempted to obtain implications for teaching and learning in identifying the characteristics of questions and effectively using the questions when teaching Pattern area. As a result of this research, as grade clsuter increased, the number of questions per lesson presented in Pattern area increased. Frequency of the types of questions in textbooks was found to be high in the order of reasoning questions, factual questions, and open questions in common by grade cluster. In chapters of Pattern area, relatively many questions were presented that serve as functions to help guess, invent, and solve problems or to help mathematical reasoning in the process of finding rules. It can be inferred that these types of questions and their functions are related to the learning content by grade cluster and characteristics of grade cluster. Therefore, the results of this research can contribute to providing a reference material for devising questions when teaching Pattern area and further to the development of teaching and learning in Pattern area.

• Imaging Science in Dentistry
• /
• v.30 no.2
• /
• pp.149-154
• /
• 2000

Fibrous dysplasia is believed to be a hamartomatous developmental lesion of unknown origin. This disease is divided into monostotic and polyostotic fibrous dysplasia. Polyostotic type can be divided into craniofacial type, Lichtenstein-Jaffe type, and McCune-Albright syndrome. In this case, a 31-year-old female presented spontaneous loss of right mandibular teeth before 5 years and has shown continuous expansion of right mandibular alveolus. Through the radiographic view, the coarse pattern of the mixed radiopaque-lucent lesion was seen on the right mandibular body, and there was diffuse pattern of the mixed radiopaque-lucent lesion with ill-defined margin in the left mandibular body. In the right calvarium, the lesion had cotton-wool appearance. Partial excision for contouring, multiple extraction, and alveoloplasty were accomplished under general anesthesia for supportive treatment. Finally we could conclude this case was polyostotic fibrous dysplasia of cranio-maxillofacial area based on the clinical, radiologic finding, and histopathologic examination.

• Journal of Elementary Mathematics Education in Korea
• /
• v.16 no.3
• /
• pp.321-336
• /
• 2012

Cognitive subject imposes structures on an object to shape it into a structured thing. Structures that the subject imposes on an object in a given problem context can be diverse horizontally and vertically. In view of the horizontal diversity of structure, problem-solving activities focusing on various structures may enrich the present problem-solving education which emphasizes applying and comparing a couple of problem-solving strategies. Finding an algebraic formula for a figural pattern should be regarded as a new starting point of searching for more various structures. In view of the vertical diversity of structure, it should be aware that students may see different structures from the structure that their teacher expect them to see. The vertical diversity of structure enables us to provide students with experience of progress.