• Journal of the Korean Society for information Management
• /
• v.25 no.4
• /
• pp.43-66
• /
• 2008

Currently be proceeded a lot of researchers for 'user information demand description' for interface of an information retrieval system or Web search engines, but user information demand description for a natural language form is a difficult situation. These reasons are as they cannot provide the semantic similarity that an information retrieval model can be completely satisfied with variety regarding an information demand expression and semantic relevance for user information description. Therefore, this study using the description logic that is a knowledge representation base of OWL and a vector model-based weight between concept, and to be able to satisfy variety regarding an information demand expression and semantic relevance proposes a decision way for perfect assistances of user information demand description. The experiment results by proposed method, semantic similarity of a polyseme and a synonym showed with excellent performance in decision.

• Archives of design research
• /
• v.13 no.1
• /
• pp.157-166
• /
• 2000

Since the cognitive science developed as a brandl of academic researdl, studies on human brains have flourished. Emotional features have been centered on the field of design, and the development of the design process has been diversified that makes use of the factors. The purpose of this study is to reflect the current trend and to convert the results into a method for designing. The researdl is based on the mind map techniques which spread like a trendy fashion, and tries to supply a theoretical explanation of how to overcome the fixed idea. Recognizing the importance of learned information in approaching a problem, I regarded the roles of left and right brain as analogue and digital images interpreting them by freely crossing language(digital images) and visual thought (analogue images), using mapping tedlniques. I pursued the research goal of the techniques focusing on the idea of using mapping. As a result of this. I established a logic system [figure 8] in that a proposition which starts as a problem introduction goes on until a problem solution, which is visualized with concept presentation, using a brainstorming technique. According to the suggested concept. I concluded that idea proliferation as a design demand can be solved by applying mapping techniques like one shown in figure 12.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.2
• /
• pp.166-171
• /
• 2015

This paper shows the design of operational flight program(OFP) using model-based design(MBD) method which is used in various engineering fields to reduce time and flight risks for development. The verification of OFP for DO-178C guidelines carry out by a model advisor function of simulink. The flight control logic on simulink is converted into C-language by auto code generation tool from, then it is implemented on 32bit digital signal processor(DSP). The verifications of flight control algorithm on various weather conditions are performed by the HILS system with Flight simulator program, X-plane.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.9
• /
• pp.1-10
• /
• 1998

This paper is to propose an algorithm named as DYSAC to find the critical path(the longest sensitizable path) in a large digital circuit, whose purpose is to reduce the time to find critical path and to find critical paths of the circuits for which the previous methods could not find one. Also a set of path sensitization criteria named as DYPSEC is proposed, which is used to select a path from input to the output inside the DYSAC. The DYSAC consists of two sub-algorithms; the level assignment algorithm to assign a level to each node and the critical path selection algorithm to select the sensitizable path. The proposed algorithm was implemented with C-language on SUN Sparc and applied to the ISCAS'85 benchmark circuits to make sure if it works correctly and finds the correct critical path. Also, the results from the experiments were compared to the results from the previous works. The comparison items were the ability to find the critical path and the speed, in both of which the proposed algorithm in this paper shows better results than others.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.3
• /
• pp.299-310
• /
• 1994

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.2A
• /
• pp.80-85
• /
• 2003

This paper proposes Galois Field Arithmetic Unit(GFAU) whose structure does addition, multiplication and division in GF(2m). GFAU can execute maximum two additions, or two multiplications, or one addition and one multiplication. The base architecture of this GFAU is a divider based on modified Euclid's algorithm. The divider was modified to enable multiplication and addition, and the modified divider with the control logic became GFAU. The GFAU for GF(2193) was implemented with Verilog HDL with top-down methodology, and it was improved and verified by a cycle-based simulator written in C-language. The verified model was synthesized with Samsung 0.35um, 3.3V CMOS standard cell library, and it operates at 104.7MHz in the worst case of 3.0V, 85$^{\circ}C$, and it has about 25,889 gates.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.7 s.361
• /
• pp.45-53
• /
• 2007

In this paper, we propose an efficient hardware architecture for H.264/AVC CAVLC (Context-based Adaptive Variable Length Coding) encoding. Previous CAVLC architectures search all of the coefficients to find statistic characteristics in a block. However, it is unnecessary information that zero coefficients following the last position of a non-zero coefficient when CAVLC encodes residual coefficients. In order to reduce this unnecessary operation, we propose two techniques, which detect the first and last position of non-zero coefficients and arrange non-zero coefficients sequentially. By adopting these two techniques, the required processing time was reduced about 23% compared with previous architecture. It was designed in a hardware description language and total logic gate count is 16.3k using 0.18um standard cell library Simulation results show that our design is capable of real-time processing for $1920{\times}1088\;30fps$ videos at 81MHz.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.3
• /
• pp.35-44
• /
• 2011

Ontologies are playing an important role in semantic web which is emerging as a next stage of the web revolution because various kinds of metadata are described in ontologies. Correspondingly, many query languages like SPARQL, RDQL etc. have been proposed for querying these ontologies. But users have to know the structures and resource names of ontologies completely to get search results even if they have expertise on complex formal logic and syntax of the query languages. Especially, casual users do not know the resource names and may use different words from resource names when they write their query language. This vocabulary gap problem have to be solved to raise the success rate. In this paper, an approach for translating user's search words to corresponding resource names has been proposed. This approach uses semantic similarity between user created search words and ontology resource names.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.33 no.5
• /
• pp.249-254
• /
• 2019

This study is aimed to refute against medical opponent's claim that Korean medicine does not conform to the conditions of science. Analyses and refutations against a journal treatise and a Facebook column formally written for a logical criticism and attack were conducted. As an example of the logic of the knowledge production process in Chinese medicine, 8 principle theory was exemplified in the Han danasty Classics "Neijing" and "Shanghanlun" at first. The knowledge was continuously revised and accumulated historically and then completed through Ming、Cheng period. The differential diagnosis and treatment theory is a logical process of forming knowledge through the process of abduction, deduction and induction begun from "Shanghanlun" succeeded to nowadays and it is essentially equaled with the process of experimental inference by Claude Bernard. Examples of normal science status based on Kuhn's scientific standards include the theory of 8 principle, differntial diagnosis of viscera and bowel, 3 yang and 3 yin diseases of "Shanghanlun" and warm disease theory. Examples of science lost or get its normal status by refutation following Popper's standards were cold damage theory and warm disease theory respectively. This allowed Chinese medicine to follow the general principles of science that form scientific knowledge and to correspond with the demarcation standards and concepts of science. However, as one of the conditions for becoming a science, Chinese medicine is partially lacking in terms of the interpretation of text language or the accordance with modern knowledge. Therefore methods are required to supplement this lack through multi-faceted research such as literature-based, theoretical and clinical studies.

• The Journal of the Convergence on Culture Technology
• /
• v.5 no.1
• /
• pp.371-376
• /
• 2019

Creative thinking appears even before it is expressed in language, and its existence is revealed through emotion, intuition, image and body feeling before logic or linguistics rules work. In this study, Lego is intended to present experimental child interactive content that is applied with a computer vision based on image processing techniques. In the case of infants, the main purpose of this content is the development of hand muscles and the ability to implement imagination. The purpose of the analysis algorithm of the OpenCV library and the image processing using the 'VVVV' that is implemented as a 'Node' in the midst of perceptual changes in image processing technology that are representative of object recognition, and the objective is to use a webcam to film, recognize, derive results that match the analysis and produce interactive content that is completed by the user participating. Research shows what Lego children have made, and children can create things themselves and develop creativity. Furthermore, we expect to be able to infer a diverse and individualistic person's thinking based on more data.